tapir colère écrit "Google est l'élaboration d'un ensemble d'extensions pour Java qui devrait aider à mieux sécuriser les programmes Java contre les attaques de type buffer overflow. Google a annoncé qu'il open source d'un projet que ses ingénieurs ont travaillé sur pour ajouter une nouvelle fonctionnalité en Java appelé contrats contrats, ou de conception par contrat. "existe pour vérifier les erreur de programmation, pas pour les défauts d'erreur utilisateur ou l'environnement. Toute différence entre l'exécution avec et sans contrôle de l'exécution du contrat (à l'exception de la performance) est par définition un bug. Les contrats doivent jamais effets secondaires. "
Lire la suite de cette histoire à Slashdot.
Aucun commentaire:
Enregistrer un commentaire