Rust: mark one value flow as spurious (should be taint)

2026-04-25 16:55:19 +02:00 · 2025-06-20 14:13:37 +02:00
parent 2bf5a70884
commit 691281a481
1 changed files with 1 additions and 1 deletions
--- a/rust/ql/test/library-tests/dataflow/strings/main.rs
+++ b/rust/ql/test/library-tests/dataflow/strings/main.rs
@@ -35,7 +35,7 @@ fn string_add() {
    let s4 = s1 + s3;
    let s5 = s2 + s3;

-    sink(s4); // $ hasValueFlow=83
+    sink(s4); // $ SPURIOUS: hasValueFlow=83 MISSING: hasTaintFlow=83
    sink(s5);
 }