Tool

FoxDec

FoxDec is a research decompiler for formally checked lifting of x86-64 binaries to recompilable NASM. The current version uses NASM as its intermediate representation, and an earlier version lifted C. The README limits inputs to sequential C binaries that follow the System V AMD64 ABI, and the quick start runs through Docker.

Targets: Binary
Category: Native analysis tools
Relationship: Foundation tool
Sources reviewed: 2026-11-07

Stars: 57
Last commit: 2026-03-19
Language: HTML
License (GitHub): Apache-2.0

GitHub data as of 2026-11-09

Copy as Markdown View JSON Cite

Requirements & limits

Prerequisites: The published quick start downloads a FoxDec zip and uses Docker. Building without Docker is documented for developers in foxdec/docs/build.md. Recompiling the NASM output uses nasm and gcc.
Limits: Inputs must be x86-64 ELF binaries compiled from C under the System V AMD64 ABI. The README excludes C++ and concurrent code.
License: GitHub reports the license as Apache-2.0.

Cite

BibTeX

@misc{foxdec,
  title = {{FoxDec}},
  howpublished = {\url{https://github.com/ssrg-vt/FoxDec}},
  url = {https://github.com/ssrg-vt/FoxDec},
  urldate = {2026-11-07},
  note = {Awesome REA entry: \url{https://awesomerea.org/resources/foxdec/}}
}

Plain text

FoxDec. https://github.com/ssrg-vt/FoxDec (accessed 2026-11-07). Awesome REA entry: https://awesomerea.org/resources/foxdec/

Useful? Star Awesome REA on GitHub2.4k

About this entry

The description was reviewed against primary sources.

Report an outdated entry Suggest a translation fix

Primary sources

README.md GitHub · ssrg-vt/FoxDec · Revision d9206ef