interpreter/interp: check result of external call for #1

cmsc430 · Jul 6, 2022 · 7786981 · 7786981
1 parent 9c16d3d
commit 7786981
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/interpreter/interp.rkt b/interpreter/interp.rkt
@@ -85,6 +85,16 @@
           (let* ([func (hash-ref runtime external-function)]
                  [sp (hash-ref registers 'rsp)]
                  [result (func registers memory sp)]
+                 [_ (unless (integer? result)
+                      (raise-user-error 'step
+                                        "result of external function '~a' not an integer; got ~v"
+                                        external-function
+                                        result))]
+                 [_ (unless (<= (integer-length result) (word-size-bits))
+                      (raise-user-error 'step
+                                        "integer result of external function '~a' too large; got ~v"
+                                        external-function
+                                        result))]
                  [new-registers (hash-set registers 'rax result)])
             (make-state #:with-registers new-registers))]
          [(Call dst)