daejunpark / evm-disassembler
EVM ByteCode To Opcode Disassembler
☆61Updated 4 months ago
Alternatives and similar repositories for evm-disassembler:
Users that are interested in evm-disassembler are comparing it to the libraries listed below
- ☆108Updated this week
- ☆90Updated 4 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 7 months ago
- TypeScript types and a JSON Schema for the Solidity AST☆93Updated last week
- ☆107Updated last month
- A simple EVM bytecode debugger☆19Updated 3 years ago
- Paper: Data Representation in Solidity☆60Updated last year
- An EVM bytecode disassembler/assembler☆45Updated 3 months ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated 2 years ago
- Tools for Yul.☆138Updated last year
- Hands on Blockchain☆43Updated last year
- A mutation testing tool for Solidity Smart Contracts☆76Updated last month
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated 2 years ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆118Updated last year
- proof first, evm specific smt solver☆69Updated 2 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆133Updated 3 months ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆139Updated last year
- ☆34Updated last year
- EVM bytecode disassembler☆25Updated 3 years ago
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions☆40Updated 3 years ago
- ☆99Updated last year
- ☆76Updated 2 years ago
- A static analysis tool for calculating OO-style source code metrics for Solidity smart contracts.☆39Updated last year
- GitHub Action to run Echidna, the Ethereum smart contract fuzzer☆60Updated last year
- Smart contract debugging data format – Standards development working group☆58Updated last month
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆75Updated 2 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago