From: meeson@IDA.ORG (Reginald Meeson)
Subject: static analyzer
Date: 26 Jul 89 15:28:14 GMT [thread overview]
Message-ID: <1989Jul26.152814.20735@IDA.ORG> (raw)
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
reply other threads:[~1989-07-26 15:28 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox