hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add string append operators to the test (changes layout).

Browse Source
This commit is contained in:
Geoffrey White
2020-08-10 10:56:58 +01:00
parent 0476b97f63
commit 030ab4f626
5 changed files with 252 additions and 244 deletions
Download Patch File Download Diff File Expand all files Collapse all files

398
cpp/ql/test/library-tests/dataflow/taint-tests/localTaint.expected
View File

@@ -308,205 +308,205 @@
| movableclass.cpp:65:13:65:18 | call to source | movableclass.cpp:65:13:65:20 | call to MyMovableClass | TAINT |
| movableclass.cpp:65:13:65:20 | call to MyMovableClass | movableclass.cpp:65:8:65:9 | ref arg s3 | TAINT |
| movableclass.cpp:65:13:65:20 | call to MyMovableClass | movableclass.cpp:65:11:65:11 | call to operator= | TAINT |
| stl.cpp:97:12:97:17 | call to source | stl.cpp:101:7:101:7 | a | |
| stl.cpp:98:16:98:20 | 123 | stl.cpp:98:16:98:21 | call to basic_string | TAINT |
| stl.cpp:98:16:98:21 | call to basic_string | stl.cpp:102:7:102:7 | b | |
| stl.cpp:98:16:98:21 | call to basic_string | stl.cpp:104:7:104:7 | b | |
| stl.cpp:99:16:99:21 | call to source | stl.cpp:99:16:99:24 | call to basic_string | TAINT |
| stl.cpp:99:16:99:24 | call to basic_string | stl.cpp:103:7:103:7 | c | |
| stl.cpp:99:16:99:24 | call to basic_string | stl.cpp:105:7:105:7 | c | |
| stl.cpp:104:7:104:7 | b | stl.cpp:104:9:104:13 | call to c_str | TAINT |
| stl.cpp:105:7:105:7 | c | stl.cpp:105:9:105:13 | call to c_str | TAINT |
| stl.cpp:110:20:110:22 | call to basic_stringstream | stl.cpp:113:2:113:4 | ss1 | |
| stl.cpp:110:20:110:22 | call to basic_stringstream | stl.cpp:119:7:119:9 | ss1 | |
| stl.cpp:110:20:110:22 | call to basic_stringstream | stl.cpp:124:7:124:9 | ss1 | |
| stl.cpp:110:25:110:27 | call to basic_stringstream | stl.cpp:114:2:114:4 | ss2 | |
| stl.cpp:110:25:110:27 | call to basic_stringstream | stl.cpp:120:7:120:9 | ss2 | |
| stl.cpp:110:25:110:27 | call to basic_stringstream | stl.cpp:125:7:125:9 | ss2 | |
| stl.cpp:110:30:110:32 | call to basic_stringstream | stl.cpp:115:2:115:4 | ss3 | |
| stl.cpp:110:30:110:32 | call to basic_stringstream | stl.cpp:121:7:121:9 | ss3 | |
| stl.cpp:110:30:110:32 | call to basic_stringstream | stl.cpp:126:7:126:9 | ss3 | |
| stl.cpp:110:35:110:37 | call to basic_stringstream | stl.cpp:116:2:116:4 | ss4 | |
| stl.cpp:110:35:110:37 | call to basic_stringstream | stl.cpp:122:7:122:9 | ss4 | |
| stl.cpp:110:35:110:37 | call to basic_stringstream | stl.cpp:127:7:127:9 | ss4 | |
| stl.cpp:110:40:110:42 | call to basic_stringstream | stl.cpp:117:2:117:4 | ss5 | |
| stl.cpp:110:40:110:42 | call to basic_stringstream | stl.cpp:123:7:123:9 | ss5 | |
| stl.cpp:110:40:110:42 | call to basic_stringstream | stl.cpp:128:7:128:9 | ss5 | |
| stl.cpp:111:16:111:21 | call to source | stl.cpp:111:16:111:24 | call to basic_string | TAINT |
| stl.cpp:111:16:111:24 | call to basic_string | stl.cpp:117:9:117:9 | t | |
| stl.cpp:113:2:113:4 | ref arg ss1 | stl.cpp:119:7:119:9 | ss1 | |
| stl.cpp:113:2:113:4 | ref arg ss1 | stl.cpp:124:7:124:9 | ss1 | |
| stl.cpp:114:2:114:4 | ref arg ss2 | stl.cpp:120:7:120:9 | ss2 | |
| stl.cpp:114:2:114:4 | ref arg ss2 | stl.cpp:125:7:125:9 | ss2 | |
| stl.cpp:115:2:115:4 | ref arg ss3 | stl.cpp:121:7:121:9 | ss3 | |
| stl.cpp:115:2:115:4 | ref arg ss3 | stl.cpp:126:7:126:9 | ss3 | |
| stl.cpp:116:2:116:4 | ref arg ss4 | stl.cpp:122:7:122:9 | ss4 | |
| stl.cpp:116:2:116:4 | ref arg ss4 | stl.cpp:127:7:127:9 | ss4 | |
| stl.cpp:117:2:117:4 | ref arg ss5 | stl.cpp:123:7:123:9 | ss5 | |
| stl.cpp:117:2:117:4 | ref arg ss5 | stl.cpp:128:7:128:9 | ss5 | |
| stl.cpp:131:32:131:37 | source | stl.cpp:136:9:136:14 | source | |
| stl.cpp:133:20:133:22 | call to basic_stringstream | stl.cpp:135:2:135:4 | ss1 | |
| stl.cpp:133:20:133:22 | call to basic_stringstream | stl.cpp:138:7:138:9 | ss1 | |
| stl.cpp:133:20:133:22 | call to basic_stringstream | stl.cpp:140:7:140:9 | ss1 | |
| stl.cpp:133:25:133:27 | call to basic_stringstream | stl.cpp:136:2:136:4 | ss2 | |
| stl.cpp:133:25:133:27 | call to basic_stringstream | stl.cpp:139:7:139:9 | ss2 | |
| stl.cpp:133:25:133:27 | call to basic_stringstream | stl.cpp:141:7:141:9 | ss2 | |
| stl.cpp:135:2:135:4 | ref arg ss1 | stl.cpp:138:7:138:9 | ss1 | |
| stl.cpp:135:2:135:4 | ref arg ss1 | stl.cpp:140:7:140:9 | ss1 | |
| stl.cpp:136:2:136:4 | ref arg ss2 | stl.cpp:139:7:139:9 | ss2 | |
| stl.cpp:136:2:136:4 | ref arg ss2 | stl.cpp:141:7:141:9 | ss2 | |
| stl.cpp:154:16:154:28 | call to basic_string | stl.cpp:155:7:155:11 | path1 | |
| stl.cpp:154:17:154:26 | call to user_input | stl.cpp:154:16:154:28 | call to basic_string | TAINT |
| stl.cpp:155:7:155:11 | path1 | stl.cpp:155:13:155:17 | call to c_str | TAINT |
| stl.cpp:158:10:158:19 | call to user_input | stl.cpp:158:10:158:21 | call to basic_string | TAINT |
| stl.cpp:158:10:158:21 | call to basic_string | stl.cpp:158:2:158:21 | ... = ... | |
| stl.cpp:158:10:158:21 | call to basic_string | stl.cpp:159:7:159:11 | path2 | |
| stl.cpp:159:7:159:11 | path2 | stl.cpp:159:13:159:17 | call to c_str | TAINT |
| stl.cpp:161:15:161:24 | call to user_input | stl.cpp:161:15:161:27 | call to basic_string | TAINT |
| stl.cpp:161:15:161:27 | call to basic_string | stl.cpp:162:7:162:11 | path3 | |
| stl.cpp:162:7:162:11 | path3 | stl.cpp:162:13:162:17 | call to c_str | TAINT |
| stl.cpp:167:19:167:24 | call to source | stl.cpp:170:17:170:18 | cs | |
| stl.cpp:167:19:167:24 | call to source | stl.cpp:172:7:172:8 | cs | |
| stl.cpp:170:17:170:18 | cs | stl.cpp:170:17:170:19 | call to basic_string | TAINT |
| stl.cpp:170:17:170:19 | call to basic_string | stl.cpp:173:7:173:8 | ss | |
| stl.cpp:178:19:178:24 | call to source | stl.cpp:181:17:181:18 | cs | |
| stl.cpp:181:17:181:18 | cs | stl.cpp:181:17:181:19 | call to basic_string | TAINT |
| stl.cpp:181:17:181:19 | call to basic_string | stl.cpp:184:7:184:8 | ss | |
| stl.cpp:181:17:181:19 | call to basic_string | stl.cpp:187:7:187:8 | ss | |
| stl.cpp:184:7:184:8 | ss | stl.cpp:184:10:184:14 | call to c_str | TAINT |
| stl.cpp:184:10:184:14 | call to c_str | stl.cpp:184:2:184:16 | ... = ... | |
| stl.cpp:184:10:184:14 | call to c_str | stl.cpp:186:7:186:8 | cs | |
| stl.cpp:193:18:193:24 | hello | stl.cpp:193:18:193:25 | call to basic_string | TAINT |
| stl.cpp:193:18:193:25 | call to basic_string | stl.cpp:198:8:198:9 | s1 | |
| stl.cpp:194:19:194:26 | call to basic_string | stl.cpp:199:8:199:9 | s2 | |
| stl.cpp:194:20:194:26 | hello | stl.cpp:194:19:194:26 | call to basic_string | TAINT |
| stl.cpp:196:8:196:14 | call to basic_string | stl.cpp:196:3:196:14 | ... = ... | |
| stl.cpp:196:8:196:14 | call to basic_string | stl.cpp:200:8:200:9 | s3 | |
| stl.cpp:196:8:196:14 | hello | stl.cpp:196:8:196:14 | call to basic_string | TAINT |
| stl.cpp:204:18:204:23 | call to source | stl.cpp:204:18:204:26 | call to basic_string | TAINT |
| stl.cpp:204:18:204:26 | call to basic_string | stl.cpp:209:8:209:9 | s1 | |
| stl.cpp:205:19:205:27 | call to basic_string | stl.cpp:210:8:210:9 | s2 | |
| stl.cpp:205:20:205:25 | call to source | stl.cpp:205:19:205:27 | call to basic_string | TAINT |
| stl.cpp:207:8:207:13 | call to source | stl.cpp:207:8:207:15 | call to basic_string | TAINT |
| stl.cpp:207:8:207:15 | call to basic_string | stl.cpp:207:3:207:15 | ... = ... | |
| stl.cpp:207:8:207:15 | call to basic_string | stl.cpp:211:8:211:9 | s3 | |
| stl.cpp:215:15:215:16 | call to basic_string | stl.cpp:216:20:216:21 | s1 | |
| stl.cpp:215:15:215:16 | call to basic_string | stl.cpp:218:8:218:9 | s1 | |
| stl.cpp:215:15:215:16 | call to basic_string | stl.cpp:220:8:220:9 | s1 | |
| stl.cpp:216:20:216:21 | s1 | stl.cpp:221:8:221:9 | s2 | |
| stl.cpp:218:8:218:9 | s1 | stl.cpp:218:3:218:9 | ... = ... | |
| stl.cpp:218:8:218:9 | s1 | stl.cpp:222:8:222:9 | s3 | |
| stl.cpp:226:19:226:40 | call to basic_string | stl.cpp:230:8:230:9 | s1 | |
| stl.cpp:226:32:226:37 | call to source | stl.cpp:226:19:226:40 | call to basic_string | TAINT |
| stl.cpp:228:8:228:28 | call to basic_string | stl.cpp:228:3:228:28 | ... = ... | |
| stl.cpp:228:8:228:28 | call to basic_string | stl.cpp:231:8:231:9 | s2 | |
| stl.cpp:228:20:228:25 | call to source | stl.cpp:228:8:228:28 | call to basic_string | TAINT |
| stl.cpp:238:16:238:21 | call to source | stl.cpp:238:16:238:24 | call to basic_string | TAINT |
| stl.cpp:238:16:238:24 | call to basic_string | stl.cpp:239:15:239:15 | s | |
| stl.cpp:238:16:238:24 | call to basic_string | stl.cpp:243:33:243:33 | s | |
| stl.cpp:238:16:238:24 | call to basic_string | stl.cpp:243:50:243:50 | s | |
| stl.cpp:238:16:238:24 | call to basic_string | stl.cpp:247:16:247:16 | s | |
| stl.cpp:239:15:239:15 | call to begin | stl.cpp:239:15:239:15 | (__begin) | |
| stl.cpp:239:15:239:15 | call to begin | stl.cpp:239:15:239:15 | (__begin) | |
| stl.cpp:239:15:239:15 | call to begin | stl.cpp:239:15:239:15 | (__begin) | |
| stl.cpp:239:15:239:15 | call to end | stl.cpp:239:15:239:15 | (__end) | |
| stl.cpp:239:15:239:15 | call to operator* | stl.cpp:240:8:240:8 | c | |
| stl.cpp:239:15:239:15 | ref arg (__begin) | stl.cpp:239:15:239:15 | (__begin) | |
| stl.cpp:239:15:239:15 | ref arg (__begin) | stl.cpp:239:15:239:15 | (__begin) | |
| stl.cpp:239:15:239:15 | ref arg (__begin) | stl.cpp:239:15:239:15 | (__begin) | |
| stl.cpp:239:15:239:15 | ref arg (__range) | stl.cpp:239:15:239:15 | (__range) | |
| stl.cpp:239:15:239:15 | s | stl.cpp:239:15:239:15 | (__range) | |
| stl.cpp:239:15:239:15 | s | stl.cpp:239:15:239:15 | (__range) | |
| stl.cpp:239:15:239:15 | s | stl.cpp:239:15:239:15 | call to operator* | TAINT |
| stl.cpp:243:33:243:33 | ref arg s | stl.cpp:243:50:243:50 | s | |
| stl.cpp:243:33:243:33 | ref arg s | stl.cpp:247:16:247:16 | s | |
| stl.cpp:243:35:243:39 | call to begin | stl.cpp:243:44:243:45 | it | |
| stl.cpp:243:35:243:39 | call to begin | stl.cpp:243:61:243:62 | it | |
| stl.cpp:243:35:243:39 | call to begin | stl.cpp:244:9:244:10 | it | |
| stl.cpp:243:50:243:50 | ref arg s | stl.cpp:243:50:243:50 | s | |
| stl.cpp:243:50:243:50 | ref arg s | stl.cpp:247:16:247:16 | s | |
| stl.cpp:243:61:243:62 | ref arg it | stl.cpp:243:44:243:45 | it | |
| stl.cpp:243:61:243:62 | ref arg it | stl.cpp:243:61:243:62 | it | |
| stl.cpp:243:61:243:62 | ref arg it | stl.cpp:244:9:244:10 | it | |
| stl.cpp:247:16:247:16 | call to begin | stl.cpp:247:16:247:16 | (__begin) | |
| stl.cpp:247:16:247:16 | call to begin | stl.cpp:247:16:247:16 | (__begin) | |
| stl.cpp:247:16:247:16 | call to begin | stl.cpp:247:16:247:16 | (__begin) | |
| stl.cpp:247:16:247:16 | call to end | stl.cpp:247:16:247:16 | (__end) | |
| stl.cpp:247:16:247:16 | call to operator* | stl.cpp:248:8:248:8 | c | |
| stl.cpp:247:16:247:16 | ref arg (__begin) | stl.cpp:247:16:247:16 | (__begin) | |
| stl.cpp:247:16:247:16 | ref arg (__begin) | stl.cpp:247:16:247:16 | (__begin) | |
| stl.cpp:247:16:247:16 | ref arg (__begin) | stl.cpp:247:16:247:16 | (__begin) | |
| stl.cpp:247:16:247:16 | ref arg (__range) | stl.cpp:247:16:247:16 | (__range) | |
| stl.cpp:247:16:247:16 | s | stl.cpp:247:16:247:16 | (__range) | |
| stl.cpp:247:16:247:16 | s | stl.cpp:247:16:247:16 | (__range) | |
| stl.cpp:247:16:247:16 | s | stl.cpp:247:16:247:16 | call to operator* | TAINT |
| stl.cpp:251:28:251:33 | call to source | stl.cpp:251:28:251:36 | call to basic_string | TAINT |
| stl.cpp:251:28:251:36 | call to basic_string | stl.cpp:252:22:252:28 | const_s | |
| stl.cpp:252:22:252:22 | call to begin | stl.cpp:252:22:252:22 | (__begin) | |
| stl.cpp:252:22:252:22 | call to begin | stl.cpp:252:22:252:22 | (__begin) | |
| stl.cpp:252:22:252:22 | call to begin | stl.cpp:252:22:252:22 | (__begin) | |
| stl.cpp:252:22:252:22 | call to end | stl.cpp:252:22:252:22 | (__end) | |
| stl.cpp:252:22:252:22 | call to operator* | stl.cpp:253:8:253:8 | c | |
| stl.cpp:252:22:252:22 | ref arg (__begin) | stl.cpp:252:22:252:22 | (__begin) | |
| stl.cpp:252:22:252:22 | ref arg (__begin) | stl.cpp:252:22:252:22 | (__begin) | |
| stl.cpp:252:22:252:22 | ref arg (__begin) | stl.cpp:252:22:252:22 | (__begin) | |
| stl.cpp:252:22:252:28 | const_s | stl.cpp:252:22:252:22 | (__range) | |
| stl.cpp:252:22:252:28 | const_s | stl.cpp:252:22:252:22 | (__range) | |
| stl.cpp:252:22:252:28 | const_s | stl.cpp:252:22:252:22 | call to operator* | TAINT |
| stl.cpp:288:43:288:49 | source1 | stl.cpp:292:21:292:27 | source1 | |
| stl.cpp:288:43:288:49 | source1 | stl.cpp:306:33:306:39 | source1 | |
| stl.cpp:292:21:292:27 | source1 | stl.cpp:292:21:292:28 | call to vector | TAINT |
| stl.cpp:292:21:292:28 | call to vector | stl.cpp:294:14:294:14 | v | |
| stl.cpp:292:21:292:28 | call to vector | stl.cpp:298:38:298:38 | v | |
| stl.cpp:292:21:292:28 | call to vector | stl.cpp:298:55:298:55 | v | |
| stl.cpp:292:21:292:28 | call to vector | stl.cpp:302:15:302:15 | v | |
| stl.cpp:294:14:294:14 | call to begin | stl.cpp:294:14:294:14 | (__begin) | |
| stl.cpp:294:14:294:14 | call to begin | stl.cpp:294:14:294:14 | (__begin) | |
| stl.cpp:294:14:294:14 | call to begin | stl.cpp:294:14:294:14 | (__begin) | |
| stl.cpp:294:14:294:14 | call to end | stl.cpp:294:14:294:14 | (__end) | |
| stl.cpp:294:14:294:14 | call to operator* | stl.cpp:295:8:295:8 | x | |
| stl.cpp:294:14:294:14 | ref arg (__begin) | stl.cpp:294:14:294:14 | (__begin) | |
| stl.cpp:294:14:294:14 | ref arg (__begin) | stl.cpp:294:14:294:14 | (__begin) | |
| stl.cpp:294:14:294:14 | ref arg (__begin) | stl.cpp:294:14:294:14 | (__begin) | |
| stl.cpp:294:14:294:14 | ref arg (__range) | stl.cpp:294:14:294:14 | (__range) | |
| stl.cpp:294:14:294:14 | v | stl.cpp:294:14:294:14 | (__range) | |
| stl.cpp:294:14:294:14 | v | stl.cpp:294:14:294:14 | (__range) | |
| stl.cpp:294:14:294:14 | v | stl.cpp:294:14:294:14 | call to operator* | TAINT |
| stl.cpp:298:38:298:38 | ref arg v | stl.cpp:298:55:298:55 | v | |
| stl.cpp:298:38:298:38 | ref arg v | stl.cpp:302:15:302:15 | v | |
| stl.cpp:298:40:298:44 | call to begin | stl.cpp:298:49:298:50 | it | |
| stl.cpp:298:40:298:44 | call to begin | stl.cpp:298:66:298:67 | it | |
| stl.cpp:298:40:298:44 | call to begin | stl.cpp:299:9:299:10 | it | |
| stl.cpp:298:55:298:55 | ref arg v | stl.cpp:298:55:298:55 | v | |
| stl.cpp:298:55:298:55 | ref arg v | stl.cpp:302:15:302:15 | v | |
| stl.cpp:298:66:298:67 | ref arg it | stl.cpp:298:49:298:50 | it | |
| stl.cpp:298:66:298:67 | ref arg it | stl.cpp:298:66:298:67 | it | |
| stl.cpp:298:66:298:67 | ref arg it | stl.cpp:299:9:299:10 | it | |
| stl.cpp:302:15:302:15 | call to begin | stl.cpp:302:15:302:15 | (__begin) | |
| stl.cpp:302:15:302:15 | call to begin | stl.cpp:302:15:302:15 | (__begin) | |
| stl.cpp:302:15:302:15 | call to begin | stl.cpp:302:15:302:15 | (__begin) | |
| stl.cpp:302:15:302:15 | call to end | stl.cpp:302:15:302:15 | (__end) | |
| stl.cpp:302:15:302:15 | call to operator* | stl.cpp:303:8:303:8 | x | |
| stl.cpp:302:15:302:15 | ref arg (__begin) | stl.cpp:302:15:302:15 | (__begin) | |
| stl.cpp:302:15:302:15 | ref arg (__begin) | stl.cpp:302:15:302:15 | (__begin) | |
| stl.cpp:302:15:302:15 | ref arg (__begin) | stl.cpp:302:15:302:15 | (__begin) | |
| stl.cpp:302:15:302:15 | ref arg (__range) | stl.cpp:302:15:302:15 | (__range) | |
| stl.cpp:302:15:302:15 | v | stl.cpp:302:15:302:15 | (__range) | |
| stl.cpp:302:15:302:15 | v | stl.cpp:302:15:302:15 | (__range) | |
| stl.cpp:302:15:302:15 | v | stl.cpp:302:15:302:15 | call to operator* | TAINT |
| stl.cpp:306:33:306:39 | source1 | stl.cpp:306:33:306:40 | call to vector | TAINT |
| stl.cpp:306:33:306:40 | call to vector | stl.cpp:307:21:307:27 | const_v | |
| stl.cpp:307:21:307:21 | call to begin | stl.cpp:307:21:307:21 | (__begin) | |
| stl.cpp:307:21:307:21 | call to begin | stl.cpp:307:21:307:21 | (__begin) | |
| stl.cpp:307:21:307:21 | call to begin | stl.cpp:307:21:307:21 | (__begin) | |
| stl.cpp:307:21:307:21 | call to end | stl.cpp:307:21:307:21 | (__end) | |
| stl.cpp:307:21:307:21 | call to operator* | stl.cpp:308:8:308:8 | x | |
| stl.cpp:307:21:307:21 | ref arg (__begin) | stl.cpp:307:21:307:21 | (__begin) | |
| stl.cpp:307:21:307:21 | ref arg (__begin) | stl.cpp:307:21:307:21 | (__begin) | |
| stl.cpp:307:21:307:21 | ref arg (__begin) | stl.cpp:307:21:307:21 | (__begin) | |
| stl.cpp:307:21:307:27 | const_v | stl.cpp:307:21:307:21 | (__range) | |
| stl.cpp:307:21:307:27 | const_v | stl.cpp:307:21:307:21 | (__range) | |
| stl.cpp:307:21:307:27 | const_v | stl.cpp:307:21:307:21 | call to operator* | TAINT |
| stl.cpp:105:12:105:17 | call to source | stl.cpp:109:7:109:7 | a | |
| stl.cpp:106:16:106:20 | 123 | stl.cpp:106:16:106:21 | call to basic_string | TAINT |
| stl.cpp:106:16:106:21 | call to basic_string | stl.cpp:110:7:110:7 | b | |
| stl.cpp:106:16:106:21 | call to basic_string | stl.cpp:112:7:112:7 | b | |
| stl.cpp:107:16:107:21 | call to source | stl.cpp:107:16:107:24 | call to basic_string | TAINT |
| stl.cpp:107:16:107:24 | call to basic_string | stl.cpp:111:7:111:7 | c | |
| stl.cpp:107:16:107:24 | call to basic_string | stl.cpp:113:7:113:7 | c | |
| stl.cpp:112:7:112:7 | b | stl.cpp:112:9:112:13 | call to c_str | TAINT |
| stl.cpp:113:7:113:7 | c | stl.cpp:113:9:113:13 | call to c_str | TAINT |
| stl.cpp:118:20:118:22 | call to basic_stringstream | stl.cpp:121:2:121:4 | ss1 | |
| stl.cpp:118:20:118:22 | call to basic_stringstream | stl.cpp:127:7:127:9 | ss1 | |
| stl.cpp:118:20:118:22 | call to basic_stringstream | stl.cpp:132:7:132:9 | ss1 | |
| stl.cpp:118:25:118:27 | call to basic_stringstream | stl.cpp:122:2:122:4 | ss2 | |
| stl.cpp:118:25:118:27 | call to basic_stringstream | stl.cpp:128:7:128:9 | ss2 | |
| stl.cpp:118:25:118:27 | call to basic_stringstream | stl.cpp:133:7:133:9 | ss2 | |
| stl.cpp:118:30:118:32 | call to basic_stringstream | stl.cpp:123:2:123:4 | ss3 | |
| stl.cpp:118:30:118:32 | call to basic_stringstream | stl.cpp:129:7:129:9 | ss3 | |
| stl.cpp:118:30:118:32 | call to basic_stringstream | stl.cpp:134:7:134:9 | ss3 | |
| stl.cpp:118:35:118:37 | call to basic_stringstream | stl.cpp:124:2:124:4 | ss4 | |
| stl.cpp:118:35:118:37 | call to basic_stringstream | stl.cpp:130:7:130:9 | ss4 | |
| stl.cpp:118:35:118:37 | call to basic_stringstream | stl.cpp:135:7:135:9 | ss4 | |
| stl.cpp:118:40:118:42 | call to basic_stringstream | stl.cpp:125:2:125:4 | ss5 | |
| stl.cpp:118:40:118:42 | call to basic_stringstream | stl.cpp:131:7:131:9 | ss5 | |
| stl.cpp:118:40:118:42 | call to basic_stringstream | stl.cpp:136:7:136:9 | ss5 | |
| stl.cpp:119:16:119:21 | call to source | stl.cpp:119:16:119:24 | call to basic_string | TAINT |
| stl.cpp:119:16:119:24 | call to basic_string | stl.cpp:125:9:125:9 | t | |
| stl.cpp:121:2:121:4 | ref arg ss1 | stl.cpp:127:7:127:9 | ss1 | |
| stl.cpp:121:2:121:4 | ref arg ss1 | stl.cpp:132:7:132:9 | ss1 | |
| stl.cpp:122:2:122:4 | ref arg ss2 | stl.cpp:128:7:128:9 | ss2 | |
| stl.cpp:122:2:122:4 | ref arg ss2 | stl.cpp:133:7:133:9 | ss2 | |
| stl.cpp:123:2:123:4 | ref arg ss3 | stl.cpp:129:7:129:9 | ss3 | |
| stl.cpp:123:2:123:4 | ref arg ss3 | stl.cpp:134:7:134:9 | ss3 | |
| stl.cpp:124:2:124:4 | ref arg ss4 | stl.cpp:130:7:130:9 | ss4 | |
| stl.cpp:124:2:124:4 | ref arg ss4 | stl.cpp:135:7:135:9 | ss4 | |
| stl.cpp:125:2:125:4 | ref arg ss5 | stl.cpp:131:7:131:9 | ss5 | |
| stl.cpp:125:2:125:4 | ref arg ss5 | stl.cpp:136:7:136:9 | ss5 | |
| stl.cpp:139:32:139:37 | source | stl.cpp:144:9:144:14 | source | |
| stl.cpp:141:20:141:22 | call to basic_stringstream | stl.cpp:143:2:143:4 | ss1 | |
| stl.cpp:141:20:141:22 | call to basic_stringstream | stl.cpp:146:7:146:9 | ss1 | |
| stl.cpp:141:20:141:22 | call to basic_stringstream | stl.cpp:148:7:148:9 | ss1 | |
| stl.cpp:141:25:141:27 | call to basic_stringstream | stl.cpp:144:2:144:4 | ss2 | |
| stl.cpp:141:25:141:27 | call to basic_stringstream | stl.cpp:147:7:147:9 | ss2 | |
| stl.cpp:141:25:141:27 | call to basic_stringstream | stl.cpp:149:7:149:9 | ss2 | |
| stl.cpp:143:2:143:4 | ref arg ss1 | stl.cpp:146:7:146:9 | ss1 | |
| stl.cpp:143:2:143:4 | ref arg ss1 | stl.cpp:148:7:148:9 | ss1 | |
| stl.cpp:144:2:144:4 | ref arg ss2 | stl.cpp:147:7:147:9 | ss2 | |
| stl.cpp:144:2:144:4 | ref arg ss2 | stl.cpp:149:7:149:9 | ss2 | |
| stl.cpp:162:16:162:28 | call to basic_string | stl.cpp:163:7:163:11 | path1 | |
| stl.cpp:162:17:162:26 | call to user_input | stl.cpp:162:16:162:28 | call to basic_string | TAINT |
| stl.cpp:163:7:163:11 | path1 | stl.cpp:163:13:163:17 | call to c_str | TAINT |
| stl.cpp:166:10:166:19 | call to user_input | stl.cpp:166:10:166:21 | call to basic_string | TAINT |
| stl.cpp:166:10:166:21 | call to basic_string | stl.cpp:166:2:166:21 | ... = ... | |
| stl.cpp:166:10:166:21 | call to basic_string | stl.cpp:167:7:167:11 | path2 | |
| stl.cpp:167:7:167:11 | path2 | stl.cpp:167:13:167:17 | call to c_str | TAINT |
| stl.cpp:169:15:169:24 | call to user_input | stl.cpp:169:15:169:27 | call to basic_string | TAINT |
| stl.cpp:169:15:169:27 | call to basic_string | stl.cpp:170:7:170:11 | path3 | |
| stl.cpp:170:7:170:11 | path3 | stl.cpp:170:13:170:17 | call to c_str | TAINT |
| stl.cpp:175:19:175:24 | call to source | stl.cpp:178:17:178:18 | cs | |
| stl.cpp:175:19:175:24 | call to source | stl.cpp:180:7:180:8 | cs | |
| stl.cpp:178:17:178:18 | cs | stl.cpp:178:17:178:19 | call to basic_string | TAINT |
| stl.cpp:178:17:178:19 | call to basic_string | stl.cpp:181:7:181:8 | ss | |
| stl.cpp:186:19:186:24 | call to source | stl.cpp:189:17:189:18 | cs | |
| stl.cpp:189:17:189:18 | cs | stl.cpp:189:17:189:19 | call to basic_string | TAINT |
| stl.cpp:189:17:189:19 | call to basic_string | stl.cpp:192:7:192:8 | ss | |
| stl.cpp:189:17:189:19 | call to basic_string | stl.cpp:195:7:195:8 | ss | |
| stl.cpp:192:7:192:8 | ss | stl.cpp:192:10:192:14 | call to c_str | TAINT |
| stl.cpp:192:10:192:14 | call to c_str | stl.cpp:192:2:192:16 | ... = ... | |
| stl.cpp:192:10:192:14 | call to c_str | stl.cpp:194:7:194:8 | cs | |
| stl.cpp:201:18:201:24 | hello | stl.cpp:201:18:201:25 | call to basic_string | TAINT |
| stl.cpp:201:18:201:25 | call to basic_string | stl.cpp:206:8:206:9 | s1 | |
| stl.cpp:202:19:202:26 | call to basic_string | stl.cpp:207:8:207:9 | s2 | |
| stl.cpp:202:20:202:26 | hello | stl.cpp:202:19:202:26 | call to basic_string | TAINT |
| stl.cpp:204:8:204:14 | call to basic_string | stl.cpp:204:3:204:14 | ... = ... | |
| stl.cpp:204:8:204:14 | call to basic_string | stl.cpp:208:8:208:9 | s3 | |
| stl.cpp:204:8:204:14 | hello | stl.cpp:204:8:204:14 | call to basic_string | TAINT |
| stl.cpp:212:18:212:23 | call to source | stl.cpp:212:18:212:26 | call to basic_string | TAINT |
| stl.cpp:212:18:212:26 | call to basic_string | stl.cpp:217:8:217:9 | s1 | |
| stl.cpp:213:19:213:27 | call to basic_string | stl.cpp:218:8:218:9 | s2 | |
| stl.cpp:213:20:213:25 | call to source | stl.cpp:213:19:213:27 | call to basic_string | TAINT |
| stl.cpp:215:8:215:13 | call to source | stl.cpp:215:8:215:15 | call to basic_string | TAINT |
| stl.cpp:215:8:215:15 | call to basic_string | stl.cpp:215:3:215:15 | ... = ... | |
| stl.cpp:215:8:215:15 | call to basic_string | stl.cpp:219:8:219:9 | s3 | |
| stl.cpp:223:15:223:16 | call to basic_string | stl.cpp:224:20:224:21 | s1 | |
| stl.cpp:223:15:223:16 | call to basic_string | stl.cpp:226:8:226:9 | s1 | |
| stl.cpp:223:15:223:16 | call to basic_string | stl.cpp:228:8:228:9 | s1 | |
| stl.cpp:224:20:224:21 | s1 | stl.cpp:229:8:229:9 | s2 | |
| stl.cpp:226:8:226:9 | s1 | stl.cpp:226:3:226:9 | ... = ... | |
| stl.cpp:226:8:226:9 | s1 | stl.cpp:230:8:230:9 | s3 | |
| stl.cpp:234:19:234:40 | call to basic_string | stl.cpp:238:8:238:9 | s1 | |
| stl.cpp:234:32:234:37 | call to source | stl.cpp:234:19:234:40 | call to basic_string | TAINT |
| stl.cpp:236:8:236:28 | call to basic_string | stl.cpp:236:3:236:28 | ... = ... | |
| stl.cpp:236:8:236:28 | call to basic_string | stl.cpp:239:8:239:9 | s2 | |
| stl.cpp:236:20:236:25 | call to source | stl.cpp:236:8:236:28 | call to basic_string | TAINT |
| stl.cpp:246:16:246:21 | call to source | stl.cpp:246:16:246:24 | call to basic_string | TAINT |
| stl.cpp:246:16:246:24 | call to basic_string | stl.cpp:247:15:247:15 | s | |
| stl.cpp:246:16:246:24 | call to basic_string | stl.cpp:251:33:251:33 | s | |
| stl.cpp:246:16:246:24 | call to basic_string | stl.cpp:251:50:251:50 | s | |
| stl.cpp:246:16:246:24 | call to basic_string | stl.cpp:255:16:255:16 | s | |
| stl.cpp:247:15:247:15 | call to begin | stl.cpp:247:15:247:15 | (__begin) | |
| stl.cpp:247:15:247:15 | call to begin | stl.cpp:247:15:247:15 | (__begin) | |
| stl.cpp:247:15:247:15 | call to begin | stl.cpp:247:15:247:15 | (__begin) | |
| stl.cpp:247:15:247:15 | call to end | stl.cpp:247:15:247:15 | (__end) | |
| stl.cpp:247:15:247:15 | call to operator* | stl.cpp:248:8:248:8 | c | |
| stl.cpp:247:15:247:15 | ref arg (__begin) | stl.cpp:247:15:247:15 | (__begin) | |
| stl.cpp:247:15:247:15 | ref arg (__begin) | stl.cpp:247:15:247:15 | (__begin) | |
| stl.cpp:247:15:247:15 | ref arg (__begin) | stl.cpp:247:15:247:15 | (__begin) | |
| stl.cpp:247:15:247:15 | ref arg (__range) | stl.cpp:247:15:247:15 | (__range) | |
| stl.cpp:247:15:247:15 | s | stl.cpp:247:15:247:15 | (__range) | |
| stl.cpp:247:15:247:15 | s | stl.cpp:247:15:247:15 | (__range) | |
| stl.cpp:247:15:247:15 | s | stl.cpp:247:15:247:15 | call to operator* | TAINT |
| stl.cpp:251:33:251:33 | ref arg s | stl.cpp:251:50:251:50 | s | |
| stl.cpp:251:33:251:33 | ref arg s | stl.cpp:255:16:255:16 | s | |
| stl.cpp:251:35:251:39 | call to begin | stl.cpp:251:44:251:45 | it | |
| stl.cpp:251:35:251:39 | call to begin | stl.cpp:251:61:251:62 | it | |
| stl.cpp:251:35:251:39 | call to begin | stl.cpp:252:9:252:10 | it | |
| stl.cpp:251:50:251:50 | ref arg s | stl.cpp:251:50:251:50 | s | |
| stl.cpp:251:50:251:50 | ref arg s | stl.cpp:255:16:255:16 | s | |
| stl.cpp:251:61:251:62 | ref arg it | stl.cpp:251:44:251:45 | it | |
| stl.cpp:251:61:251:62 | ref arg it | stl.cpp:251:61:251:62 | it | |
| stl.cpp:251:61:251:62 | ref arg it | stl.cpp:252:9:252:10 | it | |
| stl.cpp:255:16:255:16 | call to begin | stl.cpp:255:16:255:16 | (__begin) | |
| stl.cpp:255:16:255:16 | call to begin | stl.cpp:255:16:255:16 | (__begin) | |
| stl.cpp:255:16:255:16 | call to begin | stl.cpp:255:16:255:16 | (__begin) | |
| stl.cpp:255:16:255:16 | call to end | stl.cpp:255:16:255:16 | (__end) | |
| stl.cpp:255:16:255:16 | call to operator* | stl.cpp:256:8:256:8 | c | |
| stl.cpp:255:16:255:16 | ref arg (__begin) | stl.cpp:255:16:255:16 | (__begin) | |
| stl.cpp:255:16:255:16 | ref arg (__begin) | stl.cpp:255:16:255:16 | (__begin) | |
| stl.cpp:255:16:255:16 | ref arg (__begin) | stl.cpp:255:16:255:16 | (__begin) | |
| stl.cpp:255:16:255:16 | ref arg (__range) | stl.cpp:255:16:255:16 | (__range) | |
| stl.cpp:255:16:255:16 | s | stl.cpp:255:16:255:16 | (__range) | |
| stl.cpp:255:16:255:16 | s | stl.cpp:255:16:255:16 | (__range) | |
| stl.cpp:255:16:255:16 | s | stl.cpp:255:16:255:16 | call to operator* | TAINT |
| stl.cpp:259:28:259:33 | call to source | stl.cpp:259:28:259:36 | call to basic_string | TAINT |
| stl.cpp:259:28:259:36 | call to basic_string | stl.cpp:260:22:260:28 | const_s | |
| stl.cpp:260:22:260:22 | call to begin | stl.cpp:260:22:260:22 | (__begin) | |
| stl.cpp:260:22:260:22 | call to begin | stl.cpp:260:22:260:22 | (__begin) | |
| stl.cpp:260:22:260:22 | call to begin | stl.cpp:260:22:260:22 | (__begin) | |
| stl.cpp:260:22:260:22 | call to end | stl.cpp:260:22:260:22 | (__end) | |
| stl.cpp:260:22:260:22 | call to operator* | stl.cpp:261:8:261:8 | c | |
| stl.cpp:260:22:260:22 | ref arg (__begin) | stl.cpp:260:22:260:22 | (__begin) | |
| stl.cpp:260:22:260:22 | ref arg (__begin) | stl.cpp:260:22:260:22 | (__begin) | |
| stl.cpp:260:22:260:22 | ref arg (__begin) | stl.cpp:260:22:260:22 | (__begin) | |
| stl.cpp:260:22:260:28 | const_s | stl.cpp:260:22:260:22 | (__range) | |
| stl.cpp:260:22:260:28 | const_s | stl.cpp:260:22:260:22 | (__range) | |
| stl.cpp:260:22:260:28 | const_s | stl.cpp:260:22:260:22 | call to operator* | TAINT |
| stl.cpp:296:43:296:49 | source1 | stl.cpp:300:21:300:27 | source1 | |
| stl.cpp:296:43:296:49 | source1 | stl.cpp:314:33:314:39 | source1 | |
| stl.cpp:300:21:300:27 | source1 | stl.cpp:300:21:300:28 | call to vector | TAINT |
| stl.cpp:300:21:300:28 | call to vector | stl.cpp:302:14:302:14 | v | |
| stl.cpp:300:21:300:28 | call to vector | stl.cpp:306:38:306:38 | v | |
| stl.cpp:300:21:300:28 | call to vector | stl.cpp:306:55:306:55 | v | |
| stl.cpp:300:21:300:28 | call to vector | stl.cpp:310:15:310:15 | v | |
| stl.cpp:302:14:302:14 | call to begin | stl.cpp:302:14:302:14 | (__begin) | |
| stl.cpp:302:14:302:14 | call to begin | stl.cpp:302:14:302:14 | (__begin) | |
| stl.cpp:302:14:302:14 | call to begin | stl.cpp:302:14:302:14 | (__begin) | |
| stl.cpp:302:14:302:14 | call to end | stl.cpp:302:14:302:14 | (__end) | |
| stl.cpp:302:14:302:14 | call to operator* | stl.cpp:303:8:303:8 | x | |
| stl.cpp:302:14:302:14 | ref arg (__begin) | stl.cpp:302:14:302:14 | (__begin) | |
| stl.cpp:302:14:302:14 | ref arg (__begin) | stl.cpp:302:14:302:14 | (__begin) | |
| stl.cpp:302:14:302:14 | ref arg (__begin) | stl.cpp:302:14:302:14 | (__begin) | |
| stl.cpp:302:14:302:14 | ref arg (__range) | stl.cpp:302:14:302:14 | (__range) | |
| stl.cpp:302:14:302:14 | v | stl.cpp:302:14:302:14 | (__range) | |
| stl.cpp:302:14:302:14 | v | stl.cpp:302:14:302:14 | (__range) | |
| stl.cpp:302:14:302:14 | v | stl.cpp:302:14:302:14 | call to operator* | TAINT |
| stl.cpp:306:38:306:38 | ref arg v | stl.cpp:306:55:306:55 | v | |
| stl.cpp:306:38:306:38 | ref arg v | stl.cpp:310:15:310:15 | v | |
| stl.cpp:306:40:306:44 | call to begin | stl.cpp:306:49:306:50 | it | |
| stl.cpp:306:40:306:44 | call to begin | stl.cpp:306:66:306:67 | it | |
| stl.cpp:306:40:306:44 | call to begin | stl.cpp:307:9:307:10 | it | |
| stl.cpp:306:55:306:55 | ref arg v | stl.cpp:306:55:306:55 | v | |
| stl.cpp:306:55:306:55 | ref arg v | stl.cpp:310:15:310:15 | v | |
| stl.cpp:306:66:306:67 | ref arg it | stl.cpp:306:49:306:50 | it | |
| stl.cpp:306:66:306:67 | ref arg it | stl.cpp:306:66:306:67 | it | |
| stl.cpp:306:66:306:67 | ref arg it | stl.cpp:307:9:307:10 | it | |
| stl.cpp:310:15:310:15 | call to begin | stl.cpp:310:15:310:15 | (__begin) | |
| stl.cpp:310:15:310:15 | call to begin | stl.cpp:310:15:310:15 | (__begin) | |
| stl.cpp:310:15:310:15 | call to begin | stl.cpp:310:15:310:15 | (__begin) | |
| stl.cpp:310:15:310:15 | call to end | stl.cpp:310:15:310:15 | (__end) | |
| stl.cpp:310:15:310:15 | call to operator* | stl.cpp:311:8:311:8 | x | |
| stl.cpp:310:15:310:15 | ref arg (__begin) | stl.cpp:310:15:310:15 | (__begin) | |
| stl.cpp:310:15:310:15 | ref arg (__begin) | stl.cpp:310:15:310:15 | (__begin) | |
| stl.cpp:310:15:310:15 | ref arg (__begin) | stl.cpp:310:15:310:15 | (__begin) | |
| stl.cpp:310:15:310:15 | ref arg (__range) | stl.cpp:310:15:310:15 | (__range) | |
| stl.cpp:310:15:310:15 | v | stl.cpp:310:15:310:15 | (__range) | |
| stl.cpp:310:15:310:15 | v | stl.cpp:310:15:310:15 | (__range) | |
| stl.cpp:310:15:310:15 | v | stl.cpp:310:15:310:15 | call to operator* | TAINT |
| stl.cpp:314:33:314:39 | source1 | stl.cpp:314:33:314:40 | call to vector | TAINT |
| stl.cpp:314:33:314:40 | call to vector | stl.cpp:315:21:315:27 | const_v | |
| stl.cpp:315:21:315:21 | call to begin | stl.cpp:315:21:315:21 | (__begin) | |
| stl.cpp:315:21:315:21 | call to begin | stl.cpp:315:21:315:21 | (__begin) | |
| stl.cpp:315:21:315:21 | call to begin | stl.cpp:315:21:315:21 | (__begin) | |
| stl.cpp:315:21:315:21 | call to end | stl.cpp:315:21:315:21 | (__end) | |
| stl.cpp:315:21:315:21 | call to operator* | stl.cpp:316:8:316:8 | x | |
| stl.cpp:315:21:315:21 | ref arg (__begin) | stl.cpp:315:21:315:21 | (__begin) | |
| stl.cpp:315:21:315:21 | ref arg (__begin) | stl.cpp:315:21:315:21 | (__begin) | |
| stl.cpp:315:21:315:21 | ref arg (__begin) | stl.cpp:315:21:315:21 | (__begin) | |
| stl.cpp:315:21:315:27 | const_v | stl.cpp:315:21:315:21 | (__range) | |
| stl.cpp:315:21:315:27 | const_v | stl.cpp:315:21:315:21 | (__range) | |
| stl.cpp:315:21:315:27 | const_v | stl.cpp:315:21:315:21 | call to operator* | TAINT |
| structlikeclass.cpp:5:7:5:7 | Unknown literal | structlikeclass.cpp:5:7:5:7 | constructor init of field v | TAINT |
| structlikeclass.cpp:5:7:5:7 | Unknown literal | structlikeclass.cpp:5:7:5:7 | constructor init of field v | TAINT |
| structlikeclass.cpp:5:7:5:7 | this | structlikeclass.cpp:5:7:5:7 | constructor init of field v [pre-this] | |

