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