OpenZeppelin / solidity-ast
TypeScript types and a JSON Schema for the Solidity AST
☆93Updated last month
Related projects ⓘ
Alternatives and complementary repositories for solidity-ast
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆127Updated 2 months ago
- 🧠 A scriptable semantic grep utility for solidity☆144Updated 3 months ago
- Abstraction layer for smart contract build systems☆157Updated last week
- ☆107Updated 3 weeks ago
- Benchmark Generator for Smart-Contract Fuzzers☆125Updated 5 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆109Updated 2 years ago
- Tools for Yul.☆137Updated last year
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆116Updated 8 months ago
- Generate Ethereum smart contract storage layout with Hardhat.☆64Updated last year
- A mutation testing tool for Solidity Smart Contracts☆74Updated 8 months ago
- ☆130Updated 6 months ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆156Updated last week
- ☆90Updated 3 years ago
- Mutation Testing for Ethereum Smart Contracts☆203Updated last year
- Solidity library with basic trigonometry functions☆146Updated last year
- ☆95Updated 3 weeks ago
- CREATE3 (see EIP-3171) implemented in Solidity☆283Updated 2 years ago
- EVM ByteCode To Opcode Disassembler☆61Updated 2 weeks ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated last year
- Foundry-Hardhat plugins: Use Foundry for Hardhat projects☆93Updated 3 months ago
- 🛠️ Easily track & compare gas costs estimated by Foundry on each of your Pull Requests!☆204Updated this week
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆206Updated 11 months ago
- ☆159Updated 2 years ago
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆109Updated 5 years ago
- Symbolic stack CFG generator for EVM☆180Updated 6 months ago
- Simulate cross-chain protocols txs, easily.☆139Updated 3 months ago
- ☆130Updated 2 years ago
- Using mutations to improve specs and test suites☆167Updated 2 months ago
- EVM CFG recovery☆120Updated last year
- Solidity 0.8.X AST parsing and analysis in Rust.☆76Updated last year