OpenZeppelin / solidity-astLinks
TypeScript types and a JSON Schema for the Solidity AST
☆95Updated last month
Alternatives and similar repositories for solidity-ast
Users that are interested in solidity-ast are comparing it to the libraries listed below
Sorting:
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆131Updated last month
- ☆108Updated last week
- 🧠 A scriptable semantic grep utility for solidity☆146Updated 10 months ago
- Abstraction layer for smart contract build systems☆174Updated last month
- EVM ByteCode To Opcode Disassembler☆61Updated 7 months ago
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 10 months ago
- A mutation testing tool for Solidity Smart Contracts☆81Updated last month
- ☆90Updated 4 years ago
- Bundler specification test suites☆80Updated last month
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆76Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆229Updated 2 years ago
- Using mutations to improve specs and test suites☆189Updated last month
- CREATE3 (see EIP-3171) implemented in Solidity☆301Updated 3 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆172Updated this week
- Off-the-shelf Solidity smart contracts☆134Updated 2 months ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆119Updated last year
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆212Updated last week
- Some useful snippets when using create2 in Solidity☆53Updated 3 years ago
- Foundry-Hardhat plugins: Use Foundry for Hardhat projects☆96Updated 10 months ago
- Tools for Yul.☆138Updated 2 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆138Updated 6 months ago
- ☆162Updated 3 years ago
- Smart contract debugging data format – Standards development working group☆63Updated 3 weeks ago
- ☆113Updated 2 months ago
- Mutation Testing for Ethereum Smart Contracts☆207Updated last year
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- Verified Ethereum Smart Contract dataset☆29Updated last year
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆111Updated 5 years ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆142Updated last year