Python: exclude CaptureNodes

This commit is contained in:
Rasmus Lerchedahl Petersen
2023-11-29 22:26:27 +01:00
parent b513871b9b
commit 797deebcdd

View File

@@ -27,6 +27,8 @@ module TrackedTest implements TestSig {
// We do not wish to annotate scope entry definitions,
// as they do not appear in the source code.
not e.asCfgNode() = any(ScopeEntryDefinition def).getDefiningNode() and
// ...same for CaptureNodes
not e instanceof DataFlow::CaptureNode and
tag = "tracked" and
location = e.getLocation() and
value = t.getAttr() and