solidity-parser / parser
A Solidity parser for JS built on top of a robust ANTLR4 grammar
☆156Updated last week
Related projects ⓘ
Alternatives and complementary repositories for parser
- TypeScript types and a JSON Schema for the Solidity AST☆93Updated last month
- Abstraction layer for smart contract build systems☆157Updated last week
- 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
- Mutation Testing for Ethereum Smart Contracts☆203Updated last year
- Scribble instrumentation tool☆316Updated 2 months ago
- EVM CFG recovery☆119Updated last year
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆282Updated last year
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆142Updated 4 months ago
- 🧠 A scriptable semantic grep utility for solidity☆144Updated 3 months ago
- Ethereum transaction decoder (community version).☆270Updated last year
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆155Updated 4 years ago
- Simplify Ethereum security analysis and testing☆332Updated last year
- Registry of 4byte function signatures and their human readable counterparts.☆210Updated last year
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆131Updated last year
- Ethereum transaction visualizer. Generates UML sequence diagram for a transaction's contract calls.☆447Updated 9 months ago
- Utilities for interacting with the Ethereum virtual machine☆366Updated 5 years ago
- Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.☆315Updated 2 weeks ago
- ☆159Updated 2 years ago
- The Solidity mocking library☆322Updated 3 weeks ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆322Updated 11 months ago
- Classification of smart contract vulnerabilities☆82Updated 5 years ago
- Materials related to security: docs, checklists, processes, etc...☆200Updated last month
- A binary lifter and analysis framework for Ethereum smart contracts☆306Updated this week
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆109Updated 5 years ago
- Verified contracts synced from Etherscan☆61Updated 6 years ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆116Updated 8 months ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆71Updated last year
- Python wrapper and version management tool for the solc Solidity compiler.☆141Updated 6 months ago
- 🕵️ allows you to see internal calls, events and storage operations in the console☆354Updated 2 months ago
- Verified Ethereum Smart Contract dataset☆26Updated last year