--- format: "aidr-story-markdown/v1" id: "ece011d9c6135f9db76a03643814a5a81b89cb09aa874e8198e3998f24c111d5" canonical_url: "https://aidr.today/ece011d9?lang=vi" title: "When LLM Decompilers Recompile More and Preserve Less" lang: "vi" requested_lang: "vi" available_langs: ["en","vi"] translation_fallback: null fallback_fields: [] published_at: "2026-10-12T02:44:55.000Z" category: "Research" topics: ["llm","coding","benchmark","security"] source_urls: ["https://arxiv.org/abs/2609.05370","https://lobste.rs/s/uzfa4k/when_llm_decompilers_recompile_more"] summary: "Biên dịch ngược khôi phục mã nguồn cấp cao từ mã máy đã biên dịch và là nền tảng cho các nhiệm vụ bảo mật như phát hiện lỗ hổng và phân tích mã độc. Các công cụ biên dịch ngược truyền thống như Ghidra và Hex-Rays sẽ hiển thị những gì chúng không thể giải quyết dưới dạng các trùng tượng giữ chỗ rõ rệt và thường phát ra mã giả không thể biên dịch hoặc thực thi; các công cụ biên dịch ngược dựa trên LLM sản xuất ra mã C sạch sẽ và trực quan, và hiện nay chủ yếu được đánh giá dựa trên khả năng biên dịch lại và thực thi lại: liệu đầu ra có được xây dựng và vượt qua các bài kiểm tra đầu vào/đầu ra đã gửi kèm. Chúng tôi chỉ ra rằng những số liệu này có thể thưởng cho con đường sai lầm: một hàm có thể biên dịch lại và vượt qua mọi bài kiểm tra đã gửi kèm nhưng vẫn khác biệt trên các đầu vào hợp lệ khác, và một lỗ hổng đã được tiết lộ có thể biến mất khỏi mã đã biên dịch lại mà không để lại bất kỳ dấu vết nào của sự sụp đổ. Không có bất kỳ sự thất bại nào trong số này được bắt bởi các bộ kiểm tra hiện có. Để giải quyết khoảng trống này, chúng tôi đề xuất Decompile-Diverge, một oracle so sánh hành vi không dựa trên các bài kiểm tra cố định hoặc thủ công: đối với mỗi hàm, nó t合成 một trình điề…" --- # When LLM Decompilers Recompile More and Preserve Less > [Open the canonical story]() **Published:** 2026-10-12T02:44:55.000Z **Category:** Research **Topics:** llm, coding, benchmark, security ## Summary Biên dịch ngược khôi phục mã nguồn cấp cao từ mã máy đã biên dịch và là nền tảng cho các nhiệm vụ bảo mật như phát hiện lỗ hổng và phân tích mã độc\. Các công cụ biên dịch ngược truyền thống như Ghidra và Hex\-Rays sẽ hiển thị những gì chúng không thể giải quyết dưới dạng các trùng tượng giữ chỗ rõ rệt và thường phát ra mã giả không thể biên dịch hoặc thực thi; các công cụ biên dịch ngược dựa trên LLM sản xuất ra mã C sạch sẽ và trực quan, và hiện nay chủ yếu được đánh giá dựa trên khả năng biên dịch lại và thực thi lại: liệu đầu ra có được xây dựng và vượt qua các bài kiểm tra đầu vào/đầu ra đã gửi kèm\. Chúng tôi chỉ ra rằng những số liệu này có thể thưởng cho con đường sai lầm: một hàm có thể biên dịch lại và vượt qua mọi bài kiểm tra đã gửi kèm nhưng vẫn khác biệt trên các đầu vào hợp lệ khác, và một lỗ hổng đã được tiết lộ có thể biến mất khỏi mã đã biên dịch lại mà không để lại bất kỳ dấu vết nào của sự sụp đổ\. Không có bất kỳ sự thất bại nào trong số này được bắt bởi các bộ kiểm tra hiện có\. Để giải quyết khoảng trống này, chúng tôi đề xuất Decompile\-Diverge, một oracle so sánh hành vi không dựa trên các bài kiểm tra cố định hoặc thủ công: đối với mỗi hàm, nó t合成 một trình điề… ## Sources - [Story source]() - [Discussion]()