hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-01 13:23:49 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++/C#/Java: Restore the AccessPathCons class

Browse Source
This commit is contained in:
Jonas Jensen
2019-08-30 14:22:52 +02:00
parent fbe34015f3
commit b2c94cc6b4
19 changed files with 95 additions and 95 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll
View File

@@ -1268,7 +1268,9 @@ private class AccessPathNil extends AccessPath, TNil {
override predicate pop(Content head, AccessPath tail) { none() }
}
private class AccessPathConsNil extends AccessPath, TConsNil {
abstract private class AccessPathCons extends AccessPath { }
private class AccessPathConsNil extends AccessPathCons, TConsNil {
override string toString() {
exists(Content f, DataFlowType t | this = TConsNil(f, t) |
result = f.toString() + " : " + ppReprType(t)
@@ -1284,7 +1286,7 @@ private class AccessPathConsNil extends AccessPath, TConsNil {
}
}
private class AccessPathConsCons extends AccessPath, TConsCons {
private class AccessPathConsCons extends AccessPathCons, TConsCons {
override string toString() {
exists(Content f1, Content f2, int len | this = TConsCons(f1, f2, len) |
result = f1.toString() + ", " + f2.toString() + ", ... (" + len.toString() + ")"
@@ -1849,9 +1851,7 @@ private predicate pathIntoArg(
|
ap instanceof AccessPathNil and emptyAp = true
or
ap instanceof AccessPathConsNil and emptyAp = false
or
ap instanceof AccessPathConsCons and emptyAp = false
ap instanceof AccessPathCons and emptyAp = false
)
}

10
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl2.qll
View File

@@ -1268,7 +1268,9 @@ private class AccessPathNil extends AccessPath, TNil {
override predicate pop(Content head, AccessPath tail) { none() }
}
private class AccessPathConsNil extends AccessPath, TConsNil {
abstract private class AccessPathCons extends AccessPath { }
private class AccessPathConsNil extends AccessPathCons, TConsNil {
override string toString() {
exists(Content f, DataFlowType t | this = TConsNil(f, t) |
result = f.toString() + " : " + ppReprType(t)
@@ -1284,7 +1286,7 @@ private class AccessPathConsNil extends AccessPath, TConsNil {
}
}
private class AccessPathConsCons extends AccessPath, TConsCons {
private class AccessPathConsCons extends AccessPathCons, TConsCons {
override string toString() {
exists(Content f1, Content f2, int len | this = TConsCons(f1, f2, len) |
result = f1.toString() + ", " + f2.toString() + ", ... (" + len.toString() + ")"
@@ -1849,9 +1851,7 @@ private predicate pathIntoArg(
|
ap instanceof AccessPathNil and emptyAp = true
or
ap instanceof AccessPathConsNil and emptyAp = false
or
ap instanceof AccessPathConsCons and emptyAp = false
ap instanceof AccessPathCons and emptyAp = false
)
}

10
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl3.qll
View File

@@ -1268,7 +1268,9 @@ private class AccessPathNil extends AccessPath, TNil {
override predicate pop(Content head, AccessPath tail) { none() }
}
private class AccessPathConsNil extends AccessPath, TConsNil {
abstract private class AccessPathCons extends AccessPath { }
private class AccessPathConsNil extends AccessPathCons, TConsNil {
override string toString() {
exists(Content f, DataFlowType t | this = TConsNil(f, t) |
result = f.toString() + " : " + ppReprType(t)
@@ -1284,7 +1286,7 @@ private class AccessPathConsNil extends AccessPath, TConsNil {
}
}
private class AccessPathConsCons extends AccessPath, TConsCons {
private class AccessPathConsCons extends AccessPathCons, TConsCons {
override string toString() {
exists(Content f1, Content f2, int len | this = TConsCons(f1, f2, len) |
result = f1.toString() + ", " + f2.toString() + ", ... (" + len.toString() + ")"
@@ -1849,9 +1851,7 @@ private predicate pathIntoArg(
|
ap instanceof AccessPathNil and emptyAp = true
or
ap instanceof AccessPathConsNil and emptyAp = false
or
ap instanceof AccessPathConsCons and emptyAp = false
ap instanceof AccessPathCons and emptyAp = false
)
}

10
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl4.qll
View File

@@ -1268,7 +1268,9 @@ private class AccessPathNil extends AccessPath, TNil {
override predicate pop(Content head, AccessPath tail) { none() }
}
private class AccessPathConsNil extends AccessPath, TConsNil {
abstract private class AccessPathCons extends AccessPath { }
private class AccessPathConsNil extends AccessPathCons, TConsNil {
override string toString() {
exists(Content f, DataFlowType t | this = TConsNil(f, t) |
result = f.toString() + " : " + ppReprType(t)
@@ -1284,7 +1286,7 @@ private class AccessPathConsNil extends AccessPath, TConsNil {
}
}
private class AccessPathConsCons extends AccessPath, TConsCons {
private class AccessPathConsCons extends AccessPathCons, TConsCons {
override string toString() {
exists(Content f1, Content f2, int len | this = TConsCons(f1, f2, len) |
result = f1.toString() + ", " + f2.toString() + ", ... (" + len.toString() + ")"
@@ -1849,9 +1851,7 @@ private predicate pathIntoArg(
|
ap instanceof AccessPathNil and emptyAp = true
or
ap instanceof AccessPathConsNil and emptyAp = false
or
ap instanceof AccessPathConsCons and emptyAp = false
ap instanceof AccessPathCons and emptyAp = false
)
}

10
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl5.qll
View File

@@ -1268,7 +1268,9 @@ private class AccessPathNil extends AccessPath, TNil {
override predicate pop(Content head, AccessPath tail) { none() }
}
private class AccessPathConsNil extends AccessPath, TConsNil {
abstract private class AccessPathCons extends AccessPath { }
private class AccessPathConsNil extends AccessPathCons, TConsNil {
override string toString() {
exists(Content f, DataFlowType t | this = TConsNil(f, t) |
result = f.toString() + " : " + ppReprType(t)
@@ -1284,7 +1286,7 @@ private class AccessPathConsNil extends AccessPath, TConsNil {
}
}
private class AccessPathConsCons extends AccessPath, TConsCons {
private class AccessPathConsCons extends AccessPathCons, TConsCons {
override string toString() {
exists(Content f1, Content f2, int len | this = TConsCons(f1, f2, len) |
result = f1.toString() + ", " + f2.toString() + ", ... (" + len.toString() + ")"
@@ -1849,9 +1851,7 @@ private predicate pathIntoArg(
|
ap instanceof AccessPathNil and emptyAp = true
or
ap instanceof AccessPathConsNil and emptyAp = false
or
ap instanceof AccessPathConsCons and emptyAp = false
ap instanceof AccessPathCons and emptyAp = false
)
}