|
1 | 1 | edges |
2 | | -| aliasing.cpp:37:3:37:24 | Store : void | aliasing.cpp:38:11:38:12 | m1 | |
3 | | -| aliasing.cpp:37:13:37:22 | call to user_input : void | aliasing.cpp:37:3:37:24 | Store : void | |
4 | | -| aliasing.cpp:37:13:37:22 | call to user_input : void | aliasing.cpp:38:11:38:12 | m1 | |
5 | | -| aliasing.cpp:42:3:42:22 | Store : void | aliasing.cpp:43:13:43:14 | m1 | |
6 | | -| aliasing.cpp:42:11:42:20 | call to user_input : void | aliasing.cpp:42:3:42:22 | Store : void | |
7 | | -| aliasing.cpp:42:11:42:20 | call to user_input : void | aliasing.cpp:43:13:43:14 | m1 | |
8 | | -| aliasing.cpp:60:3:60:22 | Chi [m1] : void | aliasing.cpp:61:13:61:14 | Store [m1] : void | |
9 | | -| aliasing.cpp:60:3:60:22 | Store : void | aliasing.cpp:60:3:60:22 | Chi [m1] : void | |
10 | | -| aliasing.cpp:60:11:60:20 | call to user_input : void | aliasing.cpp:60:3:60:22 | Store : void | |
11 | | -| aliasing.cpp:61:13:61:14 | Store [m1] : void | aliasing.cpp:62:14:62:15 | m1 | |
12 | | -| aliasing.cpp:79:3:79:22 | Store : void | aliasing.cpp:80:12:80:13 | m1 | |
13 | | -| aliasing.cpp:79:11:79:20 | call to user_input : void | aliasing.cpp:79:3:79:22 | Store : void | |
14 | | -| aliasing.cpp:79:11:79:20 | call to user_input : void | aliasing.cpp:80:12:80:13 | m1 | |
15 | | -| aliasing.cpp:86:3:86:21 | Store : void | aliasing.cpp:87:12:87:13 | m1 | |
16 | | -| aliasing.cpp:86:10:86:19 | call to user_input : void | aliasing.cpp:86:3:86:21 | Store : void | |
17 | | -| aliasing.cpp:86:10:86:19 | call to user_input : void | aliasing.cpp:87:12:87:13 | m1 | |
18 | | -| aliasing.cpp:92:3:92:23 | Store : void | aliasing.cpp:93:12:93:13 | m1 | |
19 | | -| aliasing.cpp:92:12:92:21 | call to user_input : void | aliasing.cpp:92:3:92:23 | Store : void | |
20 | | -| aliasing.cpp:92:12:92:21 | call to user_input : void | aliasing.cpp:93:12:93:13 | m1 | |
21 | | -| struct_init.c:20:20:20:29 | Store : void | struct_init.c:22:11:22:11 | a | |
22 | | -| struct_init.c:20:20:20:29 | call to user_input : void | struct_init.c:20:20:20:29 | Store : void | |
23 | | -| struct_init.c:20:20:20:29 | call to user_input : void | struct_init.c:22:11:22:11 | a | |
24 | | -| struct_init.c:27:7:27:16 | Store : void | struct_init.c:31:23:31:23 | a | |
25 | | -| struct_init.c:27:7:27:16 | call to user_input : void | struct_init.c:27:7:27:16 | Store : void | |
26 | | -| struct_init.c:27:7:27:16 | call to user_input : void | struct_init.c:31:23:31:23 | a | |
| 2 | +| aliasing.cpp:37:13:37:22 | call to user_input | aliasing.cpp:38:11:38:12 | m1 | |
| 3 | +| aliasing.cpp:42:11:42:20 | call to user_input | aliasing.cpp:43:13:43:14 | m1 | |
| 4 | +| aliasing.cpp:60:3:60:22 | Chi [m1] | aliasing.cpp:61:13:61:14 | Store [m1] | |
| 5 | +| aliasing.cpp:60:3:60:22 | Store | aliasing.cpp:60:3:60:22 | Chi [m1] | |
| 6 | +| aliasing.cpp:60:11:60:20 | call to user_input | aliasing.cpp:60:3:60:22 | Store | |
| 7 | +| aliasing.cpp:61:13:61:14 | Store [m1] | aliasing.cpp:62:14:62:15 | m1 | |
| 8 | +| aliasing.cpp:79:11:79:20 | call to user_input | aliasing.cpp:80:12:80:13 | m1 | |
| 9 | +| aliasing.cpp:86:10:86:19 | call to user_input | aliasing.cpp:87:12:87:13 | m1 | |
| 10 | +| aliasing.cpp:92:12:92:21 | call to user_input | aliasing.cpp:93:12:93:13 | m1 | |
| 11 | +| struct_init.c:20:20:20:29 | call to user_input | struct_init.c:22:11:22:11 | a | |
| 12 | +| struct_init.c:27:7:27:16 | call to user_input | struct_init.c:31:23:31:23 | a | |
27 | 13 | nodes |
28 | | -| aliasing.cpp:37:3:37:24 | Store : void | semmle.label | Store : void | |
29 | | -| aliasing.cpp:37:13:37:22 | call to user_input : void | semmle.label | call to user_input : void | |
| 14 | +| aliasing.cpp:37:13:37:22 | call to user_input | semmle.label | call to user_input | |
30 | 15 | | aliasing.cpp:38:11:38:12 | m1 | semmle.label | m1 | |
31 | | -| aliasing.cpp:42:3:42:22 | Store : void | semmle.label | Store : void | |
32 | | -| aliasing.cpp:42:11:42:20 | call to user_input : void | semmle.label | call to user_input : void | |
| 16 | +| aliasing.cpp:42:11:42:20 | call to user_input | semmle.label | call to user_input | |
33 | 17 | | aliasing.cpp:43:13:43:14 | m1 | semmle.label | m1 | |
34 | | -| aliasing.cpp:60:3:60:22 | Chi [m1] : void | semmle.label | Chi [m1] : void | |
35 | | -| aliasing.cpp:60:3:60:22 | Store : void | semmle.label | Store : void | |
36 | | -| aliasing.cpp:60:11:60:20 | call to user_input : void | semmle.label | call to user_input : void | |
37 | | -| aliasing.cpp:61:13:61:14 | Store [m1] : void | semmle.label | Store [m1] : void | |
| 18 | +| aliasing.cpp:60:3:60:22 | Chi [m1] | semmle.label | Chi [m1] | |
| 19 | +| aliasing.cpp:60:3:60:22 | Store | semmle.label | Store | |
| 20 | +| aliasing.cpp:60:11:60:20 | call to user_input | semmle.label | call to user_input | |
| 21 | +| aliasing.cpp:61:13:61:14 | Store [m1] | semmle.label | Store [m1] | |
38 | 22 | | aliasing.cpp:62:14:62:15 | m1 | semmle.label | m1 | |
39 | | -| aliasing.cpp:79:3:79:22 | Store : void | semmle.label | Store : void | |
40 | | -| aliasing.cpp:79:11:79:20 | call to user_input : void | semmle.label | call to user_input : void | |
| 23 | +| aliasing.cpp:79:11:79:20 | call to user_input | semmle.label | call to user_input | |
41 | 24 | | aliasing.cpp:80:12:80:13 | m1 | semmle.label | m1 | |
42 | | -| aliasing.cpp:86:3:86:21 | Store : void | semmle.label | Store : void | |
43 | | -| aliasing.cpp:86:10:86:19 | call to user_input : void | semmle.label | call to user_input : void | |
| 25 | +| aliasing.cpp:86:10:86:19 | call to user_input | semmle.label | call to user_input | |
44 | 26 | | aliasing.cpp:87:12:87:13 | m1 | semmle.label | m1 | |
45 | | -| aliasing.cpp:92:3:92:23 | Store : void | semmle.label | Store : void | |
46 | | -| aliasing.cpp:92:12:92:21 | call to user_input : void | semmle.label | call to user_input : void | |
| 27 | +| aliasing.cpp:92:12:92:21 | call to user_input | semmle.label | call to user_input | |
47 | 28 | | aliasing.cpp:93:12:93:13 | m1 | semmle.label | m1 | |
48 | | -| struct_init.c:20:20:20:29 | Store : void | semmle.label | Store : void | |
49 | | -| struct_init.c:20:20:20:29 | call to user_input : void | semmle.label | call to user_input : void | |
| 29 | +| struct_init.c:20:20:20:29 | call to user_input | semmle.label | call to user_input | |
50 | 30 | | struct_init.c:22:11:22:11 | a | semmle.label | a | |
51 | | -| struct_init.c:27:7:27:16 | Store : void | semmle.label | Store : void | |
52 | | -| struct_init.c:27:7:27:16 | call to user_input : void | semmle.label | call to user_input : void | |
| 31 | +| struct_init.c:27:7:27:16 | call to user_input | semmle.label | call to user_input | |
53 | 32 | | struct_init.c:31:23:31:23 | a | semmle.label | a | |
54 | 33 | #select |
55 | | -| aliasing.cpp:38:11:38:12 | m1 | aliasing.cpp:37:13:37:22 | call to user_input : void | aliasing.cpp:38:11:38:12 | m1 | m1 flows from $@ | aliasing.cpp:37:13:37:22 | call to user_input : void | call to user_input : void | |
56 | | -| aliasing.cpp:43:13:43:14 | m1 | aliasing.cpp:42:11:42:20 | call to user_input : void | aliasing.cpp:43:13:43:14 | m1 | m1 flows from $@ | aliasing.cpp:42:11:42:20 | call to user_input : void | call to user_input : void | |
57 | | -| aliasing.cpp:62:14:62:15 | m1 | aliasing.cpp:60:11:60:20 | call to user_input : void | aliasing.cpp:62:14:62:15 | m1 | m1 flows from $@ | aliasing.cpp:60:11:60:20 | call to user_input : void | call to user_input : void | |
58 | | -| aliasing.cpp:80:12:80:13 | m1 | aliasing.cpp:79:11:79:20 | call to user_input : void | aliasing.cpp:80:12:80:13 | m1 | m1 flows from $@ | aliasing.cpp:79:11:79:20 | call to user_input : void | call to user_input : void | |
59 | | -| aliasing.cpp:87:12:87:13 | m1 | aliasing.cpp:86:10:86:19 | call to user_input : void | aliasing.cpp:87:12:87:13 | m1 | m1 flows from $@ | aliasing.cpp:86:10:86:19 | call to user_input : void | call to user_input : void | |
60 | | -| aliasing.cpp:93:12:93:13 | m1 | aliasing.cpp:92:12:92:21 | call to user_input : void | aliasing.cpp:93:12:93:13 | m1 | m1 flows from $@ | aliasing.cpp:92:12:92:21 | call to user_input : void | call to user_input : void | |
61 | | -| struct_init.c:22:11:22:11 | a | struct_init.c:20:20:20:29 | call to user_input : void | struct_init.c:22:11:22:11 | a | a flows from $@ | struct_init.c:20:20:20:29 | call to user_input : void | call to user_input : void | |
62 | | -| struct_init.c:31:23:31:23 | a | struct_init.c:27:7:27:16 | call to user_input : void | struct_init.c:31:23:31:23 | a | a flows from $@ | struct_init.c:27:7:27:16 | call to user_input : void | call to user_input : void | |
| 34 | +| aliasing.cpp:38:11:38:12 | m1 | aliasing.cpp:37:13:37:22 | call to user_input | aliasing.cpp:38:11:38:12 | m1 | m1 flows from $@ | aliasing.cpp:37:13:37:22 | call to user_input | call to user_input | |
| 35 | +| aliasing.cpp:43:13:43:14 | m1 | aliasing.cpp:42:11:42:20 | call to user_input | aliasing.cpp:43:13:43:14 | m1 | m1 flows from $@ | aliasing.cpp:42:11:42:20 | call to user_input | call to user_input | |
| 36 | +| aliasing.cpp:62:14:62:15 | m1 | aliasing.cpp:60:11:60:20 | call to user_input | aliasing.cpp:62:14:62:15 | m1 | m1 flows from $@ | aliasing.cpp:60:11:60:20 | call to user_input | call to user_input | |
| 37 | +| aliasing.cpp:80:12:80:13 | m1 | aliasing.cpp:79:11:79:20 | call to user_input | aliasing.cpp:80:12:80:13 | m1 | m1 flows from $@ | aliasing.cpp:79:11:79:20 | call to user_input | call to user_input | |
| 38 | +| aliasing.cpp:87:12:87:13 | m1 | aliasing.cpp:86:10:86:19 | call to user_input | aliasing.cpp:87:12:87:13 | m1 | m1 flows from $@ | aliasing.cpp:86:10:86:19 | call to user_input | call to user_input | |
| 39 | +| aliasing.cpp:93:12:93:13 | m1 | aliasing.cpp:92:12:92:21 | call to user_input | aliasing.cpp:93:12:93:13 | m1 | m1 flows from $@ | aliasing.cpp:92:12:92:21 | call to user_input | call to user_input | |
| 40 | +| struct_init.c:22:11:22:11 | a | struct_init.c:20:20:20:29 | call to user_input | struct_init.c:22:11:22:11 | a | a flows from $@ | struct_init.c:20:20:20:29 | call to user_input | call to user_input | |
| 41 | +| struct_init.c:31:23:31:23 | a | struct_init.c:27:7:27:16 | call to user_input | struct_init.c:31:23:31:23 | a | a flows from $@ | struct_init.c:27:7:27:16 | call to user_input | call to user_input | |
0 commit comments