crytic / crytic-compile
Abstraction layer for smart contract build systems
☆149Updated last week
Related projects: ⓘ
- EVM CFG recovery☆118Updated last year
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆110Updated 4 years ago
- Mutation Testing for Ethereum Smart Contracts☆202Updated 9 months ago
- TypeScript types and a JSON Schema for the Solidity AST☆91Updated last week
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆141Updated 2 months ago
- 🧠 A scriptable semantic grep utility for solidity☆142Updated last month
- A binary lifter and analysis framework for Ethereum smart contracts☆296Updated this week
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆124Updated this week
- Simplify Ethereum security analysis and testing☆330Updated last year
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆130Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆121Updated 2 months ago
- ☆107Updated last month
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆205Updated 8 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆172Updated 5 months ago
- Materials related to security: docs, checklists, processes, etc...☆199Updated last week
- Using mutations to improve specs and test suites☆164Updated 2 weeks ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆151Updated 6 months ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆70Updated last year
- Scribble instrumentation tool☆313Updated 3 weeks ago
- Symbolic stack CFG generator for EVM☆173Updated 4 months ago
- Classification of smart contract vulnerabilities☆81Updated 5 years ago
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆290Updated this week
- A mutation testing tool for Solidity Smart Contracts☆73Updated 5 months ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆117Updated 6 months ago
- symbolic EVM evaluator☆227Updated this week
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆203Updated last year
- ☆117Updated last year
- DEFI Focus Smart Contract Security Capture the Flag☆175Updated last year
- ☆160Updated 2 years ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆104Updated last month