Descompilación equivalente a bytes de dispositivos que violan la GPL: un enfoque de programación genética

Esta publicación explora el desafiante problema de la descompilación equivalente a bytes de un binario del kernel de Linux de un dispositivo que infringe la GPL, con el objetivo de recuperar el código C equivalente. El autor propone un enfoque de optimización basado en programación genética para encontrar una solución "perfecta", no solo una aproximación "suficientemente buena". Los desafíos incluyen la generación de la población inicial, la representación del código C (usando AST), la representación del código binario (desensamblado o IR) y la mejora de la legibilidad del código C resultante. El autor argumenta que las metaheurísticas basadas en población, como los algoritmos genéticos, son más adecuadas para este problema complejo que las heurísticas de búsqueda de un solo punto. Este es un proyecto de investigación a largo plazo que requiere una comprensión profunda de las técnicas de descompilación, el código del kernel y los algoritmos de optimización.