Saved in:
Bibliographic Details
Main Authors: Zhuo, Zhuo, Zhang, Xiangyu
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2506.03504
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866908392628420608
author Zhuo, Zhuo
Zhang, Xiangyu
author_facet Zhuo, Zhuo
Zhang, Xiangyu
contents This proposal discusses the growing challenges in reverse engineering modern software binaries, particularly those compiled from newer system programming languages such as Rust, Go, and Mojo. Traditional reverse engineering techniques, developed with a focus on C and C++, fall short when applied to these newer languages due to their reliance on outdated heuristics and failure to fully utilize the rich semantic information embedded in binary programs. These challenges are exacerbated by the limitations of current data-driven methods, which are susceptible to generating inaccurate results, commonly referred to as hallucinations. To overcome these limitations, we propose a novel approach that integrates probabilistic binary analysis with fine-tuned large language models (LLMs). Our method systematically models the uncertainties inherent in reverse engineering, enabling more accurate reasoning about incomplete or ambiguous information. By incorporating LLMs, we extend the analysis beyond traditional heuristics, allowing for more creative and context-aware inferences, particularly for binaries from diverse programming languages. This hybrid approach not only enhances the robustness and accuracy of reverse engineering efforts but also offers a scalable solution adaptable to the rapidly evolving landscape of software development.
format Preprint
id arxiv_https___arxiv_org_abs_2506_03504
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Beyond C/C++: Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering
Zhuo, Zhuo
Zhang, Xiangyu
Software Engineering
This proposal discusses the growing challenges in reverse engineering modern software binaries, particularly those compiled from newer system programming languages such as Rust, Go, and Mojo. Traditional reverse engineering techniques, developed with a focus on C and C++, fall short when applied to these newer languages due to their reliance on outdated heuristics and failure to fully utilize the rich semantic information embedded in binary programs. These challenges are exacerbated by the limitations of current data-driven methods, which are susceptible to generating inaccurate results, commonly referred to as hallucinations. To overcome these limitations, we propose a novel approach that integrates probabilistic binary analysis with fine-tuned large language models (LLMs). Our method systematically models the uncertainties inherent in reverse engineering, enabling more accurate reasoning about incomplete or ambiguous information. By incorporating LLMs, we extend the analysis beyond traditional heuristics, allowing for more creative and context-aware inferences, particularly for binaries from diverse programming languages. This hybrid approach not only enhances the robustness and accuracy of reverse engineering efforts but also offers a scalable solution adaptable to the rapidly evolving landscape of software development.
title Beyond C/C++: Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering
topic Software Engineering
url https://arxiv.org/abs/2506.03504