[comp.lang.ada] Ada Lint?

shb@oravax.UUCP (Stephen H. Brackin) (04/13/91)

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