tintinweb / solgrepLinks
🧠 A scriptable semantic grep utility for solidity
☆145Updated last year
Alternatives and similar repositories for solgrep
Users that are interested in solgrep are comparing it to the libraries listed below
Sorting:
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆210Updated last year
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆121Updated last year
- Symbolic stack CFG generator for EVM☆187Updated 7 months ago
- Replay and track historical state☆205Updated 8 months ago
- template for efficient paradigm ctf testing & scripts☆155Updated 2 years ago
- Pre-built security properties for commonly forked DeFi protocols☆195Updated last year
- Collection of Forta Bots for on-chain anomaly/threat detection☆118Updated this week
- A Foundry template to compile and test Vyper contracts.☆177Updated last year
- A curated list of major DeFi hacks along with their POCs in foundry☆82Updated last year
- Practical tutorials of Certora Prover☆239Updated 2 years ago
- Website for the Underhanded Solidity Contest☆169Updated 10 months ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆145Updated last year
- 🦠🔬 Forta bot that detects deployment of smart contracts containing exploits☆50Updated 2 years ago
- Diff EVM-compatible chains in a friendly format☆289Updated 7 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆123Updated last year
- ☆115Updated 3 years ago
- ☆99Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆228Updated 2 years ago
- Hunt for common bad practices in Solidity smart contracts !☆122Updated 2 years ago
- Powerful Ethereum Smart-Contract Toolkit☆90Updated 2 years ago
- A smart contract security search utility☆74Updated 9 months ago
- ☆105Updated 2 years ago
- A simple template to perform whitehacks safely☆179Updated 2 years ago
- 10 More EVM Puzzles☆170Updated last year
- Using mutations to improve specs and test suites☆192Updated 4 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆224Updated last year
- Price oracle manipulation attacks in defi☆52Updated 3 years ago
- Materials related to security: docs, checklists, processes, etc...☆203Updated last month
- ☆165Updated 2 years ago
- POC for DeFi Vulnerabilities☆199Updated 3 years ago