From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
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
List-Id: <comp.lang.ada>

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.