From: tai@CS.UCLA.EDU
Subject: Ada analyzing tools
Date: 30 Aug 89 16:18:48 GMT [thread overview]
Message-ID: <26785@shemp.CS.UCLA.EDU> (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.
next reply other threads:[~1989-08-30 16:18 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1989-08-30 16:18 tai [this message]
1989-09-01 13:26 ` Ada analyzing tools ryer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox