[ANN] Excelsior FlawDetector 1.0 beta 3 is available

[Excelsior]

Excelsior FlawDetector 1.0 beta 3 is available for immediate download
from http://www.excelsior-usa.com/fddlbeta.html?cljst10b3

New in this version:

* JBuilder plug-in reworked

* Samples added

* Printable documentation included

* Merged latest fixes and improvements from Excelsior JET code base

* Bug fixes

About Excelsior FlawDetector

Excelsior FlawDetector (http://www.excelsior-usa.com/fd.html?cljst10b3)
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.

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 this 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.

FlawDetector is a JBuilder OpenTool, but may also be used from the
command line. For instance, you may wish to invoke it from your night
build script and browse/compare logs in the morning to find out whether
any new bug was introduced yesterday.

Learn more about the product:
http://www.excelsior-usa.com/fdspecs.html?cljst10b3

Download the latest beta version:
http://www.excelsior-usa.com/fddlbeta.html?cljst10b3