>> Celui qui ne cherche pas ne trouve pas. C'est peut-être impossible, auquel cas je ne trouverai jamais, mais comme je tiens un tant soit peu à mes idées, j'essaie de les rendre réalisable.
Le truc, c'est que *moi* et d'autres, là, on *sait* que le code auto certifié c'est un domaine de recherche très complexe. Il faudrait de toute façon que tu patches GCC comme un fou pour embarquer des invariants de code dans ton binaire. Et si je ne met pas en doute tes compétences en codage, permet moi de mettre en doute tes compétences en informatique théorique et en maths.
On veut pas détecter des infimes modifications, on veut détecter que la sémantique est préservée. Et ça, c'est une autre paire de manches (sinon, "diff" est un très bon antivirus. Bon, il marche que sur les fichiers déja infectés et n'aide aucunement à la prévention, mais bon...)
[^] # Re: Magie !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Aider au développement d'un nouveau gestionnaire de paquets. Évalué à 4.
Le truc, c'est que *moi* et d'autres, là, on *sait* que le code auto certifié c'est un domaine de recherche très complexe. Il faudrait de toute façon que tu patches GCC comme un fou pour embarquer des invariants de code dans ton binaire. Et si je ne met pas en doute tes compétences en codage, permet moi de mettre en doute tes compétences en informatique théorique et en maths.
On veut pas détecter des infimes modifications, on veut détecter que la sémantique est préservée. Et ça, c'est une autre paire de manches (sinon, "diff" est un très bon antivirus. Bon, il marche que sur les fichiers déja infectés et n'aide aucunement à la prévention, mais bon...)