|
1 | 1 | edges
|
2 |
| -| tests.go:9:2:9:74 | ... := ...[0] : pointer type | tests.go:10:9:10:9 | f : pointer type | |
3 |
| -| tests.go:10:9:10:9 | f : pointer type | tests.go:43:5:43:38 | ... := ...[0] : pointer type | |
4 |
| -| tests.go:10:9:10:9 | f : pointer type | tests.go:60:5:60:38 | ... := ...[0] : pointer type | |
5 |
| -| tests.go:10:9:10:9 | f : pointer type | tests.go:108:5:108:38 | ... := ...[0] : pointer type | |
6 |
| -| tests.go:10:9:10:9 | f : pointer type | tests.go:124:5:124:38 | ... := ...[0] : pointer type | |
7 |
| -| tests.go:18:2:18:69 | return statement[0] : pointer type | tests.go:53:5:53:42 | ... := ...[0] : pointer type | |
8 |
| -| tests.go:18:2:18:69 | return statement[0] : pointer type | tests.go:70:5:70:42 | ... := ...[0] : pointer type | |
9 |
| -| tests.go:21:24:21:24 | definition of f : pointer type | tests.go:22:8:22:8 | f | |
10 |
| -| tests.go:25:32:25:32 | definition of f : pointer type | tests.go:26:13:26:13 | capture variable f : pointer type | |
11 |
| -| tests.go:26:13:26:13 | capture variable f : pointer type | tests.go:27:3:27:3 | f | |
12 |
| -| tests.go:43:5:43:38 | ... := ...[0] : pointer type | tests.go:44:21:44:21 | f : pointer type | |
13 |
| -| tests.go:43:5:43:38 | ... := ...[0] : pointer type | tests.go:45:29:45:29 | f : pointer type | |
14 |
| -| tests.go:44:21:44:21 | f : pointer type | tests.go:21:24:21:24 | definition of f : pointer type | |
15 |
| -| tests.go:45:29:45:29 | f : pointer type | tests.go:25:32:25:32 | definition of f : pointer type | |
16 |
| -| tests.go:53:5:53:42 | ... := ...[0] : pointer type | tests.go:54:21:54:21 | f : pointer type | |
17 |
| -| tests.go:53:5:53:42 | ... := ...[0] : pointer type | tests.go:55:29:55:29 | f : pointer type | |
18 |
| -| tests.go:54:21:54:21 | f : pointer type | tests.go:21:24:21:24 | definition of f : pointer type | |
19 |
| -| tests.go:55:29:55:29 | f : pointer type | tests.go:25:32:25:32 | definition of f : pointer type | |
20 |
| -| tests.go:60:5:60:38 | ... := ...[0] : pointer type | tests.go:62:3:62:3 | f | |
21 |
| -| tests.go:70:5:70:42 | ... := ...[0] : pointer type | tests.go:72:3:72:3 | f | |
22 |
| -| tests.go:108:5:108:38 | ... := ...[0] : pointer type | tests.go:110:9:110:9 | f | |
23 |
| -| tests.go:124:5:124:38 | ... := ...[0] : pointer type | tests.go:128:3:128:3 | f | |
| 2 | +| tests.go:9:2:9:74 | ... := ...[0] | tests.go:10:9:10:9 | f | |
| 3 | +| tests.go:10:9:10:9 | f | tests.go:43:5:43:38 | ... := ...[0] | |
| 4 | +| tests.go:10:9:10:9 | f | tests.go:60:5:60:38 | ... := ...[0] | |
| 5 | +| tests.go:10:9:10:9 | f | tests.go:108:5:108:38 | ... := ...[0] | |
| 6 | +| tests.go:10:9:10:9 | f | tests.go:124:5:124:38 | ... := ...[0] | |
| 7 | +| tests.go:18:2:18:69 | return statement[0] | tests.go:53:5:53:42 | ... := ...[0] | |
| 8 | +| tests.go:18:2:18:69 | return statement[0] | tests.go:70:5:70:42 | ... := ...[0] | |
| 9 | +| tests.go:21:24:21:24 | definition of f | tests.go:22:8:22:8 | f | |
| 10 | +| tests.go:25:32:25:32 | definition of f | tests.go:26:13:26:13 | capture variable f | |
| 11 | +| tests.go:26:13:26:13 | capture variable f | tests.go:27:3:27:3 | f | |
| 12 | +| tests.go:43:5:43:38 | ... := ...[0] | tests.go:44:21:44:21 | f | |
| 13 | +| tests.go:43:5:43:38 | ... := ...[0] | tests.go:45:29:45:29 | f | |
| 14 | +| tests.go:44:21:44:21 | f | tests.go:21:24:21:24 | definition of f | |
| 15 | +| tests.go:45:29:45:29 | f | tests.go:25:32:25:32 | definition of f | |
| 16 | +| tests.go:53:5:53:42 | ... := ...[0] | tests.go:54:21:54:21 | f | |
| 17 | +| tests.go:53:5:53:42 | ... := ...[0] | tests.go:55:29:55:29 | f | |
| 18 | +| tests.go:54:21:54:21 | f | tests.go:21:24:21:24 | definition of f | |
| 19 | +| tests.go:55:29:55:29 | f | tests.go:25:32:25:32 | definition of f | |
| 20 | +| tests.go:60:5:60:38 | ... := ...[0] | tests.go:62:3:62:3 | f | |
| 21 | +| tests.go:70:5:70:42 | ... := ...[0] | tests.go:72:3:72:3 | f | |
| 22 | +| tests.go:108:5:108:38 | ... := ...[0] | tests.go:110:9:110:9 | f | |
| 23 | +| tests.go:124:5:124:38 | ... := ...[0] | tests.go:128:3:128:3 | f | |
24 | 24 | nodes
|
25 |
| -| tests.go:9:2:9:74 | ... := ...[0] : pointer type | semmle.label | ... := ...[0] : pointer type | |
26 |
| -| tests.go:10:9:10:9 | f : pointer type | semmle.label | f : pointer type | |
27 |
| -| tests.go:18:2:18:69 | return statement[0] : pointer type | semmle.label | return statement[0] : pointer type | |
28 |
| -| tests.go:21:24:21:24 | definition of f : pointer type | semmle.label | definition of f : pointer type | |
| 25 | +| tests.go:9:2:9:74 | ... := ...[0] | semmle.label | ... := ...[0] | |
| 26 | +| tests.go:10:9:10:9 | f | semmle.label | f | |
| 27 | +| tests.go:18:2:18:69 | return statement[0] | semmle.label | return statement[0] | |
| 28 | +| tests.go:21:24:21:24 | definition of f | semmle.label | definition of f | |
29 | 29 | | tests.go:22:8:22:8 | f | semmle.label | f |
|
30 |
| -| tests.go:25:32:25:32 | definition of f : pointer type | semmle.label | definition of f : pointer type | |
31 |
| -| tests.go:26:13:26:13 | capture variable f : pointer type | semmle.label | capture variable f : pointer type | |
| 30 | +| tests.go:25:32:25:32 | definition of f | semmle.label | definition of f | |
| 31 | +| tests.go:26:13:26:13 | capture variable f | semmle.label | capture variable f | |
32 | 32 | | tests.go:27:3:27:3 | f | semmle.label | f |
|
33 |
| -| tests.go:43:5:43:38 | ... := ...[0] : pointer type | semmle.label | ... := ...[0] : pointer type | |
34 |
| -| tests.go:44:21:44:21 | f : pointer type | semmle.label | f : pointer type | |
35 |
| -| tests.go:45:29:45:29 | f : pointer type | semmle.label | f : pointer type | |
36 |
| -| tests.go:53:5:53:42 | ... := ...[0] : pointer type | semmle.label | ... := ...[0] : pointer type | |
37 |
| -| tests.go:54:21:54:21 | f : pointer type | semmle.label | f : pointer type | |
38 |
| -| tests.go:55:29:55:29 | f : pointer type | semmle.label | f : pointer type | |
39 |
| -| tests.go:60:5:60:38 | ... := ...[0] : pointer type | semmle.label | ... := ...[0] : pointer type | |
| 33 | +| tests.go:43:5:43:38 | ... := ...[0] | semmle.label | ... := ...[0] | |
| 34 | +| tests.go:44:21:44:21 | f | semmle.label | f | |
| 35 | +| tests.go:45:29:45:29 | f | semmle.label | f | |
| 36 | +| tests.go:53:5:53:42 | ... := ...[0] | semmle.label | ... := ...[0] | |
| 37 | +| tests.go:54:21:54:21 | f | semmle.label | f | |
| 38 | +| tests.go:55:29:55:29 | f | semmle.label | f | |
| 39 | +| tests.go:60:5:60:38 | ... := ...[0] | semmle.label | ... := ...[0] | |
40 | 40 | | tests.go:62:3:62:3 | f | semmle.label | f |
|
41 |
| -| tests.go:70:5:70:42 | ... := ...[0] : pointer type | semmle.label | ... := ...[0] : pointer type | |
| 41 | +| tests.go:70:5:70:42 | ... := ...[0] | semmle.label | ... := ...[0] | |
42 | 42 | | tests.go:72:3:72:3 | f | semmle.label | f |
|
43 |
| -| tests.go:108:5:108:38 | ... := ...[0] : pointer type | semmle.label | ... := ...[0] : pointer type | |
| 43 | +| tests.go:108:5:108:38 | ... := ...[0] | semmle.label | ... := ...[0] | |
44 | 44 | | tests.go:110:9:110:9 | f | semmle.label | f |
|
45 |
| -| tests.go:124:5:124:38 | ... := ...[0] : pointer type | semmle.label | ... := ...[0] : pointer type | |
| 45 | +| tests.go:124:5:124:38 | ... := ...[0] | semmle.label | ... := ...[0] | |
46 | 46 | | tests.go:128:3:128:3 | f | semmle.label | f |
|
47 | 47 | subpaths
|
48 | 48 | #select
|
49 |
| -| tests.go:22:8:22:8 | f | tests.go:9:2:9:74 | ... := ...[0] : pointer type | tests.go:22:8:22:8 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:9:12:9:74 | call to OpenFile | call to OpenFile | |
50 |
| -| tests.go:22:8:22:8 | f | tests.go:18:2:18:69 | return statement[0] : pointer type | tests.go:22:8:22:8 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:18:9:18:69 | call to OpenFile | call to OpenFile | |
51 |
| -| tests.go:27:3:27:3 | f | tests.go:9:2:9:74 | ... := ...[0] : pointer type | tests.go:27:3:27:3 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:9:12:9:74 | call to OpenFile | call to OpenFile | |
52 |
| -| tests.go:27:3:27:3 | f | tests.go:18:2:18:69 | return statement[0] : pointer type | tests.go:27:3:27:3 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:18:9:18:69 | call to OpenFile | call to OpenFile | |
53 |
| -| tests.go:62:3:62:3 | f | tests.go:9:2:9:74 | ... := ...[0] : pointer type | tests.go:62:3:62:3 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:9:12:9:74 | call to OpenFile | call to OpenFile | |
54 |
| -| tests.go:72:3:72:3 | f | tests.go:18:2:18:69 | return statement[0] : pointer type | tests.go:72:3:72:3 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:18:9:18:69 | call to OpenFile | call to OpenFile | |
55 |
| -| tests.go:110:9:110:9 | f | tests.go:9:2:9:74 | ... := ...[0] : pointer type | tests.go:110:9:110:9 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:9:12:9:74 | call to OpenFile | call to OpenFile | |
56 |
| -| tests.go:128:3:128:3 | f | tests.go:9:2:9:74 | ... := ...[0] : pointer type | tests.go:128:3:128:3 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:9:12:9:74 | call to OpenFile | call to OpenFile | |
| 49 | +| tests.go:22:8:22:8 | f | tests.go:9:2:9:74 | ... := ...[0] | tests.go:22:8:22:8 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:9:12:9:74 | call to OpenFile | call to OpenFile | |
| 50 | +| tests.go:22:8:22:8 | f | tests.go:18:2:18:69 | return statement[0] | tests.go:22:8:22:8 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:18:9:18:69 | call to OpenFile | call to OpenFile | |
| 51 | +| tests.go:27:3:27:3 | f | tests.go:9:2:9:74 | ... := ...[0] | tests.go:27:3:27:3 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:9:12:9:74 | call to OpenFile | call to OpenFile | |
| 52 | +| tests.go:27:3:27:3 | f | tests.go:18:2:18:69 | return statement[0] | tests.go:27:3:27:3 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:18:9:18:69 | call to OpenFile | call to OpenFile | |
| 53 | +| tests.go:62:3:62:3 | f | tests.go:9:2:9:74 | ... := ...[0] | tests.go:62:3:62:3 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:9:12:9:74 | call to OpenFile | call to OpenFile | |
| 54 | +| tests.go:72:3:72:3 | f | tests.go:18:2:18:69 | return statement[0] | tests.go:72:3:72:3 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:18:9:18:69 | call to OpenFile | call to OpenFile | |
| 55 | +| tests.go:110:9:110:9 | f | tests.go:9:2:9:74 | ... := ...[0] | tests.go:110:9:110:9 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:9:12:9:74 | call to OpenFile | call to OpenFile | |
| 56 | +| tests.go:128:3:128:3 | f | tests.go:9:2:9:74 | ... := ...[0] | tests.go:128:3:128:3 | f | File handle may be writable as a result of data flow from a $@ and closing it may result in data loss upon failure, which is not handled explicitly. | tests.go:9:12:9:74 | call to OpenFile | call to OpenFile | |
0 commit comments