tai@CS.UCLA.EDU (08/30/89)
Is there an implementation of DIANA or a control flow static analyzer and a setuse static analyzer for any Ada complier available under UNIX? Any answer will be appretiated.
ryer@inmet (09/01/89)
The Intermetrics Ada compiler hosted on Amdahl's System V Unix on 370-compatible machines produces DIANA. General Research Corporation has built the "Ada Test and Verification System" (ATVS) under contract to RADC. These tools include basic static verification, and use the DIANA generated by an Intermetrics compiler as input. However, the ATVS runs on VAX/VMS and used the VAX-hosted version of the compiler. The DIANA generated by Intermetrics on the VAX and 370 hosts is identical (at the source level), so GRC's tools *could* be rehosted to 370 Unix, or the whole Ada FE + ATVS combination could be rehosted to any other Unix. Hope that helps. Mike Ryer Intermetrics