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.

Emilio López 48d90cb2f0 Use solc-select for solc installation		2 years ago
..
build-macos-release.sh	Change executable name from echidna-test to echidna (#826)	2 years ago
host.sh	Initial Windows support in CI	2 years ago
install-crytic-compile.sh	Use Slither for constant extraction (#451)	4 years ago
install-libff.sh	Try dynamic build	2 years ago
install-libsecp256k1.sh	Remove lib that causes failure to link	2 years ago
install-solc.sh	Use solc-select for solc installation	2 years ago
release-binary.sh	Change executable name from echidna-test to echidna (#826)	2 years ago