Ethereum smart contract fuzzer

ethereumsmart-contractssolidityevmsecurityfuzzertesting

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Artur Cygan 87449e9896 Multicore (#963) ... * Multicore * Try different approach for stopping workers * Fix windows warning * Cleanup * Distribute corpus replay across workers * Change jobs to workers in config and CLI * Fix corpus chunking * Use better chunksOf * Fix JSON output * Fix rebasing mistake * Fix workers not stopping while fetching RPC * Fix optimization tests shrinking * Dont set Solved for optimization tests		2 years ago
..
abiv2	Echidna 2.0 (#716)	3 years ago
addressarrayutils	Echidna 2.0 (#716)	3 years ago
assert	Rename multi-abi to allContracts (#934)	2 years ago
bad	Echidna 2.0 (#716)	3 years ago
basic	Multicore (#963)	2 years ago
cheat	Fix ffi test by using python instead of echo	2 years ago
coverage	Mutable coverage (#1003)	2 years ago
dapptest	Dapp mode fuzzing support (#733)	3 years ago
optimize	Echidna 2.0 (#716)	3 years ago
overflow	Echidna 2.0 (#716)	3 years ago
rawtxs	Echidna 2.0 (#716)	3 years ago
research	Dapp mode fuzzing support (#733)	3 years ago
rpc	Fetch contracts through RPC	2 years ago
values	Lock the seed for extreme.sol test (#955)	2 years ago