|
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