saferjava

Helps creating safer java applications with design by contract annotations

SaferJava allows to create runtime-checked code and allows design-by-contract principles. Using Bytecode engineering, SaferJava transparently checks pre and post conditions of methodcalls. Oval, which is included in SaferJava, provides several predefined checks to assure properties of fields and method calls. Additionally, SaferJava provides new checks, e.g. an interface protocoll checker to assure the right call order of methods of an interface.

Project Information

The project was created on Jul 20, 2011.

Labels:
Java Annotation bytecode design contract