Merge pull request diffblue#468 from diffblue/owen-jones-diffblue/taint-over-list-models-precise-access-paths

SEC-248: Turn on precise access paths in taint over list models

Author: owen-jones-diffblue

regression/end_to_end/driver.py

@@ -70,6 +70,7 @@ def __exit__(self, exc_type, exc_value, traceback):
         if exc_value is not None:
             print("Failure may relate to command: ", self.cmdline, file=sys.stderr)
 
+
 def quote_pathnames_in_command_line(cmdline):
     assert isinstance(cmdline, list) and len(cmdline) > 0
     result = cmdline[:1]
@@ -81,6 +82,7 @@ def quote_pathnames_in_command_line(cmdline):
             result.append(cmdline[idx])
     return result
 
+
 def run_security_analyser_pipeline(
     relative_binary_path,
     relative_rules_path,

regression/end_to_end/taint_over_list_models/test_taint_over_list_models.py

@@ -16,6 +16,6 @@ def test_taint_over_list_models():
         "rules.json",
         os.path.realpath(os.path.dirname(__file__)),
         "Main.main",
-        ["--use-models-library", "--do-not-use-precise-access-paths"])
+        ["--use-models-library"])
     assert traces.count_traces() == 1
     assert traces.trace_exists("java::Main.main:()V", 14)