From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 28 Jun 93 20:45:02 GMT
From: cis.ohio-state.edu!math.ohio-state.edu!darwin.sura.net!europa.eng.gtefsd.
com!slc17!jwilson@ucbvax.Berkeley.EDU  (Jon Wilson, PRC)
Subject: Re: lint tool for Ada?
Message-ID: <20nl8e$esc@europa.eng.gtefsd.com>
List-Id: <comp.lang.ada>

In article 6390@aio.jsc.nasa.gov, yow@sweetpea.jsc.nasa.gov (Bill Yow) writes:
> In article <20nij1$esc@europa.eng.gtefsd.com>, jwilson@mtgy.gtegsc.com (Jon W
ilson, PRC) writes:
> |> Has anyone heard of a "lint-like" tool for Ada? (especially the free varie
ty)
> |> 
> 
> What would an Ada lint tool look for that is not already found by the 
> compiler/run-time checks?
> 

Wouldn't it be nice to find unreferenced variables, worthless withs, dead code,
 etc?
---
Jon R. Wilson                           Work: (205) 215-5477
Senior Computer Analyst                 Fax:  (205) 215-5511
PRC, Inc.                               jwilson@mtgy.gtegsc.com