File tree Expand file tree Collapse file tree 2 files changed +1
-8
lines changed
go/ql/test/library-tests/semmle/go/dataflow Expand file tree Collapse file tree 2 files changed +1
-8
lines changed Original file line number Diff line number Diff line change @@ -124,7 +124,7 @@ func simpleflow() {
124
124
slice1 [0 ] = src .(string )
125
125
slice2 := make ([]string , 2 )
126
126
copy (slice2 , slice1 )
127
- b .Sink1 (slice2 [0 ]) // $ MISSING: hasValueFlow="index expression" // this is a bug, but it is normally covered because it works with taint tracking
127
+ b .Sink1 (slice2 [0 ]) // $ hasValueFlow="index expression"
128
128
129
129
ch := make (chan string )
130
130
ch <- a .Src1 ().(string )
Original file line number Diff line number Diff line change 3
3
| main.go:38:13:38:13 | 1 | main.go:38:7:38:20 | slice literal |
4
4
| main.go:38:16:38:16 | 2 | main.go:38:7:38:20 | slice literal |
5
5
| main.go:38:19:38:19 | 3 | main.go:38:7:38:20 | slice literal |
6
- | main.go:39:15:39:15 | s | main.go:39:8:39:25 | call to append |
7
- | main.go:39:18:39:18 | 4 | main.go:39:8:39:25 | call to append |
8
- | main.go:39:21:39:21 | 5 | main.go:39:8:39:25 | call to append |
9
- | main.go:39:24:39:24 | 6 | main.go:39:8:39:25 | call to append |
10
- | main.go:40:15:40:15 | s | main.go:40:8:40:23 | call to append |
11
- | main.go:40:18:40:19 | s1 | main.go:40:8:40:23 | call to append |
12
- | main.go:42:10:42:11 | s4 | main.go:38:2:38:2 | definition of s |
13
6
| main.go:47:20:47:21 | next key-value pair in range | main.go:47:2:50:2 | range statement[0] |
14
7
| main.go:47:20:47:21 | next key-value pair in range | main.go:47:2:50:2 | range statement[1] |
15
8
| main.go:47:20:47:21 | xs | main.go:47:2:50:2 | range statement[1] |
You can’t perform that action at this time.
0 commit comments