hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-23 12:16:33 +01:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: Improve standard order through easier type check elimination.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2022-05-12 14:31:38 +02:00
parent 7cd51d6147
commit adb56dfa39
29 changed files with 29 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForOnActivityResult.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForSerializability.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl2.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();

2
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForLibraries.qll
View File

@@ -3653,7 +3653,7 @@ private newtype TPathNode =
* of dereference operations needed to get from the value in the node to the * of dereference operations needed to get from the value in the node to the
* tracked object. The final type indicates the type of the tracked object. * tracked object. The final type indicates the type of the tracked object.
*/ */
abstract private class AccessPath extends TAccessPath { private class AccessPath extends TAccessPath {
/** Gets the head of this access path, if any. */ /** Gets the head of this access path, if any. */
abstract TypedContent getHead(); abstract TypedContent getHead();