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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,cab1531124c5d0b1,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1993-03-16 20:53:34 PST
Newsgroups: comp.lang.ada
Path: 
 sparky!uunet!gatech!usenet.ins.cwru.edu!howland.reston.ans.net!spool.mu.edu!sgiblab!munnari.oz.au!uniwa!hawk!hawk!johnw
From: johnw@hawk.adied.oz.au (John Wiese)
Subject: Ada Static Analysis Tools
Message-ID: <johnw.732337451@hawk>
Summary: Are there any Ada static analysis tools?
Keywords: static analysis
Organization: Australian Defence Industries
Date: Wed, 17 Mar 1993 03:04:11 GMT
Date: 1993-03-17T03:04:11+00:00
List-Id: <comp.lang.ada>

Does anyone know of any general STATIC ANALYSIS tools for Ada (not simply
Metric analysis). I am doing some research on the topic and the only tool
I have found so far is one called MALPAS. However its primary use is for
safety critical code (not for general code analysis).
 
Any information would be appreciated.
 
*******************************************************
**  John Wiese          E-MAIL :  johnw@adied.oz.au  **
*******************************************************