tapiro arrabbiato scrive: "Google sta sviluppando un insieme di estensioni per Java che dovrebbero aiutare a meglio garantire i programmi Java contro gli attacchi di buffer overflow. Google ha annunciato che open source di un progetto che i suoi tecnici stavano lavorando per aggiungere una nuova funzionalità in Java denominato Contratti o Design per contratto. 'contratti esistono per verificare la presenza di errori del programmatore, non per guasti o errori degli utenti dell'ambiente. eventuale differenza tra l'esecuzione con e senza il controllo del contratto di esecuzione (oltre al risultato) è per definizione un bug. appalti non deve mai avere effetti collaterali '".
Per saperne di più di questa storia a Slashdot.
Nessun commento:
Posta un commento