From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.9 required=5.0 tests=BAYES_50,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
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
List-Id: <comp.lang.ada>

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