We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
CaptureNode
1 parent 682f6e5 commit 9815192Copy full SHA for 9815192
python/ql/test/experimental/dataflow/typetracking/tracked.ql
@@ -26,8 +26,9 @@ module TrackedTest implements TestSig {
26
not e.getLocation().getStartLine() = 0 and
27
// We do not wish to annotate scope entry definitions,
28
// as they do not appear in the source code.
29
- // not e.asVar() instanceof ScopeEntryDefinition and
30
not e.asCfgNode() = any(ScopeEntryDefinition def).getDefiningNode() and
+ // ...same for CaptureNodes
31
+ not e instanceof DataFlow::CaptureNode and
32
tag = "tracked" and
33
location = e.getLocation() and
34
value = t.getAttr() and
0 commit comments