qmonnet / rbpf

96%

LAST BUILD ON BRANCH main

branch: SELECT

CHANGE BRANCH

x

• No branch selected
• dev
• fix-verifier-panic-interpreter-overflow
• fix/i32_cast
• fix/interpreter_reg_init
• fix/jit_div
• jit-dev
• jit-no-std
• main
• pr/bump-deps
• pr/bump-version
• pr/clippy-fixes
• pr/qmonnet/bump
• pr/readme-fix-space
• pr/rustfmt
• remove-deprecated-time-dependency
• update-json-0.12

Build # 21745577859

Build Type

push

github

Committed by qmonnet

Commit Message

Cargo.toml,README.md: Bump version to 0.4.1

Bug fixes:

- Fix integer overflow in local function calls by using checked
  arithmetic for call offsets. Previously, certain call offset values
  could cause an integer overflow/underflow.
- Fix 32-bit ALU operations (ADD32, SUB32, MUL32) to properly
  zero-extend results. The result is now correctly cast to u32 before
  extending to u64.
- Replace unimplemented!() panics with proper error messages for
  unsupported instructions (XADD, TAIL_CALL), preventing unexpected
  panics during execution.
- In the x86_64 JIT compiler, fix divisor handling in emit_muldivmod:
  the JIT now correctly uses the is_reg flag to determine whether the
  divisor is in a register or an immediate value, rather than checking
  if imm != 0.

(These notes were mostly generated from the Git history by Claude Code.)

Signed-off-by: Quentin Monnet <qmo@qmon.net>

Run Details

4547 of 4756 relevant lines covered (95.61%)

237.65 hits per line