patrickd- / solidity-fuzzing-boilerplateView external linksLinks
Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
☆213Dec 25, 2023Updated 2 years ago
Alternatives and similar repositories for solidity-fuzzing-boilerplate
Users that are interested in solidity-fuzzing-boilerplate are comparing it to the libraries listed below
Sorting:
- evm inception: the evm inside the evm via yul and solidity☆227Apr 19, 2023Updated 2 years ago
- Solidity mocking provider for testing☆62Aug 4, 2022Updated 3 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- A minimalistic contract to execute a payload and make the code size of the msg.sender appear to be 0.☆138Apr 18, 2022Updated 3 years ago
- Practical tutorials of Certora Prover☆241Sep 27, 2023Updated 2 years ago
- Development framework for Foundry projects☆288Apr 23, 2025Updated 9 months ago
- Damn Vulnerable DeFi - Foundry Version☆510Feb 6, 2024Updated 2 years ago
- A curated list of resources for Huff language☆315Jan 11, 2024Updated 2 years ago
- ☆115Feb 27, 2022Updated 3 years ago
- Material for Solidity Summit 2022 workshop on Foundry☆90May 11, 2022Updated 3 years ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆167Jul 14, 2022Updated 3 years ago
- Solidity – Compilable Cheatsheet☆231Sep 14, 2024Updated last year
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- ☆164Jul 30, 2023Updated 2 years ago
- Semgrep rules for smart contracts based on DeFi exploits☆705Jun 2, 2025Updated 8 months ago
- ☆10Mar 2, 2023Updated 2 years ago
- Guidelines and training material to write secure smart contracts☆2,447Jan 26, 2026Updated 2 weeks ago
- a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance