3
3
| test.cpp:4:17:4:22 | call to malloc | test.cpp:10:9:10:11 | arr |
4
4
| test.cpp:19:9:19:16 | mk_array indirection [p] | test.cpp:28:19:28:26 | call to mk_array [p] |
5
5
| test.cpp:19:9:19:16 | mk_array indirection [p] | test.cpp:50:18:50:25 | call to mk_array [p] |
6
- | test.cpp:21:5:21:24 | ... = ... | test.cpp:21:9:21:9 | arr indirection [post update] [p] |
7
- | test.cpp:21:9 :21:9 | arr indirection [post update] [p] | test.cpp:22 :5:22 :7 | arr indirection [p] |
6
+ | test.cpp:21:5:21:7 | arr indirection [post update] [p] | test.cpp:22:5:22:7 | arr indirection [p] |
7
+ | test.cpp:21:5 :21:24 | ... = ... | test.cpp:21 :5:21 :7 | arr indirection [post update] [p] |
8
8
| test.cpp:21:13:21:18 | call to malloc | test.cpp:21:5:21:24 | ... = ... |
9
9
| test.cpp:22:5:22:7 | arr indirection [p] | test.cpp:19:9:19:16 | mk_array indirection [p] |
10
10
| test.cpp:28:19:28:26 | call to mk_array [p] | test.cpp:31:9:31:11 | arr indirection [p] |
@@ -16,17 +16,17 @@ edges
16
16
| test.cpp:41:9:41:11 | arr indirection [p] | test.cpp:41:13:41:13 | p |
17
17
| test.cpp:45:9:45:11 | arr indirection [p] | test.cpp:45:13:45:13 | p |
18
18
| test.cpp:50:18:50:25 | call to mk_array [p] | test.cpp:39:27:39:29 | arr [p] |
19
- | test.cpp:55:5:55:24 | ... = ... | test.cpp:55:9:55:9 | arr indirection [post update] [p] |
20
- | test.cpp:55:9 :55:9 | arr indirection [post update] [p] | test.cpp:56 :5:56 :7 | arr indirection [p] |
19
+ | test.cpp:55:5:55:7 | arr indirection [post update] [p] | test.cpp:56:5:56:7 | arr indirection [p] |
20
+ | test.cpp:55:5 :55:24 | ... = ... | test.cpp:55 :5:55 :7 | arr indirection [post update] [p] |
21
21
| test.cpp:55:13:55:18 | call to malloc | test.cpp:55:5:55:24 | ... = ... |
22
22
| test.cpp:56:5:56:7 | arr indirection [p] | test.cpp:59:9:59:11 | arr indirection [p] |
23
23
| test.cpp:56:5:56:7 | arr indirection [p] | test.cpp:63:9:63:11 | arr indirection [p] |
24
24
| test.cpp:59:9:59:11 | arr indirection [p] | test.cpp:59:13:59:13 | p |
25
25
| test.cpp:63:9:63:11 | arr indirection [p] | test.cpp:63:13:63:13 | p |
26
26
| test.cpp:67:10:67:19 | mk_array_p indirection [p] | test.cpp:76:20:76:29 | call to mk_array_p indirection [p] |
27
27
| test.cpp:67:10:67:19 | mk_array_p indirection [p] | test.cpp:98:18:98:27 | call to mk_array_p indirection [p] |
28
- | test.cpp:69:5:69:25 | ... = ... | test.cpp:69:10:69:10 | arr indirection [post update] [p] |
29
- | test.cpp:69:10 :69:10 | arr indirection [post update] [p] | test.cpp:70 :5:70 :7 | arr indirection [p] |
28
+ | test.cpp:69:5:69:7 | arr indirection [post update] [p] | test.cpp:70:5:70:7 | arr indirection [p] |
29
+ | test.cpp:69:5 :69:25 | ... = ... | test.cpp:69 :5:69 :7 | arr indirection [post update] [p] |
30
30
| test.cpp:69:14:69:19 | call to malloc | test.cpp:69:5:69:25 | ... = ... |
31
31
| test.cpp:70:5:70:7 | arr indirection [p] | test.cpp:67:10:67:19 | mk_array_p indirection [p] |
32
32
| test.cpp:76:20:76:29 | call to mk_array_p indirection [p] | test.cpp:79:9:79:11 | arr indirection [p] |
43
43
| test.cpp:6:9:6:11 | arr | semmle.label | arr |
44
44
| test.cpp:10:9:10:11 | arr | semmle.label | arr |
45
45
| test.cpp:19:9:19:16 | mk_array indirection [p] | semmle.label | mk_array indirection [p] |
46
+ | test.cpp:21:5:21:7 | arr indirection [post update] [p] | semmle.label | arr indirection [post update] [p] |
46
47
| test.cpp:21:5:21:24 | ... = ... | semmle.label | ... = ... |
47
- | test.cpp:21:9:21:9 | arr indirection [post update] [p] | semmle.label | arr indirection [post update] [p] |
48
48
| test.cpp:21:13:21:18 | call to malloc | semmle.label | call to malloc |
49
49
| test.cpp:22:5:22:7 | arr indirection [p] | semmle.label | arr indirection [p] |
50
50
| test.cpp:28:19:28:26 | call to mk_array [p] | semmle.label | call to mk_array [p] |
@@ -58,17 +58,17 @@ nodes
58
58
| test.cpp:45:9:45:11 | arr indirection [p] | semmle.label | arr indirection [p] |
59
59
| test.cpp:45:13:45:13 | p | semmle.label | p |
60
60
| test.cpp:50:18:50:25 | call to mk_array [p] | semmle.label | call to mk_array [p] |
61
+ | test.cpp:55:5:55:7 | arr indirection [post update] [p] | semmle.label | arr indirection [post update] [p] |
61
62
| test.cpp:55:5:55:24 | ... = ... | semmle.label | ... = ... |
62
- | test.cpp:55:9:55:9 | arr indirection [post update] [p] | semmle.label | arr indirection [post update] [p] |
63
63
| test.cpp:55:13:55:18 | call to malloc | semmle.label | call to malloc |
64
64
| test.cpp:56:5:56:7 | arr indirection [p] | semmle.label | arr indirection [p] |
65
65
| test.cpp:59:9:59:11 | arr indirection [p] | semmle.label | arr indirection [p] |
66
66
| test.cpp:59:13:59:13 | p | semmle.label | p |
67
67
| test.cpp:63:9:63:11 | arr indirection [p] | semmle.label | arr indirection [p] |
68
68
| test.cpp:63:13:63:13 | p | semmle.label | p |
69
69
| test.cpp:67:10:67:19 | mk_array_p indirection [p] | semmle.label | mk_array_p indirection [p] |
70
+ | test.cpp:69:5:69:7 | arr indirection [post update] [p] | semmle.label | arr indirection [post update] [p] |
70
71
| test.cpp:69:5:69:25 | ... = ... | semmle.label | ... = ... |
71
- | test.cpp:69:10:69:10 | arr indirection [post update] [p] | semmle.label | arr indirection [post update] [p] |
72
72
| test.cpp:69:14:69:19 | call to malloc | semmle.label | call to malloc |
73
73
| test.cpp:70:5:70:7 | arr indirection [p] | semmle.label | arr indirection [p] |
74
74
| test.cpp:76:20:76:29 | call to mk_array_p indirection [p] | semmle.label | call to mk_array_p indirection [p] |
0 commit comments