static code analysis

static code analysis

[William Frye]

 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.

Re: static code analysis

[Stuart Palin]

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

Re: static code analysis

[Ken Garlington]

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.

http://sigma.sw-eng.falls-church.va.us/cgi-shl/tools/form.pl

with search word "static" lists several appropriate COTS tools, although
I seem to recall you were looking for shareware?

--
LMTAS - The Fighter Enterprise - "Our Brand Means Quality"
For job listings, other info: http://www.lmtas.com or
http://www.lmco.com

Re: static code analysis

[Stephen Bull]

wfrye@mnsinc.com (William Frye) writes:

    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.

The SPARK Examiner is capable of producing this sort of information;
however, as your source code is probably not written in the SPARK subset,
significant effort may be required to convert it.

The SPARK Examiner performs static code analysis on programs written in
the SPARK language, which is a secure subset of Ada, augmented by
annotations. SPARK is formally defined and SPARK programs are predictable
and can be rigorously analysed. 

The SPARK Examiner checks the conformance of a program to the rules of
SPARK, carries out a flow analysis of the code, and supports formal
verification. Absence of run-time errors can be demonstrated rigorously. 

SPARK is a product of Praxis, a Software Engineering firm specialising
in complex systems in a variety of markets. 

To learn more please visit the following web sites:

    SPARK technology:
    http://www.praxis.co.uk/technols/spark/spark.htm

    Praxis Critical Systems:
    http://www.praxis.co.uk/services/critsys/critsys.htm

or contact:

    Denton Clutterbuck
    Praxis Critical Systems
    20 Manvers Street
    Bath
    BA1 1PX
    UK

    email: sparkinfo@praxis.co.uk 
    tel:   +44 (0)1225 444700
    fax:   +44 (0)1225 465205 
-- 
-----------------------------------------------------------------------------
 Stephen Bull  Praxis Critical Systems  20 Manvers Street  BATH  BA1 1PX  UK
    +1225 444700 (switchboard)  +1225 739286 (direct)  +1225 739281 (fax)
-----------------------------------------------------------------------------
-- 
-----------------------------------------------------------------------------
 Stephen Bull  Praxis Critical Systems  20 Manvers Street  BATH  BA1 1PX  UK
    +1225 444700 (switchboard)  +1225 739286 (direct)  +1225 739281 (fax)
-----------------------------------------------------------------------------

Re: static code analysis

[Jerome Desquilbet]

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.