Design by contract framework for Java using annotations, enables pre-conditions and post-conditions to be evaluated and configured. Support for invariants is next up. Obligate aims to support EJB and standard Java classes and provide an approach for design by contract on Java services.
There are no reported vulnerabilities