Add basic sum0 ghidra projects with decompiled/annotated AOT code

ghidra/06-09_13-57-11_sum0_c_fail.rep/projectState

@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<PROJECT>
+    <PROJECT_DATA_XML_NAME NAME="DISPLAY_DATA">
+        <SAVE_STATE>
+            <ARRAY NAME="EXPANDED_PATHS" TYPE="string">
+                <A VALUE="06-09_13-57-11_sum0_c_fail:" />
+            </ARRAY>
+            <STATE NAME="SHOW_TABLE" TYPE="boolean" VALUE="false" />
+        </SAVE_STATE>
+    </PROJECT_DATA_XML_NAME>
+    <TOOL_MANAGER ACTIVE_WORKSPACE="Workspace">
+        <WORKSPACE NAME="Workspace" ACTIVE="true" />
+    </TOOL_MANAGER>
+</PROJECT>
+

ghidra/06-09_22-34-26_sum0_aot_fail.rep/projectState

@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<PROJECT>
+    <PROJECT_DATA_XML_NAME NAME="DISPLAY_DATA">
+        <SAVE_STATE>
+            <ARRAY NAME="EXPANDED_PATHS" TYPE="string">
+                <A VALUE="06-09_22-34-26_sum0_aot_fail:" />
+            </ARRAY>
+            <STATE NAME="SHOW_TABLE" TYPE="boolean" VALUE="false" />
+        </SAVE_STATE>
+    </PROJECT_DATA_XML_NAME>
+    <TOOL_MANAGER ACTIVE_WORKSPACE="Workspace">
+        <WORKSPACE NAME="Workspace" ACTIVE="true" />
+    </TOOL_MANAGER>
+</PROJECT>
+

ghidra/06-10_21-32-23_sum0_interp_fail.rep/projectState

@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<PROJECT>
+    <PROJECT_DATA_XML_NAME NAME="DISPLAY_DATA">
+        <SAVE_STATE>
+            <ARRAY NAME="EXPANDED_PATHS" TYPE="string">
+                <A VALUE="06-10_21-32-23_sum0_interp_fail:" />
+            </ARRAY>
+            <STATE NAME="SHOW_TABLE" TYPE="boolean" VALUE="false" />
+        </SAVE_STATE>
+    </PROJECT_DATA_XML_NAME>
+    <TOOL_MANAGER ACTIVE_WORKSPACE="Workspace">
+        <WORKSPACE NAME="Workspace" ACTIVE="true" />
+    </TOOL_MANAGER>
+</PROJECT>
+

scripts/ghidra/ImportMarkersAsBookmarks.java

@@ -33,8 +33,8 @@ public class ImportMarkersAsBookmarks extends GhidraScript {
     int skipped = 0;
     int lineNo = 0;
 
-    // CSV columns: (benchmark, resulttype, faults, fault_address)
-    // Example:     (ip       , OK_MARKER , 4311  , 0x10001B     )
+    // CSV columns: (benchmark, resulttype, faults, fault_address, mnemonic)
+    // Example:     (ip       , OK_MARKER , 4311  , 0x10001B     , mov)
     try (BufferedReader br = new BufferedReader(new FileReader(input))) {
       String line;
       while ((line = br.readLine()) != null) {
@@ -47,7 +47,7 @@ public class ImportMarkersAsBookmarks extends GhidraScript {
 
         // Make sure to always use "," delimiter and never quotations
         String[] parts = line.split(",");
-        if (parts.length != 4) {
+        if (parts.length != 5) {
           skipped++;
           printerr("Line " + lineNo + ": malformed");
           continue;
@@ -57,11 +57,13 @@ public class ImportMarkersAsBookmarks extends GhidraScript {
         String typeText = parts[1].trim();
         String countText = parts[2].trim();
         String addrText = parts[3].trim();
+        String mnemonicText = parts[4].trim();
 
         if (benchText.isEmpty()
             || typeText.isEmpty()
             || countText.isEmpty()
-            || addrText.isEmpty()) {
+            || addrText.isEmpty()
+            || mnemonicText.isEmpty()) {
           skipped++;
           printerr("Line " + lineNo + ": malformed");
           continue;