The Ada Bug Finder is an interactive Windows based program that uses static text
analysis to detect Ada code that is either obviously incorrect or is so badly written
that the tool itself cannot make sense of it.

You are invited to download the utility and to try it out.

We would be very interested in any feedback concerning how the utility might be
enhanced either by suggesting new bug patterns or citing occasions where an
unnecessarily large number of false positives were incurred.

The development of Ada Bug Finder was sponsored by Siemens Schweiz AG