mirror of
https://github.com/github/codeql.git
synced 2026-04-30 11:15:13 +02:00
C++: Add a test case using a const int *.
This commit is contained in:
Geoffrey White
@@ -317,6 +317,7 @@
|
||||
| stl.h:137:30:137:40 | call to allocator | stl.h:137:21:137:41 | noexcept(...) | TAINT |
|
||||
| stl.h:137:30:137:40 | call to allocator | stl.h:137:21:137:41 | noexcept(...) | TAINT |
|
||||
| stl.h:137:30:137:40 | call to allocator | stl.h:137:21:137:41 | noexcept(...) | TAINT |
|
||||
| stl.h:137:30:137:40 | call to allocator | stl.h:137:21:137:41 | noexcept(...) | TAINT |
|
||||
| stl.h:137:53:137:63 | 0 | stl.h:137:46:137:64 | (no string representation) | TAINT |
|
||||
| string.cpp:24:12:24:17 | call to source | string.cpp:28:7:28:7 | a | |
|
||||
| string.cpp:25:16:25:20 | 123 | string.cpp:25:16:25:21 | call to basic_string | TAINT |
|
||||
@@ -2227,144 +2228,150 @@
|
||||
| vector.cpp:212:8:212:9 | ref arg ff | vector.cpp:213:2:213:2 | ff | |
|
||||
| vector.cpp:212:10:212:10 | call to operator[] [post update] | vector.cpp:212:8:212:9 | ref arg ff | TAINT |
|
||||
| vector.cpp:212:14:212:15 | vs | vector.cpp:212:16:212:16 | call to operator[] | TAINT |
|
||||
| vector.cpp:229:19:229:20 | call to vector | vector.cpp:231:2:231:3 | v1 | |
|
||||
| vector.cpp:229:19:229:20 | call to vector | vector.cpp:235:7:235:8 | v1 | |
|
||||
| vector.cpp:229:19:229:20 | call to vector | vector.cpp:243:13:243:14 | v1 | |
|
||||
| vector.cpp:229:19:229:20 | call to vector | vector.cpp:243:25:243:26 | v1 | |
|
||||
| vector.cpp:229:19:229:20 | call to vector | vector.cpp:268:1:268:1 | v1 | |
|
||||
| vector.cpp:229:23:229:24 | call to vector | vector.cpp:232:2:232:3 | v2 | |
|
||||
| vector.cpp:229:23:229:24 | call to vector | vector.cpp:236:7:236:8 | v2 | |
|
||||
| vector.cpp:229:23:229:24 | call to vector | vector.cpp:268:1:268:1 | v2 | |
|
||||
| vector.cpp:229:27:229:28 | call to vector | vector.cpp:233:2:233:3 | v3 | |
|
||||
| vector.cpp:229:27:229:28 | call to vector | vector.cpp:237:7:237:8 | v3 | |
|
||||
| vector.cpp:229:27:229:28 | call to vector | vector.cpp:244:13:244:14 | v3 | |
|
||||
| vector.cpp:229:27:229:28 | call to vector | vector.cpp:244:25:244:26 | v3 | |
|
||||
| vector.cpp:229:27:229:28 | call to vector | vector.cpp:245:8:245:9 | v3 | |
|
||||
| vector.cpp:229:27:229:28 | call to vector | vector.cpp:268:1:268:1 | v3 | |
|
||||
| vector.cpp:231:2:231:3 | ref arg v1 | vector.cpp:235:7:235:8 | v1 | |
|
||||
| vector.cpp:231:2:231:3 | ref arg v1 | vector.cpp:243:13:243:14 | v1 | |
|
||||
| vector.cpp:231:2:231:3 | ref arg v1 | vector.cpp:243:25:243:26 | v1 | |
|
||||
| vector.cpp:231:2:231:3 | ref arg v1 | vector.cpp:268:1:268:1 | v1 | |
|
||||
| vector.cpp:231:12:231:14 | 100 | vector.cpp:231:2:231:3 | ref arg v1 | TAINT |
|
||||
| vector.cpp:231:17:231:17 | 0 | vector.cpp:231:2:231:3 | ref arg v1 | TAINT |
|
||||
| vector.cpp:232:2:232:3 | ref arg v2 | vector.cpp:236:7:236:8 | v2 | |
|
||||
| vector.cpp:232:2:232:3 | ref arg v2 | vector.cpp:268:1:268:1 | v2 | |
|
||||
| vector.cpp:232:12:232:14 | 100 | vector.cpp:232:2:232:3 | ref arg v2 | TAINT |
|
||||
| vector.cpp:232:17:232:30 | call to source | vector.cpp:232:2:232:3 | ref arg v2 | TAINT |
|
||||
| vector.cpp:233:2:233:3 | ref arg v3 | vector.cpp:237:7:237:8 | v3 | |
|
||||
| vector.cpp:233:2:233:3 | ref arg v3 | vector.cpp:244:13:244:14 | v3 | |
|
||||
| vector.cpp:233:2:233:3 | ref arg v3 | vector.cpp:244:25:244:26 | v3 | |
|
||||
| vector.cpp:233:2:233:3 | ref arg v3 | vector.cpp:245:8:245:9 | v3 | |
|
||||
| vector.cpp:233:2:233:3 | ref arg v3 | vector.cpp:268:1:268:1 | v3 | |
|
||||
| vector.cpp:233:15:233:20 | call to source | vector.cpp:233:2:233:3 | ref arg v3 | TAINT |
|
||||
| vector.cpp:235:7:235:8 | ref arg v1 | vector.cpp:243:13:243:14 | v1 | |
|
||||
| vector.cpp:235:7:235:8 | ref arg v1 | vector.cpp:243:25:243:26 | v1 | |
|
||||
| vector.cpp:235:7:235:8 | ref arg v1 | vector.cpp:268:1:268:1 | v1 | |
|
||||
| vector.cpp:236:7:236:8 | ref arg v2 | vector.cpp:268:1:268:1 | v2 | |
|
||||
| vector.cpp:237:7:237:8 | ref arg v3 | vector.cpp:244:13:244:14 | v3 | |
|
||||
| vector.cpp:237:7:237:8 | ref arg v3 | vector.cpp:244:25:244:26 | v3 | |
|
||||
| vector.cpp:237:7:237:8 | ref arg v3 | vector.cpp:245:8:245:9 | v3 | |
|
||||
| vector.cpp:237:7:237:8 | ref arg v3 | vector.cpp:268:1:268:1 | v3 | |
|
||||
| vector.cpp:240:20:240:21 | call to vector | vector.cpp:243:3:243:4 | v4 | |
|
||||
| vector.cpp:240:20:240:21 | call to vector | vector.cpp:251:8:251:9 | v4 | |
|
||||
| vector.cpp:240:20:240:21 | call to vector | vector.cpp:256:2:256:2 | v4 | |
|
||||
| vector.cpp:240:24:240:25 | call to vector | vector.cpp:244:3:244:4 | v5 | |
|
||||
| vector.cpp:240:24:240:25 | call to vector | vector.cpp:252:8:252:9 | v5 | |
|
||||
| vector.cpp:240:24:240:25 | call to vector | vector.cpp:256:2:256:2 | v5 | |
|
||||
| vector.cpp:240:28:240:29 | call to vector | vector.cpp:249:3:249:4 | v6 | |
|
||||
| vector.cpp:240:28:240:29 | call to vector | vector.cpp:255:8:255:9 | v6 | |
|
||||
| vector.cpp:240:28:240:29 | call to vector | vector.cpp:256:2:256:2 | v6 | |
|
||||
| vector.cpp:243:3:243:4 | ref arg v4 | vector.cpp:251:8:251:9 | v4 | |
|
||||
| vector.cpp:243:3:243:4 | ref arg v4 | vector.cpp:256:2:256:2 | v4 | |
|
||||
| vector.cpp:243:13:243:14 | ref arg v1 | vector.cpp:243:25:243:26 | v1 | |
|
||||
| vector.cpp:243:13:243:14 | ref arg v1 | vector.cpp:268:1:268:1 | v1 | |
|
||||
| vector.cpp:243:25:243:26 | ref arg v1 | vector.cpp:268:1:268:1 | v1 | |
|
||||
| vector.cpp:244:3:244:4 | ref arg v5 | vector.cpp:252:8:252:9 | v5 | |
|
||||
| vector.cpp:244:3:244:4 | ref arg v5 | vector.cpp:256:2:256:2 | v5 | |
|
||||
| vector.cpp:244:13:244:14 | ref arg v3 | vector.cpp:244:25:244:26 | v3 | |
|
||||
| vector.cpp:244:13:244:14 | ref arg v3 | vector.cpp:245:8:245:9 | v3 | |
|
||||
| vector.cpp:244:13:244:14 | ref arg v3 | vector.cpp:268:1:268:1 | v3 | |
|
||||
| vector.cpp:244:25:244:26 | ref arg v3 | vector.cpp:245:8:245:9 | v3 | |
|
||||
| vector.cpp:244:25:244:26 | ref arg v3 | vector.cpp:268:1:268:1 | v3 | |
|
||||
| vector.cpp:245:8:245:9 | ref arg v3 | vector.cpp:268:1:268:1 | v3 | |
|
||||
| vector.cpp:245:11:245:15 | call to begin | vector.cpp:245:3:245:17 | ... = ... | |
|
||||
| vector.cpp:245:11:245:15 | call to begin | vector.cpp:246:3:246:4 | i1 | |
|
||||
| vector.cpp:245:11:245:15 | call to begin | vector.cpp:247:8:247:9 | i1 | |
|
||||
| vector.cpp:245:11:245:15 | call to begin | vector.cpp:249:13:249:14 | i1 | |
|
||||
| vector.cpp:245:11:245:15 | call to begin | vector.cpp:253:8:253:9 | i1 | |
|
||||
| vector.cpp:246:3:246:4 | ref arg i1 | vector.cpp:247:8:247:9 | i1 | |
|
||||
| vector.cpp:246:3:246:4 | ref arg i1 | vector.cpp:249:13:249:14 | i1 | |
|
||||
| vector.cpp:246:3:246:4 | ref arg i1 | vector.cpp:253:8:253:9 | i1 | |
|
||||
| vector.cpp:247:8:247:9 | i1 | vector.cpp:247:3:247:9 | ... = ... | |
|
||||
| vector.cpp:247:8:247:9 | i1 | vector.cpp:248:3:248:4 | i2 | |
|
||||
| vector.cpp:247:8:247:9 | i1 | vector.cpp:249:17:249:18 | i2 | |
|
||||
| vector.cpp:247:8:247:9 | i1 | vector.cpp:254:8:254:9 | i2 | |
|
||||
| vector.cpp:248:3:248:4 | ref arg i2 | vector.cpp:249:17:249:18 | i2 | |
|
||||
| vector.cpp:248:3:248:4 | ref arg i2 | vector.cpp:254:8:254:9 | i2 | |
|
||||
| vector.cpp:249:3:249:4 | ref arg v6 | vector.cpp:255:8:255:9 | v6 | |
|
||||
| vector.cpp:249:3:249:4 | ref arg v6 | vector.cpp:256:2:256:2 | v6 | |
|
||||
| vector.cpp:251:8:251:9 | ref arg v4 | vector.cpp:256:2:256:2 | v4 | |
|
||||
| vector.cpp:252:8:252:9 | ref arg v5 | vector.cpp:256:2:256:2 | v5 | |
|
||||
| vector.cpp:255:8:255:9 | ref arg v6 | vector.cpp:256:2:256:2 | v6 | |
|
||||
| vector.cpp:259:22:259:23 | call to vector | vector.cpp:262:3:262:4 | v7 | |
|
||||
| vector.cpp:259:22:259:23 | call to vector | vector.cpp:265:8:265:9 | v7 | |
|
||||
| vector.cpp:259:22:259:23 | call to vector | vector.cpp:267:2:267:2 | v7 | |
|
||||
| vector.cpp:260:24:260:25 | call to vector | vector.cpp:263:3:263:4 | v8 | |
|
||||
| vector.cpp:260:24:260:25 | call to vector | vector.cpp:266:8:266:9 | v8 | |
|
||||
| vector.cpp:260:24:260:25 | call to vector | vector.cpp:267:2:267:2 | v8 | |
|
||||
| vector.cpp:262:3:262:4 | ref arg v7 | vector.cpp:265:8:265:9 | v7 | |
|
||||
| vector.cpp:262:3:262:4 | ref arg v7 | vector.cpp:267:2:267:2 | v7 | |
|
||||
| vector.cpp:262:13:262:15 | 100 | vector.cpp:262:3:262:4 | ref arg v7 | TAINT |
|
||||
| vector.cpp:262:18:262:31 | call to source | vector.cpp:262:3:262:4 | ref arg v7 | TAINT |
|
||||
| vector.cpp:263:3:263:4 | ref arg v8 | vector.cpp:266:8:266:9 | v8 | |
|
||||
| vector.cpp:263:3:263:4 | ref arg v8 | vector.cpp:267:2:267:2 | v8 | |
|
||||
| vector.cpp:263:18:263:35 | call to source | vector.cpp:263:3:263:4 | ref arg v8 | TAINT |
|
||||
| vector.cpp:265:8:265:9 | ref arg v7 | vector.cpp:267:2:267:2 | v7 | |
|
||||
| vector.cpp:266:8:266:9 | ref arg v8 | vector.cpp:267:2:267:2 | v8 | |
|
||||
| vector.cpp:273:19:273:20 | call to vector | vector.cpp:275:2:275:3 | v1 | |
|
||||
| vector.cpp:273:19:273:20 | call to vector | vector.cpp:276:7:276:8 | v1 | |
|
||||
| vector.cpp:273:19:273:20 | call to vector | vector.cpp:277:7:277:8 | v1 | |
|
||||
| vector.cpp:273:19:273:20 | call to vector | vector.cpp:278:7:278:8 | v1 | |
|
||||
| vector.cpp:273:19:273:20 | call to vector | vector.cpp:284:1:284:1 | v1 | |
|
||||
| vector.cpp:273:23:273:24 | call to vector | vector.cpp:280:4:280:5 | v2 | |
|
||||
| vector.cpp:273:23:273:24 | call to vector | vector.cpp:281:7:281:8 | v2 | |
|
||||
| vector.cpp:273:23:273:24 | call to vector | vector.cpp:282:7:282:8 | v2 | |
|
||||
| vector.cpp:273:23:273:24 | call to vector | vector.cpp:283:7:283:8 | v2 | |
|
||||
| vector.cpp:273:23:273:24 | call to vector | vector.cpp:284:1:284:1 | v2 | |
|
||||
| vector.cpp:275:2:275:3 | ref arg v1 | vector.cpp:276:7:276:8 | v1 | |
|
||||
| vector.cpp:275:2:275:3 | ref arg v1 | vector.cpp:277:7:277:8 | v1 | |
|
||||
| vector.cpp:275:2:275:3 | ref arg v1 | vector.cpp:278:7:278:8 | v1 | |
|
||||
| vector.cpp:275:2:275:3 | ref arg v1 | vector.cpp:284:1:284:1 | v1 | |
|
||||
| vector.cpp:275:15:275:20 | call to source | vector.cpp:275:2:275:3 | ref arg v1 | TAINT |
|
||||
| vector.cpp:276:7:276:8 | ref arg v1 | vector.cpp:277:7:277:8 | v1 | |
|
||||
| vector.cpp:276:7:276:8 | ref arg v1 | vector.cpp:278:7:278:8 | v1 | |
|
||||
| vector.cpp:276:7:276:8 | ref arg v1 | vector.cpp:284:1:284:1 | v1 | |
|
||||
| vector.cpp:277:7:277:8 | ref arg v1 | vector.cpp:278:7:278:8 | v1 | |
|
||||
| vector.cpp:277:7:277:8 | ref arg v1 | vector.cpp:284:1:284:1 | v1 | |
|
||||
| vector.cpp:277:7:277:8 | v1 | vector.cpp:277:10:277:13 | call to data | TAINT |
|
||||
| vector.cpp:277:10:277:13 | ref arg call to data | vector.cpp:277:7:277:8 | ref arg v1 | TAINT |
|
||||
| vector.cpp:278:7:278:8 | ref arg v1 | vector.cpp:284:1:284:1 | v1 | |
|
||||
| vector.cpp:278:7:278:8 | v1 | vector.cpp:278:10:278:13 | call to data | TAINT |
|
||||
| vector.cpp:278:10:278:13 | call to data | vector.cpp:278:7:278:18 | access to array | TAINT |
|
||||
| vector.cpp:278:17:278:17 | 2 | vector.cpp:278:7:278:18 | access to array | TAINT |
|
||||
| vector.cpp:280:2:280:13 | * ... [post update] | vector.cpp:280:7:280:10 | call to data [inner post update] | |
|
||||
| vector.cpp:280:2:280:32 | ... = ... | vector.cpp:280:2:280:13 | * ... [post update] | |
|
||||
| vector.cpp:280:4:280:5 | ref arg v2 | vector.cpp:281:7:281:8 | v2 | |
|
||||
| vector.cpp:280:4:280:5 | ref arg v2 | vector.cpp:282:7:282:8 | v2 | |
|
||||
| vector.cpp:280:4:280:5 | ref arg v2 | vector.cpp:283:7:283:8 | v2 | |
|
||||
| vector.cpp:280:4:280:5 | ref arg v2 | vector.cpp:284:1:284:1 | v2 | |
|
||||
| vector.cpp:280:4:280:5 | v2 | vector.cpp:280:7:280:10 | call to data | TAINT |
|
||||
| vector.cpp:280:7:280:10 | call to data | vector.cpp:280:2:280:13 | * ... | TAINT |
|
||||
| vector.cpp:280:7:280:10 | call to data [inner post update] | vector.cpp:280:4:280:5 | ref arg v2 | TAINT |
|
||||
| vector.cpp:280:17:280:30 | call to source | vector.cpp:280:2:280:32 | ... = ... | |
|
||||
| vector.cpp:281:7:281:8 | ref arg v2 | vector.cpp:282:7:282:8 | v2 | |
|
||||
| vector.cpp:281:7:281:8 | ref arg v2 | vector.cpp:283:7:283:8 | v2 | |
|
||||
| vector.cpp:281:7:281:8 | ref arg v2 | vector.cpp:284:1:284:1 | v2 | |
|
||||
| vector.cpp:282:7:282:8 | ref arg v2 | vector.cpp:283:7:283:8 | v2 | |
|
||||
| vector.cpp:282:7:282:8 | ref arg v2 | vector.cpp:284:1:284:1 | v2 | |
|
||||
| vector.cpp:282:7:282:8 | v2 | vector.cpp:282:10:282:13 | call to data | TAINT |
|
||||
| vector.cpp:282:10:282:13 | ref arg call to data | vector.cpp:282:7:282:8 | ref arg v2 | TAINT |
|
||||
| vector.cpp:283:7:283:8 | ref arg v2 | vector.cpp:284:1:284:1 | v2 | |
|
||||
| vector.cpp:283:7:283:8 | v2 | vector.cpp:283:10:283:13 | call to data | TAINT |
|
||||
| vector.cpp:283:10:283:13 | call to data | vector.cpp:283:7:283:18 | access to array | TAINT |
|
||||
| vector.cpp:283:17:283:17 | 2 | vector.cpp:283:7:283:18 | access to array | TAINT |
|
||||
| vector.cpp:235:19:235:20 | call to vector | vector.cpp:237:2:237:3 | v1 | |
|
||||
| vector.cpp:235:19:235:20 | call to vector | vector.cpp:241:7:241:8 | v1 | |
|
||||
| vector.cpp:235:19:235:20 | call to vector | vector.cpp:249:13:249:14 | v1 | |
|
||||
| vector.cpp:235:19:235:20 | call to vector | vector.cpp:249:25:249:26 | v1 | |
|
||||
| vector.cpp:235:19:235:20 | call to vector | vector.cpp:277:1:277:1 | v1 | |
|
||||
| vector.cpp:235:23:235:24 | call to vector | vector.cpp:238:2:238:3 | v2 | |
|
||||
| vector.cpp:235:23:235:24 | call to vector | vector.cpp:242:7:242:8 | v2 | |
|
||||
| vector.cpp:235:23:235:24 | call to vector | vector.cpp:277:1:277:1 | v2 | |
|
||||
| vector.cpp:235:27:235:28 | call to vector | vector.cpp:239:2:239:3 | v3 | |
|
||||
| vector.cpp:235:27:235:28 | call to vector | vector.cpp:243:7:243:8 | v3 | |
|
||||
| vector.cpp:235:27:235:28 | call to vector | vector.cpp:250:13:250:14 | v3 | |
|
||||
| vector.cpp:235:27:235:28 | call to vector | vector.cpp:250:25:250:26 | v3 | |
|
||||
| vector.cpp:235:27:235:28 | call to vector | vector.cpp:251:8:251:9 | v3 | |
|
||||
| vector.cpp:235:27:235:28 | call to vector | vector.cpp:277:1:277:1 | v3 | |
|
||||
| vector.cpp:237:2:237:3 | ref arg v1 | vector.cpp:241:7:241:8 | v1 | |
|
||||
| vector.cpp:237:2:237:3 | ref arg v1 | vector.cpp:249:13:249:14 | v1 | |
|
||||
| vector.cpp:237:2:237:3 | ref arg v1 | vector.cpp:249:25:249:26 | v1 | |
|
||||
| vector.cpp:237:2:237:3 | ref arg v1 | vector.cpp:277:1:277:1 | v1 | |
|
||||
| vector.cpp:237:12:237:14 | 100 | vector.cpp:237:2:237:3 | ref arg v1 | TAINT |
|
||||
| vector.cpp:237:17:237:17 | 0 | vector.cpp:237:2:237:3 | ref arg v1 | TAINT |
|
||||
| vector.cpp:238:2:238:3 | ref arg v2 | vector.cpp:242:7:242:8 | v2 | |
|
||||
| vector.cpp:238:2:238:3 | ref arg v2 | vector.cpp:277:1:277:1 | v2 | |
|
||||
| vector.cpp:238:12:238:14 | 100 | vector.cpp:238:2:238:3 | ref arg v2 | TAINT |
|
||||
| vector.cpp:238:17:238:30 | call to source | vector.cpp:238:2:238:3 | ref arg v2 | TAINT |
|
||||
| vector.cpp:239:2:239:3 | ref arg v3 | vector.cpp:243:7:243:8 | v3 | |
|
||||
| vector.cpp:239:2:239:3 | ref arg v3 | vector.cpp:250:13:250:14 | v3 | |
|
||||
| vector.cpp:239:2:239:3 | ref arg v3 | vector.cpp:250:25:250:26 | v3 | |
|
||||
| vector.cpp:239:2:239:3 | ref arg v3 | vector.cpp:251:8:251:9 | v3 | |
|
||||
| vector.cpp:239:2:239:3 | ref arg v3 | vector.cpp:277:1:277:1 | v3 | |
|
||||
| vector.cpp:239:15:239:20 | call to source | vector.cpp:239:2:239:3 | ref arg v3 | TAINT |
|
||||
| vector.cpp:241:7:241:8 | ref arg v1 | vector.cpp:249:13:249:14 | v1 | |
|
||||
| vector.cpp:241:7:241:8 | ref arg v1 | vector.cpp:249:25:249:26 | v1 | |
|
||||
| vector.cpp:241:7:241:8 | ref arg v1 | vector.cpp:277:1:277:1 | v1 | |
|
||||
| vector.cpp:242:7:242:8 | ref arg v2 | vector.cpp:277:1:277:1 | v2 | |
|
||||
| vector.cpp:243:7:243:8 | ref arg v3 | vector.cpp:250:13:250:14 | v3 | |
|
||||
| vector.cpp:243:7:243:8 | ref arg v3 | vector.cpp:250:25:250:26 | v3 | |
|
||||
| vector.cpp:243:7:243:8 | ref arg v3 | vector.cpp:251:8:251:9 | v3 | |
|
||||
| vector.cpp:243:7:243:8 | ref arg v3 | vector.cpp:277:1:277:1 | v3 | |
|
||||
| vector.cpp:246:20:246:21 | call to vector | vector.cpp:249:3:249:4 | v4 | |
|
||||
| vector.cpp:246:20:246:21 | call to vector | vector.cpp:257:8:257:9 | v4 | |
|
||||
| vector.cpp:246:20:246:21 | call to vector | vector.cpp:262:2:262:2 | v4 | |
|
||||
| vector.cpp:246:24:246:25 | call to vector | vector.cpp:250:3:250:4 | v5 | |
|
||||
| vector.cpp:246:24:246:25 | call to vector | vector.cpp:258:8:258:9 | v5 | |
|
||||
| vector.cpp:246:24:246:25 | call to vector | vector.cpp:262:2:262:2 | v5 | |
|
||||
| vector.cpp:246:28:246:29 | call to vector | vector.cpp:255:3:255:4 | v6 | |
|
||||
| vector.cpp:246:28:246:29 | call to vector | vector.cpp:261:8:261:9 | v6 | |
|
||||
| vector.cpp:246:28:246:29 | call to vector | vector.cpp:262:2:262:2 | v6 | |
|
||||
| vector.cpp:249:3:249:4 | ref arg v4 | vector.cpp:257:8:257:9 | v4 | |
|
||||
| vector.cpp:249:3:249:4 | ref arg v4 | vector.cpp:262:2:262:2 | v4 | |
|
||||
| vector.cpp:249:13:249:14 | ref arg v1 | vector.cpp:249:25:249:26 | v1 | |
|
||||
| vector.cpp:249:13:249:14 | ref arg v1 | vector.cpp:277:1:277:1 | v1 | |
|
||||
| vector.cpp:249:25:249:26 | ref arg v1 | vector.cpp:277:1:277:1 | v1 | |
|
||||
| vector.cpp:250:3:250:4 | ref arg v5 | vector.cpp:258:8:258:9 | v5 | |
|
||||
| vector.cpp:250:3:250:4 | ref arg v5 | vector.cpp:262:2:262:2 | v5 | |
|
||||
| vector.cpp:250:13:250:14 | ref arg v3 | vector.cpp:250:25:250:26 | v3 | |
|
||||
| vector.cpp:250:13:250:14 | ref arg v3 | vector.cpp:251:8:251:9 | v3 | |
|
||||
| vector.cpp:250:13:250:14 | ref arg v3 | vector.cpp:277:1:277:1 | v3 | |
|
||||
| vector.cpp:250:25:250:26 | ref arg v3 | vector.cpp:251:8:251:9 | v3 | |
|
||||
| vector.cpp:250:25:250:26 | ref arg v3 | vector.cpp:277:1:277:1 | v3 | |
|
||||
| vector.cpp:251:8:251:9 | ref arg v3 | vector.cpp:277:1:277:1 | v3 | |
|
||||
| vector.cpp:251:11:251:15 | call to begin | vector.cpp:251:3:251:17 | ... = ... | |
|
||||
| vector.cpp:251:11:251:15 | call to begin | vector.cpp:252:3:252:4 | i1 | |
|
||||
| vector.cpp:251:11:251:15 | call to begin | vector.cpp:253:8:253:9 | i1 | |
|
||||
| vector.cpp:251:11:251:15 | call to begin | vector.cpp:255:13:255:14 | i1 | |
|
||||
| vector.cpp:251:11:251:15 | call to begin | vector.cpp:259:8:259:9 | i1 | |
|
||||
| vector.cpp:252:3:252:4 | ref arg i1 | vector.cpp:253:8:253:9 | i1 | |
|
||||
| vector.cpp:252:3:252:4 | ref arg i1 | vector.cpp:255:13:255:14 | i1 | |
|
||||
| vector.cpp:252:3:252:4 | ref arg i1 | vector.cpp:259:8:259:9 | i1 | |
|
||||
| vector.cpp:253:8:253:9 | i1 | vector.cpp:253:3:253:9 | ... = ... | |
|
||||
| vector.cpp:253:8:253:9 | i1 | vector.cpp:254:3:254:4 | i2 | |
|
||||
| vector.cpp:253:8:253:9 | i1 | vector.cpp:255:17:255:18 | i2 | |
|
||||
| vector.cpp:253:8:253:9 | i1 | vector.cpp:260:8:260:9 | i2 | |
|
||||
| vector.cpp:254:3:254:4 | ref arg i2 | vector.cpp:255:17:255:18 | i2 | |
|
||||
| vector.cpp:254:3:254:4 | ref arg i2 | vector.cpp:260:8:260:9 | i2 | |
|
||||
| vector.cpp:255:3:255:4 | ref arg v6 | vector.cpp:261:8:261:9 | v6 | |
|
||||
| vector.cpp:255:3:255:4 | ref arg v6 | vector.cpp:262:2:262:2 | v6 | |
|
||||
| vector.cpp:257:8:257:9 | ref arg v4 | vector.cpp:262:2:262:2 | v4 | |
|
||||
| vector.cpp:258:8:258:9 | ref arg v5 | vector.cpp:262:2:262:2 | v5 | |
|
||||
| vector.cpp:261:8:261:9 | ref arg v6 | vector.cpp:262:2:262:2 | v6 | |
|
||||
| vector.cpp:265:22:265:23 | call to vector | vector.cpp:269:3:269:4 | v7 | |
|
||||
| vector.cpp:265:22:265:23 | call to vector | vector.cpp:273:8:273:9 | v7 | |
|
||||
| vector.cpp:265:22:265:23 | call to vector | vector.cpp:276:2:276:2 | v7 | |
|
||||
| vector.cpp:266:24:266:25 | call to vector | vector.cpp:270:3:270:4 | v8 | |
|
||||
| vector.cpp:266:24:266:25 | call to vector | vector.cpp:274:8:274:9 | v8 | |
|
||||
| vector.cpp:266:24:266:25 | call to vector | vector.cpp:276:2:276:2 | v8 | |
|
||||
| vector.cpp:267:28:267:29 | call to vector | vector.cpp:271:3:271:4 | v9 | |
|
||||
| vector.cpp:267:28:267:29 | call to vector | vector.cpp:275:8:275:9 | v9 | |
|
||||
| vector.cpp:267:28:267:29 | call to vector | vector.cpp:276:2:276:2 | v9 | |
|
||||
| vector.cpp:269:3:269:4 | ref arg v7 | vector.cpp:273:8:273:9 | v7 | |
|
||||
| vector.cpp:269:3:269:4 | ref arg v7 | vector.cpp:276:2:276:2 | v7 | |
|
||||
| vector.cpp:269:13:269:15 | 100 | vector.cpp:269:3:269:4 | ref arg v7 | TAINT |
|
||||
| vector.cpp:269:18:269:31 | call to source | vector.cpp:269:3:269:4 | ref arg v7 | TAINT |
|
||||
| vector.cpp:270:3:270:4 | ref arg v8 | vector.cpp:274:8:274:9 | v8 | |
|
||||
| vector.cpp:270:3:270:4 | ref arg v8 | vector.cpp:276:2:276:2 | v8 | |
|
||||
| vector.cpp:270:18:270:35 | call to source | vector.cpp:270:3:270:4 | ref arg v8 | TAINT |
|
||||
| vector.cpp:271:3:271:4 | ref arg v9 | vector.cpp:275:8:275:9 | v9 | |
|
||||
| vector.cpp:271:3:271:4 | ref arg v9 | vector.cpp:276:2:276:2 | v9 | |
|
||||
| vector.cpp:273:8:273:9 | ref arg v7 | vector.cpp:276:2:276:2 | v7 | |
|
||||
| vector.cpp:274:8:274:9 | ref arg v8 | vector.cpp:276:2:276:2 | v8 | |
|
||||
| vector.cpp:275:8:275:9 | ref arg v9 | vector.cpp:276:2:276:2 | v9 | |
|
||||
| vector.cpp:282:19:282:20 | call to vector | vector.cpp:284:2:284:3 | v1 | |
|
||||
| vector.cpp:282:19:282:20 | call to vector | vector.cpp:285:7:285:8 | v1 | |
|
||||
| vector.cpp:282:19:282:20 | call to vector | vector.cpp:286:7:286:8 | v1 | |
|
||||
| vector.cpp:282:19:282:20 | call to vector | vector.cpp:287:7:287:8 | v1 | |
|
||||
| vector.cpp:282:19:282:20 | call to vector | vector.cpp:293:1:293:1 | v1 | |
|
||||
| vector.cpp:282:23:282:24 | call to vector | vector.cpp:289:4:289:5 | v2 | |
|
||||
| vector.cpp:282:23:282:24 | call to vector | vector.cpp:290:7:290:8 | v2 | |
|
||||
| vector.cpp:282:23:282:24 | call to vector | vector.cpp:291:7:291:8 | v2 | |
|
||||
| vector.cpp:282:23:282:24 | call to vector | vector.cpp:292:7:292:8 | v2 | |
|
||||
| vector.cpp:282:23:282:24 | call to vector | vector.cpp:293:1:293:1 | v2 | |
|
||||
| vector.cpp:284:2:284:3 | ref arg v1 | vector.cpp:285:7:285:8 | v1 | |
|
||||
| vector.cpp:284:2:284:3 | ref arg v1 | vector.cpp:286:7:286:8 | v1 | |
|
||||
| vector.cpp:284:2:284:3 | ref arg v1 | vector.cpp:287:7:287:8 | v1 | |
|
||||
| vector.cpp:284:2:284:3 | ref arg v1 | vector.cpp:293:1:293:1 | v1 | |
|
||||
| vector.cpp:284:15:284:20 | call to source | vector.cpp:284:2:284:3 | ref arg v1 | TAINT |
|
||||
| vector.cpp:285:7:285:8 | ref arg v1 | vector.cpp:286:7:286:8 | v1 | |
|
||||
| vector.cpp:285:7:285:8 | ref arg v1 | vector.cpp:287:7:287:8 | v1 | |
|
||||
| vector.cpp:285:7:285:8 | ref arg v1 | vector.cpp:293:1:293:1 | v1 | |
|
||||
| vector.cpp:286:7:286:8 | ref arg v1 | vector.cpp:287:7:287:8 | v1 | |
|
||||
| vector.cpp:286:7:286:8 | ref arg v1 | vector.cpp:293:1:293:1 | v1 | |
|
||||
| vector.cpp:286:7:286:8 | v1 | vector.cpp:286:10:286:13 | call to data | TAINT |
|
||||
| vector.cpp:286:10:286:13 | ref arg call to data | vector.cpp:286:7:286:8 | ref arg v1 | TAINT |
|
||||
| vector.cpp:287:7:287:8 | ref arg v1 | vector.cpp:293:1:293:1 | v1 | |
|
||||
| vector.cpp:287:7:287:8 | v1 | vector.cpp:287:10:287:13 | call to data | TAINT |
|
||||
| vector.cpp:287:10:287:13 | call to data | vector.cpp:287:7:287:18 | access to array | TAINT |
|
||||
| vector.cpp:287:17:287:17 | 2 | vector.cpp:287:7:287:18 | access to array | TAINT |
|
||||
| vector.cpp:289:2:289:13 | * ... [post update] | vector.cpp:289:7:289:10 | call to data [inner post update] | |
|
||||
| vector.cpp:289:2:289:32 | ... = ... | vector.cpp:289:2:289:13 | * ... [post update] | |
|
||||
| vector.cpp:289:4:289:5 | ref arg v2 | vector.cpp:290:7:290:8 | v2 | |
|
||||
| vector.cpp:289:4:289:5 | ref arg v2 | vector.cpp:291:7:291:8 | v2 | |
|
||||
| vector.cpp:289:4:289:5 | ref arg v2 | vector.cpp:292:7:292:8 | v2 | |
|
||||
| vector.cpp:289:4:289:5 | ref arg v2 | vector.cpp:293:1:293:1 | v2 | |
|
||||
| vector.cpp:289:4:289:5 | v2 | vector.cpp:289:7:289:10 | call to data | TAINT |
|
||||
| vector.cpp:289:7:289:10 | call to data | vector.cpp:289:2:289:13 | * ... | TAINT |
|
||||
| vector.cpp:289:7:289:10 | call to data [inner post update] | vector.cpp:289:4:289:5 | ref arg v2 | TAINT |
|
||||
| vector.cpp:289:17:289:30 | call to source | vector.cpp:289:2:289:32 | ... = ... | |
|
||||
| vector.cpp:290:7:290:8 | ref arg v2 | vector.cpp:291:7:291:8 | v2 | |
|
||||
| vector.cpp:290:7:290:8 | ref arg v2 | vector.cpp:292:7:292:8 | v2 | |
|
||||
| vector.cpp:290:7:290:8 | ref arg v2 | vector.cpp:293:1:293:1 | v2 | |
|
||||
| vector.cpp:291:7:291:8 | ref arg v2 | vector.cpp:292:7:292:8 | v2 | |
|
||||
| vector.cpp:291:7:291:8 | ref arg v2 | vector.cpp:293:1:293:1 | v2 | |
|
||||
| vector.cpp:291:7:291:8 | v2 | vector.cpp:291:10:291:13 | call to data | TAINT |
|
||||
| vector.cpp:291:10:291:13 | ref arg call to data | vector.cpp:291:7:291:8 | ref arg v2 | TAINT |
|
||||
| vector.cpp:292:7:292:8 | ref arg v2 | vector.cpp:293:1:293:1 | v2 | |
|
||||
| vector.cpp:292:7:292:8 | v2 | vector.cpp:292:10:292:13 | call to data | TAINT |
|
||||
| vector.cpp:292:10:292:13 | call to data | vector.cpp:292:7:292:18 | access to array | TAINT |
|
||||
| vector.cpp:292:17:292:17 | 2 | vector.cpp:292:7:292:18 | access to array | TAINT |
|
||||
|
||||
@@ -241,13 +241,13 @@
|
||||
| vector.cpp:171:13:171:13 | call to operator[] | vector.cpp:170:14:170:19 | call to source |
|
||||
| vector.cpp:180:13:180:13 | call to operator[] | vector.cpp:179:14:179:19 | call to source |
|
||||
| vector.cpp:201:13:201:13 | call to operator[] | vector.cpp:200:14:200:19 | call to source |
|
||||
| vector.cpp:236:7:236:8 | v2 | vector.cpp:232:17:232:30 | call to source |
|
||||
| vector.cpp:237:7:237:8 | v3 | vector.cpp:233:15:233:20 | call to source |
|
||||
| vector.cpp:265:8:265:9 | v7 | vector.cpp:262:18:262:31 | call to source |
|
||||
| vector.cpp:266:8:266:9 | v8 | vector.cpp:263:18:263:35 | call to source |
|
||||
| vector.cpp:276:7:276:8 | v1 | vector.cpp:275:15:275:20 | call to source |
|
||||
| vector.cpp:277:10:277:13 | call to data | vector.cpp:275:15:275:20 | call to source |
|
||||
| vector.cpp:278:7:278:18 | access to array | vector.cpp:275:15:275:20 | call to source |
|
||||
| vector.cpp:281:7:281:8 | v2 | vector.cpp:280:17:280:30 | call to source |
|
||||
| vector.cpp:282:10:282:13 | call to data | vector.cpp:280:17:280:30 | call to source |
|
||||
| vector.cpp:283:7:283:18 | access to array | vector.cpp:280:17:280:30 | call to source |
|
||||
| vector.cpp:242:7:242:8 | v2 | vector.cpp:238:17:238:30 | call to source |
|
||||
| vector.cpp:243:7:243:8 | v3 | vector.cpp:239:15:239:20 | call to source |
|
||||
| vector.cpp:273:8:273:9 | v7 | vector.cpp:269:18:269:31 | call to source |
|
||||
| vector.cpp:274:8:274:9 | v8 | vector.cpp:270:18:270:35 | call to source |
|
||||
| vector.cpp:285:7:285:8 | v1 | vector.cpp:284:15:284:20 | call to source |
|
||||
| vector.cpp:286:10:286:13 | call to data | vector.cpp:284:15:284:20 | call to source |
|
||||
| vector.cpp:287:7:287:18 | access to array | vector.cpp:284:15:284:20 | call to source |
|
||||
| vector.cpp:290:7:290:8 | v2 | vector.cpp:289:17:289:30 | call to source |
|
||||
| vector.cpp:291:10:291:13 | call to data | vector.cpp:289:17:289:30 | call to source |
|
||||
| vector.cpp:292:7:292:18 | access to array | vector.cpp:289:17:289:30 | call to source |
|
||||
|
||||
@@ -177,13 +177,13 @@
|
||||
| vector.cpp:171:13:171:13 | vector.cpp:170:14:170:19 | AST only |
|
||||
| vector.cpp:180:13:180:13 | vector.cpp:179:14:179:19 | AST only |
|
||||
| vector.cpp:201:13:201:13 | vector.cpp:200:14:200:19 | AST only |
|
||||
| vector.cpp:236:7:236:8 | vector.cpp:232:17:232:30 | AST only |
|
||||
| vector.cpp:237:7:237:8 | vector.cpp:233:15:233:20 | AST only |
|
||||
| vector.cpp:265:8:265:9 | vector.cpp:262:18:262:31 | AST only |
|
||||
| vector.cpp:266:8:266:9 | vector.cpp:263:18:263:35 | AST only |
|
||||
| vector.cpp:276:7:276:8 | vector.cpp:275:15:275:20 | AST only |
|
||||
| vector.cpp:277:10:277:13 | vector.cpp:275:15:275:20 | AST only |
|
||||
| vector.cpp:278:7:278:18 | vector.cpp:275:15:275:20 | AST only |
|
||||
| vector.cpp:281:7:281:8 | vector.cpp:280:17:280:30 | AST only |
|
||||
| vector.cpp:282:10:282:13 | vector.cpp:280:17:280:30 | AST only |
|
||||
| vector.cpp:283:7:283:18 | vector.cpp:280:17:280:30 | AST only |
|
||||
| vector.cpp:242:7:242:8 | vector.cpp:238:17:238:30 | AST only |
|
||||
| vector.cpp:243:7:243:8 | vector.cpp:239:15:239:20 | AST only |
|
||||
| vector.cpp:273:8:273:9 | vector.cpp:269:18:269:31 | AST only |
|
||||
| vector.cpp:274:8:274:9 | vector.cpp:270:18:270:35 | AST only |
|
||||
| vector.cpp:285:7:285:8 | vector.cpp:284:15:284:20 | AST only |
|
||||
| vector.cpp:286:10:286:13 | vector.cpp:284:15:284:20 | AST only |
|
||||
| vector.cpp:287:7:287:18 | vector.cpp:284:15:284:20 | AST only |
|
||||
| vector.cpp:290:7:290:8 | vector.cpp:289:17:289:30 | AST only |
|
||||
| vector.cpp:291:10:291:13 | vector.cpp:289:17:289:30 | AST only |
|
||||
| vector.cpp:292:7:292:18 | vector.cpp:289:17:289:30 | AST only |
|
||||
|
||||
@@ -223,7 +223,13 @@ namespace ns_myFloat
|
||||
myFloat source();
|
||||
}
|
||||
|
||||
namespace ns_ci_ptr
|
||||
{
|
||||
const int *source();
|
||||
}
|
||||
|
||||
void sink(std::vector<myFloat> &);
|
||||
void sink(std::vector<const int *> &);
|
||||
|
||||
void test_vector_assign() {
|
||||
std::vector<int> v1, v2, v3;
|
||||
@@ -258,12 +264,15 @@ void test_vector_assign() {
|
||||
{
|
||||
std::vector<myInt> v7;
|
||||
std::vector<myFloat> v8;
|
||||
std::vector<const int *> v9;
|
||||
|
||||
v7.assign(100, ns_int::source());
|
||||
v8.assign(100, ns_myFloat::source());
|
||||
v9.assign(100, ns_ci_ptr::source());
|
||||
|
||||
sink(v7); // tainted
|
||||
sink(v8); // tainted
|
||||
sink(v9); // tainted [NOT DETECTED]
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user