We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6110243 commit 7c0c820Copy full SHA for 7c0c820
2 files changed
swift/ql/test/library-tests/dataflow/taint/libraries/TaintInline.expected
@@ -1,3 +1,2 @@
1
failures
2
testFailures
3
-| string.swift:436:20:437:1 | // $ SPURIOUS: tainted=366\n | Fixed spurious result:tainted=366 |
swift/ql/test/library-tests/dataflow/taint/libraries/string.swift
@@ -433,7 +433,7 @@ func taintThroughEncodings() {
433
434
clean.withContiguousStorageIfAvailable({
435
ptr in
436
- sink(arg: ptr) // $ SPURIOUS: tainted=366
+ sink(arg: ptr)
437
sink(arg: ptr.baseAddress!)
438
})
439
tainted.withContiguousStorageIfAvailable({
0 commit comments