Debug code to print saved IPs in mockup

files/mockup_prelude.cc

@@ -8,6 +8,14 @@ extern const uint32_t _sdata_os_canonical, _edata_os_canonical;
 extern const uint32_t _sdata_arch_canonical, _edata_arch_canonical;
 }
 
+namespace arch {
+	extern void* OS_Idle_ip;
+	extern void* OS_ISR1_ip;
+	extern void* OS_H1_ip;
+	extern void* OS_H2_ip;
+	extern void* OS_H3_ip;
+}
+
 // **********************************************************************
 // Murmur3 implementation
 //

src/CFG/C.hs

@@ -89,6 +89,7 @@ preIdleHook interrupts = do
 
   return $
        "void PreIdleHook() {\n"
+    <> "kout << \"IPs: \" << arch::OS_Idle_ip << ',' << arch::OS_ISR1_ip << ',' << arch::OS_H1_ip << ',' << arch::OS_H2_ip << ',' << arch::OS_H3_ip << endl;"
     <> "  _print_os_state(\"PreIdleHook\", __func__);\n"
     <> triggerCode
     <> "  ShutdownMachine();\n"

src/Search/Search.hs

@@ -155,6 +155,7 @@ parseLine handle = do
         ("Decision":num:_) -> return $ Decision (read $ T.unpack num)
         ["Function",func,"before","syscall",call,"in","state",state]
           -> return $ NewState $ Vertex state (Metadata func call)
+        _ -> parseLine handle -- ignore unknown output
 
 handleLine :: Handle -> IORef State -> IO LineOut
 handleLine pstdin state = parseLine pstdin >>= \case