Merge pull request diffblue#583 from diffblue/owen-jones-diffblue/fix-sink-message

owen-jones-diffblue · web-flow · commit 3b239bba458a · 2018-08-28T12:21:29.000+01:00
Propagate description of conditionally applied sink rules
diff --git a/src/taint-analysis/taint_summary.cpp b/src/taint-analysis/taint_summary.cpp
@@ -1290,7 +1290,7 @@ taint_algorithm_computing_summary_of_functiont::transform(
                     CONDITIONAL_APPLICATION_OF_SINK_RULE,
                   sink_conditions,
                   std::to_string(sink_rule.get_id()),
-                  ""
+                  sink_rule.get_comment()
                 });
             }
           }

Original file line number	Diff line number	Diff line change
`@@ -1290,7 +1290,7 @@ taint_algorithm_computing_summary_of_functiont::transform(`
`1290`	`1290`	`CONDITIONAL_APPLICATION_OF_SINK_RULE,`
`1291`	`1291`	`sink_conditions,`
`1292`	`1292`	`std::to_string(sink_rule.get_id()),`
`1293`		`- ""`
	`1293`	`+ sink_rule.get_comment()`
`1294`	`1294`	`});`
`1295`	`1295`	`}`
`1296`	`1296`	`}`