Ce qui ne garanti rien. J'avais lu une fois l'histoire suivante (ça date un peu des débuts del'informatique):
Un type avait sorti un OS je crois, et fournissait le compilo. Il y avait aussi un programme pour se logguer (genre login), et il fournissait les sources, et celles du compilo.
Rien dans les sources, pas de backdoor, pourtant il y en avait une dans le programme de login. L'astuce : quand le compilo (le binaire fourni) reconnaissait le source du login, il rajoutait le code de la backdoor. Recompiler le compilo à partir des sources "propres" ne servait à rien car le compilo rajoutait le code qui rajoute la faille dans le nouveau compilo compilé, ainsi que le code qui rajoute le code qui rajoute la faille. (ça va, vous suivez ? )
Bref, rien dans les sources, rien dans les poches, mais la backdoor est là...
Donc la seule vraie solution est d'auditer le binaire - et encore il peut y avoir des doutes sur le hard... Même si ça semble un peu extrémiste et parrano, je signale juste que :
- les virus sont fait par des gars qui n'ont pas les sources... Auditer le binaire est possible et trés instructif (cf le dernier MISC),
- les processeurs sont testés, utilisés pas beaucoup de monde, on peut espérer que les comportements bizarres finissent par apparaître - par ex le bug de la division sur les pentiums.
[^] # Re: La dgse utilise linux...
Posté par jigso . En réponse au journal La dgse utilise linux.... Évalué à 1.
Un type avait sorti un OS je crois, et fournissait le compilo. Il y avait aussi un programme pour se logguer (genre login), et il fournissait les sources, et celles du compilo.
Rien dans les sources, pas de backdoor, pourtant il y en avait une dans le programme de login. L'astuce : quand le compilo (le binaire fourni) reconnaissait le source du login, il rajoutait le code de la backdoor. Recompiler le compilo à partir des sources "propres" ne servait à rien car le compilo rajoutait le code qui rajoute la faille dans le nouveau compilo compilé, ainsi que le code qui rajoute le code qui rajoute la faille. (ça va, vous suivez ? )
Bref, rien dans les sources, rien dans les poches, mais la backdoor est là...
Donc la seule vraie solution est d'auditer le binaire - et encore il peut y avoir des doutes sur le hard... Même si ça semble un peu extrémiste et parrano, je signale juste que :
- les virus sont fait par des gars qui n'ont pas les sources... Auditer le binaire est possible et trés instructif (cf le dernier MISC),
- les processeurs sont testés, utilisés pas beaucoup de monde, on peut espérer que les comportements bizarres finissent par apparaître - par ex le bug de la division sur les pentiums.