A Local-to-me company, Software Compositions, has a product called Re-Engineering Mentor that may fit your needs. As the name implies, it can aid (and perform) re-engineering from Ada 83 to Ada 95. I use it to perform SPC and other guidelines against our Ada 83 code (soon I'll use it on our Ada 95 code). It does guideline analysis very well. Although the tool is still young, it has a powerful command-line interface, it's easy to tailor, and it has an easy-to-use report format that makes it ideal for my purposes: to ensure '95 compatibility, to find unused objects, high nesting levels, uninitialized variables, scope minimization on objects and subprograms, privatization of visible record types, etc., and provide a simple-to-read report for peer reviews. It's X interface is great too, but when you're analyzing 25+ libraries consisting of tens-of-thousands of lines of code (and growing), batch mode is so much easier... :-)
It is compiler independent - it parses and processes Ada code as a compiler would and then spits out reports as you request them.
The company's stats are:
[log in to unmask]
I like the tool. And it's price, I feel, is _very_ conservative considering the capabilities it offers.
While you're evaluating, don't miss this one...
<<<And, no, this is not a company endorsement (figured I had to put this in for the lawyers)>>>
-- ======== A312 1116 47FC 79EA : 7AA6 592C ECDC F109 ======== --
Harris HISD W1-7911 [log in to unmask]
2900 Murrell Rd. (v) 407.635.2477
Rockledge, FL 32955
-- ====== To be, and not to be. That is the eigenstate. ====== --