File tree Expand file tree Collapse file tree 3 files changed +7
-9
lines changed
go/ql/test/library-tests/semmle/go/dataflow Expand file tree Collapse file tree 3 files changed +7
-9
lines changed Original file line number Diff line number Diff line change @@ -24,7 +24,7 @@ func main() {
24
24
sink (test .FunctionWithParameter (sSlice [1 ])) // $ taintflow dataflow
25
25
sink (test .FunctionWithSliceParameter (sSlice )) // $ taintflow dataflow
26
26
sink (test .FunctionWithVarArgsParameter (sSlice ... )) // $ taintflow dataflow
27
- sink (test .FunctionWithVarArgsParameter (s0 , s1 )) // $ MISSING: taintflow dataflow
27
+ sink (test .FunctionWithVarArgsParameter (s0 , s1 )) // $ taintflow dataflow
28
28
29
29
sliceOfStructs := []test.A {{Field : source ()}}
30
30
sink (sliceOfStructs [0 ].Field ) // $ taintflow dataflow
@@ -34,5 +34,5 @@ func main() {
34
34
aSlice := []test.A {a0 , a1 }
35
35
sink (test .FunctionWithSliceOfStructsParameter (aSlice )) // $ taintflow dataflow
36
36
sink (test .FunctionWithVarArgsOfStructsParameter (aSlice ... )) // $ taintflow dataflow
37
- sink (test .FunctionWithVarArgsOfStructsParameter (a0 , a1 )) // $ MISSING: taintflow dataflow
37
+ sink (test .FunctionWithVarArgsOfStructsParameter (a0 , a1 )) // $ taintflow dataflow
38
38
}
Original file line number Diff line number Diff line change 1
- | main.go:7:2:7:25 | call to Println | 0 | main.go:7:14 :7:24 | ...+... |
2
- | main.go:10:2:10:19 | call to Println | 0 | main.go:10:14 :10:18 | ...+... |
1
+ | main.go:7:2:7:25 | call to Println | 0 | main.go:7:2 :7:25 | []type{args} |
2
+ | main.go:10:2:10:19 | call to Println | 0 | main.go:10:2 :10:19 | []type{args} |
3
3
| main.go:14:8:14:24 | call to make | 0 | main.go:14:23:14:23 | 1 |
4
- | main.go:16:2:16:26 | call to Println | 0 | main.go:16:14:16:15 | ss |
5
- | main.go:16:2:16:26 | call to Println | 1 | main.go:16:18:16:18 | 0 |
6
- | main.go:16:2:16:26 | call to Println | 2 | main.go:16:21:16:25 | index expression |
4
+ | main.go:16:2:16:26 | call to Println | 0 | main.go:16:2:16:26 | []type{args} |
Original file line number Diff line number Diff line change @@ -36,7 +36,7 @@ func main() {
36
36
sSlice := []string {s0 , s1 }
37
37
sink (functionWithSliceParameter (sSlice )) // $ taintflow dataflow
38
38
sink (functionWithVarArgsParameter (sSlice ... )) // $ taintflow dataflow
39
- sink (functionWithVarArgsParameter (s0 , s1 )) // $ MISSING: taintflow dataflow
39
+ sink (functionWithVarArgsParameter (s0 , s1 )) // $ taintflow dataflow
40
40
41
41
sliceOfStructs := []A {{f : source ()}}
42
42
sink (sliceOfStructs [0 ].f ) // $ taintflow dataflow
@@ -46,5 +46,5 @@ func main() {
46
46
aSlice := []A {a0 , a1 }
47
47
sink (functionWithSliceOfStructsParameter (aSlice )) // $ taintflow dataflow
48
48
sink (functionWithVarArgsOfStructsParameter (aSlice ... )) // $ taintflow dataflow
49
- sink (functionWithVarArgsOfStructsParameter (a0 , a1 )) // $ MISSING: taintflow dataflow
49
+ sink (functionWithVarArgsOfStructsParameter (a0 , a1 )) // $ taintflow dataflow
50
50
}
You can’t perform that action at this time.
0 commit comments