mkurzmann / soldecLinks
A decompiler for EVM Bytecode to Solidity Code (based on Erays)
☆24Updated 5 years ago
Alternatives and similar repositories for soldec
Users that are interested in soldec are comparing it to the libraries listed below
Sorting:
- A mutation testing tool for Solidity Smart Contracts☆81Updated 2 months ago
- Powerful Ethereum Smart-Contract Toolkit☆89Updated 2 years ago
- ☆109Updated 3 weeks ago
- BiAn is a code obfuscation tool for Solidity smart contracts (APSEC 2020).☆78Updated 4 years 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 10 months ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆119Updated last year
- MEV Data Corpus☆94Updated 2 years ago
- Collection of Forta Bots for on-chain anomaly/threat detection☆112Updated this week
- Verified Ethereum Smart Contract dataset☆29Updated last year
- ☆68Updated 2 years ago
- 🧠 A scriptable semantic grep utility for solidity☆146Updated 11 months ago
- ☆162Updated 3 years ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆92Updated 4 months ago
- Python wrapper around https://github.com/bluealloy/revm/ using PyO3☆177Updated 3 weeks ago
- Miner extractable value modeling and tools.☆125Updated 3 years ago
- UniswapV3 by examples☆143Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Miner extractable value modeling and tools.☆66Updated 3 years ago
- Analysis of MEV-Boost, PBS and Block building on Ethereum☆104Updated last year
- readable evm state diffs, enumerate full contract storage☆135Updated last year
- collection of all the stuff I am going through to understand mev☆51Updated 3 years ago
- All awesome mev-boost related content☆119Updated 2 years ago
- Detect proxy contracts and their target addresses using an EIP-1193 compatible JSON-RPC request function☆109Updated 2 months ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- ☆75Updated 4 months ago
- Assessing the nature and impact of MEV in eth2.☆68Updated 2 years ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆143Updated last year
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 11 months ago
- Alpha from various sectors in the blockchain space.☆135Updated 2 years ago