@@ -58,29 +58,29 @@ edges
58
58
| aliasing.cpp:98:3:98:21 | Chi [m1] | aliasing.cpp:100:14:100:14 | Store [m1] |
59
59
| aliasing.cpp:98:10:98:19 | call to user_input | aliasing.cpp:98:3:98:21 | Chi [m1] |
60
60
| aliasing.cpp:100:14:100:14 | Store [m1] | aliasing.cpp:102:8:102:10 | * ... |
61
- | aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:121:15:121:16 | taint_a_ptr output argument [array content ] |
62
- | aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:131:15:131:16 | taint_a_ptr output argument [array content ] |
63
- | aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:136:15:136:17 | taint_a_ptr output argument [array content ] |
64
- | aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:175:15:175:22 | taint_a_ptr output argument [array content ] |
65
- | aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:187:15:187:22 | taint_a_ptr output argument [array content ] |
66
- | aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:200:15:200:24 | taint_a_ptr output argument [array content ] |
67
- | aliasing.cpp:106:9:106:18 | call to user_input | aliasing.cpp:106:3:106:20 | Chi [array content ] |
68
- | aliasing.cpp:121:15:121:16 | Chi [array content ] | aliasing.cpp:122:8:122:12 | access to array |
69
- | aliasing.cpp:121:15:121:16 | taint_a_ptr output argument [array content] | aliasing.cpp:121:15:121:16 | Chi [array content ] |
70
- | aliasing.cpp:131:15:131:16 | Chi [array content ] | aliasing.cpp:132:8:132:14 | * ... |
71
- | aliasing.cpp:131:15:131:16 | taint_a_ptr output argument [array content] | aliasing.cpp:131:15:131:16 | Chi [array content ] |
72
- | aliasing.cpp:136:15:136:17 | Chi [array content ] | aliasing.cpp:137:8:137:11 | * ... |
73
- | aliasing.cpp:136:15:136:17 | taint_a_ptr output argument [array content] | aliasing.cpp:136:15:136:17 | Chi [array content ] |
61
+ | aliasing.cpp:106:3:106:20 | Chi [[]] | aliasing.cpp:121:15:121:16 | taint_a_ptr output argument [[] ] |
62
+ | aliasing.cpp:106:3:106:20 | Chi [[]] | aliasing.cpp:131:15:131:16 | taint_a_ptr output argument [[] ] |
63
+ | aliasing.cpp:106:3:106:20 | Chi [[]] | aliasing.cpp:136:15:136:17 | taint_a_ptr output argument [[] ] |
64
+ | aliasing.cpp:106:3:106:20 | Chi [[]] | aliasing.cpp:175:15:175:22 | taint_a_ptr output argument [[] ] |
65
+ | aliasing.cpp:106:3:106:20 | Chi [[]] | aliasing.cpp:187:15:187:22 | taint_a_ptr output argument [[] ] |
66
+ | aliasing.cpp:106:3:106:20 | Chi [[]] | aliasing.cpp:200:15:200:24 | taint_a_ptr output argument [[] ] |
67
+ | aliasing.cpp:106:9:106:18 | call to user_input | aliasing.cpp:106:3:106:20 | Chi [[] ] |
68
+ | aliasing.cpp:121:15:121:16 | Chi [[] ] | aliasing.cpp:122:8:122:12 | access to array |
69
+ | aliasing.cpp:121:15:121:16 | taint_a_ptr output argument [[]] | aliasing.cpp:121:15:121:16 | Chi [[] ] |
70
+ | aliasing.cpp:131:15:131:16 | Chi [[] ] | aliasing.cpp:132:8:132:14 | * ... |
71
+ | aliasing.cpp:131:15:131:16 | taint_a_ptr output argument [[]] | aliasing.cpp:131:15:131:16 | Chi [[] ] |
72
+ | aliasing.cpp:136:15:136:17 | Chi [[] ] | aliasing.cpp:137:8:137:11 | * ... |
73
+ | aliasing.cpp:136:15:136:17 | taint_a_ptr output argument [[]] | aliasing.cpp:136:15:136:17 | Chi [[] ] |
74
74
| aliasing.cpp:175:15:175:22 | Chi | aliasing.cpp:175:15:175:22 | Chi [m1] |
75
75
| aliasing.cpp:175:15:175:22 | Chi [m1] | aliasing.cpp:176:13:176:14 | m1 |
76
- | aliasing.cpp:175:15:175:22 | taint_a_ptr output argument [array content ] | aliasing.cpp:175:15:175:22 | Chi |
76
+ | aliasing.cpp:175:15:175:22 | taint_a_ptr output argument [[] ] | aliasing.cpp:175:15:175:22 | Chi |
77
77
| aliasing.cpp:187:15:187:22 | Chi | aliasing.cpp:187:15:187:22 | Chi [m1] |
78
78
| aliasing.cpp:187:15:187:22 | Chi [m1] | aliasing.cpp:188:13:188:14 | Store [m1] |
79
- | aliasing.cpp:187:15:187:22 | taint_a_ptr output argument [array content ] | aliasing.cpp:187:15:187:22 | Chi |
79
+ | aliasing.cpp:187:15:187:22 | taint_a_ptr output argument [[] ] | aliasing.cpp:187:15:187:22 | Chi |
80
80
| aliasing.cpp:188:13:188:14 | Store [m1] | aliasing.cpp:189:15:189:16 | m1 |
81
81
| aliasing.cpp:200:15:200:24 | Chi | aliasing.cpp:200:15:200:24 | Chi [m1] |
82
82
| aliasing.cpp:200:15:200:24 | Chi [m1] | aliasing.cpp:201:15:201:16 | m1 |
83
- | aliasing.cpp:200:15:200:24 | taint_a_ptr output argument [array content ] | aliasing.cpp:200:15:200:24 | Chi |
83
+ | aliasing.cpp:200:15:200:24 | taint_a_ptr output argument [[] ] | aliasing.cpp:200:15:200:24 | Chi |
84
84
| arrays.cpp:6:12:6:21 | call to user_input | arrays.cpp:7:8:7:13 | access to array |
85
85
| arrays.cpp:6:12:6:21 | call to user_input | arrays.cpp:9:8:9:11 | * ... |
86
86
| arrays.cpp:6:12:6:21 | call to user_input | arrays.cpp:10:8:10:15 | * ... |
@@ -108,32 +108,32 @@ edges
108
108
| by_reference.cpp:88:3:88:24 | Chi [a] | by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] |
109
109
| by_reference.cpp:88:3:88:24 | Chi [a] | by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] |
110
110
| by_reference.cpp:88:13:88:22 | call to user_input | by_reference.cpp:88:3:88:24 | Chi [a] |
111
- | by_reference.cpp:92:3:92:20 | Chi [array content] | by_reference.cpp:104:15:104:22 | taint_a_ptr output argument [array content ] |
112
- | by_reference.cpp:92:3:92:20 | Chi [array content] | by_reference.cpp:108:15:108:24 | taint_a_ptr output argument [array content ] |
113
- | by_reference.cpp:92:9:92:18 | call to user_input | by_reference.cpp:92:3:92:20 | Chi [array content ] |
114
- | by_reference.cpp:96:3:96:19 | Chi [array content] | by_reference.cpp:124:15:124:21 | taint_a_ref output argument [array content ] |
115
- | by_reference.cpp:96:3:96:19 | Chi [array content] | by_reference.cpp:128:15:128:23 | taint_a_ref output argument [array content ] |
116
- | by_reference.cpp:96:8:96:17 | call to user_input | by_reference.cpp:96:3:96:19 | Chi [array content ] |
111
+ | by_reference.cpp:92:3:92:20 | Chi [[]] | by_reference.cpp:104:15:104:22 | taint_a_ptr output argument [[] ] |
112
+ | by_reference.cpp:92:3:92:20 | Chi [[]] | by_reference.cpp:108:15:108:24 | taint_a_ptr output argument [[] ] |
113
+ | by_reference.cpp:92:9:92:18 | call to user_input | by_reference.cpp:92:3:92:20 | Chi [[] ] |
114
+ | by_reference.cpp:96:3:96:19 | Chi [[]] | by_reference.cpp:124:15:124:21 | taint_a_ref output argument [[] ] |
115
+ | by_reference.cpp:96:3:96:19 | Chi [[]] | by_reference.cpp:128:15:128:23 | taint_a_ref output argument [[] ] |
116
+ | by_reference.cpp:96:8:96:17 | call to user_input | by_reference.cpp:96:3:96:19 | Chi [[] ] |
117
117
| by_reference.cpp:102:21:102:39 | Chi [a] | by_reference.cpp:110:27:110:27 | a |
118
118
| by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] | by_reference.cpp:102:21:102:39 | Chi [a] |
119
119
| by_reference.cpp:104:15:104:22 | Chi | by_reference.cpp:104:15:104:22 | Chi [a] |
120
120
| by_reference.cpp:104:15:104:22 | Chi [a] | by_reference.cpp:112:14:112:14 | a |
121
- | by_reference.cpp:104:15:104:22 | taint_a_ptr output argument [array content ] | by_reference.cpp:104:15:104:22 | Chi |
121
+ | by_reference.cpp:104:15:104:22 | taint_a_ptr output argument [[] ] | by_reference.cpp:104:15:104:22 | Chi |
122
122
| by_reference.cpp:106:21:106:41 | Chi [a] | by_reference.cpp:114:29:114:29 | a |
123
123
| by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] | by_reference.cpp:106:21:106:41 | Chi [a] |
124
124
| by_reference.cpp:108:15:108:24 | Chi | by_reference.cpp:108:15:108:24 | Chi [a] |
125
125
| by_reference.cpp:108:15:108:24 | Chi [a] | by_reference.cpp:116:16:116:16 | a |
126
- | by_reference.cpp:108:15:108:24 | taint_a_ptr output argument [array content ] | by_reference.cpp:108:15:108:24 | Chi |
126
+ | by_reference.cpp:108:15:108:24 | taint_a_ptr output argument [[] ] | by_reference.cpp:108:15:108:24 | Chi |
127
127
| by_reference.cpp:122:21:122:38 | Chi [a] | by_reference.cpp:130:27:130:27 | a |
128
128
| by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] | by_reference.cpp:122:21:122:38 | Chi [a] |
129
129
| by_reference.cpp:124:15:124:21 | Chi | by_reference.cpp:124:15:124:21 | Chi [a] |
130
130
| by_reference.cpp:124:15:124:21 | Chi [a] | by_reference.cpp:132:14:132:14 | a |
131
- | by_reference.cpp:124:15:124:21 | taint_a_ref output argument [array content ] | by_reference.cpp:124:15:124:21 | Chi |
131
+ | by_reference.cpp:124:15:124:21 | taint_a_ref output argument [[] ] | by_reference.cpp:124:15:124:21 | Chi |
132
132
| by_reference.cpp:126:21:126:40 | Chi [a] | by_reference.cpp:134:29:134:29 | a |
133
133
| by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] | by_reference.cpp:126:21:126:40 | Chi [a] |
134
134
| by_reference.cpp:128:15:128:23 | Chi | by_reference.cpp:128:15:128:23 | Chi [a] |
135
135
| by_reference.cpp:128:15:128:23 | Chi [a] | by_reference.cpp:136:16:136:16 | a |
136
- | by_reference.cpp:128:15:128:23 | taint_a_ref output argument [array content ] | by_reference.cpp:128:15:128:23 | Chi |
136
+ | by_reference.cpp:128:15:128:23 | taint_a_ref output argument [[] ] | by_reference.cpp:128:15:128:23 | Chi |
137
137
| complex.cpp:40:17:40:17 | *b [a_] | complex.cpp:42:16:42:16 | f indirection [a_] |
138
138
| complex.cpp:40:17:40:17 | *b [b_] | complex.cpp:42:16:42:16 | f indirection [b_] |
139
139
| complex.cpp:40:17:40:17 | *b [b_] | complex.cpp:43:16:43:16 | f indirection [b_] |
@@ -304,29 +304,29 @@ nodes
304
304
| aliasing.cpp:98:10:98:19 | call to user_input | semmle.label | call to user_input |
305
305
| aliasing.cpp:100:14:100:14 | Store [m1] | semmle.label | Store [m1] |
306
306
| aliasing.cpp:102:8:102:10 | * ... | semmle.label | * ... |
307
- | aliasing.cpp:106:3:106:20 | Chi [array content] | semmle.label | Chi [array content ] |
307
+ | aliasing.cpp:106:3:106:20 | Chi [[]] | semmle.label | Chi [[] ] |
308
308
| aliasing.cpp:106:9:106:18 | call to user_input | semmle.label | call to user_input |
309
- | aliasing.cpp:121:15:121:16 | Chi [array content] | semmle.label | Chi [array content ] |
310
- | aliasing.cpp:121:15:121:16 | taint_a_ptr output argument [array content] | semmle.label | taint_a_ptr output argument [array content ] |
309
+ | aliasing.cpp:121:15:121:16 | Chi [[]] | semmle.label | Chi [[] ] |
310
+ | aliasing.cpp:121:15:121:16 | taint_a_ptr output argument [[]] | semmle.label | taint_a_ptr output argument [[] ] |
311
311
| aliasing.cpp:122:8:122:12 | access to array | semmle.label | access to array |
312
- | aliasing.cpp:131:15:131:16 | Chi [array content] | semmle.label | Chi [array content ] |
313
- | aliasing.cpp:131:15:131:16 | taint_a_ptr output argument [array content] | semmle.label | taint_a_ptr output argument [array content ] |
312
+ | aliasing.cpp:131:15:131:16 | Chi [[]] | semmle.label | Chi [[] ] |
313
+ | aliasing.cpp:131:15:131:16 | taint_a_ptr output argument [[]] | semmle.label | taint_a_ptr output argument [[] ] |
314
314
| aliasing.cpp:132:8:132:14 | * ... | semmle.label | * ... |
315
- | aliasing.cpp:136:15:136:17 | Chi [array content] | semmle.label | Chi [array content ] |
316
- | aliasing.cpp:136:15:136:17 | taint_a_ptr output argument [array content] | semmle.label | taint_a_ptr output argument [array content ] |
315
+ | aliasing.cpp:136:15:136:17 | Chi [[]] | semmle.label | Chi [[] ] |
316
+ | aliasing.cpp:136:15:136:17 | taint_a_ptr output argument [[]] | semmle.label | taint_a_ptr output argument [[] ] |
317
317
| aliasing.cpp:137:8:137:11 | * ... | semmle.label | * ... |
318
318
| aliasing.cpp:175:15:175:22 | Chi | semmle.label | Chi |
319
319
| aliasing.cpp:175:15:175:22 | Chi [m1] | semmle.label | Chi [m1] |
320
- | aliasing.cpp:175:15:175:22 | taint_a_ptr output argument [array content] | semmle.label | taint_a_ptr output argument [array content ] |
320
+ | aliasing.cpp:175:15:175:22 | taint_a_ptr output argument [[]] | semmle.label | taint_a_ptr output argument [[] ] |
321
321
| aliasing.cpp:176:13:176:14 | m1 | semmle.label | m1 |
322
322
| aliasing.cpp:187:15:187:22 | Chi | semmle.label | Chi |
323
323
| aliasing.cpp:187:15:187:22 | Chi [m1] | semmle.label | Chi [m1] |
324
- | aliasing.cpp:187:15:187:22 | taint_a_ptr output argument [array content] | semmle.label | taint_a_ptr output argument [array content ] |
324
+ | aliasing.cpp:187:15:187:22 | taint_a_ptr output argument [[]] | semmle.label | taint_a_ptr output argument [[] ] |
325
325
| aliasing.cpp:188:13:188:14 | Store [m1] | semmle.label | Store [m1] |
326
326
| aliasing.cpp:189:15:189:16 | m1 | semmle.label | m1 |
327
327
| aliasing.cpp:200:15:200:24 | Chi | semmle.label | Chi |
328
328
| aliasing.cpp:200:15:200:24 | Chi [m1] | semmle.label | Chi [m1] |
329
- | aliasing.cpp:200:15:200:24 | taint_a_ptr output argument [array content] | semmle.label | taint_a_ptr output argument [array content ] |
329
+ | aliasing.cpp:200:15:200:24 | taint_a_ptr output argument [[]] | semmle.label | taint_a_ptr output argument [[] ] |
330
330
| aliasing.cpp:201:15:201:16 | m1 | semmle.label | m1 |
331
331
| arrays.cpp:6:12:6:21 | call to user_input | semmle.label | call to user_input |
332
332
| arrays.cpp:7:8:7:13 | access to array | semmle.label | access to array |
@@ -360,20 +360,20 @@ nodes
360
360
| by_reference.cpp:84:14:84:23 | call to user_input | semmle.label | call to user_input |
361
361
| by_reference.cpp:88:3:88:24 | Chi [a] | semmle.label | Chi [a] |
362
362
| by_reference.cpp:88:13:88:22 | call to user_input | semmle.label | call to user_input |
363
- | by_reference.cpp:92:3:92:20 | Chi [array content] | semmle.label | Chi [array content ] |
363
+ | by_reference.cpp:92:3:92:20 | Chi [[]] | semmle.label | Chi [[] ] |
364
364
| by_reference.cpp:92:9:92:18 | call to user_input | semmle.label | call to user_input |
365
- | by_reference.cpp:96:3:96:19 | Chi [array content] | semmle.label | Chi [array content ] |
365
+ | by_reference.cpp:96:3:96:19 | Chi [[]] | semmle.label | Chi [[] ] |
366
366
| by_reference.cpp:96:8:96:17 | call to user_input | semmle.label | call to user_input |
367
367
| by_reference.cpp:102:21:102:39 | Chi [a] | semmle.label | Chi [a] |
368
368
| by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] | semmle.label | taint_inner_a_ptr output argument [a] |
369
369
| by_reference.cpp:104:15:104:22 | Chi | semmle.label | Chi |
370
370
| by_reference.cpp:104:15:104:22 | Chi [a] | semmle.label | Chi [a] |
371
- | by_reference.cpp:104:15:104:22 | taint_a_ptr output argument [array content] | semmle.label | taint_a_ptr output argument [array content ] |
371
+ | by_reference.cpp:104:15:104:22 | taint_a_ptr output argument [[]] | semmle.label | taint_a_ptr output argument [[] ] |
372
372
| by_reference.cpp:106:21:106:41 | Chi [a] | semmle.label | Chi [a] |
373
373
| by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] | semmle.label | taint_inner_a_ptr output argument [a] |
374
374
| by_reference.cpp:108:15:108:24 | Chi | semmle.label | Chi |
375
375
| by_reference.cpp:108:15:108:24 | Chi [a] | semmle.label | Chi [a] |
376
- | by_reference.cpp:108:15:108:24 | taint_a_ptr output argument [array content] | semmle.label | taint_a_ptr output argument [array content ] |
376
+ | by_reference.cpp:108:15:108:24 | taint_a_ptr output argument [[]] | semmle.label | taint_a_ptr output argument [[] ] |
377
377
| by_reference.cpp:110:27:110:27 | a | semmle.label | a |
378
378
| by_reference.cpp:112:14:112:14 | a | semmle.label | a |
379
379
| by_reference.cpp:114:29:114:29 | a | semmle.label | a |
@@ -382,12 +382,12 @@ nodes
382
382
| by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] | semmle.label | taint_inner_a_ref output argument [a] |
383
383
| by_reference.cpp:124:15:124:21 | Chi | semmle.label | Chi |
384
384
| by_reference.cpp:124:15:124:21 | Chi [a] | semmle.label | Chi [a] |
385
- | by_reference.cpp:124:15:124:21 | taint_a_ref output argument [array content] | semmle.label | taint_a_ref output argument [array content ] |
385
+ | by_reference.cpp:124:15:124:21 | taint_a_ref output argument [[]] | semmle.label | taint_a_ref output argument [[] ] |
386
386
| by_reference.cpp:126:21:126:40 | Chi [a] | semmle.label | Chi [a] |
387
387
| by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] | semmle.label | taint_inner_a_ref output argument [a] |
388
388
| by_reference.cpp:128:15:128:23 | Chi | semmle.label | Chi |
389
389
| by_reference.cpp:128:15:128:23 | Chi [a] | semmle.label | Chi [a] |
390
- | by_reference.cpp:128:15:128:23 | taint_a_ref output argument [array content] | semmle.label | taint_a_ref output argument [array content ] |
390
+ | by_reference.cpp:128:15:128:23 | taint_a_ref output argument [[]] | semmle.label | taint_a_ref output argument [[] ] |
391
391
| by_reference.cpp:130:27:130:27 | a | semmle.label | a |
392
392
| by_reference.cpp:132:14:132:14 | a | semmle.label | a |
393
393
| by_reference.cpp:134:29:134:29 | a | semmle.label | a |
0 commit comments