This post is about the brute-force reverse engineering of binary (compiled) programs using Large Language Models (LLMs) to automate this two-part problem: decompilation and conversion to a modern programming language.

The most interesting part for most will likely be the demonstration on how to use differential-property testing to automate the LLM feedback loop for the rewrite (translation) phase (in this case to rewrite to Rust).

This that I believe would solve the 'rewrite issues' discussed recently here: https://news.ycombinator.com/item?id=46954696