8
cpp/ql/test/library-tests/dataflow/taint-tests/stl.cpp
View File

@@ -49,8 +49,16 @@ namespace std
const_iterator end() const;
const_iterator cbegin() const;
const_iterator cend() const;
template<class T> basic_string& operator+=(const T& t);
basic_string& operator+=(const charT* s);
basic_string& append(const basic_string& str);
basic_string& append(const charT* s);
};
template<class charT, class traits, class Allocator> basic_string<charT, traits, Allocator> operator+(const basic_string<charT, traits, Allocator>& lhs, const basic_string<charT, traits, Allocator>& rhs);
template<class charT, class traits, class Allocator> basic_string<charT, traits, Allocator> operator+(const basic_string<charT, traits, Allocator>& lhs, const charT* rhs);
typedef basic_string<char> string;
template <class charT, class traits = char_traits<charT> >

42
cpp/ql/test/library-tests/dataflow/taint-tests/taint.expected
View File

@@ -32,27 +32,27 @@
| movableclass.cpp:55:8:55:9 | s2 | movableclass.cpp:52:23:52:28 | call to source |
| movableclass.cpp:64:8:64:9 | s2 | movableclass.cpp:23:55:23:60 | call to source |
| movableclass.cpp:65:11:65:11 | call to operator= | movableclass.cpp:65:13:65:18 | call to source |
| stl.cpp:101:7:101:7 | a | stl.cpp:97:12:97:17 | call to source |
| stl.cpp:103:7:103:7 | c | stl.cpp:99:16:99:21 | call to source |
| stl.cpp:105:9:105:13 | call to c_str | stl.cpp:99:16:99:21 | call to source |
| stl.cpp:155:13:155:17 | call to c_str | stl.cpp:147:10:147:15 | call to source |
| stl.cpp:159:13:159:17 | call to c_str | stl.cpp:147:10:147:15 | call to source |
| stl.cpp:162:13:162:17 | call to c_str | stl.cpp:147:10:147:15 | call to source |
| stl.cpp:172:7:172:8 | cs | stl.cpp:167:19:167:24 | call to source |
| stl.cpp:173:7:173:8 | ss | stl.cpp:167:19:167:24 | call to source |
| stl.cpp:186:7:186:8 | cs | stl.cpp:178:19:178:24 | call to source |
| stl.cpp:187:7:187:8 | ss | stl.cpp:178:19:178:24 | call to source |
| stl.cpp:209:8:209:9 | s1 | stl.cpp:204:18:204:23 | call to source |
| stl.cpp:210:8:210:9 | s2 | stl.cpp:205:20:205:25 | call to source |
| stl.cpp:211:8:211:9 | s3 | stl.cpp:207:8:207:13 | call to source |
| stl.cpp:230:8:230:9 | s1 | stl.cpp:226:32:226:37 | call to source |
| stl.cpp:231:8:231:9 | s2 | stl.cpp:228:20:228:25 | call to source |
| stl.cpp:240:8:240:8 | c | stl.cpp:238:16:238:21 | call to source |
| stl.cpp:248:8:248:8 | c | stl.cpp:238:16:238:21 | call to source |
| stl.cpp:253:8:253:8 | c | stl.cpp:251:28:251:33 | call to source |
| stl.cpp:295:8:295:8 | x | stl.cpp:288:43:288:49 | source1 |
| stl.cpp:303:8:303:8 | x | stl.cpp:288:43:288:49 | source1 |
| stl.cpp:308:8:308:8 | x | stl.cpp:288:43:288:49 | source1 |
| stl.cpp:109:7:109:7 | a | stl.cpp:105:12:105:17 | call to source |
| stl.cpp:111:7:111:7 | c | stl.cpp:107:16:107:21 | call to source |
| stl.cpp:113:9:113:13 | call to c_str | stl.cpp:107:16:107:21 | call to source |
| stl.cpp:163:13:163:17 | call to c_str | stl.cpp:155:10:155:15 | call to source |
| stl.cpp:167:13:167:17 | call to c_str | stl.cpp:155:10:155:15 | call to source |
| stl.cpp:170:13:170:17 | call to c_str | stl.cpp:155:10:155:15 | call to source |
| stl.cpp:180:7:180:8 | cs | stl.cpp:175:19:175:24 | call to source |
| stl.cpp:181:7:181:8 | ss | stl.cpp:175:19:175:24 | call to source |
| stl.cpp:194:7:194:8 | cs | stl.cpp:186:19:186:24 | call to source |
| stl.cpp:195:7:195:8 | ss | stl.cpp:186:19:186:24 | call to source |
| stl.cpp:217:8:217:9 | s1 | stl.cpp:212:18:212:23 | call to source |
| stl.cpp:218:8:218:9 | s2 | stl.cpp:213:20:213:25 | call to source |
| stl.cpp:219:8:219:9 | s3 | stl.cpp:215:8:215:13 | call to source |
| stl.cpp:238:8:238:9 | s1 | stl.cpp:234:32:234:37 | call to source |
| stl.cpp:239:8:239:9 | s2 | stl.cpp:236:20:236:25 | call to source |
| stl.cpp:248:8:248:8 | c | stl.cpp:246:16:246:21 | call to source |
| stl.cpp:256:8:256:8 | c | stl.cpp:246:16:246:21 | call to source |
| stl.cpp:261:8:261:8 | c | stl.cpp:259:28:259:33 | call to source |
| stl.cpp:303:8:303:8 | x | stl.cpp:296:43:296:49 | source1 |
| stl.cpp:311:8:311:8 | x | stl.cpp:296:43:296:49 | source1 |
| stl.cpp:316:8:316:8 | x | stl.cpp:296:43:296:49 | source1 |
| structlikeclass.cpp:35:8:35:9 | s1 | structlikeclass.cpp:29:22:29:27 | call to source |
| structlikeclass.cpp:36:8:36:9 | s2 | structlikeclass.cpp:30:24:30:29 | call to source |
| structlikeclass.cpp:37:8:37:9 | s3 | structlikeclass.cpp:29:22:29:27 | call to source |

40
cpp/ql/test/library-tests/dataflow/taint-tests/test_diff.expected
View File

@@ -30,26 +30,26 @@
| movableclass.cpp:55:8:55:9 | movableclass.cpp:52:23:52:28 | AST only |
| movableclass.cpp:64:8:64:9 | movableclass.cpp:23:55:23:60 | AST only |
| movableclass.cpp:65:11:65:11 | movableclass.cpp:65:13:65:18 | AST only |
| stl.cpp:103:7:103:7 | stl.cpp:99:16:99:21 | AST only |
| stl.cpp:105:9:105:13 | stl.cpp:99:16:99:21 | AST only |
| stl.cpp:155:13:155:17 | stl.cpp:147:10:147:15 | AST only |
| stl.cpp:159:13:159:17 | stl.cpp:147:10:147:15 | AST only |
| stl.cpp:162:13:162:17 | stl.cpp:147:10:147:15 | AST only |
| stl.cpp:172:7:172:8 | stl.cpp:167:19:167:26 | IR only |
| stl.cpp:173:7:173:8 | stl.cpp:167:19:167:24 | AST only |
| stl.cpp:186:7:186:8 | stl.cpp:178:19:178:24 | AST only |
| stl.cpp:187:7:187:8 | stl.cpp:178:19:178:24 | AST only |
| stl.cpp:209:8:209:9 | stl.cpp:204:18:204:23 | AST only |
| stl.cpp:210:8:210:9 | stl.cpp:205:20:205:25 | AST only |
| stl.cpp:211:8:211:9 | stl.cpp:207:8:207:13 | AST only |
| stl.cpp:230:8:230:9 | stl.cpp:226:32:226:37 | AST only |
| stl.cpp:231:8:231:9 | stl.cpp:228:20:228:25 | AST only |
| stl.cpp:240:8:240:8 | stl.cpp:238:16:238:21 | AST only |
| stl.cpp:248:8:248:8 | stl.cpp:238:16:238:21 | AST only |
| stl.cpp:253:8:253:8 | stl.cpp:251:28:251:33 | AST only |
| stl.cpp:295:8:295:8 | stl.cpp:288:43:288:49 | AST only |
| stl.cpp:303:8:303:8 | stl.cpp:288:43:288:49 | AST only |
| stl.cpp:308:8:308:8 | stl.cpp:288:43:288:49 | AST only |
| stl.cpp:111:7:111:7 | stl.cpp:107:16:107:21 | AST only |
| stl.cpp:113:9:113:13 | stl.cpp:107:16:107:21 | AST only |
| stl.cpp:163:13:163:17 | stl.cpp:155:10:155:15 | AST only |
| stl.cpp:167:13:167:17 | stl.cpp:155:10:155:15 | AST only |
| stl.cpp:170:13:170:17 | stl.cpp:155:10:155:15 | AST only |
| stl.cpp:180:7:180:8 | stl.cpp:175:19:175:26 | IR only |
| stl.cpp:181:7:181:8 | stl.cpp:175:19:175:24 | AST only |
| stl.cpp:194:7:194:8 | stl.cpp:186:19:186:24 | AST only |
| stl.cpp:195:7:195:8 | stl.cpp:186:19:186:24 | AST only |
| stl.cpp:217:8:217:9 | stl.cpp:212:18:212:23 | AST only |
| stl.cpp:218:8:218:9 | stl.cpp:213:20:213:25 | AST only |
| stl.cpp:219:8:219:9 | stl.cpp:215:8:215:13 | AST only |
| stl.cpp:238:8:238:9 | stl.cpp:234:32:234:37 | AST only |
| stl.cpp:239:8:239:9 | stl.cpp:236:20:236:25 | AST only |
| stl.cpp:248:8:248:8 | stl.cpp:246:16:246:21 | AST only |
| stl.cpp:256:8:256:8 | stl.cpp:246:16:246:21 | AST only |
| stl.cpp:261:8:261:8 | stl.cpp:259:28:259:33 | AST only |
| stl.cpp:303:8:303:8 | stl.cpp:296:43:296:49 | AST only |
| stl.cpp:311:8:311:8 | stl.cpp:296:43:296:49 | AST only |
| stl.cpp:316:8:316:8 | stl.cpp:296:43:296:49 | AST only |
| structlikeclass.cpp:35:8:35:9 | structlikeclass.cpp:29:22:29:27 | AST only |
| structlikeclass.cpp:36:8:36:9 | structlikeclass.cpp:30:24:30:29 | AST only |
| structlikeclass.cpp:37:8:37:9 | structlikeclass.cpp:29:22:29:27 | AST only |

