Smart contract decompiler that uses symbolic execution
Hi All, I released an EVM/Solidity decompiler recently, here: http://www.eveem.org/ Since it uses symbolic execution underneath, the results are quite awesome. There is also an api that delivers a .json / middle language representation of every contract here: http://eveem.org/code/{{address}}.json The plan is to open-source it as soon as I clean up the code a bit. Spent the last two month crunch-time to get it delivered from scratch :)
Smart contract decompiler that uses symbolic execution launched on December 7, 2018 with 68 votes, #526 of 2,148 launches that month and more than 90% of that year's launches.
In plain words
This tool decompiles EVM and Solidity smart contracts using symbolic execution to reverse-engineer bytecode into readable code. It serves blockchain developers, auditors, and researchers who need to understand compiled contracts. The tool offers both a web interface and an API that returns contract analysis in JSON and an intermediate language format, making it useful for security review, code analysis, and contract verification.
written from the facts on this page · September 2026
Does a similar job
all alternatives →
I wrote a Java decompiler in pure C language2025 · github.com · ▲172The world's fastest apk (android)/java open source decompiler - neocanable/garlic
EVMole for Analysing EVM Bytecode2025 · evmole.xyz · ▲22Hi HN, I'm excited to share the latest release of EVMole, a smart contract analysis tool for Ethereum (works directly with bytecode - verified contracts are not required). In version 0.7.1, I've added an advanced Control Flow Graph Reconstruction feature that, even though benchmarks are still coming, already outperforms every existing solution in both accuracy and speed. In addition to the new CFG capabilities, EVMole continues to offer function selector, argument, state mutability, and storage layout analysis. Open-source libraries are available in Rust, Python, and JavaScript. Online Demo:…
Open Source Suite for Binary Analysis, Based on QEmu and LLVM2018 · rev.ng · ▲46Next-gen decompiler.
- DPDharma – Programmable Peer-To-Peer Loans Using Ethereum Smart Contracts2017 · ▲156
Hey HN! My name's Nadav Hollander, and I'm the Founder of Dharma. Dharma is building an open-source library that makes it really easy to programatically borrow and lend cryptocurrencies using smart contracts on the Ethereum blockchain. Today we're launching our Alpha Testnet release -- a command line tool that allows you to 1. Access a line of cryptocurrency credit from the command line in under 5 minutes 2. Easily build a bot that auto-invests in loans under hyper-customizable, programmable criteria Check it out: https://github.com/dharmaprotocol/dharma-cli Why I Think…
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 23d ago · openbot.run
Talanoa▲346Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 20d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 28d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, December 2018
the whole month →
remove.bg▲2,028Remove image backgrounds automatically in 5 seconds with just one click. Don't spend hours manually picking pixels. Upload your photo now & see the magic.
Work · 2018 · remove.bg
Humaaans▲1,592Mix-&-match illustrations of humans with a design library.
Growth · 2018 · humaaans.com
Make your ideas look awesome, without relying on a designer
Life & fun · 2018 · refactoringui.com
Everything you ever wanted to know about YC companies
Growth · 2018 · ycdb.co
Visa List 1.0▲576Know where you can travel with your passport tension free ✈️
Life & fun · 2018 · visalist.io