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

C++: Remove MISSING annotations for tests that are already correct.

Browse Source
This commit is contained in:
Cornelius Riemenschneider
2020-12-01 19:41:24 +01:00
parent 7700e87cca
commit 239588b5e0
1 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
cpp/ql/test/library-tests/dataflow/DefaultTaintTracking/annotate_sinks_only/defaulttainttracking.cpp
View File

@@ -122,30 +122,30 @@ void test_field_to_obj_taint_object(Point p) {
void test_field_to_obj_taint_object_addrof(Point p) {
taint_x(&p);
sink(p); // $ MISSING: ast,ir // tainted [field -> object]
sink(&p); // $ MISSING: ast,ir // tainted [field -> object]
sink(p); // not tainted
sink(&p); // not tainted
sink(p.x); // $ ir MISSING: ast
}
void test_field_to_obj_taint_pointer(Point* pp) {
pp->x = getenv("VAR")[0];
sink(pp); // $ MISSING: ast,ir // tainted [field -> object]
sink(pp);// not tainted
sink(*pp); // not tainted
}
void call_sink_on_object(Point* pp) {
sink(pp); // $ MISSING: ast,ir // tainted [field -> object]
sink(*pp); // $ MISSING: ast,ir // tainted [field -> object]
sink(pp);// not tainted
sink(*pp);// not tainted
}
void test_field_to_obj_taint_call_sink(Point* pp) {
pp->x = getenv("VAR")[0];
call_sink_on_object(pp); // leads to MISSING in the callee
call_sink_on_object(pp);
}
void test_field_to_obj_taint_through_setter(Point* pp) {
taint_x(pp);
sink(pp); // $ MISSING: ast,ir // tainted [field -> object]
sink(pp);// not tainted
sink(*pp); // not tainted
}
@@ -161,14 +161,14 @@ void test_field_to_obj_local_variable() {
void test_field_to_obj_taint_array(Point* pp, int i) {
pp[0].x = getenv("VAR")[0];
sink(pp[i]); // not tainted
sink(pp); // $ MISSING: ast,ir // tainted [field -> object]
sink(pp);// not tainted
sink(*pp); // not tainted
}
void test_field_to_obj_test_pointer_arith(Point* pp) {
(pp + sizeof(*pp))->x = getenv("VAR")[0];
sink(pp); // $ MISSING: ast,ir // tainted [field -> object]
sink(pp + sizeof(*pp)); // $ MISSING: ast,ir // tainted [field -> object]
sink(pp);// not tainted
sink(pp + sizeof(*pp));// not tainted
}
void sink(char **);