Topic for Thursday, November 16, 2000
"AdaSTAT, an Ada95 Code Analysis Tool"
AdaSTAT is static analysis tool for Ada 95 based on the
Ada Semantic Interface Specification (ASIS).
AdaSTAT is an easy to use tool used to:
- Collect and display both functional and object-oriented metrics;
and
- Check source code for violations of language restrictions.
AdaSTAT was developed entirely in Ada 95 and uses both the ASIS and
GTKAda interfaces.
Back to Homepage
Updated Nov. 06, 2000