codeql/cpp/ql/test/library-tests/dataflow/taint-tests/localTaint.expected

| copyableclass.cpp:8:2:8:16 | this | copyableclass.cpp:8:28:8:32 | constructor init of field v [pre-this] |  |
| copyableclass.cpp:8:22:8:23 | _v | copyableclass.cpp:8:30:8:31 | _v |  |
| copyableclass.cpp:8:30:8:31 | _v | copyableclass.cpp:8:28:8:32 | constructor init of field v | TAINT |
| copyableclass.cpp:9:2:9:16 | this | copyableclass.cpp:9:50:9:59 | constructor init of field v [pre-this] |  |
| copyableclass.cpp:9:41:9:45 | other | copyableclass.cpp:9:52:9:56 | other |  |
| copyableclass.cpp:9:58:9:58 | v | copyableclass.cpp:9:50:9:59 | constructor init of field v | TAINT |
| copyableclass.cpp:9:58:9:58 | v | copyableclass.cpp:9:58:9:58 | v |  |
| copyableclass.cpp:10:19:10:27 | this | copyableclass.cpp:11:3:11:3 | this |  |
| copyableclass.cpp:10:52:10:56 | other | copyableclass.cpp:11:7:11:11 | other |  |
| copyableclass.cpp:11:3:11:3 | this | copyableclass.cpp:12:11:12:14 | this |  |
| copyableclass.cpp:11:3:11:3 | this [post update] | copyableclass.cpp:12:11:12:14 | this |  |
| copyableclass.cpp:11:13:11:13 | v | copyableclass.cpp:11:3:11:13 | ... = ... |  |
| copyableclass.cpp:12:11:12:14 | this | copyableclass.cpp:12:10:12:14 | * ... | TAINT |
| copyableclass.cpp:21:22:21:22 | 1 | copyableclass.cpp:21:22:21:23 | call to MyCopyableClass | TAINT |
| copyableclass.cpp:21:22:21:23 | call to MyCopyableClass | copyableclass.cpp:23:22:23:23 | s1 |  |
| copyableclass.cpp:21:22:21:23 | call to MyCopyableClass | copyableclass.cpp:27:8:27:9 | s1 |  |
| copyableclass.cpp:22:23:22:24 | call to MyCopyableClass | copyableclass.cpp:28:8:28:9 | s2 |  |
| copyableclass.cpp:22:24:22:24 | 1 | copyableclass.cpp:22:23:22:24 | call to MyCopyableClass | TAINT |
| copyableclass.cpp:23:22:23:23 | s1 | copyableclass.cpp:23:22:23:24 | call to MyCopyableClass |  |
| copyableclass.cpp:23:22:23:24 | call to MyCopyableClass | copyableclass.cpp:29:8:29:9 | s3 |  |
| copyableclass.cpp:24:19:24:20 | call to MyCopyableClass | copyableclass.cpp:25:3:25:4 | s4 |  |
| copyableclass.cpp:24:19:24:20 | call to MyCopyableClass | copyableclass.cpp:30:8:30:9 | s4 |  |
| copyableclass.cpp:25:3:25:4 | ref arg s4 | copyableclass.cpp:30:8:30:9 | s4 |  |
| copyableclass.cpp:25:8:25:8 | 1 | copyableclass.cpp:25:8:25:8 | call to MyCopyableClass | TAINT |
| copyableclass.cpp:25:8:25:8 | call to MyCopyableClass | copyableclass.cpp:25:3:25:4 | ref arg s4 | TAINT |
| copyableclass.cpp:25:8:25:8 | call to MyCopyableClass | copyableclass.cpp:25:6:25:6 | call to operator= | TAINT |
| copyableclass.cpp:34:22:34:27 | call to source | copyableclass.cpp:34:22:34:30 | call to MyCopyableClass | TAINT |
| copyableclass.cpp:34:22:34:30 | call to MyCopyableClass | copyableclass.cpp:36:22:36:23 | s1 |  |
| copyableclass.cpp:34:22:34:30 | call to MyCopyableClass | copyableclass.cpp:40:8:40:9 | s1 |  |
| copyableclass.cpp:35:23:35:31 | call to MyCopyableClass | copyableclass.cpp:41:8:41:9 | s2 |  |
| copyableclass.cpp:35:24:35:29 | call to source | copyableclass.cpp:35:23:35:31 | call to MyCopyableClass | TAINT |
| copyableclass.cpp:36:22:36:23 | s1 | copyableclass.cpp:36:22:36:24 | call to MyCopyableClass |  |
| copyableclass.cpp:36:22:36:24 | call to MyCopyableClass | copyableclass.cpp:42:8:42:9 | s3 |  |
| copyableclass.cpp:37:19:37:20 | call to MyCopyableClass | copyableclass.cpp:38:3:38:4 | s4 |  |
| copyableclass.cpp:37:19:37:20 | call to MyCopyableClass | copyableclass.cpp:43:8:43:9 | s4 |  |
| copyableclass.cpp:38:3:38:4 | ref arg s4 | copyableclass.cpp:43:8:43:9 | s4 |  |
| copyableclass.cpp:38:8:38:13 | call to source | copyableclass.cpp:38:8:38:15 | call to MyCopyableClass | TAINT |
| copyableclass.cpp:38:8:38:15 | call to MyCopyableClass | copyableclass.cpp:38:3:38:4 | ref arg s4 | TAINT |
| copyableclass.cpp:38:8:38:15 | call to MyCopyableClass | copyableclass.cpp:38:6:38:6 | call to operator= | TAINT |
| copyableclass.cpp:47:19:47:20 | call to MyCopyableClass | copyableclass.cpp:48:24:48:25 | s1 |  |
| copyableclass.cpp:47:19:47:20 | call to MyCopyableClass | copyableclass.cpp:49:22:49:23 | s1 |  |
| copyableclass.cpp:47:19:47:20 | call to MyCopyableClass | copyableclass.cpp:51:8:51:9 | s1 |  |
| copyableclass.cpp:47:19:47:20 | call to MyCopyableClass | copyableclass.cpp:53:8:53:9 | s1 |  |
| copyableclass.cpp:48:23:48:25 | call to MyCopyableClass | copyableclass.cpp:54:8:54:9 | s2 |  |
| copyableclass.cpp:48:24:48:25 | s1 | copyableclass.cpp:48:23:48:25 | call to MyCopyableClass |  |
| copyableclass.cpp:49:22:49:23 | s1 | copyableclass.cpp:49:22:49:24 | call to MyCopyableClass |  |
| copyableclass.cpp:49:22:49:24 | call to MyCopyableClass | copyableclass.cpp:55:8:55:9 | s3 |  |
| copyableclass.cpp:50:19:50:20 | call to MyCopyableClass | copyableclass.cpp:51:3:51:4 | s4 |  |
| copyableclass.cpp:50:19:50:20 | call to MyCopyableClass | copyableclass.cpp:56:8:56:9 | s4 |  |
| copyableclass.cpp:51:3:51:4 | ref arg s4 | copyableclass.cpp:56:8:56:9 | s4 |  |
| copyableclass.cpp:51:8:51:9 | s1 | copyableclass.cpp:51:3:51:4 | ref arg s4 | TAINT |
| copyableclass.cpp:51:8:51:9 | s1 | copyableclass.cpp:51:6:51:6 | call to operator= | TAINT |
| copyableclass.cpp:60:23:60:48 | call to MyCopyableClass | copyableclass.cpp:65:8:65:9 | s1 |  |
| copyableclass.cpp:60:40:60:45 | call to source | copyableclass.cpp:60:23:60:48 | call to MyCopyableClass | TAINT |
| copyableclass.cpp:61:19:61:20 | call to MyCopyableClass | copyableclass.cpp:63:3:63:4 | s2 |  |
| copyableclass.cpp:61:19:61:20 | call to MyCopyableClass | copyableclass.cpp:66:8:66:9 | s2 |  |
| copyableclass.cpp:62:19:62:20 | call to MyCopyableClass | copyableclass.cpp:67:8:67:9 | s3 |  |
| copyableclass.cpp:63:3:63:4 | ref arg s2 | copyableclass.cpp:66:8:66:9 | s2 |  |
| copyableclass.cpp:63:8:63:32 | call to MyCopyableClass | copyableclass.cpp:63:3:63:4 | ref arg s2 | TAINT |
| copyableclass.cpp:63:8:63:32 | call to MyCopyableClass | copyableclass.cpp:63:6:63:6 | call to operator= | TAINT |
| copyableclass.cpp:63:24:63:29 | call to source | copyableclass.cpp:63:8:63:32 | call to MyCopyableClass | TAINT |
| copyableclass.cpp:67:13:67:18 | call to source | copyableclass.cpp:67:13:67:20 | call to MyCopyableClass | TAINT |
| copyableclass.cpp:67:13:67:20 | call to MyCopyableClass | copyableclass.cpp:67:8:67:9 | ref arg s3 | TAINT |
| copyableclass.cpp:67:13:67:20 | call to MyCopyableClass | copyableclass.cpp:67:11:67:11 | call to operator= | TAINT |
| copyableclass_declonly.cpp:21:30:21:30 | 1 | copyableclass_declonly.cpp:21:30:21:31 | call to MyCopyableClassDeclOnly | TAINT |
| copyableclass_declonly.cpp:21:30:21:31 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:23:30:23:31 | s1 |  |
| copyableclass_declonly.cpp:21:30:21:31 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:27:8:27:9 | s1 |  |
| copyableclass_declonly.cpp:22:31:22:32 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:28:8:28:9 | s2 |  |
| copyableclass_declonly.cpp:22:32:22:32 | 1 | copyableclass_declonly.cpp:22:31:22:32 | call to MyCopyableClassDeclOnly | TAINT |
| copyableclass_declonly.cpp:23:30:23:31 | s1 | copyableclass_declonly.cpp:23:30:23:32 | call to MyCopyableClassDeclOnly |  |
| copyableclass_declonly.cpp:23:30:23:32 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:29:8:29:9 | s3 |  |
| copyableclass_declonly.cpp:24:27:24:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:25:3:25:4 | s4 |  |
| copyableclass_declonly.cpp:24:27:24:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:30:8:30:9 | s4 |  |
| copyableclass_declonly.cpp:25:3:25:4 | ref arg s4 | copyableclass_declonly.cpp:30:8:30:9 | s4 |  |
| copyableclass_declonly.cpp:25:8:25:8 | 1 | copyableclass_declonly.cpp:25:8:25:8 | call to MyCopyableClassDeclOnly | TAINT |
| copyableclass_declonly.cpp:25:8:25:8 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:25:3:25:4 | ref arg s4 | TAINT |
| copyableclass_declonly.cpp:25:8:25:8 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:25:6:25:6 | call to operator= | TAINT |
| copyableclass_declonly.cpp:34:30:34:35 | call to source | copyableclass_declonly.cpp:34:30:34:38 | call to MyCopyableClassDeclOnly | TAINT |
| copyableclass_declonly.cpp:34:30:34:38 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:36:30:36:31 | s1 |  |
| copyableclass_declonly.cpp:34:30:34:38 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:40:8:40:9 | s1 |  |
| copyableclass_declonly.cpp:35:31:35:39 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:41:8:41:9 | s2 |  |
| copyableclass_declonly.cpp:35:32:35:37 | call to source | copyableclass_declonly.cpp:35:31:35:39 | call to MyCopyableClassDeclOnly | TAINT |
| copyableclass_declonly.cpp:36:30:36:31 | s1 | copyableclass_declonly.cpp:36:30:36:32 | call to MyCopyableClassDeclOnly |  |
| copyableclass_declonly.cpp:36:30:36:32 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:42:8:42:9 | s3 |  |
| copyableclass_declonly.cpp:37:27:37:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:38:3:38:4 | s4 |  |
| copyableclass_declonly.cpp:37:27:37:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:43:8:43:9 | s4 |  |
| copyableclass_declonly.cpp:38:3:38:4 | ref arg s4 | copyableclass_declonly.cpp:43:8:43:9 | s4 |  |
| copyableclass_declonly.cpp:38:8:38:13 | call to source | copyableclass_declonly.cpp:38:8:38:15 | call to MyCopyableClassDeclOnly | TAINT |
| copyableclass_declonly.cpp:38:8:38:15 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:38:3:38:4 | ref arg s4 | TAINT |
| copyableclass_declonly.cpp:38:8:38:15 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:38:6:38:6 | call to operator= | TAINT |
| copyableclass_declonly.cpp:47:27:47:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:48:32:48:33 | s1 |  |
| copyableclass_declonly.cpp:47:27:47:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:49:30:49:31 | s1 |  |
| copyableclass_declonly.cpp:47:27:47:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:51:8:51:9 | s1 |  |
| copyableclass_declonly.cpp:47:27:47:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:53:8:53:9 | s1 |  |
| copyableclass_declonly.cpp:48:31:48:33 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:54:8:54:9 | s2 |  |
| copyableclass_declonly.cpp:48:32:48:33 | s1 | copyableclass_declonly.cpp:48:31:48:33 | call to MyCopyableClassDeclOnly |  |
| copyableclass_declonly.cpp:49:30:49:31 | s1 | copyableclass_declonly.cpp:49:30:49:32 | call to MyCopyableClassDeclOnly |  |
| copyableclass_declonly.cpp:49:30:49:32 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:55:8:55:9 | s3 |  |
| copyableclass_declonly.cpp:50:27:50:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:51:3:51:4 | s4 |  |
| copyableclass_declonly.cpp:50:27:50:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:56:8:56:9 | s4 |  |
| copyableclass_declonly.cpp:51:3:51:4 | ref arg s4 | copyableclass_declonly.cpp:56:8:56:9 | s4 |  |
| copyableclass_declonly.cpp:51:8:51:9 | s1 | copyableclass_declonly.cpp:51:3:51:4 | ref arg s4 | TAINT |
| copyableclass_declonly.cpp:51:8:51:9 | s1 | copyableclass_declonly.cpp:51:6:51:6 | call to operator= | TAINT |
| copyableclass_declonly.cpp:60:31:60:64 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:65:8:65:9 | s1 |  |
| copyableclass_declonly.cpp:60:56:60:61 | call to source | copyableclass_declonly.cpp:60:31:60:64 | call to MyCopyableClassDeclOnly | TAINT |
| copyableclass_declonly.cpp:61:27:61:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:63:3:63:4 | s2 |  |
| copyableclass_declonly.cpp:61:27:61:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:66:8:66:9 | s2 |  |
| copyableclass_declonly.cpp:62:27:62:28 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:67:8:67:9 | s3 |  |
| copyableclass_declonly.cpp:63:3:63:4 | ref arg s2 | copyableclass_declonly.cpp:66:8:66:9 | s2 |  |
| copyableclass_declonly.cpp:63:8:63:40 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:63:3:63:4 | ref arg s2 | TAINT |
| copyableclass_declonly.cpp:63:8:63:40 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:63:6:63:6 | call to operator= | TAINT |
| copyableclass_declonly.cpp:63:32:63:37 | call to source | copyableclass_declonly.cpp:63:8:63:40 | call to MyCopyableClassDeclOnly | TAINT |
| copyableclass_declonly.cpp:67:13:67:18 | call to source | copyableclass_declonly.cpp:67:13:67:20 | call to MyCopyableClassDeclOnly | TAINT |
| copyableclass_declonly.cpp:67:13:67:20 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:67:8:67:9 | ref arg s3 | TAINT |
| copyableclass_declonly.cpp:67:13:67:20 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:67:11:67:11 | call to operator= | TAINT |
| 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 |  |
| format.cpp:20:10:20:13 | args | format.cpp:22:36:22:39 | args |  |
| format.cpp:22:12:22:20 | call to vsnprintf | format.cpp:22:3:22:40 | ... = ... |  |
| format.cpp:22:12:22:20 | call to vsnprintf | format.cpp:25:9:25:14 | result |  |
| format.cpp:50:21:50:24 | {...} | format.cpp:51:17:51:22 | buffer |  |
| format.cpp:50:21:50:24 | {...} | format.cpp:52:8:52:13 | buffer |  |
| format.cpp:50:23:50:23 | 0 | format.cpp:50:21:50:24 | {...} | TAINT |
| format.cpp:51:17:51:22 | ref arg buffer | format.cpp:52:8:52:13 | buffer |  |
| format.cpp:51:30:51:33 | %s | format.cpp:51:17:51:22 | ref arg buffer | TAINT |
| format.cpp:51:36:51:43 | Hello. | format.cpp:51:17:51:22 | ref arg buffer | TAINT |
| format.cpp:55:21:55:24 | {...} | format.cpp:56:17:56:22 | buffer |  |
| format.cpp:55:21:55:24 | {...} | format.cpp:57:8:57:13 | buffer |  |
| format.cpp:55:23:55:23 | 0 | format.cpp:55:21:55:24 | {...} | TAINT |
| format.cpp:56:17:56:22 | ref arg buffer | format.cpp:57:8:57:13 | buffer |  |
| format.cpp:56:30:56:33 | %s | format.cpp:56:17:56:22 | ref arg buffer | TAINT |
| format.cpp:56:36:56:49 | call to source | format.cpp:56:17:56:22 | ref arg buffer | TAINT |
| format.cpp:60:21:60:24 | {...} | format.cpp:61:17:61:22 | buffer |  |
| format.cpp:60:21:60:24 | {...} | format.cpp:62:8:62:13 | buffer |  |
| format.cpp:60:23:60:23 | 0 | format.cpp:60:21:60:24 | {...} | TAINT |
| format.cpp:61:17:61:22 | ref arg buffer | format.cpp:62:8:62:13 | buffer |  |
| format.cpp:61:30:61:43 | call to source | format.cpp:61:17:61:22 | ref arg buffer | TAINT |
| format.cpp:61:48:61:55 | Hello. | format.cpp:61:17:61:22 | ref arg buffer | TAINT |
| format.cpp:65:21:65:24 | {...} | format.cpp:66:17:66:22 | buffer |  |
| format.cpp:65:21:65:24 | {...} | format.cpp:67:8:67:13 | buffer |  |
| format.cpp:65:23:65:23 | 0 | format.cpp:65:21:65:24 | {...} | TAINT |
| format.cpp:66:17:66:22 | ref arg buffer | format.cpp:67:8:67:13 | buffer |  |
| format.cpp:66:30:66:39 | %s %s %s | format.cpp:66:17:66:22 | ref arg buffer | TAINT |
| format.cpp:66:42:66:44 | a | format.cpp:66:17:66:22 | ref arg buffer | TAINT |
| format.cpp:66:47:66:49 | b | format.cpp:66:17:66:22 | ref arg buffer | TAINT |
| format.cpp:66:52:66:65 | call to source | format.cpp:66:17:66:22 | ref arg buffer | TAINT |
| format.cpp:70:21:70:24 | {...} | format.cpp:71:17:71:22 | buffer |  |
| format.cpp:70:21:70:24 | {...} | format.cpp:72:8:72:13 | buffer |  |
| format.cpp:70:23:70:23 | 0 | format.cpp:70:21:70:24 | {...} | TAINT |
| format.cpp:71:17:71:22 | ref arg buffer | format.cpp:72:8:72:13 | buffer |  |
| format.cpp:71:30:71:35 | %.*s | format.cpp:71:17:71:22 | ref arg buffer | TAINT |
| format.cpp:71:38:71:39 | 10 | format.cpp:71:17:71:22 | ref arg buffer | TAINT |
| format.cpp:71:42:71:55 | call to source | format.cpp:71:17:71:22 | ref arg buffer | TAINT |
| format.cpp:76:21:76:24 | {...} | format.cpp:77:17:77:22 | buffer |  |
| format.cpp:76:21:76:24 | {...} | format.cpp:78:8:78:13 | buffer |  |
| format.cpp:76:23:76:23 | 0 | format.cpp:76:21:76:24 | {...} | TAINT |
| format.cpp:77:17:77:22 | ref arg buffer | format.cpp:78:8:78:13 | buffer |  |
| format.cpp:77:30:77:33 | %i | format.cpp:77:17:77:22 | ref arg buffer | TAINT |
| format.cpp:77:36:77:36 | 0 | format.cpp:77:17:77:22 | ref arg buffer | TAINT |
| format.cpp:81:21:81:24 | {...} | format.cpp:82:17:82:22 | buffer |  |
| format.cpp:81:21:81:24 | {...} | format.cpp:83:8:83:13 | buffer |  |
| format.cpp:81:23:81:23 | 0 | format.cpp:81:21:81:24 | {...} | TAINT |
| format.cpp:82:17:82:22 | ref arg buffer | format.cpp:83:8:83:13 | buffer |  |
| format.cpp:82:30:82:33 | %i | format.cpp:82:17:82:22 | ref arg buffer | TAINT |
| format.cpp:82:36:82:41 | call to source | format.cpp:82:17:82:22 | ref arg buffer | TAINT |
| format.cpp:86:21:86:24 | {...} | format.cpp:87:17:87:22 | buffer |  |
| format.cpp:86:21:86:24 | {...} | format.cpp:88:8:88:13 | buffer |  |
| format.cpp:86:23:86:23 | 0 | format.cpp:86:21:86:24 | {...} | TAINT |
| format.cpp:87:17:87:22 | ref arg buffer | format.cpp:88:8:88:13 | buffer |  |
| format.cpp:87:30:87:35 | %.*s | format.cpp:87:17:87:22 | ref arg buffer | TAINT |
| format.cpp:87:38:87:43 | call to source | format.cpp:87:17:87:22 | ref arg buffer | TAINT |
| format.cpp:87:48:87:55 | Hello. | format.cpp:87:17:87:22 | ref arg buffer | TAINT |
| format.cpp:92:21:92:24 | {...} | format.cpp:93:17:93:22 | buffer |  |
| format.cpp:92:21:92:24 | {...} | format.cpp:94:8:94:13 | buffer |  |
| format.cpp:92:23:92:23 | 0 | format.cpp:92:21:92:24 | {...} | TAINT |
| format.cpp:93:17:93:22 | ref arg buffer | format.cpp:94:8:94:13 | buffer |  |
| format.cpp:93:30:93:33 | %p | format.cpp:93:17:93:22 | ref arg buffer | TAINT |
| format.cpp:93:36:93:49 | call to source | format.cpp:93:17:93:22 | ref arg buffer | TAINT |
| format.cpp:98:21:98:24 | {...} | format.cpp:99:16:99:21 | buffer |  |
| format.cpp:98:21:98:24 | {...} | format.cpp:100:8:100:13 | buffer |  |
| format.cpp:98:23:98:23 | 0 | format.cpp:98:21:98:24 | {...} | TAINT |
| format.cpp:99:16:99:21 | ref arg buffer | format.cpp:100:8:100:13 | buffer |  |
| format.cpp:99:24:99:27 | %s | format.cpp:99:16:99:21 | ref arg buffer | TAINT |
| format.cpp:99:30:99:43 | call to source | format.cpp:99:16:99:21 | ref arg buffer | TAINT |
| format.cpp:103:21:103:24 | {...} | format.cpp:104:16:104:21 | buffer |  |
| format.cpp:103:21:103:24 | {...} | format.cpp:105:8:105:13 | buffer |  |
| format.cpp:103:23:103:23 | 0 | format.cpp:103:21:103:24 | {...} | TAINT |
| format.cpp:104:16:104:21 | ref arg buffer | format.cpp:105:8:105:13 | buffer |  |
| format.cpp:104:24:104:28 | %ls | format.cpp:104:16:104:21 | ref arg buffer | TAINT |
| format.cpp:104:31:104:45 | call to source | format.cpp:104:16:104:21 | ref arg buffer | TAINT |
| format.cpp:108:25:108:28 | {...} | format.cpp:109:17:109:23 | wbuffer |  |
| format.cpp:108:25:108:28 | {...} | format.cpp:110:8:110:14 | wbuffer |  |
| format.cpp:108:27:108:27 | 0 | format.cpp:108:25:108:28 | {...} | TAINT |
| format.cpp:109:17:109:23 | ref arg wbuffer | format.cpp:110:8:110:14 | wbuffer |  |
| format.cpp:109:31:109:35 | %s | format.cpp:109:17:109:23 | ref arg wbuffer | TAINT |
| format.cpp:109:38:109:52 | call to source | format.cpp:109:17:109:23 | ref arg wbuffer | TAINT |
| format.cpp:113:21:113:24 | {...} | format.cpp:114:18:114:23 | buffer |  |
| format.cpp:113:21:113:24 | {...} | format.cpp:115:8:115:13 | buffer |  |
| format.cpp:113:23:113:23 | 0 | format.cpp:113:21:113:24 | {...} | TAINT |
| format.cpp:114:18:114:23 | ref arg buffer | format.cpp:115:8:115:13 | buffer |  |
| format.cpp:119:10:119:11 | 0 | format.cpp:120:29:120:29 | i |  |
| format.cpp:119:10:119:11 | 0 | format.cpp:121:8:121:8 | i |  |
| format.cpp:120:28:120:29 | ref arg & ... | format.cpp:120:29:120:29 | i [inner post update] |  |
| format.cpp:120:28:120:29 | ref arg & ... | format.cpp:121:8:121:8 | i |  |
| format.cpp:120:29:120:29 | i | format.cpp:120:28:120:29 | & ... |  |
| format.cpp:124:10:124:11 | 0 | format.cpp:125:40:125:40 | i |  |
| format.cpp:124:10:124:11 | 0 | format.cpp:126:8:126:8 | i |  |
| format.cpp:125:39:125:40 | ref arg & ... | format.cpp:125:40:125:40 | i [inner post update] |  |
| format.cpp:125:39:125:40 | ref arg & ... | format.cpp:126:8:126:8 | i |  |
| format.cpp:125:40:125:40 | i | format.cpp:125:39:125:40 | & ... |  |
| format.cpp:129:21:129:24 | {...} | format.cpp:130:32:130:37 | buffer |  |
| format.cpp:129:21:129:24 | {...} | format.cpp:131:8:131:13 | buffer |  |
| format.cpp:129:23:129:23 | 0 | format.cpp:129:21:129:24 | {...} | TAINT |
| format.cpp:130:31:130:37 | ref arg & ... | format.cpp:130:32:130:37 | buffer [inner post update] |  |
| format.cpp:130:31:130:37 | ref arg & ... | format.cpp:131:8:131:13 | buffer |  |
| format.cpp:130:32:130:37 | buffer | format.cpp:130:31:130:37 | & ... |  |
| format.cpp:134:21:134:24 | {...} | format.cpp:135:40:135:45 | buffer |  |
| format.cpp:134:21:134:24 | {...} | format.cpp:136:8:136:13 | buffer |  |
| format.cpp:134:23:134:23 | 0 | format.cpp:134:21:134:24 | {...} | TAINT |
| format.cpp:135:39:135:45 | ref arg & ... | format.cpp:135:40:135:45 | buffer [inner post update] |  |
| format.cpp:135:39:135:45 | ref arg & ... | format.cpp:136:8:136:13 | buffer |  |
| format.cpp:135:40:135:45 | buffer | format.cpp:135:39:135:45 | & ... |  |
| format.cpp:147:12:147:25 | call to source | format.cpp:151:14:151:14 | s |  |
| format.cpp:147:12:147:25 | call to source | format.cpp:154:13:154:13 | s |  |
| format.cpp:147:12:147:25 | call to source | format.cpp:157:7:157:7 | s |  |
| format.cpp:147:12:147:25 | call to source | format.cpp:157:16:157:16 | s |  |
| format.cpp:148:16:148:30 | call to source | format.cpp:152:14:152:15 | ws |  |
| format.cpp:148:16:148:30 | call to source | format.cpp:158:7:158:8 | ws |  |
| format.cpp:148:16:148:30 | call to source | format.cpp:158:20:158:21 | ws |  |
| format.cpp:154:6:154:11 | call to strlen | format.cpp:154:6:154:18 | ... + ... | TAINT |
| format.cpp:154:6:154:18 | ... + ... | format.cpp:154:2:154:18 | ... = ... |  |
| format.cpp:154:6:154:18 | ... + ... | format.cpp:155:7:155:7 | i |  |
| format.cpp:154:18:154:18 | 1 | format.cpp:154:6:154:18 | ... + ... | TAINT |
| format.cpp:157:7:157:7 | s | format.cpp:157:7:157:22 | access to array | TAINT |
| format.cpp:157:9:157:14 | call to strlen | format.cpp:157:9:157:21 | ... - ... | TAINT |
| format.cpp:157:9:157:21 | ... - ... | format.cpp:157:7:157:22 | access to array | TAINT |
| format.cpp:157:21:157:21 | 1 | format.cpp:157:9:157:21 | ... - ... | TAINT |
| format.cpp:158:7:158:8 | ws | format.cpp:158:7:158:27 | ... + ... | TAINT |
| format.cpp:158:7:158:27 | ref arg ... + ... | format.cpp:158:7:158:8 | ws [inner post update] |  |
| format.cpp:158:13:158:18 | call to wcslen | format.cpp:158:13:158:26 | ... / ... | TAINT |
| format.cpp:158:13:158:26 | ... / ... | format.cpp:158:7:158:27 | ... + ... | TAINT |
| format.cpp:158:26:158:26 | 2 | format.cpp:158:13:158:26 | ... / ... | TAINT |
| movableclass.cpp:8:2:8:15 | this | movableclass.cpp:8:27:8:31 | constructor init of field v [pre-this] |  |
| movableclass.cpp:8:21:8:22 | _v | movableclass.cpp:8:29:8:30 | _v |  |
| movableclass.cpp:8:29:8:30 | _v | movableclass.cpp:8:27:8:31 | constructor init of field v | TAINT |
| movableclass.cpp:9:2:9:15 | this | movableclass.cpp:10:3:10:3 | this |  |
| movableclass.cpp:9:34:9:38 | other | movableclass.cpp:9:34:9:38 | other |  |
| movableclass.cpp:9:34:9:38 | other | movableclass.cpp:10:7:10:11 | other |  |
| movableclass.cpp:9:34:9:38 | other | movableclass.cpp:11:3:11:7 | other |  |
| movableclass.cpp:10:13:10:13 | v | movableclass.cpp:10:3:10:13 | ... = ... |  |
| movableclass.cpp:11:3:11:7 | other [post update] | movableclass.cpp:9:34:9:38 | other |  |
| movableclass.cpp:11:13:11:13 | 0 | movableclass.cpp:11:3:11:13 | ... = ... |  |
| movableclass.cpp:13:18:13:26 | this | movableclass.cpp:14:3:14:3 | this |  |
| movableclass.cpp:13:45:13:49 | other | movableclass.cpp:13:45:13:49 | other |  |
| movableclass.cpp:13:45:13:49 | other | movableclass.cpp:14:7:14:11 | other |  |
| movableclass.cpp:13:45:13:49 | other | movableclass.cpp:15:3:15:7 | other |  |
| movableclass.cpp:14:3:14:3 | this | movableclass.cpp:16:11:16:14 | this |  |
| movableclass.cpp:14:3:14:3 | this [post update] | movableclass.cpp:16:11:16:14 | this |  |
| movableclass.cpp:14:13:14:13 | v | movableclass.cpp:14:3:14:13 | ... = ... |  |
| movableclass.cpp:15:3:15:7 | other [post update] | movableclass.cpp:13:45:13:49 | other |  |
| 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: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 |  |
| movableclass.cpp:29:23:29:23 | 1 | movableclass.cpp:29:22:29:23 | call to MyMovableClass | TAINT |
| movableclass.cpp:30:18:30:19 | call to MyMovableClass | movableclass.cpp:31:3:31:4 | s3 |  |
| movableclass.cpp:30:18:30:19 | call to MyMovableClass | movableclass.cpp:35:8:35:9 | s3 |  |
| movableclass.cpp:31:3:31:4 | ref arg s3 | movableclass.cpp:35:8:35:9 | s3 |  |
| movableclass.cpp:31:8:31:8 | 1 | movableclass.cpp:31:8:31:8 | call to MyMovableClass | TAINT |
| movableclass.cpp:31:8:31:8 | call to MyMovableClass | movableclass.cpp:31:3:31:4 | ref arg s3 | TAINT |
| movableclass.cpp:31:8:31:8 | call to MyMovableClass | movableclass.cpp:31:6:31:6 | call to operator= | TAINT |
| movableclass.cpp:39:21:39:26 | call to source | movableclass.cpp:39:21:39:29 | call to MyMovableClass | TAINT |
| movableclass.cpp:39:21:39:29 | call to MyMovableClass | movableclass.cpp:44:8:44:9 | s1 |  |
| movableclass.cpp:40:22:40:30 | call to MyMovableClass | movableclass.cpp:45:8:45:9 | s2 |  |
| movableclass.cpp:40:23:40:28 | call to source | movableclass.cpp:40:22:40:30 | call to MyMovableClass | TAINT |
| movableclass.cpp:41:18:41:19 | call to MyMovableClass | movableclass.cpp:42:3:42:4 | s3 |  |
| movableclass.cpp:41:18:41:19 | call to MyMovableClass | movableclass.cpp:46:8:46:9 | s3 |  |
| movableclass.cpp:42:3:42:4 | ref arg s3 | movableclass.cpp:46:8:46:9 | s3 |  |
| movableclass.cpp:42:8:42:13 | call to source | movableclass.cpp:42:8:42:15 | call to MyMovableClass | TAINT |
| movableclass.cpp:42:8:42:15 | call to MyMovableClass | movableclass.cpp:42:3:42:4 | ref arg s3 | TAINT |
| movableclass.cpp:42:8:42:15 | call to MyMovableClass | movableclass.cpp:42:6:42:6 | call to operator= | TAINT |
| movableclass.cpp:50:22:50:46 | call to MyMovableClass | movableclass.cpp:54:8:54:9 | s1 |  |
| movableclass.cpp:50:38:50:43 | call to source | movableclass.cpp:50:22:50:46 | call to MyMovableClass | TAINT |
| movableclass.cpp:51:18:51:19 | call to MyMovableClass | movableclass.cpp:52:3:52:4 | s2 |  |
| movableclass.cpp:51:18:51:19 | call to MyMovableClass | movableclass.cpp:55:8:55:9 | s2 |  |
| movableclass.cpp:52:3:52:4 | ref arg s2 | movableclass.cpp:55:8:55:9 | s2 |  |
| 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: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 |
| movableclass.cpp:65:13:65:20 | call to MyMovableClass | movableclass.cpp:65:11:65:11 | call to operator= | TAINT |
| stl.cpp:67:12:67:17 | call to source | stl.cpp:71:7:71:7 | a |  |
| stl.cpp:68:16:68:20 | 123 | stl.cpp:68:16:68:21 | call to basic_string | TAINT |
| stl.cpp:68:16:68:21 | call to basic_string | stl.cpp:72:7:72:7 | b |  |
| stl.cpp:68:16:68:21 | call to basic_string | stl.cpp:74:7:74:7 | b |  |
| stl.cpp:69:16:69:21 | call to source | stl.cpp:69:16:69:24 | call to basic_string | TAINT |
| stl.cpp:69:16:69:24 | call to basic_string | stl.cpp:73:7:73:7 | c |  |
| stl.cpp:69:16:69:24 | call to basic_string | stl.cpp:75:7:75:7 | c |  |
| stl.cpp:74:7:74:7 | b | stl.cpp:74:9:74:13 | call to c_str | TAINT |
| stl.cpp:75:7:75:7 | c | stl.cpp:75:9:75:13 | call to c_str | TAINT |
| stl.cpp:80:20:80:22 | call to basic_stringstream | stl.cpp:83:2:83:4 | ss1 |  |
| stl.cpp:80:20:80:22 | call to basic_stringstream | stl.cpp:89:7:89:9 | ss1 |  |
| stl.cpp:80:20:80:22 | call to basic_stringstream | stl.cpp:94:7:94:9 | ss1 |  |
| stl.cpp:80:25:80:27 | call to basic_stringstream | stl.cpp:84:2:84:4 | ss2 |  |
| stl.cpp:80:25:80:27 | call to basic_stringstream | stl.cpp:90:7:90:9 | ss2 |  |
| stl.cpp:80:25:80:27 | call to basic_stringstream | stl.cpp:95:7:95:9 | ss2 |  |
| stl.cpp:80:30:80:32 | call to basic_stringstream | stl.cpp:85:2:85:4 | ss3 |  |
| stl.cpp:80:30:80:32 | call to basic_stringstream | stl.cpp:91:7:91:9 | ss3 |  |
| stl.cpp:80:30:80:32 | call to basic_stringstream | stl.cpp:96:7:96:9 | ss3 |  |
| stl.cpp:80:35:80:37 | call to basic_stringstream | stl.cpp:86:2:86:4 | ss4 |  |
| stl.cpp:80:35:80:37 | call to basic_stringstream | stl.cpp:92:7:92:9 | ss4 |  |
| stl.cpp:80:35:80:37 | call to basic_stringstream | stl.cpp:97:7:97:9 | ss4 |  |
| stl.cpp:80:40:80:42 | call to basic_stringstream | stl.cpp:87:2:87:4 | ss5 |  |
| stl.cpp:80:40:80:42 | call to basic_stringstream | stl.cpp:93:7:93:9 | ss5 |  |
| stl.cpp:80:40:80:42 | call to basic_stringstream | stl.cpp:98:7:98:9 | ss5 |  |
| stl.cpp:81:16:81:21 | call to source | stl.cpp:81:16:81:24 | call to basic_string | TAINT |
| stl.cpp:81:16:81:24 | call to basic_string | stl.cpp:87:9:87:9 | t |  |
| stl.cpp:83:2:83:4 | ref arg ss1 | stl.cpp:89:7:89:9 | ss1 |  |
| stl.cpp:83:2:83:4 | ref arg ss1 | stl.cpp:94:7:94:9 | ss1 |  |
| stl.cpp:84:2:84:4 | ref arg ss2 | stl.cpp:90:7:90:9 | ss2 |  |
| stl.cpp:84:2:84:4 | ref arg ss2 | stl.cpp:95:7:95:9 | ss2 |  |
| stl.cpp:85:2:85:4 | ref arg ss3 | stl.cpp:91:7:91:9 | ss3 |  |
| stl.cpp:85:2:85:4 | ref arg ss3 | stl.cpp:96:7:96:9 | ss3 |  |
| stl.cpp:86:2:86:4 | ref arg ss4 | stl.cpp:92:7:92:9 | ss4 |  |
| stl.cpp:86:2:86:4 | ref arg ss4 | stl.cpp:97:7:97:9 | ss4 |  |
| stl.cpp:87:2:87:4 | ref arg ss5 | stl.cpp:93:7:93:9 | ss5 |  |
| stl.cpp:87:2:87:4 | ref arg ss5 | stl.cpp:98:7:98:9 | ss5 |  |
| stl.cpp:101:32:101:37 | source | stl.cpp:106:9:106:14 | source |  |
| stl.cpp:103:20:103:22 | call to basic_stringstream | stl.cpp:105:2:105:4 | ss1 |  |
| stl.cpp:103:20:103:22 | call to basic_stringstream | stl.cpp:108:7:108:9 | ss1 |  |
| stl.cpp:103:20:103:22 | call to basic_stringstream | stl.cpp:110:7:110:9 | ss1 |  |
| stl.cpp:103:25:103:27 | call to basic_stringstream | stl.cpp:106:2:106:4 | ss2 |  |
| stl.cpp:103:25:103:27 | call to basic_stringstream | stl.cpp:109:7:109:9 | ss2 |  |
| stl.cpp:103:25:103:27 | call to basic_stringstream | stl.cpp:111:7:111:9 | ss2 |  |
| stl.cpp:105:2:105:4 | ref arg ss1 | stl.cpp:108:7:108:9 | ss1 |  |
| stl.cpp:105:2:105:4 | ref arg ss1 | stl.cpp:110:7:110:9 | ss1 |  |
| stl.cpp:106:2:106:4 | ref arg ss2 | stl.cpp:109:7:109:9 | ss2 |  |
| stl.cpp:106:2:106:4 | ref arg ss2 | stl.cpp:111:7:111:9 | ss2 |  |
| stl.cpp:124:16:124:28 | call to basic_string | stl.cpp:125:7:125:11 | path1 |  |
| stl.cpp:124:17:124:26 | call to user_input | stl.cpp:124:16:124:28 | call to basic_string | TAINT |
| stl.cpp:125:7:125:11 | path1 | stl.cpp:125:13:125:17 | call to c_str | TAINT |
| stl.cpp:128:10:128:19 | call to user_input | stl.cpp:128:10:128:21 | call to basic_string | TAINT |
| stl.cpp:128:10:128:21 | call to basic_string | stl.cpp:128:2:128:21 | ... = ... |  |
| stl.cpp:128:10:128:21 | call to basic_string | stl.cpp:129:7:129:11 | path2 |  |
| stl.cpp:129:7:129:11 | path2 | stl.cpp:129:13:129:17 | call to c_str | TAINT |
| stl.cpp:131:15:131:24 | call to user_input | stl.cpp:131:15:131:27 | call to basic_string | TAINT |
| stl.cpp:131:15:131:27 | call to basic_string | stl.cpp:132:7:132:11 | path3 |  |
| stl.cpp:132:7:132:11 | path3 | stl.cpp:132:13:132:17 | call to c_str | TAINT |
| stl.cpp:137:19:137:24 | call to source | stl.cpp:140:17:140:18 | cs |  |
| stl.cpp:137:19:137:24 | call to source | stl.cpp:142:7:142:8 | cs |  |
| stl.cpp:140:17:140:18 | cs | stl.cpp:140:17:140:19 | call to basic_string | TAINT |
| stl.cpp:140:17:140:19 | call to basic_string | stl.cpp:143:7:143:8 | ss |  |
| stl.cpp:148:19:148:24 | call to source | stl.cpp:151:17:151:18 | cs |  |
| stl.cpp:151:17:151:18 | cs | stl.cpp:151:17:151:19 | call to basic_string | TAINT |
| stl.cpp:151:17:151:19 | call to basic_string | stl.cpp:154:7:154:8 | ss |  |
| stl.cpp:151:17:151:19 | call to basic_string | stl.cpp:157:7:157:8 | ss |  |
| stl.cpp:154:7:154:8 | ss | stl.cpp:154:10:154:14 | call to c_str | TAINT |
| stl.cpp:154:10:154:14 | call to c_str | stl.cpp:154:2:154:16 | ... = ... |  |
| stl.cpp:154:10:154:14 | call to c_str | stl.cpp:156:7:156:8 | cs |  |
| stl.cpp:163:18:163:24 | hello | stl.cpp:163:18:163:25 | call to basic_string | TAINT |
| stl.cpp:163:18:163:25 | call to basic_string | stl.cpp:168:8:168:9 | s1 |  |
| stl.cpp:164:19:164:26 | call to basic_string | stl.cpp:169:8:169:9 | s2 |  |
| stl.cpp:164:20:164:26 | hello | stl.cpp:164:19:164:26 | call to basic_string | TAINT |
| stl.cpp:166:8:166:14 | call to basic_string | stl.cpp:166:3:166:14 | ... = ... |  |
| stl.cpp:166:8:166:14 | call to basic_string | stl.cpp:170:8:170:9 | s3 |  |
| stl.cpp:166:8:166:14 | hello | stl.cpp:166:8:166:14 | call to basic_string | TAINT |
| stl.cpp:174:18:174:23 | call to source | stl.cpp:174:18:174:26 | call to basic_string | TAINT |
| stl.cpp:174:18:174:26 | call to basic_string | stl.cpp:179:8:179:9 | s1 |  |
| stl.cpp:175:19:175:27 | call to basic_string | stl.cpp:180:8:180:9 | s2 |  |
| stl.cpp:175:20:175:25 | call to source | stl.cpp:175:19:175:27 | call to basic_string | TAINT |
| stl.cpp:177:8:177:13 | call to source | stl.cpp:177:8:177:15 | call to basic_string | TAINT |
| stl.cpp:177:8:177:15 | call to basic_string | stl.cpp:177:3:177:15 | ... = ... |  |
| stl.cpp:177:8:177:15 | call to basic_string | stl.cpp:181:8:181:9 | s3 |  |
| stl.cpp:185:15:185:16 | call to basic_string | stl.cpp:186:20:186:21 | s1 |  |
| stl.cpp:185:15:185:16 | call to basic_string | stl.cpp:188:8:188:9 | s1 |  |
| stl.cpp:185:15:185:16 | call to basic_string | stl.cpp:190:8:190:9 | s1 |  |
| stl.cpp:186:20:186:21 | s1 | stl.cpp:191:8:191:9 | s2 |  |
| stl.cpp:188:8:188:9 | s1 | stl.cpp:188:3:188:9 | ... = ... |  |
| stl.cpp:188:8:188:9 | s1 | stl.cpp:192:8:192:9 | s3 |  |
| stl.cpp:196:19:196:40 | call to basic_string | stl.cpp:200:8:200:9 | s1 |  |
| stl.cpp:196:32:196:37 | call to source | stl.cpp:196:19:196:40 | call to basic_string | TAINT |
| stl.cpp:198:8:198:28 | call to basic_string | stl.cpp:198:3:198:28 | ... = ... |  |
| stl.cpp:198:8:198:28 | call to basic_string | stl.cpp:201:8:201:9 | s2 |  |
| stl.cpp:198:20:198:25 | call to source | stl.cpp:198:8:198:28 | call to basic_string | 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] |  |
| structlikeclass.cpp:5:7:5:7 | this | structlikeclass.cpp:5:7:5:7 | constructor init of field v [pre-this] |  |
| structlikeclass.cpp:8:2:8:16 | this | structlikeclass.cpp:8:28:8:32 | constructor init of field v [pre-this] |  |
| structlikeclass.cpp:8:22:8:23 | _v | structlikeclass.cpp:8:30:8:31 | _v |  |
| structlikeclass.cpp:8:30:8:31 | _v | structlikeclass.cpp:8:28:8:32 | constructor init of field v | TAINT |
| structlikeclass.cpp:16:22:16:22 | 1 | structlikeclass.cpp:16:22:16:23 | call to StructLikeClass | TAINT |
| structlikeclass.cpp:16:22:16:23 | call to StructLikeClass | structlikeclass.cpp:18:22:18:23 | s1 |  |
| structlikeclass.cpp:16:22:16:23 | call to StructLikeClass | structlikeclass.cpp:22:8:22:9 | s1 |  |
| structlikeclass.cpp:17:23:17:24 | call to StructLikeClass | structlikeclass.cpp:23:8:23:9 | s2 |  |
| structlikeclass.cpp:17:24:17:24 | 1 | structlikeclass.cpp:17:23:17:24 | call to StructLikeClass | TAINT |
| structlikeclass.cpp:18:22:18:23 | s1 | structlikeclass.cpp:24:8:24:9 | s3 |  |
| structlikeclass.cpp:20:8:20:8 | 1 | structlikeclass.cpp:20:8:20:8 | call to StructLikeClass | TAINT |
| structlikeclass.cpp:20:8:20:8 | call to StructLikeClass | structlikeclass.cpp:20:3:20:8 | ... = ... |  |
| structlikeclass.cpp:20:8:20:8 | call to StructLikeClass | structlikeclass.cpp:25:8:25:9 | s4 |  |
| structlikeclass.cpp:29:22:29:27 | call to source | structlikeclass.cpp:29:22:29:30 | call to StructLikeClass | TAINT |
| structlikeclass.cpp:29:22:29:30 | call to StructLikeClass | structlikeclass.cpp:31:22:31:23 | s1 |  |
| structlikeclass.cpp:29:22:29:30 | call to StructLikeClass | structlikeclass.cpp:35:8:35:9 | s1 |  |
| structlikeclass.cpp:30:23:30:31 | call to StructLikeClass | structlikeclass.cpp:36:8:36:9 | s2 |  |
| structlikeclass.cpp:30:24:30:29 | call to source | structlikeclass.cpp:30:23:30:31 | call to StructLikeClass | TAINT |
| structlikeclass.cpp:31:22:31:23 | s1 | structlikeclass.cpp:37:8:37:9 | s3 |  |
| structlikeclass.cpp:33:8:33:13 | call to source | structlikeclass.cpp:33:8:33:15 | call to StructLikeClass | TAINT |
| structlikeclass.cpp:33:8:33:15 | call to StructLikeClass | structlikeclass.cpp:33:3:33:15 | ... = ... |  |
| structlikeclass.cpp:33:8:33:15 | call to StructLikeClass | structlikeclass.cpp:38:8:38:9 | s4 |  |
| structlikeclass.cpp:42:19:42:20 | call to StructLikeClass | structlikeclass.cpp:43:24:43:25 | s1 |  |
| structlikeclass.cpp:42:19:42:20 | call to StructLikeClass | structlikeclass.cpp:44:22:44:23 | s1 |  |
| structlikeclass.cpp:42:19:42:20 | call to StructLikeClass | structlikeclass.cpp:46:8:46:9 | s1 |  |
| structlikeclass.cpp:42:19:42:20 | call to StructLikeClass | structlikeclass.cpp:48:8:48:9 | s1 |  |
| structlikeclass.cpp:43:24:43:25 | s1 | structlikeclass.cpp:49:8:49:9 | s2 |  |
| structlikeclass.cpp:44:22:44:23 | s1 | structlikeclass.cpp:50:8:50:9 | s3 |  |
| structlikeclass.cpp:46:8:46:9 | s1 | structlikeclass.cpp:46:3:46:9 | ... = ... |  |
| structlikeclass.cpp:46:8:46:9 | s1 | structlikeclass.cpp:51:8:51:9 | s4 |  |
| structlikeclass.cpp:55:23:55:48 | call to StructLikeClass | structlikeclass.cpp:60:8:60:9 | s1 |  |
| structlikeclass.cpp:55:40:55:45 | call to source | structlikeclass.cpp:55:23:55:48 | call to StructLikeClass | TAINT |
| structlikeclass.cpp:58:8:58:32 | call to StructLikeClass | structlikeclass.cpp:58:3:58:32 | ... = ... |  |
| structlikeclass.cpp:58:8:58:32 | call to StructLikeClass | structlikeclass.cpp:61:8:61:9 | s2 |  |
| structlikeclass.cpp:58:24:58:29 | call to source | structlikeclass.cpp:58:8:58:32 | call to StructLikeClass | TAINT |
| structlikeclass.cpp:62:13:62:18 | call to source | structlikeclass.cpp:62:13:62:20 | call to StructLikeClass | TAINT |
| structlikeclass.cpp:62:13:62:20 | call to StructLikeClass | structlikeclass.cpp:62:8:62:20 | ... = ... |  |
| swap1.cpp:14:17:14:17 | t | swap1.cpp:14:17:14:17 | t |  |
| swap1.cpp:14:17:14:17 | t | swap1.cpp:14:17:14:17 | t |  |
| swap1.cpp:14:17:14:17 | t | swap1.cpp:14:56:14:56 | t |  |
| swap1.cpp:14:17:14:17 | t | swap1.cpp:14:56:14:56 | t |  |
| swap1.cpp:24:9:24:13 | this | swap1.cpp:24:31:24:34 | this |  |
| swap1.cpp:24:23:24:26 | that | swap1.cpp:24:23:24:26 | that |  |
| swap1.cpp:24:23:24:26 | that | swap1.cpp:24:36:24:39 | that |  |
| swap1.cpp:24:36:24:39 | ref arg that | swap1.cpp:24:23:24:26 | that |  |
| swap1.cpp:25:9:25:13 | this | swap1.cpp:25:36:25:52 | constructor init of field data1 [pre-this] |  |
| swap1.cpp:25:28:25:31 | that | swap1.cpp:25:42:25:45 | that |  |
| swap1.cpp:25:47:25:51 | data1 | swap1.cpp:25:36:25:52 | constructor init of field data1 | TAINT |
| swap1.cpp:25:47:25:51 | data1 | swap1.cpp:25:47:25:51 | data1 |  |
| swap1.cpp:27:16:27:24 | this | swap1.cpp:30:13:30:16 | this |  |
| swap1.cpp:27:39:27:42 | that | swap1.cpp:29:24:29:27 | that |  |
| swap1.cpp:29:23:29:27 | call to Class | swap1.cpp:30:18:30:20 | tmp |  |
| swap1.cpp:29:24:29:27 | that | swap1.cpp:29:23:29:27 | call to Class |  |
| swap1.cpp:30:13:30:16 | ref arg this | swap1.cpp:31:21:31:24 | this |  |
| swap1.cpp:30:13:30:16 | this | swap1.cpp:31:21:31:24 | this |  |
| swap1.cpp:31:21:31:24 | this | swap1.cpp:31:20:31:24 | * ... | TAINT |
| swap1.cpp:34:16:34:24 | this | swap1.cpp:36:13:36:16 | this |  |
| swap1.cpp:34:34:34:37 | that | swap1.cpp:34:34:34:37 | that |  |
| swap1.cpp:34:34:34:37 | that | swap1.cpp:36:18:36:21 | that |  |
| swap1.cpp:36:13:36:16 | ref arg this | swap1.cpp:37:21:37:24 | this |  |
| swap1.cpp:36:13:36:16 | this | swap1.cpp:37:21:37:24 | this |  |
| swap1.cpp:36:18:36:21 | ref arg that | swap1.cpp:34:34:34:37 | that |  |
| swap1.cpp:37:21:37:24 | this | swap1.cpp:37:20:37:24 | * ... | TAINT |
| swap1.cpp:40:16:40:26 | this | swap1.cpp:43:13:43:16 | this |  |
| swap1.cpp:40:41:40:44 | that | swap1.cpp:42:24:42:27 | that |  |
| swap1.cpp:42:23:42:27 | call to Class | swap1.cpp:43:18:43:20 | tmp |  |
| swap1.cpp:42:24:42:27 | that | swap1.cpp:42:23:42:27 | call to Class |  |
| swap1.cpp:43:13:43:16 | ref arg this | swap1.cpp:44:21:44:24 | this |  |
| swap1.cpp:43:13:43:16 | this | swap1.cpp:44:21:44:24 | this |  |
| swap1.cpp:44:21:44:24 | this | swap1.cpp:44:20:44:24 | * ... | TAINT |
| swap1.cpp:47:16:47:26 | this | swap1.cpp:49:13:49:16 | this |  |
| swap1.cpp:47:36:47:39 | that | swap1.cpp:47:36:47:39 | that |  |
| swap1.cpp:47:36:47:39 | that | swap1.cpp:49:18:49:21 | that |  |
| swap1.cpp:49:13:49:16 | ref arg this | swap1.cpp:50:21:50:24 | this |  |
| swap1.cpp:49:13:49:16 | this | swap1.cpp:50:21:50:24 | this |  |
| swap1.cpp:49:18:49:21 | ref arg that | swap1.cpp:47:36:47:39 | that |  |
| swap1.cpp:50:21:50:24 | this | swap1.cpp:50:20:50:24 | * ... | TAINT |
| swap1.cpp:53:14:53:17 | this | swap1.cpp:56:18:56:22 | this |  |
| swap1.cpp:53:26:53:29 | that | swap1.cpp:53:26:53:29 | that |  |
| swap1.cpp:53:26:53:29 | that | swap1.cpp:56:25:56:28 | that |  |
| swap1.cpp:56:18:56:22 | data1 | swap1.cpp:56:30:56:34 | ref arg data1 |  |
| swap1.cpp:56:25:56:28 | that | swap1.cpp:56:18:56:22 | ref arg data1 |  |
| swap1.cpp:56:25:56:28 | that [post update] | swap1.cpp:53:26:53:29 | that |  |
| 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 |  |
| swap1.cpp:69:23:69:23 | x | swap1.cpp:79:10:79:10 | x |  |
| swap1.cpp:70:23:70:23 | y | swap1.cpp:74:10:74:10 | y |  |
| swap1.cpp:70:23:70:23 | y | swap1.cpp:76:5:76:5 | y |  |
| swap1.cpp:70:23:70:23 | y | swap1.cpp:78:10:78:10 | y |  |
| swap1.cpp:71:5:71:5 | x [post update] | swap1.cpp:73:10:73:10 | x |  |
| swap1.cpp:71:5:71:5 | x [post update] | swap1.cpp:76:9:76:9 | x |  |
| swap1.cpp:71:5:71:5 | x [post update] | swap1.cpp:79:10:79:10 | x |  |
| swap1.cpp:71:5:71:22 | ... = ... | swap1.cpp:73:12:73:16 | data1 |  |
| swap1.cpp:71:5:71:22 | ... = ... | swap1.cpp:79:12:79:16 | data1 |  |
| swap1.cpp:71:15:71:20 | call to source | swap1.cpp:71:5:71:22 | ... = ... |  |
| swap1.cpp:76:5:76:5 | ref arg y | swap1.cpp:78:10:78:10 | y |  |
| swap1.cpp:76:9:76:9 | x | swap1.cpp:76:5:76:5 | ref arg y | TAINT |
| swap1.cpp:76:9:76:9 | x | swap1.cpp:76:7:76:7 | call to operator= | TAINT |
| swap1.cpp:81:23:81:24 | z1 | swap1.cpp:82:5:82:6 | z1 |  |
| swap1.cpp:81:23:81:24 | z1 | swap1.cpp:83:10:83:11 | z1 |  |
| swap1.cpp:81:23:81:24 | z1 | swap1.cpp:85:10:85:11 | z1 |  |
| swap1.cpp:81:23:81:24 | z1 | swap1.cpp:88:10:88:11 | z1 |  |
| swap1.cpp:81:27:81:28 | z2 | swap1.cpp:85:14:85:15 | z2 |  |
| swap1.cpp:81:27:81:28 | z2 | swap1.cpp:87:10:87:11 | z2 |  |
| swap1.cpp:82:5:82:6 | z1 [post update] | swap1.cpp:83:10:83:11 | z1 |  |
| swap1.cpp:82:5:82:6 | z1 [post update] | swap1.cpp:85:10:85:11 | z1 |  |
| swap1.cpp:82:5:82:6 | z1 [post update] | swap1.cpp:88:10:88:11 | z1 |  |
| swap1.cpp:82:5:82:23 | ... = ... | swap1.cpp:83:13:83:17 | data1 |  |
| swap1.cpp:82:5:82:23 | ... = ... | swap1.cpp:88:13:88:17 | data1 |  |
| swap1.cpp:82:16:82:21 | call to source | swap1.cpp:82:5:82:23 | ... = ... |  |
| swap1.cpp:85:10:85:11 | ref arg z1 | swap1.cpp:88:10:88:11 | z1 |  |
| swap1.cpp:85:14:85:15 | ref arg z2 | swap1.cpp:87:10:87:11 | z2 |  |
| swap1.cpp:93:23:93:23 | x | swap1.cpp:95:5:95:5 | x |  |
| swap1.cpp:93:23:93:23 | x | swap1.cpp:97:10:97:10 | x |  |
| swap1.cpp:93:23:93:23 | x | swap1.cpp:100:19:100:19 | x |  |
| swap1.cpp:93:23:93:23 | x | swap1.cpp:103:10:103:10 | x |  |
| swap1.cpp:94:23:94:23 | y | swap1.cpp:98:10:98:10 | y |  |
| swap1.cpp:94:23:94:23 | y | swap1.cpp:100:5:100:5 | y |  |
| swap1.cpp:94:23:94:23 | y | swap1.cpp:102:10:102:10 | y |  |
| swap1.cpp:95:5:95:5 | x [post update] | swap1.cpp:97:10:97:10 | x |  |
| swap1.cpp:95:5:95:5 | x [post update] | swap1.cpp:100:19:100:19 | x |  |
| swap1.cpp:95:5:95:5 | x [post update] | swap1.cpp:103:10:103:10 | x |  |
| swap1.cpp:95:5:95:22 | ... = ... | swap1.cpp:97:12:97:16 | data1 |  |
| swap1.cpp:95:5:95:22 | ... = ... | swap1.cpp:103:12:103:16 | data1 |  |
| swap1.cpp:95:15:95:20 | call to source | swap1.cpp:95:5:95:22 | ... = ... |  |
| swap1.cpp:100:5:100:5 | ref arg y | swap1.cpp:102:10:102:10 | y |  |
| swap1.cpp:100:9:100:17 | call to move | swap1.cpp:100:5:100:5 | ref arg y | TAINT |
| swap1.cpp:100:9:100:17 | call to move | swap1.cpp:100:7:100:7 | call to operator= | TAINT |
| swap1.cpp:100:9:100:17 | ref arg call to move | swap1.cpp:100:19:100:19 | x [inner post update] |  |
| swap1.cpp:100:9:100:17 | ref arg call to move | swap1.cpp:103:10:103:10 | x |  |
| swap1.cpp:100:19:100:19 | x | swap1.cpp:100:5:100:5 | ref arg y | TAINT |
| swap1.cpp:100:19:100:19 | x | swap1.cpp:100:7:100:7 | call to operator= | TAINT |
| swap1.cpp:100:19:100:19 | x | swap1.cpp:100:9:100:17 | call to move |  |
| swap1.cpp:108:23:108:31 | move_from | swap1.cpp:109:5:109:13 | move_from |  |
| swap1.cpp:108:23:108:31 | move_from | swap1.cpp:111:10:111:18 | move_from |  |
| swap1.cpp:108:23:108:31 | move_from | swap1.cpp:113:41:113:49 | move_from |  |
| swap1.cpp:109:5:109:13 | move_from [post update] | swap1.cpp:111:10:111:18 | move_from |  |
| swap1.cpp:109:5:109:13 | move_from [post update] | swap1.cpp:113:41:113:49 | move_from |  |
| swap1.cpp:109:5:109:30 | ... = ... | swap1.cpp:111:20:111:24 | data1 |  |
| swap1.cpp:109:5:109:30 | ... = ... | swap1.cpp:115:18:115:22 | data1 |  |
| swap1.cpp:109:23:109:28 | call to source | swap1.cpp:109:5:109:30 | ... = ... |  |
| swap1.cpp:113:31:113:39 | call to move | swap1.cpp:113:31:113:51 | call to Class |  |
| swap1.cpp:113:31:113:39 | ref arg call to move | swap1.cpp:113:41:113:49 | move_from [inner post update] |  |
| swap1.cpp:113:31:113:51 | call to Class | swap1.cpp:115:10:115:16 | move_to |  |
| swap1.cpp:113:41:113:49 | move_from | swap1.cpp:113:31:113:39 | call to move |  |
| swap1.cpp:120:23:120:23 | x | swap1.cpp:122:5:122:5 | x |  |
| swap1.cpp:120:23:120:23 | x | swap1.cpp:124:10:124:10 | x |  |
| swap1.cpp:120:23:120:23 | x | swap1.cpp:127:19:127:19 | x |  |
| swap1.cpp:120:23:120:23 | x | swap1.cpp:130:10:130:10 | x |  |
| swap1.cpp:121:23:121:23 | y | swap1.cpp:125:10:125:10 | y |  |
| swap1.cpp:121:23:121:23 | y | swap1.cpp:127:5:127:5 | y |  |
| swap1.cpp:121:23:121:23 | y | swap1.cpp:129:10:129:10 | y |  |
| swap1.cpp:122:5:122:5 | x [post update] | swap1.cpp:124:10:124:10 | x |  |
| swap1.cpp:122:5:122:5 | x [post update] | swap1.cpp:127:19:127:19 | x |  |
| swap1.cpp:122:5:122:5 | x [post update] | swap1.cpp:130:10:130:10 | x |  |
| swap1.cpp:122:5:122:22 | ... = ... | swap1.cpp:124:12:124:16 | data1 |  |
| swap1.cpp:122:5:122:22 | ... = ... | swap1.cpp:130:12:130:16 | data1 |  |
| swap1.cpp:122:15:122:20 | call to source | swap1.cpp:122:5:122:22 | ... = ... |  |
| swap1.cpp:127:5:127:5 | ref arg y | swap1.cpp:129:10:129:10 | y |  |
| swap1.cpp:135:23:135:23 | x | swap1.cpp:137:5:137:5 | x |  |
| swap1.cpp:135:23:135:23 | x | swap1.cpp:139:10:139:10 | x |  |
| swap1.cpp:135:23:135:23 | x | swap1.cpp:142:29:142:29 | x |  |
| swap1.cpp:135:23:135:23 | x | swap1.cpp:145:10:145:10 | x |  |
| swap1.cpp:136:23:136:23 | y | swap1.cpp:140:10:140:10 | y |  |
| swap1.cpp:136:23:136:23 | y | swap1.cpp:142:5:142:5 | y |  |
| swap1.cpp:136:23:136:23 | y | swap1.cpp:144:10:144:10 | y |  |
| swap1.cpp:137:5:137:5 | x [post update] | swap1.cpp:139:10:139:10 | x |  |
| swap1.cpp:137:5:137:5 | x [post update] | swap1.cpp:142:29:142:29 | x |  |
| swap1.cpp:137:5:137:5 | x [post update] | swap1.cpp:145:10:145:10 | x |  |
| swap1.cpp:137:5:137:22 | ... = ... | swap1.cpp:139:12:139:16 | data1 |  |
| swap1.cpp:137:5:137:22 | ... = ... | swap1.cpp:145:12:145:16 | data1 |  |
| swap1.cpp:137:15:137:20 | call to source | swap1.cpp:137:5:137:22 | ... = ... |  |
| swap1.cpp:142:5:142:5 | ref arg y | swap1.cpp:144:10:144:10 | y |  |
| swap1.cpp:142:19:142:27 | ref arg call to move | swap1.cpp:142:29:142:29 | x [inner post update] |  |
| swap1.cpp:142:19:142:27 | ref arg call to move | swap1.cpp:145:10:145:10 | x |  |
| swap1.cpp:142:29:142:29 | x | swap1.cpp:142:19:142:27 | call to move |  |
| swap2.cpp:14:17:14:17 | t | swap2.cpp:14:17:14:17 | t |  |
| swap2.cpp:14:17:14:17 | t | swap2.cpp:14:17:14:17 | t |  |
| swap2.cpp:14:17:14:17 | t | swap2.cpp:14:56:14:56 | t |  |
| swap2.cpp:14:17:14:17 | t | swap2.cpp:14:56:14:56 | t |  |
| swap2.cpp:24:9:24:13 | this | swap2.cpp:24:31:24:34 | this |  |
| swap2.cpp:24:23:24:26 | that | swap2.cpp:24:23:24:26 | that |  |
| swap2.cpp:24:23:24:26 | that | swap2.cpp:24:36:24:39 | that |  |
| swap2.cpp:24:36:24:39 | ref arg that | swap2.cpp:24:23:24:26 | that |  |
| swap2.cpp:25:9:25:13 | this | swap2.cpp:25:36:25:52 | constructor init of field data1 [pre-this] |  |
| swap2.cpp:25:28:25:31 | that | swap2.cpp:25:42:25:45 | that |  |
| swap2.cpp:25:28:25:31 | that | swap2.cpp:25:61:25:64 | that |  |
| swap2.cpp:25:36:25:52 | constructor init of field data1 [post-this] | swap2.cpp:25:55:25:71 | constructor init of field data2 [pre-this] |  |
| swap2.cpp:25:36:25:52 | constructor init of field data1 [pre-this] | swap2.cpp:25:55:25:71 | constructor init of field data2 [pre-this] |  |
| swap2.cpp:25:47:25:51 | data1 | swap2.cpp:25:36:25:52 | constructor init of field data1 | TAINT |
| swap2.cpp:25:47:25:51 | data1 | swap2.cpp:25:47:25:51 | data1 |  |
| swap2.cpp:25:66:25:70 | data2 | swap2.cpp:25:55:25:71 | constructor init of field data2 | TAINT |
| swap2.cpp:25:66:25:70 | data2 | swap2.cpp:25:66:25:70 | data2 |  |
| swap2.cpp:27:16:27:24 | this | swap2.cpp:30:13:30:16 | this |  |
| swap2.cpp:27:39:27:42 | that | swap2.cpp:29:24:29:27 | that |  |
| swap2.cpp:29:23:29:27 | call to Class | swap2.cpp:30:18:30:20 | tmp |  |
| swap2.cpp:29:24:29:27 | that | swap2.cpp:29:23:29:27 | call to Class |  |
| swap2.cpp:30:13:30:16 | ref arg this | swap2.cpp:31:21:31:24 | this |  |
| swap2.cpp:30:13:30:16 | this | swap2.cpp:31:21:31:24 | this |  |
| swap2.cpp:31:21:31:24 | this | swap2.cpp:31:20:31:24 | * ... | TAINT |
| swap2.cpp:34:16:34:24 | this | swap2.cpp:36:13:36:16 | this |  |
| swap2.cpp:34:34:34:37 | that | swap2.cpp:34:34:34:37 | that |  |
| swap2.cpp:34:34:34:37 | that | swap2.cpp:36:18:36:21 | that |  |
| swap2.cpp:36:13:36:16 | ref arg this | swap2.cpp:37:21:37:24 | this |  |
| swap2.cpp:36:13:36:16 | this | swap2.cpp:37:21:37:24 | this |  |
| swap2.cpp:36:18:36:21 | ref arg that | swap2.cpp:34:34:34:37 | that |  |
| swap2.cpp:37:21:37:24 | this | swap2.cpp:37:20:37:24 | * ... | TAINT |
| swap2.cpp:40:16:40:26 | this | swap2.cpp:43:13:43:16 | this |  |
| swap2.cpp:40:41:40:44 | that | swap2.cpp:42:24:42:27 | that |  |
| swap2.cpp:42:23:42:27 | call to Class | swap2.cpp:43:18:43:20 | tmp |  |
| swap2.cpp:42:24:42:27 | that | swap2.cpp:42:23:42:27 | call to Class |  |
| swap2.cpp:43:13:43:16 | ref arg this | swap2.cpp:44:21:44:24 | this |  |
| swap2.cpp:43:13:43:16 | this | swap2.cpp:44:21:44:24 | this |  |
| swap2.cpp:44:21:44:24 | this | swap2.cpp:44:20:44:24 | * ... | TAINT |
| swap2.cpp:47:16:47:26 | this | swap2.cpp:49:13:49:16 | this |  |
| swap2.cpp:47:36:47:39 | that | swap2.cpp:47:36:47:39 | that |  |
| swap2.cpp:47:36:47:39 | that | swap2.cpp:49:18:49:21 | that |  |
| swap2.cpp:49:13:49:16 | ref arg this | swap2.cpp:50:21:50:24 | this |  |
| swap2.cpp:49:13:49:16 | this | swap2.cpp:50:21:50:24 | this |  |
| swap2.cpp:49:18:49:21 | ref arg that | swap2.cpp:47:36:47:39 | that |  |
| swap2.cpp:50:21:50:24 | this | swap2.cpp:50:20:50:24 | * ... | TAINT |
| swap2.cpp:53:14:53:17 | this | swap2.cpp:56:18:56:22 | this |  |
| swap2.cpp:53:26:53:29 | that | swap2.cpp:53:26:53:29 | that |  |
| swap2.cpp:53:26:53:29 | that | swap2.cpp:56:25:56:28 | that |  |
| swap2.cpp:53:26:53:29 | that | swap2.cpp:56:50:56:53 | that |  |
| swap2.cpp:56:18:56:22 | data1 | swap2.cpp:56:30:56:34 | ref arg data1 |  |
| swap2.cpp:56:18:56:22 | this | swap2.cpp:56:43:56:47 | this |  |
| swap2.cpp:56:18:56:22 | this [post update] | swap2.cpp:56:43:56:47 | this |  |
| swap2.cpp:56:25:56:28 | that | swap2.cpp:56:18:56:22 | ref arg data1 |  |
| swap2.cpp:56:25:56:28 | that [post update] | swap2.cpp:53:26:53:29 | that |  |
| swap2.cpp:56:25:56:28 | that [post update] | swap2.cpp:56:50:56:53 | that |  |
| swap2.cpp:56:30:56:34 | data1 | swap2.cpp:56:18:56:22 | ref arg data1 |  |
| swap2.cpp:56:43:56:47 | data2 | swap2.cpp:56:55:56:59 | ref arg data2 |  |
| 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 |  |
| swap2.cpp:69:23:69:23 | x | swap2.cpp:76:9:76:9 | x |  |
| swap2.cpp:69:23:69:23 | x | swap2.cpp:79:10:79:10 | x |  |
| swap2.cpp:70:23:70:23 | y | swap2.cpp:74:10:74:10 | y |  |
| swap2.cpp:70:23:70:23 | y | swap2.cpp:76:5:76:5 | y |  |
| swap2.cpp:70:23:70:23 | y | swap2.cpp:78:10:78:10 | y |  |
| swap2.cpp:71:5:71:5 | x [post update] | swap2.cpp:73:10:73:10 | x |  |
| swap2.cpp:71:5:71:5 | x [post update] | swap2.cpp:76:9:76:9 | x |  |
| swap2.cpp:71:5:71:5 | x [post update] | swap2.cpp:79:10:79:10 | x |  |
| swap2.cpp:71:5:71:22 | ... = ... | swap2.cpp:73:12:73:16 | data1 |  |
| swap2.cpp:71:5:71:22 | ... = ... | swap2.cpp:79:12:79:16 | data1 |  |
| swap2.cpp:71:15:71:20 | call to source | swap2.cpp:71:5:71:22 | ... = ... |  |
| swap2.cpp:76:5:76:5 | ref arg y | swap2.cpp:78:10:78:10 | y |  |
| swap2.cpp:76:9:76:9 | x | swap2.cpp:76:5:76:5 | ref arg y | TAINT |
| swap2.cpp:76:9:76:9 | x | swap2.cpp:76:7:76:7 | call to operator= | TAINT |
| swap2.cpp:81:23:81:24 | z1 | swap2.cpp:82:5:82:6 | z1 |  |
| swap2.cpp:81:23:81:24 | z1 | swap2.cpp:83:10:83:11 | z1 |  |
| swap2.cpp:81:23:81:24 | z1 | swap2.cpp:85:10:85:11 | z1 |  |
| swap2.cpp:81:23:81:24 | z1 | swap2.cpp:88:10:88:11 | z1 |  |
| swap2.cpp:81:27:81:28 | z2 | swap2.cpp:85:14:85:15 | z2 |  |
| swap2.cpp:81:27:81:28 | z2 | swap2.cpp:87:10:87:11 | z2 |  |
| swap2.cpp:82:5:82:6 | z1 [post update] | swap2.cpp:83:10:83:11 | z1 |  |
| swap2.cpp:82:5:82:6 | z1 [post update] | swap2.cpp:85:10:85:11 | z1 |  |
| swap2.cpp:82:5:82:6 | z1 [post update] | swap2.cpp:88:10:88:11 | z1 |  |
| swap2.cpp:82:5:82:23 | ... = ... | swap2.cpp:83:13:83:17 | data1 |  |
| swap2.cpp:82:5:82:23 | ... = ... | swap2.cpp:88:13:88:17 | data1 |  |
| swap2.cpp:82:16:82:21 | call to source | swap2.cpp:82:5:82:23 | ... = ... |  |
| swap2.cpp:85:10:85:11 | ref arg z1 | swap2.cpp:88:10:88:11 | z1 |  |
| swap2.cpp:85:14:85:15 | ref arg z2 | swap2.cpp:87:10:87:11 | z2 |  |
| swap2.cpp:93:23:93:23 | x | swap2.cpp:95:5:95:5 | x |  |
| swap2.cpp:93:23:93:23 | x | swap2.cpp:97:10:97:10 | x |  |
| swap2.cpp:93:23:93:23 | x | swap2.cpp:100:19:100:19 | x |  |
| swap2.cpp:93:23:93:23 | x | swap2.cpp:103:10:103:10 | x |  |
| swap2.cpp:94:23:94:23 | y | swap2.cpp:98:10:98:10 | y |  |
| swap2.cpp:94:23:94:23 | y | swap2.cpp:100:5:100:5 | y |  |
| swap2.cpp:94:23:94:23 | y | swap2.cpp:102:10:102:10 | y |  |
| swap2.cpp:95:5:95:5 | x [post update] | swap2.cpp:97:10:97:10 | x |  |
| swap2.cpp:95:5:95:5 | x [post update] | swap2.cpp:100:19:100:19 | x |  |
| swap2.cpp:95:5:95:5 | x [post update] | swap2.cpp:103:10:103:10 | x |  |
| swap2.cpp:95:5:95:22 | ... = ... | swap2.cpp:97:12:97:16 | data1 |  |
| swap2.cpp:95:5:95:22 | ... = ... | swap2.cpp:103:12:103:16 | data1 |  |
| swap2.cpp:95:15:95:20 | call to source | swap2.cpp:95:5:95:22 | ... = ... |  |
| swap2.cpp:100:5:100:5 | ref arg y | swap2.cpp:102:10:102:10 | y |  |
| swap2.cpp:100:9:100:17 | call to move | swap2.cpp:100:5:100:5 | ref arg y | TAINT |
| swap2.cpp:100:9:100:17 | call to move | swap2.cpp:100:7:100:7 | call to operator= | TAINT |
| swap2.cpp:100:9:100:17 | ref arg call to move | swap2.cpp:100:19:100:19 | x [inner post update] |  |
| swap2.cpp:100:9:100:17 | ref arg call to move | swap2.cpp:103:10:103:10 | x |  |
| swap2.cpp:100:19:100:19 | x | swap2.cpp:100:5:100:5 | ref arg y | TAINT |
| swap2.cpp:100:19:100:19 | x | swap2.cpp:100:7:100:7 | call to operator= | TAINT |
| swap2.cpp:100:19:100:19 | x | swap2.cpp:100:9:100:17 | call to move |  |
| swap2.cpp:108:23:108:31 | move_from | swap2.cpp:109:5:109:13 | move_from |  |
| swap2.cpp:108:23:108:31 | move_from | swap2.cpp:111:10:111:18 | move_from |  |
| swap2.cpp:108:23:108:31 | move_from | swap2.cpp:113:41:113:49 | move_from |  |
| swap2.cpp:109:5:109:13 | move_from [post update] | swap2.cpp:111:10:111:18 | move_from |  |
| swap2.cpp:109:5:109:13 | move_from [post update] | swap2.cpp:113:41:113:49 | move_from |  |
| swap2.cpp:109:5:109:30 | ... = ... | swap2.cpp:111:20:111:24 | data1 |  |
| swap2.cpp:109:5:109:30 | ... = ... | swap2.cpp:115:18:115:22 | data1 |  |
| swap2.cpp:109:23:109:28 | call to source | swap2.cpp:109:5:109:30 | ... = ... |  |
| swap2.cpp:113:31:113:39 | call to move | swap2.cpp:113:31:113:51 | call to Class |  |
| swap2.cpp:113:31:113:39 | ref arg call to move | swap2.cpp:113:41:113:49 | move_from [inner post update] |  |
| swap2.cpp:113:31:113:51 | call to Class | swap2.cpp:115:10:115:16 | move_to |  |
| swap2.cpp:113:41:113:49 | move_from | swap2.cpp:113:31:113:39 | call to move |  |
| swap2.cpp:120:23:120:23 | x | swap2.cpp:122:5:122:5 | x |  |
| swap2.cpp:120:23:120:23 | x | swap2.cpp:124:10:124:10 | x |  |
| swap2.cpp:120:23:120:23 | x | swap2.cpp:127:19:127:19 | x |  |
| swap2.cpp:120:23:120:23 | x | swap2.cpp:130:10:130:10 | x |  |
| swap2.cpp:121:23:121:23 | y | swap2.cpp:125:10:125:10 | y |  |
| swap2.cpp:121:23:121:23 | y | swap2.cpp:127:5:127:5 | y |  |
| swap2.cpp:121:23:121:23 | y | swap2.cpp:129:10:129:10 | y |  |
| swap2.cpp:122:5:122:5 | x [post update] | swap2.cpp:124:10:124:10 | x |  |
| swap2.cpp:122:5:122:5 | x [post update] | swap2.cpp:127:19:127:19 | x |  |
| swap2.cpp:122:5:122:5 | x [post update] | swap2.cpp:130:10:130:10 | x |  |
| swap2.cpp:122:5:122:22 | ... = ... | swap2.cpp:124:12:124:16 | data1 |  |
| swap2.cpp:122:5:122:22 | ... = ... | swap2.cpp:130:12:130:16 | data1 |  |
| swap2.cpp:122:15:122:20 | call to source | swap2.cpp:122:5:122:22 | ... = ... |  |
| swap2.cpp:127:5:127:5 | ref arg y | swap2.cpp:129:10:129:10 | y |  |
| swap2.cpp:135:23:135:23 | x | swap2.cpp:137:5:137:5 | x |  |
| swap2.cpp:135:23:135:23 | x | swap2.cpp:139:10:139:10 | x |  |
| swap2.cpp:135:23:135:23 | x | swap2.cpp:142:29:142:29 | x |  |
| swap2.cpp:135:23:135:23 | x | swap2.cpp:145:10:145:10 | x |  |
| swap2.cpp:136:23:136:23 | y | swap2.cpp:140:10:140:10 | y |  |
| swap2.cpp:136:23:136:23 | y | swap2.cpp:142:5:142:5 | y |  |
| swap2.cpp:136:23:136:23 | y | swap2.cpp:144:10:144:10 | y |  |
| swap2.cpp:137:5:137:5 | x [post update] | swap2.cpp:139:10:139:10 | x |  |
| swap2.cpp:137:5:137:5 | x [post update] | swap2.cpp:142:29:142:29 | x |  |
| swap2.cpp:137:5:137:5 | x [post update] | swap2.cpp:145:10:145:10 | x |  |
| swap2.cpp:137:5:137:22 | ... = ... | swap2.cpp:139:12:139:16 | data1 |  |
| swap2.cpp:137:5:137:22 | ... = ... | swap2.cpp:145:12:145:16 | data1 |  |
| swap2.cpp:137:15:137:20 | call to source | swap2.cpp:137:5:137:22 | ... = ... |  |
| swap2.cpp:142:5:142:5 | ref arg y | swap2.cpp:144:10:144:10 | y |  |
| swap2.cpp:142:19:142:27 | ref arg call to move | swap2.cpp:142:29:142:29 | x [inner post update] |  |
| swap2.cpp:142:19:142:27 | ref arg call to move | swap2.cpp:145:10:145:10 | x |  |
| swap2.cpp:142:29:142:29 | x | swap2.cpp:142:19:142:27 | call to move |  |
| taint.cpp:4:27:4:33 | source1 | taint.cpp:6:13:6:19 | source1 |  |
| taint.cpp:4:40:4:45 | clean1 | taint.cpp:5:8:5:13 | clean1 |  |
| taint.cpp:4:40:4:45 | clean1 | taint.cpp:6:3:6:8 | clean1 |  |
| taint.cpp:6:3:6:8 | clean1 | taint.cpp:6:3:6:19 | ... += ... | TAINT |
| taint.cpp:6:3:6:19 | ... += ... | taint.cpp:7:3:7:8 | clean1 |  |
| taint.cpp:6:13:6:19 | source1 | taint.cpp:6:3:6:19 | ... += ... | TAINT |
| taint.cpp:7:3:7:8 | clean1 | taint.cpp:7:3:7:13 | ... += ... | TAINT |
| taint.cpp:7:3:7:13 | ... += ... | taint.cpp:8:8:8:13 | clean1 |  |
| taint.cpp:7:13:7:13 | 1 | taint.cpp:7:3:7:13 | ... += ... | TAINT |
| taint.cpp:10:12:10:22 | ... = ... | taint.cpp:10:3:10:22 | ... = ... |  |
| taint.cpp:10:12:10:22 | ... = ... | taint.cpp:11:8:11:13 | clean1 |  |
| taint.cpp:10:22:10:22 | 1 | taint.cpp:10:12:10:22 | ... = ... |  |
| taint.cpp:12:13:12:29 | ... = ... | taint.cpp:12:3:12:29 | ... = ... |  |
| taint.cpp:12:13:12:29 | ... = ... | taint.cpp:13:3:13:9 | source1 |  |
| taint.cpp:12:22:12:27 | call to source | taint.cpp:12:13:12:29 | ... = ... |  |
| taint.cpp:13:3:13:9 | source1 | taint.cpp:13:3:13:11 | ... ++ |  |
| taint.cpp:13:3:13:11 | ... ++ | taint.cpp:14:5:14:11 | source1 | TAINT |
| taint.cpp:14:3:14:11 | ++ ... | taint.cpp:15:3:15:9 | source1 |  |
| taint.cpp:14:5:14:11 | source1 | taint.cpp:14:3:14:11 | ++ ... | TAINT |
| taint.cpp:15:3:15:9 | source1 | taint.cpp:15:3:15:14 | ... += ... | TAINT |
| taint.cpp:15:3:15:14 | ... += ... | taint.cpp:16:8:16:14 | source1 |  |
| taint.cpp:15:3:15:14 | ... += ... | taint.cpp:17:10:17:16 | source1 |  |
| taint.cpp:15:14:15:14 | 1 | taint.cpp:15:3:15:14 | ... += ... | TAINT |
| taint.cpp:17:10:17:16 | source1 | taint.cpp:17:8:17:16 | ++ ... | TAINT |
| taint.cpp:22:19:22:19 | x | taint.cpp:22:30:22:30 | x |  |
| taint.cpp:22:30:22:30 | x | taint.cpp:22:30:22:34 | ... + ... | TAINT |
| taint.cpp:22:34:22:34 | 1 | taint.cpp:22:30:22:34 | ... + ... | TAINT |
| taint.cpp:27:15:27:21 | global2 | taint.cpp:27:15:27:25 | ... + ... | TAINT |
| taint.cpp:27:25:27:25 | 1 | taint.cpp:27:15:27:25 | ... + ... | TAINT |
| taint.cpp:34:12:34:12 | 0 | taint.cpp:34:2:34:12 | ... = ... |  |
| taint.cpp:34:12:34:12 | 0 | taint.cpp:40:7:40:13 | global6 |  |
| taint.cpp:35:12:35:17 | call to source | taint.cpp:35:2:35:19 | ... = ... |  |
| taint.cpp:35:12:35:17 | call to source | taint.cpp:36:12:36:18 | global7 |  |
| taint.cpp:35:12:35:17 | call to source | taint.cpp:41:7:41:13 | global7 |  |
| taint.cpp:36:12:36:18 | global7 | taint.cpp:36:12:36:22 | ... + ... | TAINT |
| taint.cpp:36:12:36:22 | ... + ... | taint.cpp:36:2:36:22 | ... = ... |  |
| taint.cpp:36:12:36:22 | ... + ... | taint.cpp:42:7:42:13 | global8 |  |
| taint.cpp:36:22:36:22 | 1 | taint.cpp:36:12:36:22 | ... + ... | TAINT |
| taint.cpp:37:12:37:20 | call to increment | taint.cpp:37:2:37:30 | ... = ... |  |
| taint.cpp:37:12:37:20 | call to increment | taint.cpp:43:7:43:13 | global9 |  |
| taint.cpp:38:13:38:16 | call to zero | taint.cpp:38:2:38:26 | ... = ... |  |
| taint.cpp:38:13:38:16 | call to zero | taint.cpp:44:7:44:14 | global10 |  |
| taint.cpp:71:2:71:8 | this | taint.cpp:71:14:71:17 | constructor init of field a [pre-this] |  |
| taint.cpp:71:14:71:17 | 0 | taint.cpp:71:14:71:17 | constructor init of field a | TAINT |
| taint.cpp:71:14:71:17 | constructor init of field a [post-this] | taint.cpp:71:20:71:30 | constructor init of field b [pre-this] |  |
| taint.cpp:71:14:71:17 | constructor init of field a [pre-this] | taint.cpp:71:20:71:30 | constructor init of field b [pre-this] |  |
| taint.cpp:71:20:71:30 | constructor init of field b [post-this] | taint.cpp:72:3:72:3 | this |  |
| taint.cpp:71:20:71:30 | constructor init of field b [pre-this] | taint.cpp:72:3:72:3 | this |  |
| taint.cpp:71:22:71:27 | call to source | taint.cpp:71:20:71:30 | constructor init of field b | TAINT |
| taint.cpp:72:3:72:3 | this | taint.cpp:73:3:73:3 | this |  |
| taint.cpp:72:3:72:3 | this [post update] | taint.cpp:73:3:73:3 | this |  |
| taint.cpp:72:7:72:12 | call to source | taint.cpp:72:3:72:14 | ... = ... |  |
| taint.cpp:73:7:73:7 | 0 | taint.cpp:73:3:73:7 | ... = ... |  |
| taint.cpp:76:7:76:14 | this | taint.cpp:77:3:77:3 | this |  |
| taint.cpp:77:7:77:12 | call to source | taint.cpp:77:3:77:14 | ... = ... |  |
| taint.cpp:84:10:84:12 | call to MyClass | taint.cpp:86:2:86:4 | mc1 |  |
| taint.cpp:84:10:84:12 | call to MyClass | taint.cpp:88:7:88:9 | mc1 |  |
| taint.cpp:84:10:84:12 | call to MyClass | taint.cpp:89:7:89:9 | mc1 |  |
| taint.cpp:84:10:84:12 | call to MyClass | taint.cpp:90:7:90:9 | mc1 |  |
| taint.cpp:84:10:84:12 | call to MyClass | taint.cpp:91:7:91:9 | mc1 |  |
| taint.cpp:84:15:84:17 | call to MyClass | taint.cpp:92:7:92:9 | mc2 |  |
| taint.cpp:84:15:84:17 | call to MyClass | taint.cpp:93:7:93:9 | mc2 |  |
| taint.cpp:84:15:84:17 | call to MyClass | taint.cpp:94:7:94:9 | mc2 |  |
| taint.cpp:84:15:84:17 | call to MyClass | taint.cpp:95:7:95:9 | mc2 |  |
| taint.cpp:86:2:86:4 | ref arg mc1 | taint.cpp:88:7:88:9 | mc1 |  |
| taint.cpp:86:2:86:4 | ref arg mc1 | taint.cpp:89:7:89:9 | mc1 |  |
| taint.cpp:86:2:86:4 | ref arg mc1 | taint.cpp:90:7:90:9 | mc1 |  |
| taint.cpp:86:2:86:4 | ref arg mc1 | taint.cpp:91:7:91:9 | mc1 |  |
| taint.cpp:100:21:100:21 | i | taint.cpp:106:7:106:7 | i |  |
| taint.cpp:100:21:100:21 | i | taint.cpp:110:12:110:12 | i |  |
| taint.cpp:100:21:100:21 | i | taint.cpp:112:12:112:12 | i |  |
| taint.cpp:100:21:100:21 | i | taint.cpp:114:12:114:12 | i |  |
| taint.cpp:101:16:101:19 | {...} | taint.cpp:105:2:105:5 | arr1 |  |
| taint.cpp:101:18:101:18 | 0 | taint.cpp:101:16:101:19 | {...} | TAINT |
| taint.cpp:102:16:102:19 | {...} | taint.cpp:106:2:106:5 | arr2 |  |
| taint.cpp:102:18:102:18 | 0 | taint.cpp:102:16:102:19 | {...} | TAINT |
| taint.cpp:103:16:103:19 | {...} | taint.cpp:107:2:107:5 | arr3 |  |
| taint.cpp:103:18:103:18 | 0 | taint.cpp:103:16:103:19 | {...} | TAINT |
| taint.cpp:105:2:105:5 | arr1 | taint.cpp:105:2:105:8 | access to array | TAINT |
| taint.cpp:105:7:105:7 | 5 | taint.cpp:105:2:105:8 | access to array | TAINT |
| taint.cpp:105:12:105:17 | call to source | taint.cpp:105:2:105:19 | ... = ... |  |
| taint.cpp:106:2:106:5 | arr2 | taint.cpp:106:2:106:8 | access to array | TAINT |
| taint.cpp:106:7:106:7 | i | taint.cpp:106:2:106:8 | access to array | TAINT |
| taint.cpp:106:12:106:17 | call to source | taint.cpp:106:2:106:19 | ... = ... |  |
| taint.cpp:107:2:107:5 | arr3 | taint.cpp:107:2:107:8 | access to array | TAINT |
| taint.cpp:107:7:107:7 | 5 | taint.cpp:107:2:107:8 | access to array | TAINT |
| taint.cpp:107:12:107:12 | 0 | taint.cpp:107:2:107:12 | ... = ... |  |
| taint.cpp:109:7:109:10 | arr1 | taint.cpp:109:7:109:13 | access to array | TAINT |
| taint.cpp:109:12:109:12 | 5 | taint.cpp:109:7:109:13 | access to array | TAINT |
| taint.cpp:110:7:110:10 | arr1 | taint.cpp:110:7:110:13 | access to array | TAINT |
| taint.cpp:110:12:110:12 | i | taint.cpp:110:7:110:13 | access to array | TAINT |
| taint.cpp:111:7:111:10 | arr2 | taint.cpp:111:7:111:13 | access to array | TAINT |
| taint.cpp:111:12:111:12 | 5 | taint.cpp:111:7:111:13 | access to array | TAINT |
| taint.cpp:112:7:112:10 | arr2 | taint.cpp:112:7:112:13 | access to array | TAINT |
| taint.cpp:112:12:112:12 | i | taint.cpp:112:7:112:13 | access to array | TAINT |
| taint.cpp:113:7:113:10 | arr3 | taint.cpp:113:7:113:13 | access to array | TAINT |
| taint.cpp:113:12:113:12 | 5 | taint.cpp:113:7:113:13 | access to array | TAINT |
| taint.cpp:114:7:114:10 | arr3 | taint.cpp:114:7:114:13 | access to array | TAINT |
| taint.cpp:114:12:114:12 | i | taint.cpp:114:7:114:13 | access to array | TAINT |
| taint.cpp:120:11:120:16 | call to source | taint.cpp:123:13:123:14 | t1 |  |
| taint.cpp:120:11:120:16 | call to source | taint.cpp:133:8:133:9 | t1 |  |
| taint.cpp:121:10:121:11 | 1 | taint.cpp:124:13:124:14 | t2 |  |
| taint.cpp:122:10:122:11 | 1 | taint.cpp:125:13:125:14 | t3 |  |
| taint.cpp:123:12:123:14 | & ... | taint.cpp:129:8:129:9 | p1 |  |
| taint.cpp:123:13:123:14 | t1 | taint.cpp:123:12:123:14 | & ... |  |
| taint.cpp:124:12:124:14 | & ... | taint.cpp:127:3:127:4 | p2 |  |
| taint.cpp:124:12:124:14 | & ... | taint.cpp:130:8:130:9 | p2 |  |
| taint.cpp:124:13:124:14 | t2 | taint.cpp:124:12:124:14 | & ... |  |
| taint.cpp:125:12:125:14 | & ... | taint.cpp:131:8:131:9 | p3 |  |
| taint.cpp:125:13:125:14 | t3 | taint.cpp:125:12:125:14 | & ... |  |
| taint.cpp:127:3:127:4 | p2 | taint.cpp:127:2:127:4 | * ... | TAINT |
| taint.cpp:127:8:127:13 | call to source | taint.cpp:127:2:127:15 | ... = ... |  |
| taint.cpp:129:8:129:9 | p1 | taint.cpp:129:7:129:9 | * ... | TAINT |
| taint.cpp:130:8:130:9 | p2 | taint.cpp:130:7:130:9 | * ... | TAINT |
| taint.cpp:131:8:131:9 | p3 | taint.cpp:131:7:131:9 | * ... | TAINT |
| taint.cpp:133:7:133:9 | & ... | taint.cpp:133:2:133:9 | ... = ... |  |
| taint.cpp:133:7:133:9 | & ... | taint.cpp:134:8:134:9 | p3 |  |
| taint.cpp:133:7:133:9 | & ... | taint.cpp:136:3:136:4 | p3 |  |
| taint.cpp:133:7:133:9 | & ... | taint.cpp:137:8:137:9 | p3 |  |
| taint.cpp:133:8:133:9 | t1 | taint.cpp:133:7:133:9 | & ... |  |
| taint.cpp:134:8:134:9 | p3 | taint.cpp:134:7:134:9 | * ... | TAINT |
| taint.cpp:136:3:136:4 | p3 | taint.cpp:136:2:136:4 | * ... | TAINT |
| taint.cpp:136:8:136:8 | 0 | taint.cpp:136:2:136:8 | ... = ... |  |
| taint.cpp:137:8:137:9 | p3 | taint.cpp:137:7:137:9 | * ... | TAINT |
| taint.cpp:142:16:142:16 | i | taint.cpp:143:6:143:6 | i |  |
| taint.cpp:142:23:142:23 | a | taint.cpp:144:10:144:10 | a |  |
| taint.cpp:142:30:142:30 | b | taint.cpp:146:10:146:10 | b |  |
| taint.cpp:150:18:150:18 | i | taint.cpp:151:14:151:14 | i |  |
| taint.cpp:164:19:164:24 | call to source | taint.cpp:168:8:168:14 | tainted |  |
| taint.cpp:164:19:164:24 | call to source | taint.cpp:172:18:172:24 | tainted |  |
| taint.cpp:165:22:165:25 | {...} | taint.cpp:170:10:170:15 | buffer |  |
| taint.cpp:165:22:165:25 | {...} | taint.cpp:171:8:171:13 | buffer |  |
| taint.cpp:165:22:165:25 | {...} | taint.cpp:172:10:172:15 | buffer |  |
| taint.cpp:165:22:165:25 | {...} | taint.cpp:173:8:173:13 | buffer |  |
| taint.cpp:165:24:165:24 | 0 | taint.cpp:165:22:165:25 | {...} | TAINT |
| taint.cpp:168:8:168:14 | ref arg tainted | taint.cpp:172:18:172:24 | tainted |  |
| taint.cpp:170:10:170:15 | buffer | taint.cpp:170:3:170:8 | call to strcpy |  |
| taint.cpp:170:10:170:15 | ref arg buffer | taint.cpp:171:8:171:13 | buffer |  |
| taint.cpp:170:10:170:15 | ref arg buffer | taint.cpp:172:10:172:15 | buffer |  |
| taint.cpp:170:10:170:15 | ref arg buffer | taint.cpp:173:8:173:13 | buffer |  |
| taint.cpp:170:18:170:26 | Hello,  | taint.cpp:170:3:170:8 | call to strcpy | TAINT |
| taint.cpp:170:18:170:26 | Hello,  | taint.cpp:170:10:170:15 | ref arg buffer | TAINT |
| taint.cpp:171:8:171:13 | ref arg buffer | taint.cpp:172:10:172:15 | buffer |  |
| taint.cpp:171:8:171:13 | ref arg buffer | taint.cpp:173:8:173:13 | buffer |  |
| taint.cpp:172:10:172:15 | buffer | taint.cpp:172:3:172:8 | call to strcat |  |
| taint.cpp:172:10:172:15 | buffer | taint.cpp:172:10:172:15 | ref arg buffer | TAINT |
| taint.cpp:172:10:172:15 | ref arg buffer | taint.cpp:173:8:173:13 | buffer |  |
| taint.cpp:172:18:172:24 | tainted | taint.cpp:172:10:172:15 | ref arg buffer | TAINT |
| taint.cpp:180:19:180:19 | p | taint.cpp:181:9:181:9 | p |  |
| taint.cpp:181:9:181:9 | p | taint.cpp:181:8:181:9 | * ... | TAINT |
| taint.cpp:185:11:185:16 | call to source | taint.cpp:186:11:186:11 | x |  |
| taint.cpp:186:10:186:11 | ref arg & ... | taint.cpp:186:11:186:11 | x [inner post update] |  |
| taint.cpp:186:11:186:11 | x | taint.cpp:186:10:186:11 | & ... |  |
| taint.cpp:192:23:192:28 | source | taint.cpp:194:13:194:18 | source |  |
| taint.cpp:193:6:193:6 | x | taint.cpp:194:10:194:10 | x |  |
| taint.cpp:193:6:193:6 | x | taint.cpp:195:7:195:7 | x |  |
| taint.cpp:194:9:194:10 | & ... | taint.cpp:194:2:194:7 | call to memcpy |  |
| taint.cpp:194:9:194:10 | ref arg & ... | taint.cpp:194:10:194:10 | x [inner post update] |  |
| taint.cpp:194:9:194:10 | ref arg & ... | taint.cpp:195:7:195:7 | x |  |
| taint.cpp:194:10:194:10 | x | taint.cpp:194:9:194:10 | & ... |  |
| taint.cpp:194:13:194:18 | source | taint.cpp:194:2:194:7 | call to memcpy | TAINT |
| taint.cpp:194:13:194:18 | source | taint.cpp:194:9:194:10 | ref arg & ... | TAINT |
| taint.cpp:194:21:194:31 | sizeof(int) | taint.cpp:194:2:194:7 | call to memcpy | TAINT |
| taint.cpp:194:21:194:31 | sizeof(int) | taint.cpp:194:9:194:10 | ref arg & ... | TAINT |
| taint.cpp:207:6:207:11 | call to source | taint.cpp:207:2:207:13 | ... = ... |  |
| taint.cpp:207:6:207:11 | call to source | taint.cpp:210:7:210:7 | x |  |
| taint.cpp:207:6:207:11 | call to source | taint.cpp:213:12:213:12 | x |  |
| taint.cpp:207:6:207:11 | call to source | taint.cpp:215:7:215:7 | x |  |
| taint.cpp:208:6:208:6 | 0 | taint.cpp:208:2:208:6 | ... = ... |  |
| taint.cpp:208:6:208:6 | 0 | taint.cpp:211:7:211:7 | y |  |
| taint.cpp:208:6:208:6 | 0 | taint.cpp:213:15:213:15 | y |  |
| taint.cpp:208:6:208:6 | 0 | taint.cpp:216:7:216:7 | y |  |
| taint.cpp:213:12:213:12 | ref arg x | taint.cpp:215:7:215:7 | x |  |
| taint.cpp:213:12:213:12 | x | taint.cpp:213:15:213:15 | ref arg y |  |
| taint.cpp:213:15:213:15 | ref arg y | taint.cpp:216:7:216:7 | y |  |
| taint.cpp:213:15:213:15 | y | taint.cpp:213:12:213:12 | ref arg x |  |
| taint.cpp:223:10:223:15 | call to source | taint.cpp:228:12:228:12 | t |  |
| taint.cpp:223:10:223:15 | call to source | taint.cpp:235:10:239:2 | t |  |
| taint.cpp:223:10:223:15 | call to source | taint.cpp:243:10:246:2 | t |  |
| taint.cpp:223:10:223:15 | call to source | taint.cpp:253:4:253:4 | t |  |
| taint.cpp:223:10:223:15 | call to source | taint.cpp:260:4:260:4 | t |  |
| taint.cpp:224:9:224:10 | 0 | taint.cpp:228:15:228:15 | u |  |
| taint.cpp:224:9:224:10 | 0 | taint.cpp:235:10:239:2 | u |  |
| taint.cpp:224:9:224:10 | 0 | taint.cpp:243:10:246:2 | u |  |
| taint.cpp:224:9:224:10 | 0 | taint.cpp:253:7:253:7 | u |  |
| taint.cpp:224:9:224:10 | 0 | taint.cpp:260:7:260:7 | u |  |
| taint.cpp:225:9:225:10 | 0 | taint.cpp:235:10:239:2 | v |  |
| taint.cpp:225:9:225:10 | 0 | taint.cpp:241:7:241:7 | v |  |
| taint.cpp:226:9:226:10 | 0 | taint.cpp:260:10:260:10 | w |  |
| taint.cpp:226:9:226:10 | 0 | taint.cpp:261:7:261:7 | w |  |
| taint.cpp:228:10:232:2 | [...](...){...} | taint.cpp:233:7:233:7 | a |  |
| taint.cpp:228:10:232:2 | {...} | taint.cpp:228:10:232:2 | [...](...){...} |  |
| taint.cpp:228:11:228:11 | Unknown literal | taint.cpp:228:11:228:11 | constructor init of field t | TAINT |
| taint.cpp:228:11:228:11 | Unknown literal | taint.cpp:228:11:228:11 | constructor init of field u | TAINT |
| taint.cpp:228:11:228:11 | constructor init of field t [post-this] | taint.cpp:228:11:228:11 | constructor init of field u [pre-this] |  |
| taint.cpp:228:11:228:11 | constructor init of field t [pre-this] | taint.cpp:228:11:228:11 | constructor init of field u [pre-this] |  |
| taint.cpp:228:11:228:11 | this | taint.cpp:228:11:228:11 | constructor init of field t [pre-this] |  |
| taint.cpp:228:17:228:17 | this | taint.cpp:229:3:229:6 | this |  |
| taint.cpp:229:3:229:6 | this | taint.cpp:230:3:230:6 | this |  |
| taint.cpp:230:3:230:6 | this | file://:0:0:0:0 | this |  |
| taint.cpp:235:10:239:2 | [...](...){...} | taint.cpp:240:2:240:2 | b |  |
| taint.cpp:235:10:239:2 | {...} | taint.cpp:235:10:239:2 | [...](...){...} |  |
| taint.cpp:235:11:235:11 | Unknown literal | taint.cpp:235:11:235:11 | constructor init of field t | TAINT |
| taint.cpp:235:11:235:11 | Unknown literal | taint.cpp:235:11:235:11 | constructor init of field u | TAINT |
| taint.cpp:235:11:235:11 | Unknown literal | taint.cpp:235:11:235:11 | constructor init of field v | TAINT |
| taint.cpp:235:11:235:11 | constructor init of field t [post-this] | taint.cpp:235:11:235:11 | constructor init of field u [pre-this] |  |
| taint.cpp:235:11:235:11 | constructor init of field t [pre-this] | taint.cpp:235:11:235:11 | constructor init of field u [pre-this] |  |
| taint.cpp:235:11:235:11 | constructor init of field u [post-this] | taint.cpp:235:11:235:11 | constructor init of field v [pre-this] |  |
| taint.cpp:235:11:235:11 | constructor init of field u [pre-this] | taint.cpp:235:11:235:11 | constructor init of field v [pre-this] |  |
| taint.cpp:235:11:235:11 | this | taint.cpp:235:11:235:11 | constructor init of field t [pre-this] |  |
| taint.cpp:235:15:235:15 | this | taint.cpp:236:3:236:6 | this |  |
| taint.cpp:236:3:236:6 | this | taint.cpp:237:3:237:6 | this |  |
| taint.cpp:237:3:237:6 | this | taint.cpp:238:3:238:14 | this |  |
| taint.cpp:238:7:238:12 | call to source | taint.cpp:238:3:238:14 | ... = ... |  |
| taint.cpp:243:10:246:2 | [...](...){...} | taint.cpp:247:2:247:2 | c |  |
| taint.cpp:243:10:246:2 | {...} | taint.cpp:243:10:246:2 | [...](...){...} |  |
| taint.cpp:243:11:243:11 | Unknown literal | taint.cpp:243:11:243:11 | constructor init of field t | TAINT |
| taint.cpp:243:11:243:11 | Unknown literal | taint.cpp:243:11:243:11 | constructor init of field u | TAINT |
| taint.cpp:243:11:243:11 | constructor init of field t [post-this] | taint.cpp:243:11:243:11 | constructor init of field u [pre-this] |  |
| taint.cpp:243:11:243:11 | constructor init of field t [pre-this] | taint.cpp:243:11:243:11 | constructor init of field u [pre-this] |  |
| taint.cpp:243:11:243:11 | this | taint.cpp:243:11:243:11 | constructor init of field t [pre-this] |  |
| taint.cpp:243:15:243:15 | this | taint.cpp:244:3:244:6 | this |  |
| taint.cpp:244:3:244:6 | this | taint.cpp:245:3:245:6 | this |  |
| taint.cpp:249:11:252:2 | [...](...){...} | taint.cpp:253:2:253:2 | d |  |
| taint.cpp:249:18:249:18 | a | taint.cpp:250:8:250:8 | a |  |
| taint.cpp:249:25:249:25 | b | taint.cpp:251:8:251:8 | b |  |
| taint.cpp:255:11:259:2 | [...](...){...} | taint.cpp:260:2:260:2 | e |  |
| taint.cpp:255:19:255:19 | a | taint.cpp:255:19:255:19 | a |  |
| taint.cpp:255:19:255:19 | a | taint.cpp:256:8:256:8 | a |  |
| taint.cpp:255:27:255:27 | b | taint.cpp:255:27:255:27 | b |  |
| taint.cpp:255:27:255:27 | b | taint.cpp:257:8:257:8 | b |  |
| taint.cpp:258:7:258:12 | call to source | taint.cpp:255:35:255:35 | c |  |
| taint.cpp:258:7:258:12 | call to source | taint.cpp:258:3:258:14 | ... = ... |  |
| taint.cpp:260:10:260:10 | ref arg w | taint.cpp:261:7:261:7 | w |  |
| taint.cpp:266:12:266:12 | x | taint.cpp:268:9:268:9 | x |  |
| taint.cpp:275:6:275:11 | call to source | taint.cpp:275:2:275:13 | ... = ... |  |
| taint.cpp:275:6:275:11 | call to source | taint.cpp:280:7:280:7 | t |  |
| taint.cpp:275:6:275:11 | call to source | taint.cpp:285:9:285:9 | t |  |
| taint.cpp:275:6:275:11 | call to source | taint.cpp:286:12:286:12 | t |  |
| taint.cpp:275:6:275:11 | call to source | taint.cpp:289:7:289:7 | t |  |
| taint.cpp:276:6:276:6 | 0 | taint.cpp:276:2:276:6 | ... = ... |  |
| taint.cpp:276:6:276:6 | 0 | taint.cpp:281:7:281:7 | x |  |
| taint.cpp:277:6:277:6 | 0 | taint.cpp:277:2:277:6 | ... = ... |  |
| taint.cpp:277:6:277:6 | 0 | taint.cpp:282:7:282:7 | y |  |
| taint.cpp:278:6:278:6 | 0 | taint.cpp:278:2:278:6 | ... = ... |  |
| taint.cpp:278:6:278:6 | 0 | taint.cpp:283:7:283:7 | z |  |
| taint.cpp:278:6:278:6 | 0 | taint.cpp:287:9:287:9 | z |  |
| taint.cpp:285:6:285:7 | call to id | taint.cpp:285:2:285:10 | ... = ... |  |
| taint.cpp:285:6:285:7 | call to id | taint.cpp:290:7:290:7 | x |  |
| taint.cpp:286:6:286:7 | call to id | taint.cpp:286:2:286:14 | ... = ... |  |
| taint.cpp:286:6:286:7 | call to id | taint.cpp:291:7:291:7 | y |  |
| taint.cpp:287:6:287:7 | call to id | taint.cpp:287:2:287:10 | ... = ... |  |
| taint.cpp:287:6:287:7 | call to id | taint.cpp:292:7:292:7 | z |  |
| taint.cpp:297:29:297:29 | b | taint.cpp:297:29:297:29 | b |  |
| taint.cpp:297:29:297:29 | b | taint.cpp:299:6:299:6 | b |  |
| taint.cpp:299:6:299:6 | b | taint.cpp:297:21:297:21 | a |  |
| taint.cpp:299:6:299:6 | b | taint.cpp:299:2:299:6 | ... = ... |  |
| taint.cpp:302:28:302:28 | b | taint.cpp:304:6:304:6 | b |  |
| taint.cpp:304:6:304:6 | b | taint.cpp:302:21:302:21 | a |  |
| taint.cpp:304:6:304:6 | b | taint.cpp:304:2:304:6 | ... = ... |  |
| taint.cpp:307:21:307:21 | a | taint.cpp:309:3:309:3 | a |  |
| taint.cpp:307:28:307:28 | b | taint.cpp:309:7:309:7 | b |  |
| taint.cpp:309:3:309:3 | a | taint.cpp:309:2:309:3 | * ... | TAINT |
| taint.cpp:309:7:309:7 | b | taint.cpp:309:2:309:7 | ... = ... |  |
| taint.cpp:312:21:312:21 | a | taint.cpp:317:3:317:3 | a |  |
| taint.cpp:312:28:312:28 | b | taint.cpp:316:6:316:6 | b |  |
| taint.cpp:316:6:316:6 | b | taint.cpp:316:6:316:10 | ... + ... | TAINT |
| taint.cpp:316:6:316:10 | ... + ... | taint.cpp:316:2:316:10 | ... = ... |  |
| taint.cpp:316:6:316:10 | ... + ... | taint.cpp:317:7:317:7 | c |  |
| taint.cpp:316:10:316:10 | 1 | taint.cpp:316:6:316:10 | ... + ... | TAINT |
| taint.cpp:317:3:317:3 | a | taint.cpp:317:2:317:3 | * ... | TAINT |
| taint.cpp:317:7:317:7 | c | taint.cpp:317:2:317:7 | ... = ... |  |
| taint.cpp:320:23:320:23 | a | taint.cpp:322:6:322:6 | a |  |
| taint.cpp:320:31:320:31 | b | taint.cpp:323:6:323:6 | b |  |
| taint.cpp:322:6:322:6 | a | taint.cpp:322:6:322:10 | ... + ... | TAINT |
| taint.cpp:322:6:322:10 | ... + ... | taint.cpp:320:23:320:23 | a |  |
| taint.cpp:322:6:322:10 | ... + ... | taint.cpp:322:2:322:10 | ... = ... |  |
| taint.cpp:322:10:322:10 | 1 | taint.cpp:322:6:322:10 | ... + ... | TAINT |
| taint.cpp:323:6:323:6 | b | taint.cpp:323:6:323:10 | ... + ... | TAINT |
| taint.cpp:323:6:323:10 | ... + ... | taint.cpp:320:31:320:31 | b |  |
| taint.cpp:323:6:323:10 | ... + ... | taint.cpp:323:2:323:10 | ... = ... |  |
| taint.cpp:323:10:323:10 | 1 | taint.cpp:323:6:323:10 | ... + ... | TAINT |
| taint.cpp:330:6:330:11 | call to source | taint.cpp:330:2:330:13 | ... = ... |  |
| taint.cpp:330:6:330:11 | call to source | taint.cpp:337:7:337:7 | t |  |
| taint.cpp:330:6:330:11 | call to source | taint.cpp:344:15:344:15 | t |  |
| taint.cpp:330:6:330:11 | call to source | taint.cpp:345:15:345:15 | t |  |
| taint.cpp:330:6:330:11 | call to source | taint.cpp:346:16:346:16 | t |  |
| taint.cpp:330:6:330:11 | call to source | taint.cpp:347:16:347:16 | t |  |
| taint.cpp:330:6:330:11 | call to source | taint.cpp:348:17:348:17 | t |  |
| taint.cpp:330:6:330:11 | call to source | taint.cpp:350:7:350:7 | t |  |
| taint.cpp:331:6:331:6 | 0 | taint.cpp:331:2:331:6 | ... = ... |  |
| taint.cpp:331:6:331:6 | 0 | taint.cpp:338:7:338:7 | a |  |
| taint.cpp:331:6:331:6 | 0 | taint.cpp:344:12:344:12 | a |  |
| taint.cpp:331:6:331:6 | 0 | taint.cpp:351:7:351:7 | a |  |
| taint.cpp:332:6:332:6 | 0 | taint.cpp:332:2:332:6 | ... = ... |  |
| taint.cpp:332:6:332:6 | 0 | taint.cpp:339:7:339:7 | b |  |
| taint.cpp:332:6:332:6 | 0 | taint.cpp:345:12:345:12 | b |  |
| taint.cpp:332:6:332:6 | 0 | taint.cpp:352:7:352:7 | b |  |
| taint.cpp:333:6:333:6 | 0 | taint.cpp:333:2:333:6 | ... = ... |  |
| taint.cpp:333:6:333:6 | 0 | taint.cpp:340:7:340:7 | c |  |
| taint.cpp:333:6:333:6 | 0 | taint.cpp:346:13:346:13 | c |  |
| taint.cpp:333:6:333:6 | 0 | taint.cpp:353:7:353:7 | c |  |
| taint.cpp:334:6:334:6 | 0 | taint.cpp:334:2:334:6 | ... = ... |  |
| taint.cpp:334:6:334:6 | 0 | taint.cpp:341:7:341:7 | d |  |
| taint.cpp:334:6:334:6 | 0 | taint.cpp:347:13:347:13 | d |  |
| taint.cpp:334:6:334:6 | 0 | taint.cpp:354:7:354:7 | d |  |
| taint.cpp:335:6:335:6 | 0 | taint.cpp:335:2:335:6 | ... = ... |  |
| taint.cpp:335:6:335:6 | 0 | taint.cpp:342:7:342:7 | e |  |
| taint.cpp:335:6:335:6 | 0 | taint.cpp:348:14:348:14 | e |  |
| taint.cpp:335:6:335:6 | 0 | taint.cpp:355:7:355:7 | e |  |
| taint.cpp:344:12:344:12 | ref arg a | taint.cpp:351:7:351:7 | a |  |
| taint.cpp:344:15:344:15 | ref arg t | taint.cpp:345:15:345:15 | t |  |
| taint.cpp:344:15:344:15 | ref arg t | taint.cpp:346:16:346:16 | t |  |
| taint.cpp:344:15:344:15 | ref arg t | taint.cpp:347:16:347:16 | t |  |
| taint.cpp:344:15:344:15 | ref arg t | taint.cpp:348:17:348:17 | t |  |
| taint.cpp:344:15:344:15 | ref arg t | taint.cpp:350:7:350:7 | t |  |
| taint.cpp:345:12:345:12 | ref arg b | taint.cpp:352:7:352:7 | b |  |
| taint.cpp:346:12:346:13 | ref arg & ... | taint.cpp:346:13:346:13 | c [inner post update] |  |
| taint.cpp:346:12:346:13 | ref arg & ... | taint.cpp:353:7:353:7 | c |  |
| taint.cpp:346:13:346:13 | c | taint.cpp:346:12:346:13 | & ... |  |
| taint.cpp:347:12:347:13 | ref arg & ... | taint.cpp:347:13:347:13 | d [inner post update] |  |
| taint.cpp:347:12:347:13 | ref arg & ... | taint.cpp:354:7:354:7 | d |  |
| taint.cpp:347:13:347:13 | d | taint.cpp:347:12:347:13 | & ... |  |
| taint.cpp:348:14:348:14 | ref arg e | taint.cpp:355:7:355:7 | e |  |
| taint.cpp:348:17:348:17 | ref arg t | taint.cpp:350:7:350:7 | t |  |
| taint.cpp:365:24:365:29 | source | taint.cpp:369:13:369:18 | source |  |
| taint.cpp:365:24:365:29 | source | taint.cpp:371:14:371:19 | source |  |
| taint.cpp:369:6:369:11 | call to strdup | taint.cpp:369:2:369:19 | ... = ... |  |
| taint.cpp:369:6:369:11 | call to strdup | taint.cpp:372:7:372:7 | a |  |
| taint.cpp:369:13:369:18 | source | taint.cpp:369:6:369:11 | call to strdup | TAINT |
| taint.cpp:370:6:370:11 | call to strdup | taint.cpp:370:2:370:27 | ... = ... |  |
| taint.cpp:370:6:370:11 | call to strdup | taint.cpp:373:7:373:7 | b |  |
| taint.cpp:370:13:370:26 | hello, world | taint.cpp:370:6:370:11 | call to strdup | TAINT |
| taint.cpp:371:6:371:12 | call to strndup | taint.cpp:371:2:371:25 | ... = ... |  |
| taint.cpp:371:6:371:12 | call to strndup | taint.cpp:374:7:374:7 | c |  |
| taint.cpp:371:14:371:19 | source | taint.cpp:371:6:371:12 | call to strndup | TAINT |
| taint.cpp:371:22:371:24 | 100 | taint.cpp:371:6:371:12 | call to strndup | TAINT |
| taint.cpp:377:23:377:28 | source | taint.cpp:381:30:381:35 | source |  |
| taint.cpp:381:6:381:12 | call to strndup | taint.cpp:381:2:381:36 | ... = ... |  |
| taint.cpp:381:6:381:12 | call to strndup | taint.cpp:382:7:382:7 | a |  |
| taint.cpp:381:14:381:27 | hello, world | taint.cpp:381:6:381:12 | call to strndup | TAINT |
| taint.cpp:381:30:381:35 | source | taint.cpp:381:6:381:12 | call to strndup | TAINT |
| taint.cpp:385:27:385:32 | source | taint.cpp:389:13:389:18 | source |  |
| taint.cpp:389:6:389:11 | call to wcsdup | taint.cpp:389:2:389:19 | ... = ... |  |
| taint.cpp:389:6:389:11 | call to wcsdup | taint.cpp:391:7:391:7 | a |  |
| taint.cpp:389:13:389:18 | source | taint.cpp:389:6:389:11 | call to wcsdup | TAINT |
| taint.cpp:390:6:390:11 | call to wcsdup | taint.cpp:390:2:390:28 | ... = ... |  |
| taint.cpp:390:6:390:11 | call to wcsdup | taint.cpp:392:7:392:7 | b |  |
| taint.cpp:390:13:390:27 | hello, world | taint.cpp:390:6:390:11 | call to wcsdup | TAINT |
| taint.cpp:417:13:417:13 | 0 | taint.cpp:417:13:417:14 | call to MyClass2 | TAINT |
| taint.cpp:417:13:417:14 | call to MyClass2 | taint.cpp:420:7:420:7 | a |  |
| taint.cpp:417:13:417:14 | call to MyClass2 | taint.cpp:421:7:421:7 | a |  |
| taint.cpp:417:13:417:14 | call to MyClass2 | taint.cpp:422:2:422:2 | a |  |
| taint.cpp:417:13:417:14 | call to MyClass2 | taint.cpp:423:7:423:7 | a |  |
| taint.cpp:417:13:417:14 | call to MyClass2 | taint.cpp:424:7:424:7 | a |  |
| taint.cpp:417:19:417:19 | 0 | taint.cpp:417:19:417:20 | call to MyClass2 | TAINT |
| taint.cpp:417:19:417:20 | call to MyClass2 | taint.cpp:426:7:426:7 | b |  |
| taint.cpp:417:19:417:20 | call to MyClass2 | taint.cpp:427:7:427:7 | b |  |
| taint.cpp:417:19:417:20 | call to MyClass2 | taint.cpp:428:2:428:2 | b |  |
| taint.cpp:417:19:417:20 | call to MyClass2 | taint.cpp:429:7:429:7 | b |  |
| taint.cpp:417:19:417:20 | call to MyClass2 | taint.cpp:430:7:430:7 | b |  |
| taint.cpp:417:19:417:20 | call to MyClass2 | taint.cpp:431:7:431:7 | b |  |
| taint.cpp:418:13:418:14 |  | taint.cpp:418:13:418:15 | call to MyClass3 | TAINT |
| taint.cpp:418:13:418:15 | call to MyClass3 | taint.cpp:443:7:443:7 | d |  |
| taint.cpp:418:13:418:15 | call to MyClass3 | taint.cpp:444:7:444:7 | d |  |
| taint.cpp:418:13:418:15 | call to MyClass3 | taint.cpp:445:2:445:2 | d |  |
| taint.cpp:418:13:418:15 | call to MyClass3 | taint.cpp:446:7:446:7 | d |  |
| taint.cpp:418:13:418:15 | call to MyClass3 | taint.cpp:447:7:447:7 | d |  |
| taint.cpp:421:7:421:7 | ref arg a | taint.cpp:422:2:422:2 | a |  |
| taint.cpp:421:7:421:7 | ref arg a | taint.cpp:423:7:423:7 | a |  |
| taint.cpp:421:7:421:7 | ref arg a | taint.cpp:424:7:424:7 | a |  |
| taint.cpp:422:2:422:2 | ref arg a | taint.cpp:423:7:423:7 | a |  |
| taint.cpp:422:2:422:2 | ref arg a | taint.cpp:424:7:424:7 | a |  |
| taint.cpp:427:7:427:7 | ref arg b | taint.cpp:428:2:428:2 | b |  |
| taint.cpp:427:7:427:7 | ref arg b | taint.cpp:429:7:429:7 | b |  |
| taint.cpp:427:7:427:7 | ref arg b | taint.cpp:430:7:430:7 | b |  |
| taint.cpp:427:7:427:7 | ref arg b | taint.cpp:431:7:431:7 | b |  |
| taint.cpp:428:2:428:2 | b [post update] | taint.cpp:429:7:429:7 | b |  |
| taint.cpp:428:2:428:2 | b [post update] | taint.cpp:430:7:430:7 | b |  |
| taint.cpp:428:2:428:2 | b [post update] | taint.cpp:431:7:431:7 | b |  |
| taint.cpp:428:2:428:20 | ... = ... | taint.cpp:430:9:430:14 | member |  |
| taint.cpp:428:13:428:18 | call to source | taint.cpp:428:2:428:20 | ... = ... |  |
| taint.cpp:433:6:433:20 | call to MyClass2 | taint.cpp:433:6:433:20 | new |  |
| taint.cpp:433:6:433:20 | new | taint.cpp:433:2:433:20 | ... = ... |  |
| taint.cpp:433:6:433:20 | new | taint.cpp:435:7:435:7 | c |  |
| taint.cpp:433:6:433:20 | new | taint.cpp:436:7:436:7 | c |  |
| taint.cpp:433:6:433:20 | new | taint.cpp:437:2:437:2 | c |  |
| taint.cpp:433:6:433:20 | new | taint.cpp:438:7:438:7 | c |  |
| taint.cpp:433:6:433:20 | new | taint.cpp:439:7:439:7 | c |  |
| taint.cpp:433:6:433:20 | new | taint.cpp:441:9:441:9 | c |  |
| taint.cpp:433:19:433:19 | 0 | taint.cpp:433:6:433:20 | call to MyClass2 | TAINT |
| taint.cpp:435:7:435:7 | ref arg c | taint.cpp:436:7:436:7 | c |  |
| taint.cpp:435:7:435:7 | ref arg c | taint.cpp:437:2:437:2 | c |  |
| taint.cpp:435:7:435:7 | ref arg c | taint.cpp:438:7:438:7 | c |  |
| taint.cpp:435:7:435:7 | ref arg c | taint.cpp:439:7:439:7 | c |  |
| taint.cpp:435:7:435:7 | ref arg c | taint.cpp:441:9:441:9 | c |  |
| taint.cpp:436:7:436:7 | ref arg c | taint.cpp:437:2:437:2 | c |  |
| taint.cpp:436:7:436:7 | ref arg c | taint.cpp:438:7:438:7 | c |  |
| taint.cpp:436:7:436:7 | ref arg c | taint.cpp:439:7:439:7 | c |  |
| taint.cpp:436:7:436:7 | ref arg c | taint.cpp:441:9:441:9 | c |  |
| taint.cpp:437:2:437:2 | ref arg c | taint.cpp:438:7:438:7 | c |  |
| taint.cpp:437:2:437:2 | ref arg c | taint.cpp:439:7:439:7 | c |  |
| taint.cpp:437:2:437:2 | ref arg c | taint.cpp:441:9:441:9 | c |  |
| taint.cpp:438:7:438:7 | ref arg c | taint.cpp:439:7:439:7 | c |  |
| taint.cpp:438:7:438:7 | ref arg c | taint.cpp:441:9:441:9 | c |  |
| taint.cpp:439:7:439:7 | ref arg c | taint.cpp:441:9:441:9 | c |  |
| taint.cpp:441:9:441:9 | c | taint.cpp:441:2:441:9 | delete | TAINT |
| taint.cpp:444:7:444:7 | ref arg d | taint.cpp:445:2:445:2 | d |  |
| taint.cpp:444:7:444:7 | ref arg d | taint.cpp:446:7:446:7 | d |  |
| taint.cpp:444:7:444:7 | ref arg d | taint.cpp:447:7:447:7 | d |  |
| taint.cpp:445:2:445:2 | ref arg d | taint.cpp:446:7:446:7 | d |  |
| taint.cpp:445:2:445:2 | ref arg d | taint.cpp:447:7:447:7 | d |  |
| taint.cpp:452:16:452:16 | a | taint.cpp:454:10:454:10 | a |  |
| taint.cpp:452:24:452:24 | b | taint.cpp:455:6:455:6 | b |  |
| taint.cpp:454:10:454:10 | a | taint.cpp:456:6:456:6 | c |  |
| taint.cpp:455:6:455:6 | b | taint.cpp:452:16:452:16 | a |  |
| taint.cpp:455:6:455:6 | b | taint.cpp:455:2:455:6 | ... = ... |  |
| taint.cpp:456:6:456:6 | c | taint.cpp:452:24:452:24 | b |  |
| taint.cpp:456:6:456:6 | c | taint.cpp:456:2:456:6 | ... = ... |  |
| taint.cpp:462:6:462:11 | call to source | taint.cpp:462:2:462:13 | ... = ... |  |
| taint.cpp:462:6:462:11 | call to source | taint.cpp:465:7:465:7 | x |  |
| taint.cpp:462:6:462:11 | call to source | taint.cpp:468:7:468:7 | x |  |
| taint.cpp:462:6:462:11 | call to source | taint.cpp:470:7:470:7 | x |  |
| taint.cpp:463:6:463:6 | 0 | taint.cpp:463:2:463:6 | ... = ... |  |
| taint.cpp:463:6:463:6 | 0 | taint.cpp:466:7:466:7 | y |  |
| taint.cpp:463:6:463:6 | 0 | taint.cpp:468:10:468:10 | y |  |
| taint.cpp:463:6:463:6 | 0 | taint.cpp:471:7:471:7 | y |  |
| taint.cpp:468:7:468:7 | ref arg x | taint.cpp:470:7:470:7 | x |  |
| taint.cpp:468:10:468:10 | ref arg y | taint.cpp:471:7:471:7 | y |  |
| taint.cpp:480:26:480:32 | source1 | taint.cpp:483:28:483:34 | source1 |  |
| taint.cpp:481:15:481:21 | 0 | taint.cpp:483:12:483:15 | line |  |
| taint.cpp:481:15:481:21 | 0 | taint.cpp:485:7:485:10 | line |  |
| taint.cpp:482:9:482:9 | n | taint.cpp:483:19:483:19 | n |  |
| taint.cpp:483:11:483:15 | ref arg & ... | taint.cpp:483:12:483:15 | line [inner post update] |  |
| taint.cpp:483:11:483:15 | ref arg & ... | taint.cpp:485:7:485:10 | line |  |
| taint.cpp:483:12:483:15 | line | taint.cpp:483:11:483:15 | & ... |  |
| taint.cpp:483:18:483:19 | ref arg & ... | taint.cpp:483:19:483:19 | n [inner post update] |  |
| taint.cpp:483:19:483:19 | n | taint.cpp:483:18:483:19 | & ... |  |
| taint.cpp:483:28:483:34 | source1 | taint.cpp:483:11:483:15 | ref arg & ... | TAINT |