ItyFuzz: Snapshot-Based Fuzzer for Smart Contract

Chaofan Shou, Shangyin Tan, Koushik Sen

Smart contracts are critical financial instruments, and their security is of utmost importance. However, smart contract programs are difficult to fuzz due to the persistent blockch…