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

Python: Move typePreservingStep into Private

Browse Source
This commit is contained in:
Taus Brock-Nannestad
2021-03-12 14:06:39 +01:00
parent 9b8056371f
commit f05313435d
2 changed files with 5 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -78,12 +78,6 @@ module StepSummary {
}
}
/** Holds if it's reasonable to expect the data flow step from `nodeFrom` to `nodeTo` to preserve types. */
private predicate typePreservingStep(Node nodeFrom, Node nodeTo) {
simpleLocalFlowStep(nodeFrom, nodeTo) or
jumpStep(nodeFrom, nodeTo)
}
/**
* A utility class that is equivalent to `boolean` but does not require type joining.
*/

8
python/ql/src/experimental/typetracking/TypeTrackerPrivate.qll
View File

@@ -6,9 +6,11 @@ class Node = DataFlowPublic::Node;
class LocalSourceNode = DataFlowPublic::LocalSourceNode;
predicate jumpStep = DataFlowPrivate::jumpStep/2;
predicate simpleLocalFlowStep = DataFlowPrivate::simpleLocalFlowStep/2;
/** Holds if it's reasonable to expect the data flow step from `nodeFrom` to `nodeTo` to preserve types. */
predicate typePreservingStep(Node nodeFrom, Node nodeTo) {
DataFlowPrivate::simpleLocalFlowStep(nodeFrom, nodeTo) or
DataFlowPrivate::jumpStep(nodeFrom, nodeTo)
}
/**
* Gets the name of a possible piece of content. This will usually include things like