From 12930c68fbb549824ae6113620bc94dbad06b7cf Mon Sep 17 00:00:00 2001 From: Jeroen Ketema Date: Fri, 10 Feb 2023 09:27:14 +0100 Subject: [PATCH] C++: Do not mark global indirect flow as spurious in dataflow tests --- .../library-tests/dataflow/dataflow-tests/test.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp index 39f0488de2b..5e06966c54a 100644 --- a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp +++ b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp @@ -563,18 +563,18 @@ namespace IndirectFlowThroughGlobals { } void f() { - sink(*globalInt); // $ ir=562:17 ir=576:17 // tainted or clean? Not sure. + sink(*globalInt); // $ ir=562:17 ir=576:17 taintGlobal(); - sink(*globalInt); // $ ir=562:17 MISSING: ast=562:17 SPURIOUS: ir=576:17 + sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17 } void calledAfterTaint() { - sink(*globalInt); // $ ir=576:17 MISSING: ast=576:17 SPURIOUS: ir=562:17 + sink(*globalInt); // $ ir=576:17 ir=562:17 MISSING: ast=576:17 } void taintAndCall() { globalInt = indirect_source(); calledAfterTaint(); - sink(*globalInt); // $ ir=576:17 MISSING: ast=576:17 SPURIOUS: ir=562:17 + sink(*globalInt); // $ ir=576:17 ir=562:17 MISSING: ast=576:17 } -} \ No newline at end of file +}