1)   Excelsior FlawDetector 1.0 FlawDetector is a Java static testing and consistency checking tool. It works by formally analysing the code of the entire application. FlawDetector is a JBuilder OpenTool and Eclipse plug-in, but may also be used from the command line.