Recomp / RE tooling / Ethereum
Vandal
University of Sydney static analysis framework that lifts EVM bytecode to a control flow graph and runs Datalog analyses on it.
Tool Human-led wipFacts
- Original
- Ethereum smart contract bytecode
- Platform
- Ethereum
- Method
- Tool
- Provenance
- Human-led · Repo created 2017, predates AI coding tools (GitHub) what this means
- Status
- wip
- Licence
- BSD-3-Clause
- Team
- usyd-blockchain
- Started
- 2017-12
- Runs on
- Linux, macOS
- Needs the original
- No
How to get it legally
Download it from the official repository. No original files are needed.
This project was rebuilt by usyd-blockchain. Facts last checked 2026-10-14.
Sources
Related
All re tooling →ABCDE
OpenHarmony ABC bytecode
Kotlin toolkit for reverse engineering OpenHarmony apps, with an ABC file parser library and early decompilation support.
Anvill
Machine code to LLVM bitcode
Machine-code lifting framework built on Remill that produces LLVM bitcode from binaries, intended as a step toward decompiling to C.
apk-decompiler
Android APK files
Small Rust utility that chains existing tools to decompile Android APK files; idle since 2019.
ArkDecompiler
HarmonyOS NEXT bytecode (ArkTS)
Decompiler for HarmonyOS NEXT applications.
AvaloniaILSpy
.NET assemblies
Cross-platform Avalonia port of the ILSpy .NET decompiler. Archived after no maintainers stepped forward.
BinAbsInspector
Binaries (Ghidra-based abstract interpretation)
Ghidra-based static analyzer from KeenLab that uses abstract interpretation to scan binaries for vulnerabilities.