70 skills found · Page 1 of 3
crytic / EchidnaEthereum smart contract fuzzer
perimetersec / Evm Fuzzing ResourcesA curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).
devdacian / Solidity Fuzzing ComparisonA comparison of solidity fuzzing tools Foundry, Echidna & Medusa
Recon-Fuzz / ChimeraSmart Contract Property-Based Testing Framework
perimetersec / Public Fuzzing Campaigns ListA list of public fuzzing campaigns
crytic / Fuzz UtilsA tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
crytic / Echidna Streaming SeriesA 6-part series on how to use Echidna on real-world codebases
crytic / OptikOptik is a set of symbolic execution tools that assist smart-contract fuzzers
clabby / Echidna Vs ForgeTesting echidna vs. forge fuzzing
61131 / EchidnaCompiler and virtual machine run-time for IEC 61131-3 languages
Echidna-Pentest / EchidnaNo description available
crytic / Echidna ActionGitHub Action to run Echidna, the Ethereum smart contract fuzzer
perimetersec / FuzzlibGeneral purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
gamelinux / EchidnaNetwork Security Monitoring Framework
Recon-Fuzz / Create Chimera AppSolidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.
w3c / EchidnaNew publication workflow at W3C — main component
crytic / Echidna Spearbit DemoExample code for testing using Echidna explained during the Spearbit presentation
w3c / Spec ProdGitHub Action to build ReSpec/Bikeshed specs, validate output and publish to GitHub pages or W3C
Recon-Fuzz / Recon ExtensionExtension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Always published under Recon-Fuzz. Recommend building from source.
zer0detail / EchidnaA spiky Australian bug hunter
