Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!decwrl!labrea!jade!ucbcad!ames!hao!husc6!rutgers!princeton!udel!rochester!PT.CS.CMU.EDU!cadre!pitt!wvucsb!wvucswv!dymm
From: dymm@wvucswv.UUCP
Newsgroups: comp.unix.wizards,comp.unix.questions,comp.lang.c
Subject: "C" Program Verifier
Message-ID: <46@wvucswv.UUCP>
Date: Thu, 29-Oct-87 17:46:44 EST
Article-I.D.: wvucswv.46
Posted: Thu Oct 29 17:46:44 1987
Date-Received: Wed, 4-Nov-87 03:45:11 EST
Distribution: na
Lines: 23
Keywords: C UNIX Verifier
Xref: mnetor comp.unix.wizards:5206 comp.unix.questions:4722 comp.lang.c:5210


I am looking for a UNIX utility that can check the calling
conventions of "C" functions and their parameters even though those
functions are scattered throughout a number of files.
Thus the utility would check the usage of functions against their
definitions even though the usage is in one file and the definition
is in another file.
This utility would be similar to "lint".
However lint only checks functions in a single file, not in multiple files.

Does such a utility exist?
Is so, how can I get a copy?
Contact me via the Email address below.

Thanks for you help.


David Dymm			Software Engineer

USMAIL: Bell Atlantic Knowledge Systems,
	13 Beechurst Ave., Morgantown, WV 26505
PHONE:	304 291-2651 (8:30-4:30 EST)
USENET:  {allegra,bellcore, cadre,idis,psuvax1}!pitt!wvucsb!wvucswv!dymm