Décompilation équivalente à l'octet des périphériques violant la GPL : une approche de programmation génétique

Cet article explore le problème difficile de la décompilation équivalente à l'octet d'un binaire du noyau Linux provenant d'un périphérique violant la GPL, dans le but de récupérer le code C équivalent. L'auteur propose une approche d'optimisation basée sur la programmation génétique pour trouver une solution « parfaite », et non une simple approximation « suffisamment bonne ». Les défis incluent la génération de la population initiale, la représentation du code C (à l'aide d'AST), la représentation du code binaire (désassemblage ou IR) et l'amélioration de la lisibilité du code C résultant. L'auteur soutient que les métaheuristiques basées sur la population, telles que les algorithmes génétiques, sont mieux adaptées à ce problème complexe que les heuristiques de recherche ponctuelle. Il s'agit d'un projet de recherche à long terme qui nécessite une compréhension approfondie des techniques de décompilation, du code du noyau et des algorithmes d'optimisation.