|
36 | 36 | | test.cpp:143:18:143:21 | asdf | test.cpp:134:25:134:27 | arr |
|
37 | 37 | | test.cpp:143:18:143:21 | asdf | test.cpp:143:18:143:21 | asdf |
|
38 | 38 | | test.cpp:146:26:146:26 | p indirection | test.cpp:148:6:148:9 | * ... |
|
| 39 | +| test.cpp:146:26:146:26 | p indirection | test.cpp:149:6:149:9 | * ... | |
| 40 | +| test.cpp:146:26:146:26 | p indirection | test.cpp:150:6:150:9 | * ... | |
39 | 41 | | test.cpp:156:12:156:14 | buf | test.cpp:156:12:156:18 | ... + ... |
|
40 | 42 | | test.cpp:156:12:156:18 | ... + ... | test.cpp:158:17:158:18 | & ... indirection |
|
41 | 43 | | test.cpp:158:17:158:18 | & ... indirection | test.cpp:146:26:146:26 | p indirection |
|
@@ -123,6 +125,8 @@ nodes
|
123 | 125 | | test.cpp:143:18:143:21 | asdf | semmle.label | asdf |
|
124 | 126 | | test.cpp:146:26:146:26 | p indirection | semmle.label | p indirection |
|
125 | 127 | | test.cpp:148:6:148:9 | * ... | semmle.label | * ... |
|
| 128 | +| test.cpp:149:6:149:9 | * ... | semmle.label | * ... | |
| 129 | +| test.cpp:150:6:150:9 | * ... | semmle.label | * ... | |
126 | 130 | | test.cpp:156:12:156:14 | buf | semmle.label | buf |
|
127 | 131 | | test.cpp:156:12:156:18 | ... + ... | semmle.label | ... + ... |
|
128 | 132 | | test.cpp:158:17:158:18 | & ... indirection | semmle.label | & ... indirection |
|
@@ -176,6 +180,8 @@ subpaths
|
176 | 180 | | test.cpp:128:9:128:14 | PointerAdd: access to array | test.cpp:128:9:128:11 | arr | test.cpp:128:9:128:14 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:125:11:125:13 | arr | arr | test.cpp:128:9:128:18 | Store: ... = ... | write |
|
177 | 181 | | test.cpp:136:9:136:16 | PointerAdd: ... += ... | test.cpp:143:18:143:21 | asdf | test.cpp:138:13:138:15 | arr | This pointer arithmetic may have an off-by-2 error allowing it to overrun $@ at this $@. | test.cpp:142:10:142:13 | asdf | asdf | test.cpp:138:12:138:15 | Load: * ... | read |
|
178 | 182 | | test.cpp:156:12:156:18 | PointerAdd: ... + ... | test.cpp:156:12:156:14 | buf | test.cpp:148:6:148:9 | * ... | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:154:7:154:9 | buf | buf | test.cpp:147:3:147:13 | Store: ... = ... | write |
|
| 183 | +| test.cpp:156:12:156:18 | PointerAdd: ... + ... | test.cpp:156:12:156:14 | buf | test.cpp:149:6:149:9 | * ... | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:154:7:154:9 | buf | buf | test.cpp:148:3:148:13 | Store: ... = ... | write | |
| 184 | +| test.cpp:156:12:156:18 | PointerAdd: ... + ... | test.cpp:156:12:156:14 | buf | test.cpp:150:6:150:9 | * ... | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:154:7:154:9 | buf | buf | test.cpp:149:3:149:13 | Store: ... = ... | write | |
179 | 185 | | test.cpp:221:5:221:11 | PointerAdd: access to array | test.cpp:218:23:218:28 | buffer | test.cpp:221:5:221:11 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:217:19:217:24 | buffer | buffer | test.cpp:221:5:221:15 | Store: ... = ... | write |
|
180 | 186 | | test.cpp:232:5:232:10 | PointerAdd: access to array | test.cpp:229:25:229:29 | array | test.cpp:232:5:232:10 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:228:10:228:14 | array | array | test.cpp:232:5:232:19 | Store: ... = ... | write |
|
181 | 187 | | test.cpp:261:27:261:30 | PointerAdd: access to array | test.cpp:286:19:286:25 | buffer2 | test.cpp:261:27:261:30 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:285:19:285:25 | buffer2 | buffer2 | test.cpp:261:27:261:30 | Load: access to array | read |
|
|
0 commit comments