JavaChecker is a static analyzer of Java source code. This tool allows
to detect code defects, such as inaccurate exceptions handling, style
defects, violations of standard usage contracts, inaccurate resource
usage and so on. It is possible to extend JavaChecker by adding own
rules as term rewriting systems or Java classes.
More info at download: https://javachecker.dev.java.net/
