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

C++: Fix annotations in testcase file

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-01-28 13:51:36 +01:00
parent 5ab6457370
commit 287af2bdec
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpp/ql/test/library-tests/dataflow/DefaultTaintTracking/test_diff.cpp
View File

@@ -101,29 +101,29 @@ int main(int argc, char *argv[]) {
calls_sink_with_argv(*p[i]);
sink(*(argv + 1)); // flow [NOT DECTED by AST]
sink(*(argv + 1));
BaseWithPureVirtual* b = new DerivedCallsSink;
b->f(argv[1]); // flow [NOT DETECTED by IR]
b->f(argv[1]);
b = new DerivedDoesNotCallSink;
b->f(argv[0]); // no flow [FALSE POSITIVE by AST]
BaseWithPureVirtual* b2 = new DerivesMultiple;
b2->f(argv[i]); // flow [NOT DETECTED]
b2->f(argv[i]);
CRTP<CRTPDoesNotCallSink> crtp_not_call_sink;
crtp_not_call_sink.f(argv[0]);
CRTP<CRTPCallsSink> crtp_calls_sink;
crtp_calls_sink.f(argv[0]); // flow [NOT DETECTED]
crtp_calls_sink.f(argv[0]);
Derived1* calls_sink = new Derived3;
calls_sink->f(argv[1]); // flow [NOT DETECTED by AST]
calls_sink->f(argv[1]);
static_cast<Derived2*>(calls_sink)->f(argv[1]); // flow [NOT DETECTED]
static_cast<Derived2*>(calls_sink)->f(argv[1]);
dynamic_cast<Derived2*>(calls_sink)->f(argv[1]); // flow [NOT DETECTED by IR]
}