C++: Remove [FALSE POSITIVE] annotations

This commit is contained in:
Mathias Vorreiter Pedersen
2020-05-21 02:22:57 +02:00
parent 3c167125e5
commit 617ef32464
2 changed files with 2 additions and 2 deletions

View File

@@ -115,5 +115,5 @@ void test_conflated_fields3() {
XY xy;
xy.x = 0;
taint_y(&xy);
sink(xy.x); // not tainted [FALSE POSITIVE]
sink(xy.x); // not tainted
}

View File

@@ -17,5 +17,5 @@ void test_conflated_fields3(void) {
struct XY xy;
xy.x = 4;
taint_array(&xy);
malloc(xy.x); // not tainted [FALSE POSITIVE]
malloc(xy.x); // not tainted
}