Merge pull request diffblue#23 from NathanJPhillips/bugfix/taint-regression-broken

Fixed taint configuration

Author: smowton

regression/taint/taint_traces_01/taint.json

@@ -3,6 +3,7 @@
     "id": "source_0_X1",
     "kind": "source",
     "where": "return_value",
+    "immediate": true,
     "taint": "X1",
     "function": "Main.taint_source_X1_retval"
   },
@@ -18,9 +19,9 @@
     "id": "sink_0_X1",
     "kind": "sink",
     "where": "parameter1",
+    "immediate": true,
     "taint": "X1",
     "function": "Main.taint_sink_X1_arg_0",
     "message": "sink(X1)"
   }
 ]
-

regression/taint/taint_traces_02/taint.json

@@ -3,6 +3,7 @@
     "id": "source_id",
     "kind": "source",
     "where": "return_value",
+    "immediate": true,
     "taint": "X1",
     "function": "Test.taint_source_01"
   },
@@ -18,6 +19,7 @@
     "id": "sink_id",
     "kind": "sink",
     "where": "parameter1",
+    "immediate": true,
     "taint": "X1",
     "function": "Test.taint_sink_01",
     "message": "sink"

regression/taint/taint_traces_03/taint.json

@@ -3,6 +3,7 @@
     "id": "source_id",
     "kind": "source",
     "where": "return_value",
+    "immediate": true,
     "taint": "X1",
     "function": "Test.taint_source_01"
   },
@@ -18,6 +19,7 @@
     "id": "sink_id",
     "kind": "sink",
     "where": "parameter1",
+    "immediate": true,
     "taint": "X1",
     "function": "Test.taint_sink_01",
     "message": "sink"

regression/taint/taint_traces_04/taint.json

@@ -3,6 +3,7 @@
     "id": "source_0_X1",
     "kind": "source",
     "where": "return_value",
+    "immediate": true,
     "taint": "X1",
     "function": "Other.source"
   },
@@ -18,6 +19,7 @@
     "id": "sink_0_X1",
     "kind": "sink",
     "where": "parameter1",
+    "immediate": true,
     "taint": "X1",
     "function": "Main.taint_sink_X1_arg_0",
     "message": "sink(X1)"

regression/taint/taint_traces_05/taint.json

@@ -3,13 +3,15 @@
     "id": "my_source",
     "kind": "source",
     "where": "return_value",
+    "immediate": true,
     "taint": "X1",
     "function": "TaintSource.get_tainted_int"
   },
   {
     "id": "my_sink",
     "kind": "sink",
     "where": "parameter1",
+    "immediate": true,
     "taint": "X1",
     "function": "TaintSink.receive_taint",
     "message": "Unescaped HTML written to DAO"