Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!cbosgd!ihnp4!homxb!mtuxo!mtune!rutgers!sunybcs!boulder!hao!oddjob!mimsy!umd5!brl-adm!brl-smoke!gwyn
From: gwyn@brl-smoke.UUCP
Newsgroups: comp.unix.wizards,comp.unix.questions,comp.lang.c
Subject: Re: "C" Program Verifier
Message-ID: <6633@brl-smoke.ARPA>
Date: Fri, 30-Oct-87 06:40:10 EST
Article-I.D.: brl-smok.6633
Posted: Fri Oct 30 06:40:10 1987
Date-Received: Sun, 1-Nov-87 02:25:00 EST
References: <46@wvucswv.UUCP>
Reply-To: gwyn@brl.arpa (Doug Gwyn (VLD/VMB) <gwyn>)
Distribution: na
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 7
Keywords: C UNIX Verifier
Xref: utgpu comp.unix.wizards:4865 comp.unix.questions:4227 comp.lang.c:4968

In article <46@wvucswv.UUCP> dymm@wvucswv.UUCP writes:
>This utility would be similar to "lint".
>However lint only checks functions in a single file, not in multiple files.

No, "lint" checks for consistency across multiple translation units
(source files).  It also supports the use of "lint libraries" instead
of full sources.