mkurzmann / soldec
A decompiler for EVM Bytecode to Solidity Code (based on Erays)
☆25Updated 4 years ago
Alternatives and similar repositories for soldec
Users that are interested in soldec are comparing it to the libraries listed below
Sorting:
- EVM ByteCode To Opcode Disassembler☆61Updated 6 months ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆118Updated last year
- A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation library☆55Updated last year
- ☆108Updated this week
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆91Updated 2 months ago
- CTF-like challenges of smart contracts☆63Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Analysis of MEV-Boost, PBS and Block building on Ethereum☆104Updated last year
- helps you preserve the ethereum dataset fresh, fast and small☆118Updated last year
- proof first, evm specific smt solver☆69Updated 3 years ago
- A collection of gas optimizations for the EVM.☆92Updated 2 years ago
- Collection of Forta Bots for on-chain anomaly/threat detection☆111Updated this week
- Chief Proxy Operator☆134Updated 3 years ago
- ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions☆39Updated 3 years ago
- Python wrapper around https://github.com/bluealloy/revm/ using PyO3☆176Updated 9 months ago
- Powerful Ethereum Smart-Contract Toolkit☆89Updated 2 years ago
- Simulate cross-chain protocols txs, easily.☆147Updated last month
- readable evm state diffs, enumerate full contract storage☆136Updated last year
- ☆34Updated last year
- 🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3, modified for building & testing with Foundry☆109Updated 2 years ago
- ☆67Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 4 years ago
- Minimal bytecode peephole optimizer☆127Updated 3 months ago
- Perform various checks against tokens on-chain with 0 gas and 0 deployments☆122Updated 3 years ago
- simulates MEV activity from an array of unique searchers; used for testing infra☆123Updated 8 months ago
- UniswapV3 by examples☆144Updated 2 years ago
- ☆63Updated last year
- Go implementation of MEV-Auction for Ethereum, with additional tools for searchers☆27Updated 2 years ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆141Updated last year
- on-chain liquidation bot built with Huff language☆106Updated 2 months ago