summaryCalls | file://:0:0:0:0 | [summary] call to [summary param] 0 in madCallArg0ReturnToReturn in madCallArg0ReturnToReturn | | file://:0:0:0:0 | [summary] call to [summary param] 0 in madCallArg0ReturnToReturnFirst in madCallArg0ReturnToReturnFirst | | file://:0:0:0:0 | [summary] call to [summary param] 0 in madCallArg0WithValue in madCallArg0WithValue | summarizedCallables | tests.cpp:144:5:144:19 | madArg0ToReturn | | tests.cpp:145:6:145:28 | madArg0ToReturnIndirect | | tests.cpp:147:5:147:28 | madArg0ToReturnValueFlow | | tests.cpp:148:5:148:27 | madArg0IndirectToReturn | | tests.cpp:149:5:149:33 | madArg0DoubleIndirectToReturn | | tests.cpp:150:5:150:30 | madArg0NotIndirectToReturn | | tests.cpp:151:6:151:26 | madArg0ToArg1Indirect | | tests.cpp:152:6:152:34 | madArg0IndirectToArg1Indirect | | tests.cpp:153:5:153:18 | madArgsComplex | | tests.cpp:154:5:154:14 | madArgsAny | | tests.cpp:155:5:155:28 | madAndImplementedComplex | | tests.cpp:160:5:160:24 | madArg0FieldToReturn | | tests.cpp:161:5:161:32 | madArg0IndirectFieldToReturn | | tests.cpp:162:5:162:32 | madArg0FieldIndirectToReturn | | tests.cpp:163:13:163:32 | madArg0ToReturnField | | tests.cpp:164:14:164:41 | madArg0ToReturnIndirectField | | tests.cpp:165:13:165:40 | madArg0ToReturnFieldIndirect | | tests.cpp:284:7:284:19 | madArg0ToSelf | | tests.cpp:285:6:285:20 | madSelfToReturn | | tests.cpp:287:7:287:20 | madArg0ToField | | tests.cpp:288:6:288:21 | madFieldToReturn | | tests.cpp:313:7:313:30 | namespaceMadSelfToReturn | | tests.cpp:434:5:434:29 | madCallArg0ReturnToReturn | | tests.cpp:435:9:435:38 | madCallArg0ReturnToReturnFirst | | tests.cpp:436:6:436:25 | madCallArg0WithValue | | tests.cpp:437:5:437:36 | madCallReturnValueIgnoreFunction | | tests.cpp:459:5:459:31 | parameter_ref_to_return_ref | | tests.cpp:471:5:471:17 | receive_array | sourceCallables | tests.cpp:3:5:3:10 | source | | tests.cpp:4:6:4:14 | sourcePtr | | tests.cpp:5:6:5:19 | sourceIndirect | | tests.cpp:6:6:6:9 | sink | | tests.cpp:6:15:6:17 | val | | tests.cpp:7:6:7:9 | sink | | tests.cpp:7:16:7:18 | ptr | | tests.cpp:11:5:11:18 | localMadSource | | tests.cpp:12:5:12:19 | remoteMadSource | | tests.cpp:13:5:13:14 | notASource | | tests.cpp:14:5:14:22 | localMadSourceVoid | | tests.cpp:15:5:15:25 | localMadSourceHasBody | | tests.cpp:16:6:16:28 | remoteMadSourceIndirect | | tests.cpp:17:7:17:35 | remoteMadSourceDoubleIndirect | | tests.cpp:18:6:18:32 | remoteMadSourceIndirectArg0 | | tests.cpp:18:39:18:39 | x | | tests.cpp:18:47:18:47 | y | | tests.cpp:19:6:19:32 | remoteMadSourceIndirectArg1 | | tests.cpp:19:39:19:39 | x | | tests.cpp:19:47:19:47 | y | | tests.cpp:20:5:20:22 | remoteMadSourceVar | | tests.cpp:21:6:21:31 | remoteMadSourceVarIndirect | | tests.cpp:24:6:24:28 | namespaceLocalMadSource | | tests.cpp:25:6:25:31 | namespaceLocalMadSourceVar | | tests.cpp:28:7:28:30 | namespace2LocalMadSource | | tests.cpp:31:6:31:19 | localMadSource | | tests.cpp:33:5:33:27 | namespaceLocalMadSource | | tests.cpp:35:6:35:17 | test_sources | | tests.cpp:50:6:50:6 | v | | tests.cpp:51:7:51:16 | v_indirect | | tests.cpp:52:6:52:13 | v_direct | | tests.cpp:63:6:63:6 | a | | tests.cpp:63:9:63:9 | b | | tests.cpp:63:12:63:12 | c | | tests.cpp:63:15:63:15 | d | | tests.cpp:75:6:75:6 | e | | tests.cpp:85:6:85:26 | remoteMadSourceParam0 | | tests.cpp:85:32:85:32 | x | | tests.cpp:92:6:92:16 | madSinkArg0 | | tests.cpp:92:22:92:22 | x | | tests.cpp:93:6:93:13 | notASink | | tests.cpp:93:19:93:19 | x | | tests.cpp:94:6:94:16 | madSinkArg1 | | tests.cpp:94:22:94:22 | x | | tests.cpp:94:29:94:29 | y | | tests.cpp:95:6:95:17 | madSinkArg01 | | tests.cpp:95:23:95:23 | x | | tests.cpp:95:30:95:30 | y | | tests.cpp:95:37:95:37 | z | | tests.cpp:96:6:96:17 | madSinkArg02 | | tests.cpp:96:23:96:23 | x | | tests.cpp:96:30:96:30 | y | | tests.cpp:96:37:96:37 | z | | tests.cpp:97:6:97:24 | madSinkIndirectArg0 | | tests.cpp:97:31:97:31 | x | | tests.cpp:98:6:98:30 | madSinkDoubleIndirectArg0 | | tests.cpp:98:38:98:38 | x | | tests.cpp:99:5:99:14 | madSinkVar | | tests.cpp:100:6:100:23 | madSinkVarIndirect | | tests.cpp:102:6:102:15 | test_sinks | | tests.cpp:116:6:116:6 | a | | tests.cpp:117:7:117:11 | a_ptr | | tests.cpp:132:6:132:18 | madSinkParam0 | | tests.cpp:132:24:132:24 | x | | tests.cpp:138:8:138:8 | operator= | | tests.cpp:138:8:138:8 | operator= | | tests.cpp:138:8:138:18 | MyContainer | | tests.cpp:139:6:139:10 | value | | tests.cpp:140:6:140:11 | value2 | | tests.cpp:141:7:141:9 | ptr | | tests.cpp:144:5:144:19 | madArg0ToReturn | | tests.cpp:144:25:144:25 | x | | tests.cpp:145:6:145:28 | madArg0ToReturnIndirect | | tests.cpp:145:34:145:34 | x | | tests.cpp:146:5:146:15 | notASummary | | tests.cpp:146:21:146:21 | x | | tests.cpp:147:5:147:28 | madArg0ToReturnValueFlow | | tests.cpp:147:34:147:34 | x | | tests.cpp:148:5:148:27 | madArg0IndirectToReturn | | tests.cpp:148:34:148:34 | x | | tests.cpp:149:5:149:33 | madArg0DoubleIndirectToReturn | | tests.cpp:149:41:149:41 | x | | tests.cpp:150:5:150:30 | madArg0NotIndirectToReturn | | tests.cpp:150:37:150:37 | x | | tests.cpp:151:6:151:26 | madArg0ToArg1Indirect | | tests.cpp:151:32:151:32 | x | | tests.cpp:151:40:151:40 | y | | tests.cpp:152:6:152:34 | madArg0IndirectToArg1Indirect | | tests.cpp:152:47:152:47 | x | | tests.cpp:152:55:152:55 | y | | tests.cpp:153:5:153:18 | madArgsComplex | | tests.cpp:153:25:153:25 | a | | tests.cpp:153:33:153:33 | b | | tests.cpp:153:40:153:40 | c | | tests.cpp:153:47:153:47 | d | | tests.cpp:154:5:154:14 | madArgsAny | | tests.cpp:154:20:154:20 | a | | tests.cpp:154:28:154:28 | b | | tests.cpp:155:5:155:28 | madAndImplementedComplex | | tests.cpp:155:34:155:34 | a | | tests.cpp:155:41:155:41 | b | | tests.cpp:155:48:155:48 | c | | tests.cpp:160:5:160:24 | madArg0FieldToReturn | | tests.cpp:160:38:160:39 | mc | | tests.cpp:161:5:161:32 | madArg0IndirectFieldToReturn | | tests.cpp:161:47:161:48 | mc | | tests.cpp:162:5:162:32 | madArg0FieldIndirectToReturn | | tests.cpp:162:46:162:47 | mc | | tests.cpp:163:13:163:32 | madArg0ToReturnField | | tests.cpp:163:38:163:38 | x | | tests.cpp:164:14:164:41 | madArg0ToReturnIndirectField | | tests.cpp:164:47:164:47 | x | | tests.cpp:165:13:165:40 | madArg0ToReturnFieldIndirect | | tests.cpp:165:46:165:46 | x | | tests.cpp:167:13:167:30 | madFieldToFieldVar | | tests.cpp:168:13:168:38 | madFieldToIndirectFieldVar | | tests.cpp:169:14:169:39 | madIndirectFieldToFieldVar | | tests.cpp:171:6:171:19 | test_summaries | | tests.cpp:174:6:174:6 | a | | tests.cpp:174:9:174:9 | b | | tests.cpp:174:12:174:12 | c | | tests.cpp:174:15:174:15 | d | | tests.cpp:174:18:174:18 | e | | tests.cpp:175:7:175:11 | a_ptr | | tests.cpp:218:14:218:16 | mc1 | | tests.cpp:218:19:218:21 | mc2 | | tests.cpp:237:15:237:18 | rtn1 | | tests.cpp:240:14:240:17 | rtn2 | | tests.cpp:241:7:241:14 | rtn2_ptr | | tests.cpp:267:7:267:7 | operator= | | tests.cpp:267:7:267:7 | operator= | | tests.cpp:267:7:267:13 | MyClass | | tests.cpp:270:6:270:26 | memberRemoteMadSource | | tests.cpp:271:7:271:39 | memberRemoteMadSourceIndirectArg0 | | tests.cpp:271:46:271:46 | x | | tests.cpp:272:6:272:29 | memberRemoteMadSourceVar | | tests.cpp:273:7:273:21 | qualifierSource | | tests.cpp:274:7:274:26 | qualifierFieldSource | | tests.cpp:277:7:277:23 | memberMadSinkArg0 | | tests.cpp:277:29:277:29 | x | | tests.cpp:278:6:278:21 | memberMadSinkVar | | tests.cpp:279:7:279:19 | qualifierSink | | tests.cpp:280:7:280:23 | qualifierArg0Sink | | tests.cpp:280:29:280:29 | x | | tests.cpp:281:7:281:24 | qualifierFieldSink | | tests.cpp:284:7:284:19 | madArg0ToSelf | | tests.cpp:284:25:284:25 | x | | tests.cpp:285:6:285:20 | madSelfToReturn | | tests.cpp:286:6:286:16 | notASummary | | tests.cpp:287:7:287:20 | madArg0ToField | | tests.cpp:287:26:287:26 | x | | tests.cpp:288:6:288:21 | madFieldToReturn | | tests.cpp:290:6:290:8 | val | | tests.cpp:293:7:293:7 | MyDerivedClass | | tests.cpp:293:7:293:7 | operator= | | tests.cpp:293:7:293:7 | operator= | | tests.cpp:293:7:293:20 | MyDerivedClass | | tests.cpp:295:6:295:28 | subtypeRemoteMadSource1 | | tests.cpp:296:6:296:21 | subtypeNonSource | | tests.cpp:297:6:297:28 | subtypeRemoteMadSource2 | | tests.cpp:300:9:300:15 | source2 | | tests.cpp:301:6:301:9 | sink | | tests.cpp:301:19:301:20 | mc | | tests.cpp:304:8:304:8 | operator= | | tests.cpp:304:8:304:8 | operator= | | tests.cpp:304:8:304:14 | MyClass | | tests.cpp:307:8:307:33 | namespaceMemberMadSinkArg0 | | tests.cpp:307:39:307:39 | x | | tests.cpp:308:15:308:46 | namespaceStaticMemberMadSinkArg0 | | tests.cpp:308:52:308:52 | x | | tests.cpp:309:7:309:31 | namespaceMemberMadSinkVar | | tests.cpp:310:14:310:44 | namespaceStaticMemberMadSinkVar | | tests.cpp:313:7:313:30 | namespaceMadSelfToReturn | | tests.cpp:317:22:317:28 | source3 | | tests.cpp:319:6:319:23 | test_class_members | | tests.cpp:320:10:320:11 | mc | | tests.cpp:320:14:320:16 | mc2 | | tests.cpp:320:19:320:21 | mc3 | | tests.cpp:320:24:320:26 | mc4 | | tests.cpp:320:29:320:31 | mc5 | | tests.cpp:320:34:320:36 | mc6 | | tests.cpp:320:39:320:41 | mc7 | | tests.cpp:320:44:320:46 | mc8 | | tests.cpp:320:49:320:51 | mc9 | | tests.cpp:320:54:320:57 | mc10 | | tests.cpp:320:60:320:63 | mc11 | | tests.cpp:321:11:321:13 | ptr | | tests.cpp:321:17:321:23 | mc4_ptr | | tests.cpp:322:17:322:19 | mdc | | tests.cpp:323:23:323:25 | mnc | | tests.cpp:323:28:323:31 | mnc2 | | tests.cpp:324:24:324:31 | mnc2_ptr | | tests.cpp:330:6:330:6 | a | | tests.cpp:429:8:429:8 | operator= | | tests.cpp:429:8:429:8 | operator= | | tests.cpp:429:8:429:14 | intPair | | tests.cpp:430:6:430:10 | first | | tests.cpp:431:6:431:11 | second | | tests.cpp:434:5:434:29 | madCallArg0ReturnToReturn | | tests.cpp:434:37:434:43 | fun_ptr | | tests.cpp:435:9:435:38 | madCallArg0ReturnToReturnFirst | | tests.cpp:435:46:435:52 | fun_ptr | | tests.cpp:436:6:436:25 | madCallArg0WithValue | | tests.cpp:436:34:436:40 | fun_ptr | | tests.cpp:436:53:436:57 | value | | tests.cpp:437:5:437:36 | madCallReturnValueIgnoreFunction | | tests.cpp:437:45:437:51 | fun_ptr | | tests.cpp:437:64:437:68 | value | | tests.cpp:439:5:439:14 | getTainted | | tests.cpp:440:6:440:13 | useValue | | tests.cpp:440:19:440:19 | x | | tests.cpp:441:6:441:17 | dontUseValue | | tests.cpp:441:23:441:23 | x | | tests.cpp:443:6:443:27 | test_function_pointers | | tests.cpp:456:19:456:19 | X | | tests.cpp:457:8:457:35 | StructWithTypedefInParameter | | tests.cpp:457:8:457:35 | StructWithTypedefInParameter | | tests.cpp:458:12:458:15 | Type | | tests.cpp:459:5:459:31 | parameter_ref_to_return_ref | | tests.cpp:459:5:459:31 | parameter_ref_to_return_ref | | tests.cpp:459:45:459:45 | x | | tests.cpp:459:45:459:45 | x | | tests.cpp:462:6:462:37 | test_parameter_ref_to_return_ref | | tests.cpp:463:6:463:6 | x | | tests.cpp:464:36:464:36 | s | | tests.cpp:465:6:465:6 | y | | tests.cpp:469:7:469:9 | INT | | tests.cpp:471:5:471:17 | receive_array | | tests.cpp:471:23:471:23 | a | | tests.cpp:473:6:473:23 | test_receive_array | | tests.cpp:474:6:474:6 | x | | tests.cpp:475:6:475:10 | array | | tests.cpp:476:6:476:6 | y |