Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!usc!jarthur!ucivax!orion.oac.uci.edu!ucsd!dog.ee.lbl.gov!ux5.lbl.gov!peterli
From: peterli@ux5.lbl.gov
Newsgroups: comp.lang.c++
Subject: Re: Lint for C++
Keywords: C++, lint
Message-ID: <8733@dog.ee.lbl.gov>
Date: 20 Dec 90 18:38:03 GMT
References: <93Rcu1w163w@turbo.atl.ga.us> <CIMSHOP!DAVIDM.90Dec19125537@uunet.UU.NET> <1990Dec20.042841.16639@cbnewsk.att.com>
Reply-To: peterli@ux5.lbl.gov ()
Distribution: comp
Organization: Lawrence Berkeley Laboratory, Berkeley
Lines: 10
X-Local-Date: Thu, 20 Dec 90 10:38:03 PST

In article <1990Dec20.042841.16639@cbnewsk.att.com> hansen@pegasus.att.com (Tony L. Hansen) writes:
>Off the top of my head, here are some of the things that a lint++ could do
>that C++ is incapable of doing:
>
>    o	check the types of the arguments to printf- and scanf-like functions
>    o	know about functions which never return

Wow! Has the Halting Problem been solved ? :-)

Peter Li