Generate missing FILE evidence in ada extraction (#999)

ge-high-assurance · Aug 31, 2023 · 5eaa4d5 · 5eaa4d5
1 parent 46c8bde
commit 5eaa4d5
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/ada/run_analysis.py b/ada/run_analysis.py
@@ -282,6 +282,11 @@ def analyze_structure(unit: lal.AnalysisUnit) -> None:
 
     for package, components in analysis_output.items():
         filename = package.p_relative_name.unit.filename.rsplit('/', 1)[-1]
+        Evidence.Add.FILE.FILE(
+            fileFormat_identifier="Ada",
+            filename=filename,
+            identifier=filename,
+        )
         Evidence.Add.SOFTWARE.SWCOMPONENT(
             identifier=get_node_identifier(package),
             title=escape(package.doc_name),