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.4 required=5.0 tests=BAYES_50,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,df11244c961596cb X-Google-Attributes: gid103376,public From: tradi@hmc.edu (Tom Radi) Subject: Re: Static Analyzer for Ada Date: 1995/03/29 Message-ID: <3lcgan$hn3@jaws.cs.hmc.edu>#1/1 X-Deja-AN: 100540709 references: organization: Harvey Mudd College, Claremont CA newsgroups: comp.lang.ada originator: tradi@osiris Date: 1995-03-29T00:00:00+00:00 List-Id: Avi Sachs wrote: > 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. Contact Software Systems Design, Inc. 3627 Padua Ave. Claremont CA 91711 (909) 625-6147 They have several commercially avaialable Static Analysis tools for Ada, C and Fortran. -Tom Radi