Path: utzoo!mnetor!ghp!brian
From: brian@ghp.UUCP (Brian Quigley)
Newsgroups: comp.software-eng,ghp.asg
Subject: Request Static Analysis Tool Info
Message-ID: <603@ghp.UUCP>
Date: 31 May 90 16:51:07 GMT
Reply-To: brian@ghp.UUCP (Brian Quigley)
Organization: Gellman Hayward & Partners Ltd.
Lines: 25



I wish to compare the two static analysis tools, MALPAS and
SPADE.  Does anyone have any experience or knowledge of both of
these tools?  I am interested in their relative capabilities in the area
of symbolic algebra manipulation and simplification, and the ease with
which they can be used with other software (for example, can I build
my own application on top of it).  Any and all comments will be very
appreciated.

In addition, does anyone know of similar tools that are commercially 
available?  In particular, I would like to know about anything that
can analyze the semantics of a piece of code, and give you a summary
in the form "if these input conditions hold, then the outputs will
have these values".

Thanks in advance!

-- 
--------------------------------------------------------------------
Brian Quigley                       Gellman, Hayward & Partners
                                    33 Yonge St.   Suite 840
UUCP: ghp!brian@mnetor.uucp         Toronto, Ontario
BELL: (416) 862-0430                CANADA   M5E 1G4
--------------------------------------------------------------------