ATLAS: A Multi-Agent Framework for Lifting Binary to Canonical Compiler IR

Xiaoao Zhu, Ni Zhang, Jie Ren, Zhiqiang Li, Jie Zheng, Zhanyong Tang, Zheng Wang · 2026 · arXiv

DOI: 10.48550/arXiv.2610.30877 · open-access PDF

Arabic

إزالة الأثرياء المزروعة، التي تم تحسينها بشكل كبير إلى نموذج LLVM المتوسط (IR) الحالي، هو أمر ضروري لتقنيات التحليل الأمني والانتقال إلى البرمجيات المزروعة عند عدم الوصول إليها، ومع ذلك، فإن تحسينات الكمبيوتر المضادّة المضادّة تتمكن من إعادة كتابة التحكم والانتقال من البيانات، وإزالة البيانات البيولوجية، وإدخال الأثرياء المنخفضة التي تم حذفها من النوع، مما يجعلك تنجح في إنتاج IR المزروعة أو المزروعة من الجنس.

Machine translation (Meta M2M100); the English original follows.

Abstract

Lifting stripped, heavily optimized binaries to a canonical, pre-optimization LLVM intermediate representation (IR) is essential for downstream security analysis and legacy software migration when source code is unavailable. However, aggressive compiler optimizations rewrite control and data flow, remove structural metadata, and introduce type-erased low-level idioms, causing current lifters to produce malformed or semantically divergent IR. We present ATLAS, a multi-agent framework designed to reconstruct formally valid and canonical LLVM IR from optimized disassembly.ATLAS combines (i) Struc

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Is this paper real? This page was built from OpenAlex and arXiv records, not generated. Software can verify any reference in one call: GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.30877, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txt

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange