OpenZeppelin / solidity-ast
TypeScript types and a JSON Schema for the Solidity AST
β93Updated 2 weeks ago
Alternatives and similar repositories for solidity-ast:
Users that are interested in solidity-ast are comparing it to the libraries listed below
- β108Updated last week
- π§ A scriptable semantic grep utility for solidityβ144Updated 7 months ago
- Abstraction layer for smart contract build systemsβ170Updated 3 weeks ago
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traβ¦β129Updated 4 months ago
- Visual Studio Code integration for Slither, a Solidity static analysis frameworkβ35Updated 8 months ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammarβ164Updated last week
- Benchmark Generator for Smart-Contract Fuzzersβ133Updated 3 months ago
- Generate Ethereum smart contract storage layout with Hardhat.β65Updated last year
- EVM ByteCode To Opcode Disassemblerβ61Updated 4 months ago
- Verified Ethereum Smart Contract datasetβ29Updated last year
- EVM CFG recoveryβ122Updated last year
- Some useful snippets when using create2 in Solidityβ53Updated 3 years ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic executionβ75Updated 2 years ago
- Tools for Yul.β138Updated 2 years ago
- My solutions to https://ctf.paradigm.xyz/β62Updated 2 years ago
- A mutation testing tool for Solidity Smart Contractsβ76Updated last month
- Smart contract debugging data format β Standards development working groupβ58Updated last month
- πππ Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoderβ119Updated last year
- Bundler specification test suitesβ78Updated this week
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"β109Updated 5 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.β78Updated last year
- Symbolic execution engine written in Solidity, based on Difference Logic.β111Updated 2 years ago
- Detect proxy contracts and their target addresses using an EIP-1193 compatible JSON-RPC request functionβ108Updated 2 months ago
- CREATE3 (see EIP-3171) implemented in Solidityβ293Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidityβ227Updated last year
- Off-the-shelf Solidity smart contractsβ134Updated 3 months ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.β122Updated 2 years ago
- Using mutations to improve specs and test suitesβ183Updated 6 months ago
- A Foundry plugin that enables you to plot charts within solidity.β157Updated last year
- Convert an ABI to a solidity interfaceβ60Updated last year