Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!gem.mps.ohio-state.edu!ginosko!uunet!daitc!IDA.ORG!meeson
From: meeson@IDA.ORG (Reginald Meeson)
Newsgroups: comp.lang.ada
Subject: static analyzer
Message-ID: <1989Jul26.152814.20735@IDA.ORG>
Date: 26 Jul 89 15:28:14 GMT
Distribution: usa
Organization: IDA, Alexandria, VA
Lines: 9

A short while back there was a note about an Ada static analysis tool
called MALPAS (?) offered by a British company -- Rex Thompson &
Partners (?).  Has anyone tried out this product or looked seriously at
it?  I'd appreciate any feedback anybody can offer.

Reg Meeson                                        meeson@ida.org
Institute for Defense Analyses
Alexandria, VA
(703) 845-3541