Computer Software Development
  • Reliable Technologies
  • Programming in Ada
  • Real time
  • Embedded and distributed systems
  • Communications

Home    ::    About    ::    Experience    ::     Links    ::     Downloads   ::     Articles   ::     Contact

Download: Ada Bug Finder v2.25 (.zip 855 KB)
Download: ABF Powerpoint Presentation (.ppt 424 KB)
Download: AUJ Article (.pdf 95 KB)

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

© 2007 White Elephant GmbH   |   Created by Dylan Marriott   |   In association with Polymorphic   |