brian@ghp.UUCP (Brian Quigley) (05/31/90)
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
--------------------------------------------------------------------