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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!batcomputer!cornell!oravax!shb
From: shb@oravax.UUCP (Stephen H. Brackin)
Newsgroups: comp.lang.ada
Subject: Ada Lint?
Message-ID: <2272@oravax.UUCP>
Date: 12 Apr 91 17:27:46 GMT
Organization: ORA Corporation, Ithaca NY
Keywords: Ada, C, lint, data flow analysis
List-Id: <comp.lang.ada>

Are there Ada versions of the UNIX C analysis tool "lint"?  Most of the
warnings "lint" provides aren't relevant to Ada because programs with
corresponding problems wouldn't be legal Ada, but "lint" also warns of
things like varables that are possibly used before they are initialized
and sections of unreached code, and these could be useful for Ada.  I
would like to learn what work has already been done along these lines.

				Steve Brackin
				shb@oracorp.com