Python: Use enw class name

This commit is contained in:
Rasmus Lerchedahl Petersen
2023-12-16 01:36:46 +01:00
parent b505778bc8
commit 64655a0ea8

View File

@@ -27,8 +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
// ...same for `SynthCaptureNode`s
not e instanceof DataFlow::SynthCaptureNode and
tag = "tracked" and
location = e.getLocation() and
value = t.getAttr() and