push

AFLplusplus · Apr 13, 2024 · b7b07fa · b7b07fa
1 parent f33f679
commit b7b07fa
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/runtime/rust_backend/Runtime.cpp b/runtime/rust_backend/Runtime.cpp
@@ -118,6 +118,10 @@ SymExpr _sym_build_integer128(uint64_t high, uint64_t low) {
   return registerExpression(symexpr(_rsym_build_integer128(high, low), 128));
 }
 
+SymExpr _sym_build_integer_from_buffer(void *buffer, unsigned num_bits) {
+  return registerExpression(symexpr(_rsym_build_integer_from_buffer(buffer, num_bits)));
+}
+
 SymExpr _sym_build_float(double value, int is_double) {
   return registerExpression(
       symexpr(_rsym_build_float(value, is_double), is_double ? 64 : 32));