From: johnw@hawk.adied.oz.au (John Wiese)
Subject: Ada Static Analysis Tools
Date: Wed, 17 Mar 1993 03:04:11 GMT
Date: 1993-03-17T03:04:11+00:00 [thread overview]
Message-ID: <johnw.732337451@hawk> (raw)
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 **
*******************************************************
next reply other threads:[~1993-03-17 3:04 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-03-17 3:04 John Wiese [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-03-23 15:51 Ada Static Analysis Tools David Guaspari
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox