daejunpark / evm-disassembler
EVM ByteCode To Opcode Disassembler
☆61Updated 3 months ago
Alternatives and similar repositories for evm-disassembler:
Users that are interested in evm-disassembler are comparing it to the libraries listed below
- ☆107Updated 2 months ago
- ☆90Updated 4 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
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- ☆90Updated 8 months ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated last year
- Tools for Yul.☆138Updated last year
- A Proxy contract incorporating a Reentrancy Guard☆28Updated last year
- ☆76Updated 2 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 3 years ago
- A collection of gas optimizations for the EVM.☆90Updated 2 years ago
- List of Halmos resources.☆53Updated last week
- A tool that performs extraction of storage layouts based on EVM bytecode.☆135Updated last year
- proof first, evm specific smt solver☆69Updated 2 years ago
- Hands on Blockchain☆43Updated last year
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated last year
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆34Updated 6 months ago
- Solidity static analyzer☆83Updated last year
- A smart contract security search utility☆72Updated last month
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- An EVM bytecode disassembler/assembler☆36Updated 2 months ago
- Smart contract debugging data format – Standards development working group☆53Updated last week
- Foundry + Yul template☆94Updated last year
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- Paper: Data Representation in Solidity☆59Updated last year
- Cross chain call library for Solidity☆81Updated 2 years ago
- An opinionated template for Foundry projects.☆74Updated 8 months ago
- ☆104Updated 2 weeks ago
- Solidity challenges for EthernautDAO☆44Updated last year
- ☆28Updated 8 months ago