Elipmoc: advanced decompilation of Ethereum smart contracts
summary
Elipmoc claims a practical, high-precision decompiler for Ethereum bytecode that resolves operands 99.5% of the time versus Gigahorse’s 62.8%, yields up to 67% more coverage of external calls than Panoramix and runs over 5× faster. It combines transactional sensitivity to separate dynamic executions, a scalable path-sensitive argument and return inference engine, and context-sensitive private function reconstruction to recover structured IR and readable sourcelike output and it has enabled discovery of multi‑million dollar vulnerabilities.
AI-written summary · about
chapters (17)
- 0:00Start
- 0:24Ethereum Background
- 1:12The Ethereum Virtual Machine (EVM)
- 2:13Why not analyze source?
- 3:17Simple Smart Contract (Solidity)
- 4:00Simple Smart Contract (compiled)
- 5:27Decompilation Definition
- 7:06Elipmoc/Gigahorse Decompilation Pipeline Overview
- 9:16Main Contributions
- 10:34Source unparser output
- 11:14Transactional Sensitivity Overview
- 13:13Transactional Context Sensitivity Example
- 15:17Function Reconstruction Overview
- 16:07Evaluation Overview
- 16:56Comparison with Gigahorse: Precision, completeness, and scalability metrics
- 19:19Comparison with Gigahorse: Scalability
- 20:28Comparison with Panoramix
related talks
01h 10mHow Context-Sensitive Static Analysis Led to the Best Smart Contract Decompiler
21mErays: Reverse Engineering Ethereum's Opaque Smart Contracts
22mHow Decompilation Uncovers Smart Contract Vulnerabilities
44mRevela: Unlock The Secrets Of Move Smart Contracts
48mD1T2 - Smashing Ethereum Smart Contracts for Fun and ACTUAL Profit
23mThanks for all the bugs!
45m"Advanced Malware Threat: handling obfuscated code using..."
12mPlank: The New Best Way to Develop Smart Contracts