Excelsior FlawDetector, version 1.0.1 (ID #22071)

Excelsior LLC

Excelsior FlawDetector is a Java static testing and consistency checking tool from. It works by formally analysing the code of the entire application and thus is capable of finding bugs that were overlooked during your conventional testing procedures due to insufficient coverage.
Consistency checks implemented in FlawDetector reveal problems that may result from incomplete recompilation or version conflicts between classes and jars constituting your application.
The main distinctive feature of our product is the optimal balance between analysis strength and resource requirements. Excelsior FlawDetector is capable of finding bugs in real world applications comprising thousands of classes within reasonable time even when working on inexpensive hardware configurations. It also saves your time by not producing tons of superfluous warnings which is common for static analysis tools.

Excelsior FlawDetector, version 1.0.1 home page