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

Merge pull request #17275 from asgerf/cpp/taint-test-case-false-negative

Browse Source 
C++: Reveal false negative in test case
This commit is contained in:
Asger F
2024-08-26 12:36:03 +02:00
committed by GitHub
parent 592e2eafb6 16c2cf24b3
commit 4e3440aad0
3 changed files with 3 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/test/library-tests/dataflow/taint-tests/taint.cpp
View File

@@ -450,7 +450,7 @@ void test_qualifiers()
b.member = source();
sink(b); // $ ir MISSING: ast
sink(b.member); // $ ast,ir
sink(b.getMember()); // $ ir MISSING: ast
sink(b.getMember()); // $ MISSING: ir ast
c = new MyClass2(0);

3
cpp/ql/test/library-tests/dataflow/taint-tests/taint.expected
View File

@@ -4,7 +4,4 @@ WARNING: module 'DataFlow' has been deprecated and may be removed in future (tai
WARNING: module 'DataFlow' has been deprecated and may be removed in future (taint.ql:68,25-33)
WARNING: module 'TaintTracking' has been deprecated and may be removed in future (taint.ql:73,20-33)
testFailures
| taint.cpp:453:23:453:42 | // $ ir MISSING: ast | Missing result:ir= |
| vector.cpp:118:12:118:30 | // $ ir MISSING:ast | Missing result:ir= |
| vector.cpp:119:12:119:30 | // $ ir MISSING:ast | Missing result:ir= |
failures

4
cpp/ql/test/library-tests/dataflow/taint-tests/vector.cpp
View File

@@ -115,8 +115,8 @@ void test_vector_swap() {
v3.swap(v4);
sink(v1);
sink(v2); // $ ir MISSING:ast
sink(v3); // $ ir MISSING:ast
sink(v2); // $ MISSING:ir ast
sink(v3); // $ MISSING:ir ast
sink(v4);
}