Take the 2-minute tour ×
Programmers Stack Exchange is a question and answer site for professional programmers interested in conceptual questions about software development. It's 100% free, no registration required.

I have used Java Modeling Language (JML) with its runtime assertion checker jml4c for writing code contracts in java. However, it would have been great to have a static checker in place as well that provides suggestions as to where a contract is possibly broken during the build process, something like the code-contracts library developed for the .NET platform. Esc/Java2 does this for java version 1.4. Is there any such tool that supports java 1.6?

share|improve this question
Doesn't such a tool would have to solve the halting problem? –  Simon Mar 1 '13 at 18:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.