Google Brings Design-By-Contract To Java

[sl4shd0t]

angry tapir writes "Google is developing a set of extensions for Java that should aid in better securing Java programs against buffer overflow attacks. Google has announced that it open sourced a project that its engineers were working on to add a new functionality into Java called Contracts, or Design-By-Contract. 'Contracts exist to check for programmer error, not for user error or environment failures. Any difference between execution with and without runtime contract checking (apart from performance) is by definition a bug. Contracts must never have side effects.'"http://a.fsdn.com/sd/facebook_icon_large.png (http://www.facebook.com/sharer.php?u=http%3A%2F%2Fdevelopers.slashdot.org% 2Fstory%2F11%2F02%2F11%2F1446242%2FGoogle-Brings-Design-By-Contract-To-Java%3Ffrom%3Dfb) http://a.fsdn.com/sd/twitter_icon_large.png (http://twitter.com/home?status=Google+Brings+Design-By-Contract+To+Java%3A+http%3A%2F%2Fbit.ly%2FfdoINp)
Read more of this story (http://developers.slashdot.org/story/11/02/11/1446242/Google-Brings-Design-By-Contract-To-Java?from=rss) at Slashdot.
http://feedads.g.doubleclick.net/~at/FsPP3fc6podVu2FcIFp2ikZaZHE/0/di</img> (http://feedads.g.doubleclick.net/~at/FsPP3fc6podVu2FcIFp2ikZaZHE/0/da)
http://feedads.g.doubleclick.net/~at/FsPP3fc6podVu2FcIFp2ikZaZHE/1/di</img> (http://feedads.g.doubleclick.net/~at/FsPP3fc6podVu2FcIFp2ikZaZHE/1/da)
http://feeds.feedburner.com/~r/Slashdot/slashdotDevelopers/~4/DRvorY_pOQg

More... (http://rss.slashdot.org/~r/Slashdot/slashdotDevelopers/~3/DRvorY_pOQg/Google-Brings-Design-By-Contract-To-Java)