8
cpp/ql/test/library-tests/dataflow/taint-tests/test_ir.expected
View File

@@ -1,10 +1,10 @@
| format.cpp:157:7:157:22 | (int)... | format.cpp:147:12:147:25 | call to source |
| format.cpp:157:7:157:22 | access to array | format.cpp:147:12:147:25 | call to source |
| format.cpp:158:7:158:27 | ... + ... | format.cpp:148:16:148:30 | call to source |
| stl.cpp:101:7:101:7 | (const char *)... | stl.cpp:97:12:97:17 | call to source |
| stl.cpp:101:7:101:7 | a | stl.cpp:97:12:97:17 | call to source |
| stl.cpp:172:7:172:8 | cs | stl.cpp:167:19:167:24 | call to source |
| stl.cpp:172:7:172:8 | cs | stl.cpp:167:19:167:26 | (const char *)... |
| stl.cpp:109:7:109:7 | (const char *)... | stl.cpp:105:12:105:17 | call to source |
| stl.cpp:109:7:109:7 | a | stl.cpp:105:12:105:17 | call to source |
| stl.cpp:180:7:180:8 | cs | stl.cpp:175:19:175:24 | call to source |
| stl.cpp:180:7:180:8 | cs | stl.cpp:175:19:175:26 | (const char *)... |
| structlikeclass.cpp:38:8:38:9 | s4 | structlikeclass.cpp:33:8:33:13 | call to source |
| structlikeclass.cpp:61:8:61:9 | s2 | structlikeclass.cpp:58:24:58:29 | call to source |
| structlikeclass.cpp:62:8:62:20 | ... = ... | structlikeclass.cpp:62:13:62:18 | call to source |