Path: utzoo!utgpu!watmath!att!dptg!rutgers!apple!usc!ucla-cs!tai
From: tai@CS.UCLA.EDU
Newsgroups: comp.lang.ada
Subject: Ada analyzing tools
Message-ID: <26785@shemp.CS.UCLA.EDU>
Date: 30 Aug 89 16:18:48 GMT
Sender: news@CS.UCLA.EDU
Reply-To: tai@CS.UCLA.EDU (Ann Tsu-Ann Tai)
Organization: UCLA Computer Science Department
Lines: 5

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.