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.
1 parent b505778 commit 64655a0Copy full SHA for 64655a0
python/ql/test/experimental/dataflow/typetracking/tracked.ql
@@ -27,8 +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
+ // ...same for `SynthCaptureNode`s
+ not e instanceof DataFlow::SynthCaptureNode and
32
tag = "tracked" and
33
location = e.getLocation() and
34
value = t.getAttr() and
0 commit comments