lib: halt on impossible jumps

AluVM · Oct 18, 2024 · e3a0345 · e3a0345
1 parent 1f52ba1
commit e3a0345
Showing 1 changed file with 13 additions and 3 deletions.
diff --git a/src/library/lib.rs b/src/library/lib.rs
@@ -385,7 +385,11 @@ impl Lib {
 
         let mut cursor = Cursor::with(&self.code, &self.data, &self.libs);
         let lib_hash = self.id();
-        cursor.seek(entrypoint).ok()?;
+        if cursor.seek(entrypoint).is_err() {
+            registers.st0 = false;
+            #[cfg(feature = "log")]
+            eprintln!("jump to non-existing offset; halting, {d}st0{z} is set to {r}false{z}");
+        }
 
         #[cfg(feature = "log")]
         let mut st0 = registers.st0;
@@ -439,7 +443,7 @@ impl Lib {
                     registers.st0 = false;
                     assert_eq!(registers.st0, false);
                     #[cfg(feature = "log")]
-                    eprintln!("execution stopped; {d}st0={z}{r}{}{z}", registers.st0);
+                    eprintln!("halting, {d}st0{z} is set to {r}false{z}");
                     return None;
                 }
                 ExecStep::Next => {
@@ -450,7 +454,13 @@ impl Lib {
                 ExecStep::Jump(pos) => {
                     #[cfg(feature = "log")]
                     eprintln!("{}", pos);
-                    cursor.seek(pos).ok()?;
+                    if cursor.seek(pos).is_err() {
+                        registers.st0 = false;
+                        #[cfg(feature = "log")]
+                        eprintln!(
+                            "jump to non-existing offset; halting, {d}st0{z} is set to {r}false{z}"
+                        );
+                    }
                 }
                 ExecStep::Call(site) => {
                     #[cfg(feature = "log")]