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
- Powerful Ethereum Smart-Contract Toolkit☆89Updated 2 years ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆140Updated last year
- EVM ByteCode To Opcode Disassembler☆61Updated 5 months ago
- All awesome mev-boost related content☆119Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆118Updated last year
- ☆108Updated last month
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆85Updated last month
- Verified Ethereum Smart Contract dataset☆29Updated last year
- proof first, evm specific smt solver☆69Updated 3 years ago
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆91Updated 2 years ago
- A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation library☆55Updated last year
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- Python wrapper around https://github.com/bluealloy/revm/ using PyO3☆175Updated 9 months ago
- Geth client which picks the most profitable blocks to mine using a greedy algorithm☆82Updated 3 years ago
- Standalone simulator for debugging bundles☆27Updated 2 years ago
- helps you preserve the ethereum dataset fresh, fast and small☆117Updated last year
- Ethereum execution client based on go-ethereum with mev searcher additions☆71Updated 4 months ago
- readable evm state diffs, enumerate full contract storage☆136Updated last year
- ☆34Updated last year
- BiAn is a code obfuscation tool for Solidity smart contracts (APSEC 2020).☆76Updated 4 years ago
- ☆94Updated 3 years ago
- Perform various checks against tokens on-chain with 0 gas and 0 deployments☆122Updated 3 years ago
- Minimal bytecode peephole optimizer☆126Updated 2 months ago
- Curve Vyper Tutorial : How to Build a $CRV-stablecoin☆78Updated 3 weeks ago
- ☆96Updated 2 years ago
- ☆87Updated 2 years ago
- A curated list of awesome resources and projects that concern blockchain interoperability☆107Updated 9 months ago
- A mutation testing tool for Solidity Smart Contracts☆78Updated 3 weeks ago