comp.lang.ada
 help / color / mirror / Atom feed
From: Jerome Desquilbet <jDesquilbet@Rational.COM>
To: William Frye <wfrye@mnsinc.com>
Subject: Re: static code analysis
Date: 1997/01/20
Date: 1997-01-20T00:00:00+00:00	[thread overview]
Message-ID: <32E34B79.794B@Rational.COM> (raw)
In-Reply-To: 5bnt03$2bj@news1.mnsinc.com


William Frye wrote:
> 
>  A few months ago I posted here asking for information on a tool to
> create a listing of the conditional clauses in an Ada program (the 
> intent
> is to create a test matrix for existing code.)  Someone suggested that
> I look at a "static code analyzer" on The Home of the Brave Ada 
> Programmer
> web site.  I have not been able to find such a thing, perhaps someone
> could give me more info so I can find it.

Hello William,

Little Tree Consulting has such a tool: Ada Analyzer.
It runs on top of Apex.
Look at:

  http://www.rational.com/pst/products/ada_anal.html
and
  http://www.rational.com/pst/products/to8a.html

Note that there's no version of Ada Analyzer for Ada 95 yet (but soon).

Maybe you could build your own tool on top of ASIS.
Good luck!

  Jerome.




      parent reply	other threads:[~1997-01-20  0:00 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-01-17  0:00 static code analysis William Frye
1997-01-17  0:00 ` Stuart Palin
1997-01-18  0:00 ` Ken Garlington
1997-01-20  0:00 ` Stephen Bull
1997-01-20  0:00 ` Jerome Desquilbet [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox