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 8347ad91c3 Improve max code size error message (#1269) ... * Improve max code size error message * Change codeSize default to 0xffffffff		5 months ago
..
abiv2	Echidna 2.0 (#716)	3 years ago
addressarrayutils	Echidna 2.0 (#716)	3 years ago
assert	Fix comment misspell (#1217)	8 months ago
bad	echidna: enable compact-unwind on macOS (#1084)	1 year ago
basic	Improve max code size error message (#1269)	5 months 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
symbolic	Add symbolic execution (#1216)	6 months ago
values	Lock the seed for extreme.sol test (#955)	2 years ago