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 25e6f6b commit a651eecCopy full SHA for a651eec
python/ql/test/experimental/dataflow/typetracking/tracked.ql
@@ -27,6 +27,8 @@ module TrackedTest implements TestSig {
27
// We do not wish to annotate scope entry definitions,
28
// as they do not appear in the source code.
29
not e.asCfgNode() = any(ScopeEntryDefinition def).getDefiningNode() and
30
+ // ...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