Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 0c14e2b

Browse files
committed
C++: Fix annotations in taint.cpp
1 parent 3e56db7 commit 0c14e2b

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

  • cpp/ql/test/library-tests/dataflow/taint-tests

cpp/ql/test/library-tests/dataflow/taint-tests/taint.cpp

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -258,7 +258,7 @@ void test_lambdas()
258258
c = source();
259259
};
260260
e(t, u, w);
261-
sink(w); // tainted [NOT DETECTED]
261+
sink(w); // tainted
262262
}
263263

264264
// --- taint through return value ---
@@ -350,8 +350,8 @@ void test_outparams()
350350
sink(t); // tainted
351351
sink(a); // tainted
352352
sink(b); // tainted
353-
sink(c); // tainted
354-
sink(d); // tainted
353+
sink(c); // tainted [NOT DETECTED by AST]
354+
sink(d); // tainted [NOT DETECTED by AST]
355355
sink(e);
356356
}
357357

@@ -468,7 +468,7 @@ void test_swop() {
468468
swop(x, y);
469469

470470
sink(x); // clean [FALSE POSITIVE]
471-
sink(y); // tainted [NOT DETECTED by IR]
471+
sink(y); // tainted
472472
}
473473

474474
// --- getdelim ---

0 commit comments

Comments
 (0)