File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
swift/ql/test/library-tests/dataflow/taint/libraries Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -15,8 +15,8 @@ func taintThroughClosurePointer() {
15
15
sink ( arg: myArray1 [ 0 ] ) // $ tainted=13
16
16
let return1 = myArray1. withUnsafeBytes ( {
17
17
ptr1 in
18
- sink ( arg: ptr1)
19
- sink ( arg: ptr1 [ 0 ] ) // $ MISSING: tainted=13
18
+ sink ( arg: ptr1) // $ SPURIOUS: tainted=13
19
+ sink ( arg: ptr1 [ 0 ] ) // $ tainted=13
20
20
return source ( )
21
21
} )
22
22
sink ( arg: return1) // $ tainted=20
@@ -30,8 +30,8 @@ func taintThroughClosurePointer() {
30
30
sink ( arg: myArray2 [ 0 ] ) // $ tainted=28
31
31
let return2 = myArray2. withUnsafeBufferPointer ( {
32
32
ptr2 in
33
- sink ( arg: ptr2)
34
- sink ( arg: ptr2 [ 0 ] ) // $ MISSING: tainted=28
33
+ sink ( arg: ptr2) // $ SPURIOUS: tainted=28
34
+ sink ( arg: ptr2 [ 0 ] ) // $ tainted=28
35
35
return source ( )
36
36
} )
37
37
sink ( arg: return2) // $ tainted=35
You can’t perform that action at this time.
0 commit comments