逆向工程GPL违规设备：基于遗传编程的字节级反编译

本文探讨了一个极具挑战性的问题：如何对违反GPL协议的设备中的Linux内核二进制代码进行字节级反编译，还原出等效的C代码。作者提出了一种基于遗传编程的优化方法，旨在寻找“完美”的解决方案，而非“足够好”的近似解。该方法面临诸多挑战，包括初始种群生成、C代码表示（AST）、二进制代码表示（反汇编代码或IR）、以及最终C代码的可读性改进等。作者认为，相较于单点搜索的启发式算法，基于种群的元启发式算法（如遗传算法）更适合解决此类复杂问题。这是一个长期研究项目，需要深入研究反编译技术、内核代码以及优化算法。