hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 19:55:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Apply suggestions from code review

Browse Source 
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
This commit is contained in:
Taus
2020-08-31 17:20:12 +02:00
committed by GitHub
parent 7108d28395
commit 8e1f99af99
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 }
}