Nightly (2024-06-05)

• No changes

Nightly (2024-06-06)

Other

• fix release (#503)
• Fix offchain test (#504)

Nightly

Other

• fix release (#503)
• Fix offchain test (#504)

Nightly (2024-06-05)

Other

• Fix offchain tests (#501)
• WIP: temporarily ignore the errors of offchain tests (#502)

Nightly (2023-12-05)

• No changes

Nightly (2023-11-02)

Other

• Wrap ityfuzz CLI (#228)
• Update readme (#230)
• Update readme (#232)
• Fix builder results parsing issues (#229)
• Remove core (#236)
• Update Permissions of executable file (#241)
• Fix #235: fix build/test errors when enabling 'sui_support' (#239)
• [skip ci] Fix ityfuzz bin (#244)
• Fix Onchain FP due to incorrect liquidation logic (#240)
• use fixed latest blocknumber when undefined (#245)
• Fix #208: move_fuzzer supports generic structs (#243)
• Fix reserve oracle (#247)
• fix abi corpus(receive/fallback) (#246)
• handle instrinc tx (#250)
• Fix #248: upgrade heimdall (#254)
• Reduce Havoc + Fix for Olympus + Reentrancy Oracle (#251)
• etherscan_key as env (#255)
• Typo fix (#256)
• Del unused code [Liquidite] (#258)
• Feature generate foundry test file (#261)
• skip bytecode decode when using builder (#263)
• Fix concolic solution conflict with abi (#262)
• Fix #259: more elegant way to build (#264)
• More elegant way to build (#270)
• allow whitespace in bin file (#274)
• Feature: generate foundry test file (#266)
• Optimize ERC20 Oracles (#273)
• New Sequential Minimizer (#267)
• Fix #260: failed to parse abis file (#280)
• Fix #275: onchain verilog ctf test on longer pwnable (#278)
• Fix #269: use tracing instead of println (#281)
• Revert "Fix #269: use tracing instead of println" (#286)
• Fix #282: use minimized concise_inputs to generate foundry test (#290)
• fix coverge on_insert (#287)
• Fix #283: skip solving after call stack exceeds MAX_CALL_DEPTH (#291)
• [skip ci] redirect to docs (#299)
• Update README.md (#300)
• Update README.md (#301)
• [skip ci] redirect to docs (#302)
• Update Cargo.toml (#305)
• Multithreaded constraint solving (#292)
• Add ExploitTemplate (#276)
• Invariant (#279)
• Feat:integer overflow oracle (#293)

0.0.2

New Feature

• Support one-click Foundry & Hardhat project fuzzing by directly deploying to ItyFuzz testnet
• Support Echidna, Scribble, and Foundry (mostly) invariants
• Support generating coverage report with covered and uncovered Solidity code
• Support taint analysis
• Support new chains: Gnosis, zkEVM, Arbitrum, Base, Optimism, and their testnets
• Support fuzzing contracts without ABI onchain
• Support fuzzing with older EVM specs
• Support dumping contract relations

Improvements

• More accurate coverage tracking using source map
• Optimized for reentrancy attack
• Removed Python proxy and use file system for caching
• Faster corpus manager
• Faster feedback
• Faster EVM executor

Bug Fix

• Fixed multiple bugs causing FP for reentrancy
• Fixed multiple bugs when handling flashloan
• Fixed crashes due to failing RPC calls
• Fixed crashes due to calling unfetched code in onchain campaign

0.0.1

alpha release