Intéressant comme lien. Je vais jeter un oeil. PAr contre, je serais intéressé par une comparaison avec Ada, si quelqu'un a les compétences pour le faire. Mais si ce genre d'outil permet de produire du code plus sûr, alors pourquoi ne pas l'utiliser, au moins sur les parties sensibles telles que les modules de crypto ?
Sinon, est-ce que toi (ou un auitre participant) aurait des exemples d'utilisation de ce genre d'outil ?
[^] # Re: Les analyseurs ne sont pas non plus une panacee
Posté par totof2000 . En réponse au journal Idée stupide sur la sécurité du code. Évalué à 4. Dernière modification le 18 avril 2014 à 11:45.
Intéressant comme lien. Je vais jeter un oeil. PAr contre, je serais intéressé par une comparaison avec Ada, si quelqu'un a les compétences pour le faire. Mais si ce genre d'outil permet de produire du code plus sûr, alors pourquoi ne pas l'utiliser, au moins sur les parties sensibles telles que les modules de crypto ?
Sinon, est-ce que toi (ou un auitre participant) aurait des exemples d'utilisation de ce genre d'outil ?