This website works better with JavaScript.
Explore
Home
Sign In
TheDude
/
echidna
mirror of
https://github.com/crytic/echidna
Watch
1
Star
0
Fork
You've already forked echidna
0
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Ethereum smart contract fuzzer
ethereum
smart-contracts
solidity
evm
security
fuzzer
testing
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.
1272
Commits
42
Branches
34
Tags
9.1 MiB
Haskell
49.2%
Solidity
48.1%
Nix
1.3%
Shell
0.7%
Dockerfile
0.6%
Tag:
Branch:
Tree:
312a9e1490
arcz/rpc-cleanup
catchMVarErrors
cov-wip-10-rebased-again
covDuringDeploy
dev-all-events
dev-allow-additional-slither-info
dev-auto
dev-cov-exec-counts
dev-cov-exec-counts-notup-test
dev-debugger
dev-gc-tweak-2
dev-lcov-example
dev-mem-coverage
dev-receive
dev-research
dev-setUp-for-all
dev-test-solc
dev-unlimited-test
dev-unrevert-exploration
docker-multi-platform
docker-multiplatform
elopez/windows-build
elopez/windows-build-refresh-2
fix-print-bytes-as-hex
foundry
hevm-0.50.5
hevm-0.51.0
init-config
logReproducerFilename
m1-builds-github
main
master
nix-refactor-cross-builds
noRevertsToCorpus
removeRevert
removeReverts2
saveCoverageEarly3
simple-installer
simplifyExecTx
symexec
symexec3
test-windows
1.0.0.0
1.1.0.0
a850fb2
aa472a1
d934170
e395687
v1.2.0.0
v1.3.0.0
v1.4.0.0
v1.4.0.1
v1.5.0
v1.5.1
v1.6.0
v1.6.1
v1.7.0
v1.7.1
v1.7.2
v1.7.3
v2.0.0
v2.0.0-b1
v2.0.0-b2
v2.0.1
v2.0.2
v2.0.3
v2.0.4
v2.0.5
v2.1.0
v2.1.1
v2.2.0
v2.2.1
v2.2.2
v2.2.3
v2.2.4
v2.2.5
Branches
Tags
${ item.name }
Create tag
${ searchTerm }
Create branch
${ searchTerm }
from '312a9e1490'
${ noResults }
echidna
/
.gitattributes
2 lines
56 B
Raw
Blame
History
*.sol linguist-language=Solidity
*.sh eol=lf
Reference in new issue
View Git Blame
Copy Permalink