Re:LLM4Decompile: Decompiling Binary Code with LLM
by czl on Sunday March 17, 2024 @06:46PM
(#39738743)
In the future efficient rule based compilers and decompiler may be generated by AI systems trained on inputs and outputs of what we use today.
This effort is an exploration to find a radically different AI way that may give superior results.
Yes. For all the reasons you give above, AI for this job is not practical today.
Re:LLM4Decompile: Decompiling Binary Code with LLM
by kolinko on Monday March 18, 2024 @06:29PM
(#39750828)
LLMs are also good at connecting the dots and figuring out patterns in a program. For this case it's ok if they miss even 99% of the times, because you can formally verify which solution is correct, and checking a 100 solutions is orders of magnitude faster than checking millions/billions/trillions of possibilities that a traditional solver needs to check.
The bigger argument against the effectiveness of this approach is that existing decompilers can already do a much better job with far less processing power.