Software Technology for Adaptable, Reliable Systems (STARS). Usage Report, AdaWise.
UNISYS CORP RESTON VA RESTON TECHNOLOGY CENTER
Pagination or Media Count:
AdaWise is a set of tools currently under development, checks Ada programs for improper aliasing, incorrect order dependencies including in elaboration of compilation units, and use of undefined variables. They are written in Ada, using ASIS Ada Semantic Interface Specification for front-end- static semantic analysis. A user of the tools must first compile the input source to be analyzed with a compiler that supports ASIS. However, while the tool set is built using ASIS, a user of the tools is not required to have the ASIS product itself to run the tools.
- Computer Programming and Software