ALT4Decompile: Inferring C-aligned Abstract Loop Tree for LLM-Based Binary Decompilation

ALT4Decompile explores an abstract loop-tree representation to help a language model reconstruct C-like control flow from assembly. It is relevant when a decompilation method struggles with jumps and nested loops. The current arXiv version has a changed title from the earlier SALT4Decompile version; treat both names as one evolving paper, not separate research findings.

Method to examine

Study how the paper builds and uses the loop representation before comparing reported test-pass results. Check whether the evaluation includes the compiler, optimization and obfuscation conditions relevant to your own task.

Version and artifacts

arXiv lists ALT4Decompile as v2 and SALT4Decompile as the historical v1 title. The author-linked repository contains code and some artifacts; the repository's own availability notes govern specific datasets and model archives.

Requirements & evidence

Resource type: Paper
Category: Unknown
Host platforms: Unknown
Targets: Unknown
Level: Unknown
Author(s): Yongpan Wang, Puzhuo Liu, Xin Xu, Siyuan Li, Yaowen zheng, Xiaodong Gu, Beijun Shen
Year: 2025
Venue: arXiv preprint
Current version: v2
Version date: 2026-08-25
Topic: Loop-tree representation for binary decompilation
Source checked: 2026-11-04T10:35:59.747429+00:00

Author-linked code: https://github.com/wang-yongpan/ALT4Decompile

Dataset: https://github.com/wang-yongpan/ALT4Decompile

Author-linked repository contains code and evaluation data; the README links 1.3B and 6.7B model archives, says its SFT dataset will be released later, and states the refinement script requires an OpenAI API token. Model archives were not downloaded or tested.

Unknown fields have not been established by an author or publisher source.

v1 (2025-09-18): SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation; v1 had five authors and is a historical version, not a separate paper

Primary sources

Source descriptions establish documented scope. They do not establish that every workflow has been reproduced by AI Craft Pad.