# 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.

- Type: Tool
- Targets: Binary
- Category: Native analysis tools
- Relationship: Foundation tool
- Sources reviewed: 2026-11-07
- Added to the catalog: 2026-11-09
- Original resource: <https://github.com/ssrg-vt/FoxDec>
- Primary source: <https://github.com/ssrg-vt/FoxDec/blob/d9206efe59a94138924d45c3d69d7c7afa1eb4ac/README.md>
- Catalog page: <https://awesomerea.org/resources/foxdec/>
- Record JSON: <https://awesomerea.org/resources/foxdec/record.json>
- Chinese version: [简体中文](https://awesomerea.org/zh/resources/foxdec/index.md)

## 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.

## Primary sources

1. <https://github.com/ssrg-vt/FoxDec/blob/d9206efe59a94138924d45c3d69d7c7afa1eb4ac/README.md>

## More in Native binaries

- [Dragodis](https://awesomerea.org/resources/dragodis/index.md) · Tool
- [MBBSDASM](https://awesomerea.org/resources/mbbsdasm/index.md) · Tool
- [blc](https://awesomerea.org/resources/blc/index.md) · Tool
- [IDA BPF Processor](https://awesomerea.org/resources/ida-bpf-processor/index.md) · Tool
- [Udis86](https://awesomerea.org/resources/udis86/index.md) · Tool
- [Quick Assembler](https://awesomerea.org/resources/quickasm/index.md) · Tool

## About this entry

The description was reviewed against primary sources.
Original editorial content: MIT. Linked projects, papers and assets retain their own rights and licenses.
