fix

Author: lucasssvaz

.github/scripts/sarif_nobuild.py

@@ -0,0 +1,77 @@
+#!/usr/bin/env python3
+
+import json
+import sys
+import os
+
+def process_sarif_file(sarif_file, renamed_files_file):
+    """
+    Process SARIF file to rename files back to .ino and adjust line numbers
+    """
+    # Read the renamed files mapping
+    with open(renamed_files_file, 'r') as f:
+        renamed_files = json.load(f)
+
+    # Read the SARIF file
+    with open(sarif_file, 'r') as f:
+        sarif_data = json.load(f)
+
+    # Process each result
+    if 'runs' in sarif_data and len(sarif_data['runs']) > 0:
+        results = sarif_data['runs'][0].get('results', [])
+
+        for result in results:
+            if 'locations' in result and len(result['locations']) > 0:
+                location = result['locations'][0]
+
+                if 'physicalLocation' in location:
+                    physical_location = location['physicalLocation']
+
+                    if 'artifactLocation' in physical_location:
+                        uri = physical_location['artifactLocation'].get('uri')
+
+                        # Check if this file was originally a .ino file
+                        if uri in renamed_files:
+                            # Rename the file back to .ino
+                            physical_location['artifactLocation']['uri'] = renamed_files[uri]
+
+                            # Adjust line numbers if they exist
+                            if 'region' in physical_location:
+                                region = physical_location['region']
+
+                                if 'startLine' in region:
+                                    region['startLine'] = max(1, region['startLine'] - 1)
+
+                                if 'endLine' in region:
+                                    region['endLine'] = max(1, region['endLine'] - 1)
+
+    # Write the processed SARIF file
+    with open(sarif_file, 'w') as f:
+        json.dump(sarif_data, f, indent=2)
+
+def main():
+    if len(sys.argv) != 3:
+        print("Usage: python3 sarif_nobuild.py <sarif_file> <renamed_files_file>")
+        sys.exit(1)
+
+    sarif_file = sys.argv[1]
+    renamed_files_file = sys.argv[2]
+
+    # Check if files exist
+    if not os.path.exists(sarif_file):
+        print(f"SARIF file not found: {sarif_file}")
+        sys.exit(1)
+
+    if not os.path.exists(renamed_files_file):
+        print(f"Renamed files mapping not found: {renamed_files_file}")
+        sys.exit(1)
+
+    try:
+        process_sarif_file(sarif_file, renamed_files_file)
+        print("SARIF file processed successfully")
+    except Exception as e:
+        print(f"Error processing SARIF file: {e}")
+        sys.exit(1)
+
+if __name__ == "__main__":
+    main()

.github/scripts/sarif_nobuild.sh

@@ -79,7 +79,7 @@ jobs:
         if: matrix.language == 'cpp'
         run: |
           sarif_file="sarif-results/${{ matrix.language }}.sarif"
-          .github/scripts/sarif_nobuild.sh "$sarif_file" "renamed_files.json"
+          python3 .github/scripts/sarif_nobuild.py "$sarif_file" "renamed_files.json"
 
       - name: Upload SARIF file
         uses: github/codeql-action/upload-sarif@181d5eefc20863364f96762470ba6f862bdef56b # v3.29.2