|
2 | 2 | | consts.cpp:24:7:24:9 | **gv1 | consts.cpp:25:2:25:4 | *a | provenance | |
|
3 | 3 | | consts.cpp:24:7:24:9 | **gv1 | consts.cpp:30:9:30:14 | *access to array | provenance | |
|
4 | 4 | | consts.cpp:24:7:24:9 | **gv1 | consts.cpp:123:2:123:12 | *... = ... | provenance | |
|
5 |
| -| consts.cpp:25:2:25:4 | *a | consts.cpp:26:2:26:4 | *b | provenance | | |
6 |
| -| consts.cpp:26:2:26:4 | *b | consts.cpp:24:7:24:9 | **gv1 | provenance | | |
| 5 | +| consts.cpp:25:2:25:4 | *a | consts.cpp:26:2:26:4 | *{...} | provenance | | |
| 6 | +| consts.cpp:26:2:26:4 | *{...} | consts.cpp:24:7:24:9 | **gv1 | provenance | | |
7 | 7 | | consts.cpp:29:7:29:25 | **nonConstFuncToArray | consts.cpp:126:9:126:30 | *call to nonConstFuncToArray | provenance | |
|
8 | 8 | | consts.cpp:30:9:30:14 | *access to array | consts.cpp:29:7:29:25 | **nonConstFuncToArray | provenance | |
|
9 | 9 | | consts.cpp:85:7:85:8 | gets output argument | consts.cpp:86:9:86:10 | *v1 | provenance | |
|
|
14 | 14 | | consts.cpp:85:7:85:8 | gets output argument | consts.cpp:129:19:129:20 | *v1 | provenance | |
|
15 | 15 | | consts.cpp:85:7:85:8 | gets output argument | consts.cpp:135:9:135:11 | *v10 | provenance | TaintFunction |
|
16 | 16 | | consts.cpp:90:2:90:14 | *... = ... | consts.cpp:91:9:91:10 | *v2 | provenance | |
|
17 |
| -| consts.cpp:90:2:90:14 | *... = ... | consts.cpp:115:21:115:22 | *v2 | provenance | | |
| 17 | +| consts.cpp:90:2:90:14 | *... = ... | consts.cpp:115:21:115:22 | *{...} | provenance | | |
18 | 18 | | consts.cpp:90:7:90:10 | *call to gets | consts.cpp:90:2:90:14 | *... = ... | provenance | |
|
19 | 19 | | consts.cpp:90:12:90:13 | gets output argument | consts.cpp:94:13:94:14 | *v1 | provenance | |
|
20 | 20 | | consts.cpp:90:12:90:13 | gets output argument | consts.cpp:99:2:99:8 | *... = ... | provenance | |
|
|
28 | 28 | | consts.cpp:106:13:106:19 | *call to varFunc | consts.cpp:107:9:107:10 | *v5 | provenance | |
|
29 | 29 | | consts.cpp:111:2:111:15 | *... = ... | consts.cpp:112:9:112:10 | *v6 | provenance | |
|
30 | 30 | | consts.cpp:111:7:111:13 | *call to varFunc | consts.cpp:111:2:111:15 | *... = ... | provenance | |
|
31 |
| -| consts.cpp:115:17:115:18 | *v1 | consts.cpp:115:21:115:22 | *v2 | provenance | | |
32 |
| -| consts.cpp:115:21:115:22 | *v2 | consts.cpp:116:9:116:13 | *access to array | provenance | | |
33 |
| -| consts.cpp:115:21:115:22 | *v2 | consts.cpp:120:2:120:11 | *... = ... | provenance | | |
| 31 | +| consts.cpp:115:17:115:18 | *v1 | consts.cpp:115:21:115:22 | *{...} | provenance | | |
| 32 | +| consts.cpp:115:21:115:22 | *{...} | consts.cpp:116:9:116:13 | *access to array | provenance | | |
| 33 | +| consts.cpp:115:21:115:22 | *{...} | consts.cpp:120:2:120:11 | *... = ... | provenance | | |
34 | 34 | | consts.cpp:120:2:120:11 | *... = ... | consts.cpp:121:9:121:10 | *v8 | provenance | |
|
35 | 35 | | consts.cpp:123:2:123:12 | *... = ... | consts.cpp:24:7:24:9 | **gv1 | provenance | |
|
36 | 36 | | consts.cpp:129:19:129:20 | *v1 | consts.cpp:130:9:130:10 | *v9 | provenance | |
|
|
39 | 39 | nodes
|
40 | 40 | | consts.cpp:24:7:24:9 | **gv1 | semmle.label | **gv1 |
|
41 | 41 | | consts.cpp:25:2:25:4 | *a | semmle.label | *a |
|
42 |
| -| consts.cpp:26:2:26:4 | *b | semmle.label | *b | |
| 42 | +| consts.cpp:26:2:26:4 | *{...} | semmle.label | *{...} | |
43 | 43 | | consts.cpp:29:7:29:25 | **nonConstFuncToArray | semmle.label | **nonConstFuncToArray |
|
44 | 44 | | consts.cpp:30:9:30:14 | *access to array | semmle.label | *access to array |
|
45 | 45 | | consts.cpp:85:7:85:8 | gets output argument | semmle.label | gets output argument |
|
|
60 | 60 | | consts.cpp:111:7:111:13 | *call to varFunc | semmle.label | *call to varFunc |
|
61 | 61 | | consts.cpp:112:9:112:10 | *v6 | semmle.label | *v6 |
|
62 | 62 | | consts.cpp:115:17:115:18 | *v1 | semmle.label | *v1 |
|
63 |
| -| consts.cpp:115:21:115:22 | *v2 | semmle.label | *v2 | |
| 63 | +| consts.cpp:115:21:115:22 | *{...} | semmle.label | *{...} | |
64 | 64 | | consts.cpp:116:9:116:13 | *access to array | semmle.label | *access to array |
|
65 | 65 | | consts.cpp:120:2:120:11 | *... = ... | semmle.label | *... = ... |
|
66 | 66 | | consts.cpp:121:9:121:10 | *v8 | semmle.label | *v8 |
|
|
0 commit comments