Recomp / RE tooling / Starknet
Thoth
Archived security toolkit for Cairo/Starknet bytecode with an analyzer, disassembler, decompiler and symbolic execution.
Tool Human-led archivedFacts
- Original
- Cairo and Starknet bytecode
- Platform
- Starknet
- Method
- Tool
- Provenance
- Human-led · Repo created 2022, predates AI coding tools (GitHub) what this means
- Status
- archived
- Licence
- AGPL-3.0
- Team
- FuzzingLabs
- Started
- 2022-06
- Runs on
- Linux
- Needs the original
- No
How to get it legally
Download it from the official repository or website. No original files are needed.
This project was rebuilt by FuzzingLabs. 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.
Binary Ninja
Multi-architecture native binaries
Commercial reverse engineering platform built around layered intermediate languages; its public API, examples and plugin interface are MIT-licensed on GitHub.