La SEULE methode qui est valide, c'est une analyse statique du binaire compile pour s'assurer que son comportement est identique au binaire de reference.
Non. Le problème de l'identité de programme est indécidable. Ce n'est résoluble que dans les cas les plus simples, et certainement pas sur un "gros" binaire.
La seule méthode valide pour s'assurer que le binaire correspond aux sources est de le générer par un compilateur de confiance.
[^] # Re: Bof
Posté par khivapia . En réponse au journal Espionnage sous Linux ou délire paranoïaque ?. Évalué à 4.
La SEULE methode qui est valide, c'est une analyse statique du binaire compile pour s'assurer que son comportement est identique au binaire de reference.
Non. Le problème de l'identité de programme est indécidable. Ce n'est résoluble que dans les cas les plus simples, et certainement pas sur un "gros" binaire.
La seule méthode valide pour s'assurer que le binaire correspond aux sources est de le générer par un compilateur de confiance.