资 源 简 介
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.