Merge pull request diffblue#280 from diffblue/marek/method_trace_goes_through

SEC-144: Extended 'class ErrorTraces' by method 'trace_goes_through'.

Author: smowton

regression/end_to_end/driver.py

@@ -52,6 +52,27 @@ def trace_exists(self, function, line_no):
                 return True
         return False
 
+    def trace_goes_through(
+            self,
+            tool_name,
+            index_into_trace,       # A negative index shifts from the end
+            goes_through_function,
+            goes_through_line_no,
+            end_function,
+            end_line_no
+            ):
+        for trace in self.traces:
+            if tool_name in trace["error_traces"] and trace["function"] == end_function and trace["line"] == end_line_no:
+                for error_trace in trace["error_traces"][tool_name]:
+                    try:
+                        location = error_trace[index_into_trace]["sourceLocation"]
+                        if location["function"] == goes_through_function and int(location["line"]) == goes_through_line_no:
+                            return True
+                    except:
+                        pass
+        return False
+
+
 def run_security_analyser_pipeline(
     relative_binary_path,
     relative_rules_path,