Google Brings Design-By-Contract To Java

Posted by Soulskill on Friday February 11, 2011 @03:59AM from the putting-a-hit-out-on-bugs dept.

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.'"

1 of 134 comments (clear)

Min score:

Reason:

Sort:

Fail by nicholas22 · 2011-02-11 04:09 · Score: 5, Insightful

It is a String-based implementation, which is awful in terms of consistency, type-checking, etc. and vulnerable in code refactoring. I would stay away or use something more type-safe and IDE-safe.