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_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,df11244c961596cb,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-25 17:55:42 PST
Path: 
 nntp.gmd.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!news.uni-stuttgart.de!rz.uni-karlsruhe.de!xlink.net!sol.ctr.columbia.edu!howland.reston.ans.net!paladin.american.edu!auvm!ELRONET.CO.IL!avisachs
Comments: Gated by NETNEWS@AUVM.AMERICAN.EDU
Newsgroups: comp.lang.ada
X-Mailer: Chameleon - TCP/IP for Windows by NetManage, Inc.
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Message-ID: <Chameleon.4.01.950325233248.avisachs@avisachs.elronet.co.il>
Date: Sat, 25 Mar 1995 23:32:13 PST
Sender: Ada programming language <INFO-ADA@VM1.NODAK.EDU>
From: Avi Sachs <avisachs@ELRONET.CO.IL>
Subject: Static Analyzer for Ada
Date: 1995-03-25T23:32:13-08:00
List-Id: <comp.lang.ada>

I am looking for information on Static Analyzers for Ada running on any UNIX
machine. In particular, I am looking for OSF/1 as the platform.

If you have any information or you are familiar with the vendor please provide
me with the vendor e-mail.  Your experience with the product will be most
welcome.

Thanks

Avi