search

fuzzland / ityfuzz

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

bug: CMP_MAP polluted by contract setup deployer #480

Open plotchy opened 1 month ago

plotchy commented 1 month ago

While testing corpus additions on better comparisons I found that CMP_MAP is getting polluted by the contract deployers.

Since step in the Host is used during contract setup and deployment, the CMP_MAP gets values stored that aren't related to the fuzzing campaign.

This shouldnt happen before any fuzz tests are ran

https://github.com/fuzzland/ityfuzz/blob/b9342a0425273565516851726cf2cce1d0d9ab13/src/evm/host.rs#L1058-L1062