{
  "added_at": "2026-11-09",
  "category": "native-analysis",
  "description_en": "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.",
  "description_zh": "FoxDec 是一个研究性反编译器，把 x86-64 二进制形式化地提升为可重新汇编的 NASM。当前版本以 NASM 作为中间表示，较早版本则提升为 C。README 将输入限制为遵循 System V AMD64 ABI 的顺序 C 二进制，快速开始通过 Docker 运行。",
  "entry_url": "https://awesomerea.org/resources/foxdec/",
  "entry_url_zh": "https://awesomerea.org/zh/resources/foxdec/",
  "evidence_url": "https://github.com/ssrg-vt/FoxDec/blob/d9206efe59a94138924d45c3d69d7c7afa1eb4ac/README.md",
  "group": "tools",
  "id": "foxdec",
  "json_url": "https://awesomerea.org/resources/foxdec/record.json",
  "kind": "tool",
  "markdown_url": "https://awesomerea.org/resources/foxdec/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/resources/foxdec/index.md",
  "name": "FoxDec",
  "name_zh": "FoxDec（x86-64 形式化反编译）",
  "record_type": "resource",
  "relationship": "foundation",
  "requirement_facets": [
    "limits",
    "prerequisites",
    "license"
  ],
  "requirements": [
    "Inputs must be x86-64 ELF binaries compiled from C under the System V AMD64 ABI. The README excludes C++ and concurrent code.",
    "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.",
    "GitHub reports the license as Apache-2.0."
  ],
  "requirements_zh": [
    "输入必须是按 System V AMD64 ABI 从 C 编译出的 x86-64 ELF 二进制。README 排除 C++ 和并发代码。",
    "发布的快速开始会下载一个 FoxDec 压缩包并用 Docker 运行。不使用 Docker 的构建写在 foxdec/docs/build.md，供开发者使用。把生成的 NASM 重新编译需要 nasm 和 gcc。",
    "GitHub 报告许可证为 Apache-2.0。"
  ],
  "targets": [
    "binary"
  ],
  "url": "https://github.com/ssrg-vt/FoxDec",
  "verification": "source-reviewed",
  "verified_at": "2026-11-07"
}