ityfuzz
ityfuzz copied to clipboard
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
I'd especially be interested in: - Arbitrum - Optimism Optionally: - Avalanche - Gnosis
Nothing is written now, I guess the panic exits before the write-to-disk code is reached.
Why is there reentrancy in `skim()` detected by the tool?
Hi, is it possible to track the code coverage percentage during onchain fuzzing as it progresses?
``` thread 'main' panicked at 'arithmetic operation overflow', /home/rappie/.cargo/registry/src/index.crates.io-6f17d22bba15001f/primitive-types-0.12.1/src/lib.rs:38:1 stack backtrace: 0: rust_begin_unwind at /rustc/af06dce64bf87ea9206bdf6cff61c144b9ce8458/library/std/src/panicking.rs:577:5 1: core::panicking::panic_fmt at /rustc/af06dce64bf87ea9206bdf6cff61c144b9ce8458/library/core/src/panicking.rs:67:14 2: ::mul 3: ::oracle 4: ::is_interesting 5: ::evaluate_input_events 6: ::perform_all 7:...
I am encountering this issue with 90% of the results I have run on the Docker image [Testcase #0] run time: 0h-1m-5s, clients: 1, corpus: 58, objectives: 0, executions: 893,...
I am trying to fuzz ParaSpace, a vulnerable NFT project (https://github.com/SunWeb3Sec/DeFiHackLabs/blob/main/src/test/paraspace_exp.sol). It seems ItyFuzz has trouble to borrow & liquidate NFTs. ItyFuzz managed to find that vulnerability only after I...
We should support foundry and hardhat projects: - [ ] Create our own RPC endpoint for deployment -> address, bytecode, storage - [ ] Fork the destination chain