From: Stuart Palin <stuart.palin@gecm.com>
Subject: Re: static code analysis
Date: 1997/01/17
Date: 1997-01-17T00:00:00+00:00 [thread overview]
Message-ID: <5bocrn$rf0@gcsin3.geccs.gecm.com> (raw)
In-Reply-To: 5bnt03$2bj@news1.mnsinc.com
wfrye@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.
Try looking at http://www.praxis.co.uk/technols/spark/spark.htm
It may be of some help but it does not do precisely what you are asking.
They are quite friendly chaps (but cautious - the nature of their business I think,
they avoid making rash sales claims) so do speak to them (they do have a US presence).
Stuart
next prev parent reply other threads:[~1997-01-17 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 [this message]
1997-01-18 0:00 ` Ken Garlington
1997-01-20 0:00 ` Jerome Desquilbet
1997-01-20 0:00 ` Stephen Bull
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox