We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0c99b36 commit ef940e8Copy full SHA for ef940e8
cpp/ql/test/library-tests/dataflow/taint-tests/swap1.cpp
@@ -71,7 +71,7 @@ void test_copy_assignment_operator()
71
72
swap(z1, z2);
73
74
- sink(z2.data1); // tainted
+ sink(z2.data1); // tainted [FALSE NEGATIVE in IR]
75
sink(z1.data1); // clean [FALSE POSITIVE]
76
}
77
cpp/ql/test/library-tests/dataflow/taint-tests/swap2.cpp
0 commit comments