tintinweb / solgrepLinks
🧠 A scriptable semantic grep utility for solidity
☆144Updated last year
Alternatives and similar repositories for solgrep
Users that are interested in solgrep are comparing it to the libraries listed below
Sorting:
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆124Updated last year
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆211Updated last year
- Collection of Forta Bots for on-chain anomaly/threat detection☆119Updated 2 weeks ago
- template for efficient paradigm ctf testing & scripts☆151Updated 2 years ago
- Website for the Underhanded Solidity Contest☆169Updated last year
- Powerful Ethereum Smart-Contract Toolkit☆89Updated 2 years ago
- Price oracle manipulation attacks in defi☆52Updated 3 years ago
- Pre-built security properties for commonly forked DeFi protocols☆196Updated 2 years ago
- Symbolic stack CFG generator for EVM☆189Updated 10 months ago
- A curated list of major DeFi hacks along with their POCs in foundry☆82Updated last year
- A tool that performs extraction of storage layouts based on EVM bytecode.☆148Updated this week
- ☆115Updated 3 years ago
- ☆164Updated 2 years ago
- A Foundry template to compile and test Vyper contracts.☆177Updated last year
- Hunt for common bad practices in Solidity smart contracts !☆123Updated 2 years ago
- Alpha from various sectors in the blockchain space.☆134Updated 3 years ago
- ☆193Updated 2 years ago
- Replay and track historical state☆219Updated 10 months ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- ☆164Updated 3 years ago
- Finds matching solidity function signatures for a given 4 byte signature hash and arguments.☆113Updated 2 years ago
- ☆195Updated 4 years ago
- evm inception: the evm inside the evm via yul and solidity☆227Updated 2 years ago
- Practical tutorials of Certora Prover☆241Updated 2 years ago
- ☆99Updated 3 years ago
- Materials related to security: docs, checklists, processes, etc...☆203Updated last month
- A checklist detailing DevSecOps practices for EVM-based projects.☆149Updated 3 years ago
- ☆136Updated last year
- Using mutations to improve specs and test suites☆199Updated 7 months ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆75Updated last year