Une exagération très légère... Si le langage choisi (F7 pour le travail de Prosecco) est bien fait, toutes les failles d'implémentation devraient être décelées.
J'avoue avoir du mal à imaginer une détection automatique d'une erreur du type "je renvoie A alors que je devais renvoyer Q de même type et taille que A, juste que mon doigt a dérapé un peu zut Q contient des données critiques" mais tu vas sûrement m'expliquer... Ou alors tu exagères et c'est juste un faux sentiment de sécurité.
[^] # Re: Implémentation prouvée
Posté par Zenitram (site web personnel) . En réponse au journal OpenSSL est mort, vive (le futur) LibreSSL. Évalué à -7. Dernière modification le 22 avril 2014 à 15:08.
J'avoue avoir du mal à imaginer une détection automatique d'une erreur du type "je renvoie A alors que je devais renvoyer Q de même type et taille que A, juste que mon doigt a dérapé un peu zut Q contient des données critiques" mais tu vas sûrement m'expliquer... Ou alors tu exagères et c'est juste un faux sentiment de sécurité.