En Europe ? J'en doutes. Meme aux USA, tu peux aller sur plein de sites de boites de securite et tu verras des extraits de code assembleur de DLLs Windows pour decrire differentes failles, aucun ne s'est jamais fait poursuivre.
Un employé de Microsoft m'encourage à violer la licence (et la langue française). Je note. La prochaine fois que j'en aurai besoin, j'aurai aucun scrupule à le faire maintenant. Mais j'espère ne jamais en avoir besoin.
si tu automatises en te basant sur l'arbre d'execution decoulant du code C/C++ et que tu laisses ton systeme simplement te signaler les cas ou il a un doute dans sa comparaison assembleur/arbre, c'est pas trop complique.
Ce problème est indécidable, et tu le sait très bien. On à déjà du mal à faire de la preuve de programmes idiots, alors prouver que le résultat donné par du code est le même que celui donné par du code assembleur optimisé restera une tâche manuelle la plupart du temps. Autant développer son propre OS garanti sans backdoor.
Compiler un OS avec un compilo different c'est une gageure a cause des extensions, Linux essaie depuis longtemps avec LLVM et de ce que j'ai compris, c'est toujours pas 100% fait.
Sous Linux on à une autre solution bien plus facile: Suffit juste de donner le code source du compilateur, et de faire en sorte qu'il soit portable.
[^] # Re: 1994
Posté par Batchyx . En réponse au journal TrueCrypt, la fin ?. Évalué à 2.
Un employé de Microsoft m'encourage à violer la licence (et la langue française). Je note. La prochaine fois que j'en aurai besoin, j'aurai aucun scrupule à le faire maintenant. Mais j'espère ne jamais en avoir besoin.
Ce problème est indécidable, et tu le sait très bien. On à déjà du mal à faire de la preuve de programmes idiots, alors prouver que le résultat donné par du code est le même que celui donné par du code assembleur optimisé restera une tâche manuelle la plupart du temps. Autant développer son propre OS garanti sans backdoor.
Sous Linux on à une autre solution bien plus facile: Suffit juste de donner le code source du compilateur, et de faire en sorte qu'il soit portable.