5353| argvLocal.c:115:13:115:16 | argv | argvLocal.c:116:9:116:10 | (const char *)... |
5454| argvLocal.c:115:13:115:16 | argv | argvLocal.c:116:9:116:10 | i3 |
5555| 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 |
5858| argvLocal.c:115:13:115:16 | argv | argvLocal.c:117:15:117:16 | array to pointer conversion |
5959| argvLocal.c:115:13:115:16 | argv | argvLocal.c:117:15:117:16 | array to pointer conversion |
6060| argvLocal.c:115:13:115:16 | argv | argvLocal.c:117:15:117:16 | array to pointer conversion |
6565| argvLocal.c:115:13:115:16 | argv | argvLocal.c:121:9:121:10 | (const char *)... |
6666| argvLocal.c:115:13:115:16 | argv | argvLocal.c:121:9:121:10 | i4 |
6767| 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 |
7070| argvLocal.c:115:13:115:16 | argv | argvLocal.c:122:15:122:16 | i4 |
7171| argvLocal.c:115:13:115:16 | argv | argvLocal.c:122:15:122:16 | i4 |
7272| argvLocal.c:115:13:115:16 | argv | argvLocal.c:122:15:122:16 | i4 |
@@ -81,19 +81,19 @@ edges
8181| argvLocal.c:115:13:115:16 | argv | argvLocal.c:136:15:136:18 | -- ... |
8282| argvLocal.c:115:13:115:16 | argv | argvLocal.c:136:15:136:18 | -- ... |
8383| 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 |
8585| argvLocal.c:117:15:117:16 | array to pointer conversion | argvLocal.c:117:15:117:16 | printWrapper output argument |
8686| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:121:9:121:10 | (const char *)... |
8787| 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 |
8989| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:122:15:122:16 | i4 |
9090| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:122:15:122:16 | i4 |
9191| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:122:15:122:16 | i4 |
9292| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:135:9:135:12 | (const char *)... |
9393| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:135:9:135:12 | ... ++ |
9494| argvLocal.c:117:15:117:16 | printWrapper output argument | argvLocal.c:136:15:136:18 | -- ... |
9595| 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 |
9797| argvLocal.c:122:15:122:16 | i4 | argvLocal.c:122:15:122:16 | printWrapper output argument |
9898| argvLocal.c:122:15:122:16 | printWrapper output argument | argvLocal.c:135:9:135:12 | (const char *)... |
9999| argvLocal.c:122:15:122:16 | printWrapper output argument | argvLocal.c:135:9:135:12 | ... ++ |
@@ -103,8 +103,8 @@ edges
103103| argvLocal.c:126:10:126:13 | argv | argvLocal.c:127:9:127:10 | (const char *)... |
104104| argvLocal.c:126:10:126:13 | argv | argvLocal.c:127:9:127:10 | i5 |
105105| 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 |
108108| argvLocal.c:126:10:126:13 | argv | argvLocal.c:128:15:128:16 | array to pointer conversion |
109109| argvLocal.c:126:10:126:13 | argv | argvLocal.c:128:15:128:16 | array to pointer conversion |
110110| argvLocal.c:126:10:126:13 | argv | argvLocal.c:128:15:128:16 | array to pointer conversion |
@@ -119,7 +119,7 @@ edges
119119| argvLocal.c:126:10:126:13 | argv | argvLocal.c:132:15:132:20 | ... + ... |
120120| argvLocal.c:126:10:126:13 | argv | argvLocal.c:132:15:132:20 | ... + ... |
121121| 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 |
123123| argvLocal.c:128:15:128:16 | array to pointer conversion | argvLocal.c:128:15:128:16 | printWrapper output argument |
124124| argvLocal.c:128:15:128:16 | printWrapper output argument | argvLocal.c:131:9:131:14 | (const char *)... |
125125| argvLocal.c:128:15:128:16 | printWrapper output argument | argvLocal.c:131:9:131:14 | ... + ... |
@@ -215,15 +215,15 @@ nodes
215215| argvLocal.c:116:9:116:10 | (const char *)... | semmle.label | (const char *)... |
216216| argvLocal.c:116:9:116:10 | (const char *)... | semmle.label | (const char *)... |
217217| 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 |
219219| argvLocal.c:117:15:117:16 | array to pointer conversion | semmle.label | array to pointer conversion |
220220| argvLocal.c:117:15:117:16 | array to pointer conversion | semmle.label | array to pointer conversion |
221221| argvLocal.c:117:15:117:16 | i3 | semmle.label | i3 |
222222| argvLocal.c:117:15:117:16 | printWrapper output argument | semmle.label | printWrapper output argument |
223223| argvLocal.c:121:9:121:10 | (const char *)... | semmle.label | (const char *)... |
224224| argvLocal.c:121:9:121:10 | (const char *)... | semmle.label | (const char *)... |
225225| 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 |
227227| argvLocal.c:122:15:122:16 | i4 | semmle.label | i4 |
228228| argvLocal.c:122:15:122:16 | i4 | semmle.label | i4 |
229229| argvLocal.c:122:15:122:16 | i4 | semmle.label | i4 |
@@ -233,7 +233,7 @@ nodes
233233| argvLocal.c:127:9:127:10 | (const char *)... | semmle.label | (const char *)... |
234234| argvLocal.c:127:9:127:10 | (const char *)... | semmle.label | (const char *)... |
235235| 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 |
237237| argvLocal.c:128:15:128:16 | array to pointer conversion | semmle.label | array to pointer conversion |
238238| argvLocal.c:128:15:128:16 | array to pointer conversion | semmle.label | array to pointer conversion |
239239| argvLocal.c:128:15:128:16 | i5 | semmle.label | i5 |
0 commit comments