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

Fix test expectations due to pair/make_pair fixes

Browse Source
This commit is contained in:
Dave Bartolomeo
2020-10-17 09:00:46 -04:00
parent 686f5aa8ed
commit 1b53c4684d
1 changed files with 80 additions and 106 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -260,6 +260,10 @@
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| format.cpp:16:21:16:21 | s | format.cpp:22:22:22:22 | s | |
| format.cpp:16:31:16:31 | n | format.cpp:22:25:22:25 | n | |
| format.cpp:16:46:16:51 | format | format.cpp:22:28:22:33 | format | |
@@ -2060,8 +2064,8 @@
| movableclass.cpp:15:3:15:13 | ... = ... | movableclass.cpp:15:9:15:9 | v [post update] | |
| movableclass.cpp:15:13:15:13 | 0 | movableclass.cpp:15:3:15:13 | ... = ... | |
| movableclass.cpp:16:11:16:14 | this | movableclass.cpp:16:10:16:14 | * ... | TAINT |
| movableclass.cpp:22:57:22:57 | 1 | movableclass.cpp:22:42:22:58 | call to MyMovableClass | TAINT |
| movableclass.cpp:23:55:23:60 | call to source | movableclass.cpp:23:40:23:63 | call to MyMovableClass | TAINT |
| movableclass.cpp:22:57:22:57 | 1 | movableclass.cpp:22:35:22:59 | call to MyMovableClass | TAINT |
| movableclass.cpp:23:55:23:60 | call to source | movableclass.cpp:23:33:23:64 | call to MyMovableClass | TAINT |
| movableclass.cpp:28:21:28:21 | 1 | movableclass.cpp:28:21:28:22 | call to MyMovableClass | TAINT |
| movableclass.cpp:28:21:28:22 | call to MyMovableClass | movableclass.cpp:33:8:33:9 | s1 | |
| movableclass.cpp:29:22:29:23 | call to MyMovableClass | movableclass.cpp:34:8:34:9 | s2 | |
@@ -2090,10 +2094,8 @@
| movableclass.cpp:52:8:52:31 | call to MyMovableClass | movableclass.cpp:52:3:52:4 | ref arg s2 | TAINT |
| movableclass.cpp:52:8:52:31 | call to MyMovableClass | movableclass.cpp:52:6:52:6 | call to operator= | TAINT |
| movableclass.cpp:52:23:52:28 | call to source | movableclass.cpp:52:8:52:31 | call to MyMovableClass | TAINT |
| movableclass.cpp:59:21:59:32 | call to getUnTainted | movableclass.cpp:59:21:59:35 | call to MyMovableClass | |
| movableclass.cpp:59:21:59:35 | call to MyMovableClass | movableclass.cpp:63:8:63:9 | s1 | |
| movableclass.cpp:60:21:60:30 | call to getTainted | movableclass.cpp:60:21:60:33 | call to MyMovableClass | |
| movableclass.cpp:60:21:60:33 | call to MyMovableClass | movableclass.cpp:64:8:64:9 | s2 | |
| movableclass.cpp:59:21:59:32 | call to getUnTainted | movableclass.cpp:63:8:63:9 | s1 | |
| movableclass.cpp:60:21:60:30 | call to getTainted | movableclass.cpp:64:8:64:9 | s2 | |
| movableclass.cpp:61:18:61:19 | call to MyMovableClass | movableclass.cpp:65:8:65:9 | s3 | |
| 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 |
@@ -3110,36 +3112,42 @@
| stl.h:241:30:241:40 | call to allocator | stl.h:241:21:241:41 | noexcept(...) | TAINT |
| stl.h:241:53:241:63 | 0 | stl.h:241:46:241:64 | (no string representation) | TAINT |
| stl.h:334:9:334:9 | Unknown literal | stl.h:334:9:334:9 | constructor init of field first | TAINT |
| stl.h:334:9:334:9 | Unknown literal | stl.h:334:9:334:9 | constructor init of field first | TAINT |
| stl.h:334:9:334:9 | Unknown literal | stl.h:334:9:334:9 | constructor init of field first | TAINT |
| stl.h:334:9:334:9 | Unknown literal | stl.h:334:9:334:9 | constructor init of field first | TAINT |
| stl.h:334:9:334:9 | Unknown literal | stl.h:334:9:334:9 | constructor init of field first | TAINT |
| stl.h:334:9:334:9 | Unknown literal | stl.h:334:9:334:9 | constructor init of field second | TAINT |
| stl.h:334:9:334:9 | Unknown literal | stl.h:334:9:334:9 | constructor init of field second | TAINT |
| stl.h:334:9:334:9 | Unknown literal | stl.h:334:9:334:9 | constructor init of field second | TAINT |
| stl.h:334:9:334:9 | Unknown literal | stl.h:334:9:334:9 | constructor init of field second | TAINT |
| stl.h:334:9:334:9 | Unknown literal | stl.h:334:9:334:9 | constructor init of field second | TAINT |
| stl.h:334:9:334:9 | constructor init of field first [post-this] | stl.h:334:9:334:9 | constructor init of field second [pre-this] | |
| stl.h:334:9:334:9 | constructor init of field first [post-this] | stl.h:334:9:334:9 | constructor init of field second [pre-this] | |
| stl.h:334:9:334:9 | constructor init of field first [post-this] | stl.h:334:9:334:9 | constructor init of field second [pre-this] | |
| stl.h:334:9:334:9 | constructor init of field first [post-this] | stl.h:334:9:334:9 | constructor init of field second [pre-this] | |
| stl.h:334:9:334:9 | constructor init of field first [post-this] | stl.h:334:9:334:9 | constructor init of field second [pre-this] | |
| stl.h:334:9:334:9 | constructor init of field first [pre-this] | stl.h:334:9:334:9 | constructor init of field second [pre-this] | |
| stl.h:334:9:334:9 | constructor init of field first [pre-this] | stl.h:334:9:334:9 | constructor init of field second [pre-this] | |
| stl.h:334:9:334:9 | constructor init of field first [pre-this] | stl.h:334:9:334:9 | constructor init of field second [pre-this] | |
| stl.h:334:9:334:9 | constructor init of field first [pre-this] | stl.h:334:9:334:9 | constructor init of field second [pre-this] | |
| stl.h:334:9:334:9 | constructor init of field first [pre-this] | stl.h:334:9:334:9 | constructor init of field second [pre-this] | |
| stl.h:334:9:334:9 | this | stl.h:334:9:334:9 | constructor init of field first [pre-this] | |
| stl.h:334:9:334:9 | this | stl.h:334:9:334:9 | constructor init of field first [pre-this] | |
| stl.h:334:9:334:9 | this | stl.h:334:9:334:9 | constructor init of field first [pre-this] | |
| stl.h:334:9:334:9 | this | stl.h:334:9:334:9 | constructor init of field first [pre-this] | |
| stl.h:334:9:334:9 | this | stl.h:334:9:334:9 | constructor init of field first [pre-this] | |
| stl.h:341:3:341:3 | this | stl.h:341:36:341:43 | constructor init of field first [pre-this] | |
| stl.h:341:3:341:3 | this | stl.h:341:36:341:43 | constructor init of field first [pre-this] | |
| stl.h:341:3:341:3 | this | stl.h:341:36:341:43 | constructor init of field first [pre-this] | |
| stl.h:341:3:341:3 | this | stl.h:341:36:341:43 | constructor init of field first [pre-this] | |
| stl.h:341:3:341:3 | this | stl.h:341:36:341:43 | constructor init of field first [pre-this] | |
| stl.h:341:3:341:3 | this | stl.h:341:36:341:43 | constructor init of field first [pre-this] | |
| stl.h:341:3:341:3 | this | stl.h:341:36:341:43 | constructor init of field first [pre-this] | |
| stl.h:341:3:341:6 | this | stl.h:341:36:341:43 | constructor init of field first [pre-this] | |
| stl.h:341:18:341:18 | x | stl.h:341:18:341:18 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:18:341:18 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:18:341:18 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:18:341:18 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:42:341:42 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:42:341:42 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:42:341:42 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:42:341:42 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:42:341:42 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:42:341:42 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:42:341:42 | x | |
| stl.h:341:18:341:18 | x | stl.h:341:42:341:42 | x | |
| stl.h:341:31:341:31 | y | stl.h:341:31:341:31 | y | |
| stl.h:341:31:341:31 | y | stl.h:341:31:341:31 | y | |
| stl.h:341:31:341:31 | y | stl.h:341:31:341:31 | y | |
| stl.h:341:31:341:31 | y | stl.h:341:31:341:31 | y | |
| stl.h:341:31:341:31 | y | stl.h:341:53:341:53 | y | |
| stl.h:341:31:341:31 | y | stl.h:341:53:341:53 | y | |
| stl.h:341:31:341:31 | y | stl.h:341:53:341:53 | y | |
| stl.h:341:31:341:31 | y | stl.h:341:53:341:53 | y | |
| stl.h:341:31:341:31 | y | stl.h:341:53:341:53 | y | |
@@ -3153,18 +3161,12 @@
| stl.h:341:36:341:43 | constructor init of field first [post-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [post-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [post-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [post-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [post-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [pre-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [pre-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [pre-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [pre-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [pre-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [pre-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [pre-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:36:341:43 | constructor init of field first [pre-this] | stl.h:341:46:341:54 | constructor init of field second [pre-this] | |
| stl.h:341:42:341:42 | x | stl.h:341:36:341:43 | constructor init of field first | TAINT |
| stl.h:341:42:341:42 | x | stl.h:341:36:341:43 | constructor init of field first | TAINT |
| stl.h:341:42:341:42 | x | stl.h:341:36:341:43 | constructor init of field first | TAINT |
| stl.h:341:42:341:42 | x | stl.h:341:36:341:43 | constructor init of field first | TAINT |
| stl.h:341:42:341:42 | x | stl.h:341:36:341:43 | constructor init of field first | TAINT |
@@ -3176,74 +3178,58 @@
| stl.h:341:53:341:53 | y | stl.h:341:46:341:54 | constructor init of field second | TAINT |
| stl.h:341:53:341:53 | y | stl.h:341:46:341:54 | constructor init of field second | TAINT |
| stl.h:341:53:341:53 | y | stl.h:341:46:341:54 | constructor init of field second | TAINT |
| stl.h:341:53:341:53 | y | stl.h:341:46:341:54 | constructor init of field second | TAINT |
| stl.h:341:53:341:53 | y | stl.h:341:46:341:54 | constructor init of field second | TAINT |
| stl.h:347:109:347:109 | x | stl.h:347:109:347:109 | x | |
| stl.h:347:109:347:109 | x | stl.h:347:109:347:109 | x | |
| stl.h:347:109:347:109 | x | stl.h:347:109:347:109 | x | |
| stl.h:347:109:347:109 | x | stl.h:347:109:347:109 | x | |
| stl.h:347:109:347:109 | x | stl.h:347:109:347:109 | x | |
| stl.h:347:109:347:109 | x | stl.h:347:109:347:109 | x | |
| stl.h:347:109:347:109 | x | stl.h:347:109:347:109 | x | |
| stl.h:347:109:347:109 | x | stl.h:348:40:348:40 | x | |
| stl.h:347:109:347:109 | x | stl.h:348:40:348:40 | x | |
| stl.h:347:109:347:109 | x | stl.h:348:40:348:40 | x | |
| stl.h:347:109:347:109 | x | stl.h:348:40:348:40 | x | |
| stl.h:347:109:347:109 | x | stl.h:348:40:348:40 | x | |
| stl.h:347:109:347:109 | x | stl.h:348:40:348:40 | x | |
| stl.h:347:109:347:109 | x | stl.h:348:40:348:40 | x | |
| stl.h:347:117:347:117 | y | stl.h:347:117:347:117 | y | |
| stl.h:347:117:347:117 | y | stl.h:347:117:347:117 | y | |
| stl.h:347:117:347:117 | y | stl.h:347:117:347:117 | y | |
| stl.h:347:117:347:117 | y | stl.h:347:117:347:117 | y | |
| stl.h:347:117:347:117 | y | stl.h:347:117:347:117 | y | |
| stl.h:347:117:347:117 | y | stl.h:347:117:347:117 | y | |
| stl.h:347:117:347:117 | y | stl.h:347:117:347:117 | y | |
| stl.h:347:117:347:117 | y | stl.h:348:61:348:61 | y | |
| stl.h:347:117:347:117 | y | stl.h:348:61:348:61 | y | |
| stl.h:347:117:347:117 | y | stl.h:348:61:348:61 | y | |
| stl.h:347:117:347:117 | y | stl.h:348:61:348:61 | y | |
| stl.h:347:117:347:117 | y | stl.h:348:61:348:61 | y | |
| stl.h:347:117:347:117 | y | stl.h:348:61:348:61 | y | |
| stl.h:347:117:347:117 | y | stl.h:348:61:348:61 | y | |
| stl.h:348:10:348:63 | call to pair | stl.h:348:10:348:63 | call to pair | TAINT |
| stl.h:348:10:348:63 | call to pair | stl.h:348:10:348:63 | call to pair | TAINT |
| stl.h:348:10:348:63 | call to pair | stl.h:348:10:348:63 | call to pair | TAINT |
| stl.h:348:10:348:63 | call to pair | stl.h:348:10:348:63 | call to pair | TAINT |
| stl.h:348:10:348:63 | call to pair | stl.h:348:10:348:63 | call to pair | TAINT |
| stl.h:348:10:348:63 | call to pair | stl.h:348:10:348:63 | call to pair | TAINT |
| stl.h:348:23:348:38 | ref arg call to forward | stl.h:347:109:347:109 | x | |
| stl.h:348:23:348:38 | ref arg call to forward | stl.h:347:109:347:109 | x | |
| stl.h:348:23:348:38 | ref arg call to forward | stl.h:347:109:347:109 | x | |
| stl.h:348:23:348:38 | ref arg call to forward | stl.h:347:109:347:109 | x | |
| stl.h:348:23:348:38 | ref arg call to forward | stl.h:348:40:348:40 | x [inner post update] | |
| stl.h:348:23:348:38 | ref arg call to forward | stl.h:348:40:348:40 | x [inner post update] | |
| stl.h:348:23:348:38 | ref arg call to forward | stl.h:348:40:348:40 | x [inner post update] | |
| stl.h:348:23:348:38 | ref arg call to forward | stl.h:348:40:348:40 | x [inner post update] | |
| stl.h:348:40:348:40 | x | stl.h:348:23:348:38 | call to forward | |
| stl.h:348:40:348:40 | x | stl.h:348:23:348:38 | call to forward | |
| stl.h:348:40:348:40 | x | stl.h:348:23:348:38 | call to forward | |
| stl.h:348:40:348:40 | x | stl.h:348:23:348:38 | call to forward | |
| stl.h:348:40:348:40 | x | stl.h:348:23:348:38 | call to forward | |
| stl.h:348:40:348:40 | x | stl.h:348:23:348:38 | call to forward | |
| stl.h:348:44:348:59 | call to forward | stl.h:348:10:348:63 | call to pair | TAINT |
| stl.h:348:44:348:59 | call to forward | stl.h:348:10:348:63 | call to pair | TAINT |
| stl.h:348:44:348:59 | ref arg call to forward | stl.h:347:117:347:117 | y | |
| stl.h:348:44:348:59 | ref arg call to forward | stl.h:347:117:347:117 | y | |
| stl.h:348:44:348:59 | ref arg call to forward | stl.h:347:117:347:117 | y | |
| stl.h:348:44:348:59 | ref arg call to forward | stl.h:347:117:347:117 | y | |
| stl.h:348:44:348:59 | ref arg call to forward | stl.h:348:61:348:61 | y [inner post update] | |
| stl.h:348:44:348:59 | ref arg call to forward | stl.h:348:61:348:61 | y [inner post update] | |
| stl.h:348:44:348:59 | ref arg call to forward | stl.h:348:61:348:61 | y [inner post update] | |
| stl.h:348:44:348:59 | ref arg call to forward | stl.h:348:61:348:61 | y [inner post update] | |
| stl.h:348:61:348:61 | y | stl.h:348:10:348:63 | call to pair | TAINT |
| stl.h:348:61:348:61 | y | stl.h:348:10:348:63 | call to pair | TAINT |
| stl.h:348:61:348:61 | y | stl.h:348:44:348:59 | call to forward | |
| stl.h:348:61:348:61 | y | stl.h:348:44:348:59 | call to forward | |
| stl.h:348:61:348:61 | y | stl.h:348:44:348:59 | call to forward | |
| stl.h:348:61:348:61 | y | stl.h:348:44:348:59 | call to forward | |
| stl.h:348:61:348:61 | y | stl.h:348:44:348:59 | call to forward | |
| stl.h:348:61:348:61 | y | stl.h:348:44:348:59 | call to forward | |
| stl.h:347:87:347:87 | x | stl.h:347:87:347:87 | x | |
| stl.h:347:87:347:87 | x | stl.h:347:87:347:87 | x | |
| stl.h:347:87:347:87 | x | stl.h:347:87:347:87 | x | |
| stl.h:347:87:347:87 | x | stl.h:347:87:347:87 | x | |
| stl.h:347:87:347:87 | x | stl.h:347:87:347:87 | x | |
| stl.h:347:87:347:87 | x | stl.h:347:87:347:87 | x | |
| stl.h:347:87:347:87 | x | stl.h:347:87:347:87 | x | |
| stl.h:347:87:347:87 | x | stl.h:348:58:348:58 | x | |
| stl.h:347:87:347:87 | x | stl.h:348:58:348:58 | x | |
| stl.h:347:87:347:87 | x | stl.h:348:58:348:58 | x | |
| stl.h:347:87:347:87 | x | stl.h:348:58:348:58 | x | |
| stl.h:347:87:347:87 | x | stl.h:348:58:348:58 | x | |
| stl.h:347:87:347:87 | x | stl.h:348:58:348:58 | x | |
| stl.h:347:87:347:87 | x | stl.h:348:58:348:58 | x | |
| stl.h:347:95:347:95 | y | stl.h:347:95:347:95 | y | |
| stl.h:347:95:347:95 | y | stl.h:347:95:347:95 | y | |
| stl.h:347:95:347:95 | y | stl.h:347:95:347:95 | y | |
| stl.h:347:95:347:95 | y | stl.h:347:95:347:95 | y | |
| stl.h:347:95:347:95 | y | stl.h:347:95:347:95 | y | |
| stl.h:347:95:347:95 | y | stl.h:347:95:347:95 | y | |
| stl.h:347:95:347:95 | y | stl.h:347:95:347:95 | y | |
| stl.h:347:95:347:95 | y | stl.h:348:79:348:79 | y | |
| stl.h:347:95:347:95 | y | stl.h:348:79:348:79 | y | |
| stl.h:347:95:347:95 | y | stl.h:348:79:348:79 | y | |
| stl.h:347:95:347:95 | y | stl.h:348:79:348:79 | y | |
| stl.h:347:95:347:95 | y | stl.h:348:79:348:79 | y | |
| stl.h:347:95:347:95 | y | stl.h:348:79:348:79 | y | |
| stl.h:347:95:347:95 | y | stl.h:348:79:348:79 | y | |
| stl.h:348:58:348:58 | x | stl.h:348:41:348:56 | call to forward | |
| stl.h:348:58:348:58 | x | stl.h:348:41:348:56 | call to forward | |
| stl.h:348:58:348:58 | x | stl.h:348:41:348:56 | call to forward | |
| stl.h:348:58:348:58 | x | stl.h:348:41:348:56 | call to forward | |
| stl.h:348:58:348:58 | x | stl.h:348:41:348:56 | call to forward | |
| stl.h:348:58:348:58 | x | stl.h:348:41:348:56 | call to forward | |
| stl.h:348:62:348:77 | call to forward | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:62:348:77 | call to forward | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:62:348:77 | call to forward | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:62:348:77 | call to forward | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:62:348:77 | call to forward | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:62:348:77 | call to forward | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:79:348:79 | y | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:79:348:79 | y | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:79:348:79 | y | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:79:348:79 | y | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:79:348:79 | y | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:79:348:79 | y | stl.h:348:3:348:82 | call to pair | TAINT |
| stl.h:348:79:348:79 | y | stl.h:348:62:348:77 | call to forward | |
| stl.h:348:79:348:79 | y | stl.h:348:62:348:77 | call to forward | |
| stl.h:348:79:348:79 | y | stl.h:348:62:348:77 | call to forward | |
| stl.h:348:79:348:79 | y | stl.h:348:62:348:77 | call to forward | |
| stl.h:348:79:348:79 | y | stl.h:348:62:348:77 | call to forward | |
| stl.h:348:79:348:79 | y | stl.h:348:62:348:77 | call to forward | |
| string.cpp:25:12:25:17 | call to source | string.cpp:29:7:29:7 | a | |
| string.cpp:26:16:26:20 | 123 | string.cpp:26:16:26:21 | call to basic_string | TAINT |
| string.cpp:26:16:26:21 | call to basic_string | string.cpp:30:7:30:7 | b | |
@@ -4981,16 +4967,10 @@
| swap1.cpp:56:30:56:34 | data1 | swap1.cpp:56:18:56:22 | ref arg data1 | |
| swap1.cpp:61:22:61:22 | x | swap1.cpp:61:22:61:22 | x | |
| swap1.cpp:61:22:61:22 | x | swap1.cpp:63:9:63:9 | x | |
| swap1.cpp:61:22:61:22 | x | swap2.cpp:61:22:61:22 | x | |
| swap1.cpp:61:22:61:22 | x | swap2.cpp:63:9:63:9 | x | |
| swap1.cpp:61:32:61:32 | y | swap1.cpp:61:32:61:32 | y | |
| swap1.cpp:61:32:61:32 | y | swap1.cpp:63:16:63:16 | y | |
| swap1.cpp:61:32:61:32 | y | swap2.cpp:61:32:61:32 | y | |
| swap1.cpp:61:32:61:32 | y | swap2.cpp:63:16:63:16 | y | |
| swap1.cpp:63:9:63:9 | ref arg x | swap1.cpp:61:22:61:22 | x | |
| swap1.cpp:63:9:63:9 | ref arg x | swap2.cpp:61:22:61:22 | x | |
| swap1.cpp:63:16:63:16 | ref arg y | swap1.cpp:61:32:61:32 | y | |
| swap1.cpp:63:16:63:16 | ref arg y | swap2.cpp:61:32:61:32 | y | |
| swap1.cpp:69:23:69:23 | x | swap1.cpp:71:5:71:5 | x | |
| swap1.cpp:69:23:69:23 | x | swap1.cpp:73:10:73:10 | x | |
| swap1.cpp:69:23:69:23 | x | swap1.cpp:76:9:76:9 | x | |
@@ -5151,17 +5131,11 @@
| swap2.cpp:56:50:56:53 | that | swap2.cpp:56:43:56:47 | ref arg data2 | |
| swap2.cpp:56:50:56:53 | that [post update] | swap2.cpp:53:26:53:29 | that | |
| swap2.cpp:56:55:56:59 | data2 | swap2.cpp:56:43:56:47 | ref arg data2 | |
| swap2.cpp:61:22:61:22 | x | swap1.cpp:61:22:61:22 | x | |
| swap2.cpp:61:22:61:22 | x | swap1.cpp:63:9:63:9 | x | |
| swap2.cpp:61:22:61:22 | x | swap2.cpp:61:22:61:22 | x | |
| swap2.cpp:61:22:61:22 | x | swap2.cpp:63:9:63:9 | x | |
| swap2.cpp:61:32:61:32 | y | swap1.cpp:61:32:61:32 | y | |
| swap2.cpp:61:32:61:32 | y | swap1.cpp:63:16:63:16 | y | |
| swap2.cpp:61:32:61:32 | y | swap2.cpp:61:32:61:32 | y | |
| swap2.cpp:61:32:61:32 | y | swap2.cpp:63:16:63:16 | y | |
| swap2.cpp:63:9:63:9 | ref arg x | swap1.cpp:61:22:61:22 | x | |
| swap2.cpp:63:9:63:9 | ref arg x | swap2.cpp:61:22:61:22 | x | |
| swap2.cpp:63:16:63:16 | ref arg y | swap1.cpp:61:32:61:32 | y | |
| swap2.cpp:63:16:63:16 | ref arg y | swap2.cpp:61:32:61:32 | y | |
| swap2.cpp:69:23:69:23 | x | swap2.cpp:71:5:71:5 | x | |
| swap2.cpp:69:23:69:23 | x | swap2.cpp:73:10:73:10 | x | |