Added check for value of byte to be written in memset.

runtimeverification · Oct 17, 2023 · cf23df9 · cf23df9
1 parent 658b799
commit cf23df9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/runtime/strings/bytes.cpp b/runtime/strings/bytes.cpp
@@ -194,6 +194,11 @@ SortBytes hook_BYTES_memset(SortBytes b, SortInt start, SortInt count, SortInt v
         ustart, ucount, input_len);
   }
   int v = mpz_get_si(value);
+  if ((v < -128) || (v > 127)) {
+    KLLVM_HOOK_INVALID_ARGUMENT(
+        "Not a valid value for a byte in memset: v={}",
+        v);
+  }
   memset(b->data + ustart, v, ucount);
   return b;
 }