search

fuzzland / ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
https://docs.ityfuzz.rs
MIT License
734 stars 116 forks source link

fix: jumpi coverage condition matches evm #485

Closed plotchy closed 1 month ago

plotchy commented 1 month ago

We use is_zero to convert EVM values to a rust bool. We need to reverse it afterwards to match the jumping expectation.

EVM 0 -> no jump -> condition == false EVM non-zero -> jump -> condition == true