From 797deebcddc5b84a0a7a0f5d5ed08d8ed3c285d7 Mon Sep 17 00:00:00 2001 From: Rasmus Lerchedahl Petersen Date: Wed, 29 Nov 2023 22:26:27 +0100 Subject: [PATCH] Python: exclude `CaptureNode`s --- python/ql/test/experimental/dataflow/typetracking/tracked.ql | 2 ++ 1 file changed, 2 insertions(+) diff --git a/python/ql/test/experimental/dataflow/typetracking/tracked.ql b/python/ql/test/experimental/dataflow/typetracking/tracked.ql index d6adbf5d7ab..9416701de0f 100644 --- a/python/ql/test/experimental/dataflow/typetracking/tracked.ql +++ b/python/ql/test/experimental/dataflow/typetracking/tracked.ql @@ -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