Computer Software Development

Reliable TechnologiesProgramming in AdaReal timeEmbedded and distributed systemsCommunications

Ada Bug Finder

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