* Ada analyzing tools
@ 1989-08-30 16:18 tai
1989-09-01 13:26 ` ryer
0 siblings, 1 reply; 2+ messages in thread
From: tai @ 1989-08-30 16:18 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Ada analyzing tools
1989-08-30 16:18 Ada analyzing tools tai
@ 1989-09-01 13:26 ` ryer
0 siblings, 0 replies; 2+ messages in thread
From: ryer @ 1989-09-01 13:26 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1989-09-01 13:26 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1989-08-30 16:18 Ada analyzing tools tai
1989-09-01 13:26 ` ryer
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox