OpenZeppelin / solidity-ast
TypeScript types and a JSON Schema for the Solidity AST
☆93Updated 3 months ago
Alternatives and similar repositories for solidity-ast:
Users that are interested in solidity-ast are comparing it to the libraries listed below
- EVM ByteCode To Opcode Disassembler☆61Updated 2 months ago
- ☆107Updated last month
- Abstraction layer for smart contract build systems☆165Updated this week
- 🧠 A scriptable semantic grep utility for solidity☆145Updated 5 months ago
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆129Updated last month
- ☆100Updated 3 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Generate Ethereum smart contract storage layout with Hardhat.☆65Updated last year
- A mutation testing tool for Solidity Smart Contracts☆77Updated 10 months ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆117Updated 11 months ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆163Updated 2 months ago
- Verified Ethereum Smart Contract dataset☆28Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆130Updated last month
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆34Updated 6 months ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆75Updated last year
- ☆90Updated 3 years ago
- Using mutations to improve specs and test suites☆175Updated 4 months ago
- Simulate cross-chain protocols txs, easily.☆144Updated last week
- Tools for Yul.☆137Updated last year
- Smart contract debugging data format – Standards development working group☆50Updated 2 weeks ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆134Updated last year
- evm inception: the evm inside the evm via yul and solidity☆228Updated last year
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆77Updated last year
- Bundler specification test suites☆77Updated last week
- Symbolic stack CFG generator for EVM☆181Updated 8 months ago
- excessively safe solidity calls☆228Updated last year
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆208Updated last month
- A static analysis tool for calculating OO-style source code metrics for Solidity smart contracts.☆39Updated last year