53
53
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:116:9:116:10 | (const char *)... |
54
54
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:116:9:116:10 | i3 |
55
55
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:116:9:116:10 | i3 |
56
- | argvLocal.c:115:13:115:16 | argv | argvLocal.c:117:15:117:16 | BufferReadSideEffect |
57
- | argvLocal.c:115:13:115:16 | argv | argvLocal.c:117:15:117:16 | BufferReadSideEffect |
56
+ | argvLocal.c:115:13:115:16 | argv | argvLocal.c:117:15:117:16 | Argument 0 indirection |
57
+ | argvLocal.c:115:13:115:16 | argv | argvLocal.c:117:15:117:16 | Argument 0 indirection |
58
58
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:117:15:117:16 | array to pointer conversion |
59
59
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:117:15:117:16 | array to pointer conversion |
60
60
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:117:15:117:16 | array to pointer conversion |
65
65
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:121:9:121:10 | (const char *)... |
66
66
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:121:9:121:10 | i4 |
67
67
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:121:9:121:10 | i4 |
68
- | argvLocal.c:115:13:115:16 | argv | argvLocal.c:122:15:122:16 | BufferReadSideEffect |
69
- | argvLocal.c:115:13:115:16 | argv | argvLocal.c:122:15:122:16 | BufferReadSideEffect |
68
+ | argvLocal.c:115:13:115:16 | argv | argvLocal.c:122:15:122:16 | Argument 0 indirection |
69
+ | argvLocal.c:115:13:115:16 | argv | argvLocal.c:122:15:122:16 | Argument 0 indirection |
70
70
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:122:15:122:16 | i4 |
71
71
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:122:15:122:16 | i4 |
72
72
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:122:15:122:16 | i4 |
@@ -81,19 +81,19 @@ edges
81
81
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:136:15:136:18 | -- ... |
82
82
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:136:15:136:18 | -- ... |
83
83
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:136:15:136:18 | -- ... |
84
- | argvLocal.c:117:15:117:16 | BufferReadSideEffect | argvLocal.c:117:15:117:16 | printWrapper output argument |
84
+ | argvLocal.c:117:15:117:16 | Argument 0 indirection | argvLocal.c:117:15:117:16 | printWrapper output argument |
85
85
| argvLocal.c:117:15:117:16 | array to pointer conversion | argvLocal.c:117:15:117:16 | printWrapper output argument |
86
86
| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:121:9:121:10 | (const char *)... |
87
87
| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:121:9:121:10 | i4 |
88
- | argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:122:15:122:16 | BufferReadSideEffect |
88
+ | argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:122:15:122:16 | Argument 0 indirection |
89
89
| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:122:15:122:16 | i4 |
90
90
| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:122:15:122:16 | i4 |
91
91
| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:122:15:122:16 | i4 |
92
92
| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:135:9:135:12 | (const char *)... |
93
93
| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:135:9:135:12 | ... ++ |
94
94
| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:136:15:136:18 | -- ... |
95
95
| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:136:15:136:18 | -- ... |
96
- | argvLocal.c:122:15:122:16 | BufferReadSideEffect | argvLocal.c:122:15:122:16 | printWrapper output argument |
96
+ | argvLocal.c:122:15:122:16 | Argument 0 indirection | argvLocal.c:122:15:122:16 | printWrapper output argument |
97
97
| argvLocal.c:122:15:122:16 | i4 | argvLocal.c:122:15:122:16 | printWrapper output argument |
98
98
| argvLocal.c:122:15:122:16 | printWrapper output argument | argvLocal.c:135:9:135:12 | (const char *)... |
99
99
| argvLocal.c:122:15:122:16 | printWrapper output argument | argvLocal.c:135:9:135:12 | ... ++ |
@@ -103,8 +103,8 @@ edges
103
103
| argvLocal.c:126:10:126:13 | argv | argvLocal.c:127:9:127:10 | (const char *)... |
104
104
| argvLocal.c:126:10:126:13 | argv | argvLocal.c:127:9:127:10 | i5 |
105
105
| argvLocal.c:126:10:126:13 | argv | argvLocal.c:127:9:127:10 | i5 |
106
- | argvLocal.c:126:10:126:13 | argv | argvLocal.c:128:15:128:16 | BufferReadSideEffect |
107
- | argvLocal.c:126:10:126:13 | argv | argvLocal.c:128:15:128:16 | BufferReadSideEffect |
106
+ | argvLocal.c:126:10:126:13 | argv | argvLocal.c:128:15:128:16 | Argument 0 indirection |
107
+ | argvLocal.c:126:10:126:13 | argv | argvLocal.c:128:15:128:16 | Argument 0 indirection |
108
108
| argvLocal.c:126:10:126:13 | argv | argvLocal.c:128:15:128:16 | array to pointer conversion |
109
109
| argvLocal.c:126:10:126:13 | argv | argvLocal.c:128:15:128:16 | array to pointer conversion |
110
110
| argvLocal.c:126:10:126:13 | argv | argvLocal.c:128:15:128:16 | array to pointer conversion |
@@ -119,7 +119,7 @@ edges
119
119
| argvLocal.c:126:10:126:13 | argv | argvLocal.c:132:15:132:20 | ... + ... |
120
120
| argvLocal.c:126:10:126:13 | argv | argvLocal.c:132:15:132:20 | ... + ... |
121
121
| argvLocal.c:126:10:126:13 | argv | argvLocal.c:132:15:132:20 | ... + ... |
122
- | argvLocal.c:128:15:128:16 | BufferReadSideEffect | argvLocal.c:128:15:128:16 | printWrapper output argument |
122
+ | argvLocal.c:128:15:128:16 | Argument 0 indirection | argvLocal.c:128:15:128:16 | printWrapper output argument |
123
123
| argvLocal.c:128:15:128:16 | array to pointer conversion | argvLocal.c:128:15:128:16 | printWrapper output argument |
124
124
| argvLocal.c:128:15:128:16 | printWrapper output argument | argvLocal.c:131:9:131:14 | (const char *)... |
125
125
| argvLocal.c:128:15:128:16 | printWrapper output argument | argvLocal.c:131:9:131:14 | ... + ... |
@@ -215,15 +215,15 @@ nodes
215
215
| argvLocal.c:116:9:116:10 | (const char *)... | semmle.label | (const char *)... |
216
216
| argvLocal.c:116:9:116:10 | (const char *)... | semmle.label | (const char *)... |
217
217
| argvLocal.c:116:9:116:10 | i3 | semmle.label | i3 |
218
- | argvLocal.c:117:15:117:16 | BufferReadSideEffect | semmle.label | BufferReadSideEffect |
218
+ | argvLocal.c:117:15:117:16 | Argument 0 indirection | semmle.label | Argument 0 indirection |
219
219
| argvLocal.c:117:15:117:16 | array to pointer conversion | semmle.label | array to pointer conversion |
220
220
| argvLocal.c:117:15:117:16 | array to pointer conversion | semmle.label | array to pointer conversion |
221
221
| argvLocal.c:117:15:117:16 | i3 | semmle.label | i3 |
222
222
| argvLocal.c:117:15:117:16 | printWrapper output argument | semmle.label | printWrapper output argument |
223
223
| argvLocal.c:121:9:121:10 | (const char *)... | semmle.label | (const char *)... |
224
224
| argvLocal.c:121:9:121:10 | (const char *)... | semmle.label | (const char *)... |
225
225
| argvLocal.c:121:9:121:10 | i4 | semmle.label | i4 |
226
- | argvLocal.c:122:15:122:16 | BufferReadSideEffect | semmle.label | BufferReadSideEffect |
226
+ | argvLocal.c:122:15:122:16 | Argument 0 indirection | semmle.label | Argument 0 indirection |
227
227
| argvLocal.c:122:15:122:16 | i4 | semmle.label | i4 |
228
228
| argvLocal.c:122:15:122:16 | i4 | semmle.label | i4 |
229
229
| argvLocal.c:122:15:122:16 | i4 | semmle.label | i4 |
@@ -233,7 +233,7 @@ nodes
233
233
| argvLocal.c:127:9:127:10 | (const char *)... | semmle.label | (const char *)... |
234
234
| argvLocal.c:127:9:127:10 | (const char *)... | semmle.label | (const char *)... |
235
235
| argvLocal.c:127:9:127:10 | i5 | semmle.label | i5 |
236
- | argvLocal.c:128:15:128:16 | BufferReadSideEffect | semmle.label | BufferReadSideEffect |
236
+ | argvLocal.c:128:15:128:16 | Argument 0 indirection | semmle.label | Argument 0 indirection |
237
237
| argvLocal.c:128:15:128:16 | array to pointer conversion | semmle.label | array to pointer conversion |
238
238
| argvLocal.c:128:15:128:16 | array to pointer conversion | semmle.label | array to pointer conversion |
239
239
| argvLocal.c:128:15:128:16 | i5 | semmle.label | i5 |
0 commit comments