File tree Expand file tree Collapse file tree 1 file changed +15
-14
lines changed Expand file tree Collapse file tree 1 file changed +15
-14
lines changed Original file line number Diff line number Diff line change @@ -1431,6 +1431,21 @@ taint_summary_ptrt taint_summarise_function(
1431
1431
taint_map_from_lvalues_to_svaluest const & src_value =
1432
1432
domain->at (src_instr_it);
1433
1433
1434
+ taint_map_from_lvalues_to_svaluest const transformed =
1435
+ transform (
1436
+ src_value,
1437
+ src_instr_it,
1438
+ function_id,
1439
+ functions,
1440
+ database,
1441
+ lvsa,
1442
+ ns,
1443
+ log ,
1444
+ children_with_summaries,
1445
+ nsummary_uses,
1446
+ ndistinct_summary_inputs
1447
+ );
1448
+
1434
1449
goto_programt::const_targetst successors;
1435
1450
fn_iter->second .body .get_successors (src_instr_it, successors);
1436
1451
for (auto succ_it = successors.begin ();
@@ -1461,20 +1476,6 @@ taint_summary_ptrt taint_summarise_function(
1461
1476
taint_dump_lvalues_to_svalues_in_html (old_dst_value,ns,*log );
1462
1477
}
1463
1478
1464
- taint_map_from_lvalues_to_svaluest const transformed =
1465
- transform (
1466
- src_value,
1467
- src_instr_it,
1468
- function_id,
1469
- functions,
1470
- database,
1471
- lvsa,
1472
- ns,
1473
- log ,
1474
- children_with_summaries,
1475
- nsummary_uses,
1476
- ndistinct_summary_inputs
1477
- );
1478
1479
dst_value = join (transformed,old_dst_value);
1479
1480
1480
1481
if (log != nullptr )
You can’t perform that action at this time.
0 commit comments