recover full source path for Infer

tum-i4 · Mar 7, 2024 · 47cded5 · 47cded5
1 parent efd116f
commit 47cded5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/sast-fuzz/static_analysis/sast/src/sfa/analysis/tool_runner.py b/sast-fuzz/static_analysis/sast/src/sfa/analysis/tool_runner.py
@@ -269,7 +269,11 @@ def _format(self, string: str) -> SASTFlags:
             line = flag["line"]
             vuln = flag["bug_type"]
 
-            file = Path(file).name
+            # remove the temp prefix from the path, but keep the rest
+            fparts = Path(file).parts
+            assert fparts[0] == "/" and fparts[1] == "tmp"
+            tmp_source = Path(fparts[0] + fparts[1]) / fparts[2] / fparts[3]
+            file = str(Path(file).relative_to(tmp_source))
 
             flags.add(SASTFlag(tool, file, line, vuln))