crytic / crytic-compileLinks
Abstraction layer for smart contract build systems
β180Updated last week
Alternatives and similar repositories for crytic-compile
Users that are interested in crytic-compile are comparing it to the libraries listed below
Sorting:
- Mutation Testing for Ethereum Smart Contractsβ206Updated last year
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar πβ147Updated last year
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traβ¦β133Updated 3 months ago
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"β112Updated 5 years ago
- π§ A scriptable semantic grep utility for solidityβ146Updated 11 months ago
- Scribble instrumentation toolβ330Updated 3 months ago
- EVM CFG recoveryβ126Updated 2 years ago
- Benchmark Generator for Smart-Contract Fuzzersβ138Updated 7 months ago
- Simplify Ethereum security analysis and testingβ339Updated 5 months ago
- A binary lifter and analysis framework for Ethereum smart contractsβ326Updated this week
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilitiesβ134Updated 2 years ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic executionβ82Updated 2 years ago
- Materials related to security: docs, checklists, processes, etc...β202Updated this week
- A Solidity parser for JS built on top of a robust ANTLR4 grammarβ175Updated last week
- β131Updated 6 months ago
- Verified Ethereum Smart Contract datasetβ29Updated last year
- π An open dataset containing smart contract audit issues from various sources.β223Updated last year
- TypeScript types and a JSON Schema for the Solidity ASTβ96Updated 2 months ago
- Using mutations to improve specs and test suitesβ191Updated 2 months ago
- Website for the Underhanded Solidity Contestβ170Updated 8 months ago
- A mutation testing tool for Solidity Smart Contractsβ81Updated 3 months ago
- POC for DeFi Vulnerabilitiesβ198Updated 2 years ago
- Audits performed by Solidifiedβ184Updated last year
- β42Updated 3 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.β208Updated last year
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticallβ¦β94Updated 4 months ago
- Collection of public security reviewsβ199Updated last week
- Symbolic stack CFG generator for EVMβ185Updated 5 months ago
- β109Updated last month
- πππ Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoderβ119Updated last year