hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'python-add-typetracker' of github.com:tausbn/ql into python-add-typetracker

Browse Source
This commit is contained in:
Taus Brock-Nannestad
2020-08-31 17:22:13 +02:00
parent 3547c70d35 8e1f99af99
commit eb6443df21
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
python/ql/src/experimental/dataflow/TypeTracker.qll
View File

@@ -17,7 +17,7 @@ class OptionalAttributeName extends string {
/**
* A description of a step on an inter-procedural data flow path.
*/
newtype TStepSummary =
private newtype TStepSummary =
LevelStep() or
CallStep() or
ReturnStep() or
@@ -80,7 +80,7 @@ predicate callStep(ArgumentNode pred, ParameterNode succ) {
/** Holds if `pred` steps to `succ` by being returned from a call. */
predicate returnStep(ReturnNode pred, Node succ) {
exists(DataFlowCall call |
pred.getEnclosingCallable() = call.getCallable() and succ = TCfgNode(call.getNode())
pred.getEnclosingCallable() = call.getCallable() and succ.asCfgNode() = call
)
}
@@ -128,7 +128,7 @@ predicate basicLoadStep(Node pred, Node succ, string attr) {
/**
* A utility class that is equivalent to `boolean` but does not require type joining.
*/
class Boolean extends boolean {
private class Boolean extends boolean {
Boolean() { this = true or this = false }
}