FlawDetector is a Java static testing and consistency checking tool. It works by formally analysing the code of the entire program and thus is capable of finding bugs that were overlooked during your conventional testing procedures due to insufficient coverage.
FlawDetector is a JBuilder OpenTool and Eclipse plug-in, but may also be used from the command line.
