hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 03:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Also mention all locations in the AST case

Browse Source
This commit is contained in:
Jeroen Ketema
2023-02-10 09:47:19 +01:00
parent 12930c68fb
commit 350fb89ebf
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
View File

@@ -563,18 +563,18 @@ namespace IndirectFlowThroughGlobals {
}
void f() {
sink(*globalInt); // $ ir=562:17 ir=576:17
sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17 ast=576:17
taintGlobal();
sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17
sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17 ast=576:17
}
void calledAfterTaint() {
sink(*globalInt); // $ ir=576:17 ir=562:17 MISSING: ast=576:17
sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17 ast=576:17
}
void taintAndCall() {
globalInt = indirect_source();
calledAfterTaint();
sink(*globalInt); // $ ir=576:17 ir=562:17 MISSING: ast=576:17
sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17 ast=576:17
}
}