ConsenSysDiligence / solc-typed-astLinks
A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.
☆133Updated 3 months ago
Alternatives and similar repositories for solc-typed-ast
Users that are interested in solc-typed-ast are comparing it to the libraries listed below
Sorting:
- TypeScript types and a JSON Schema for the Solidity AST☆96Updated 3 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆138Updated 8 months ago
- Abstraction layer for smart contract build systems☆181Updated this week
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆148Updated last year
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆83Updated 2 years ago
- EVM CFG recovery☆126Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆177Updated last month
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆134Updated 2 years ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆220Updated last week
- ☆64Updated 3 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.