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

Python: make it a real consistency check

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-12-20 14:53:37 +01:00
parent 215b146f06
commit 45411f4a93
2 changed files with 0 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
python/ql/test/experimental/dataflow/variable-capture/dataflow-capture-consistency.ql → python/ql/consistency-queries/dataflow-capture-consistency.ql
View File

17
python/ql/test/experimental/dataflow/variable-capture/dataflow-capture-consistency.expected
View File

@@ -1,17 +0,0 @@
uniqueToString
uniqueEnclosingCallable
uniqueDominator
localDominator
localSuccessor
uniqueDefiningScope
variableIsCaptured
uniqueLocation
uniqueCfgNode
uniqueWriteTarget
uniqueWriteCfgNode
uniqueReadVariable
closureMustHaveBody
closureAliasMustBeInSameScope
variableAccessAstNesting
uniqueCallableLocation
consistencyOverview