RE: lint does not compile
RE: lint does not compile
- Subject: RE: lint does not compile
- From: Nathan Herring <email@hidden>
- Date: Wed, 12 Nov 2008 13:14:51 -0800
- Acceptlanguage: en-US
- Thread-topic: lint does not compile
In our internal consideration about what static code analysis tools we wanted to use, lint failed the test because it was C-only, and we had a mix of C & C++. We actually converted a number of formerly C files to C++ if only for the improved analysis that g++ provides over gcc if you turn on most of the warnings.
Our MacBU brethren have a site license for Fortify (www.fortify.com), which cost them a fair bit.
Although this isn't terribly useful for Mac-only developers, we have Standard Annotation Language (SAL) annotations (http://msdn.microsoft.com/en-us/library/ms235402.aspx) on most of our code that we share between Windows and Mac versions of the CoreCLR component inside Silverlight. We were actually able to run PREfast on the Mac source by preprocessing all of it on the Mac and running the results through PREfast.
If you are set on using lint, you may be interested in splint: http://splint.org. I think I got it compiling in the last two years or so, and it hasn't been changing much.
Wikipedia lists some alternatives:
http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis
-nh
-----Original Message-----
From: darwin-dev-bounces+nathanh=email@hidden [mailto:darwin-dev-bounces+nathanh=email@hidden] On Behalf Of Stéphane Sudre
Sent: Wednesday, November 12, 2008 11:20 AM
To: Dev Darwin
Subject: Re: lint does not compile
On Nov 12, 2008, at 5:58 PM, Kevin Van Vechten wrote:
> It should be noted that lint is effectively dead code in the
> developer_cmds project, and is not built by the top level makefile.
Sad to learn that after I've just finished downloading the whole
darwin repository during 3 hours...
Is it dead because there's something better?
_______________________________________________
Do not post admin requests to the list. They will be ignored.
Darwin-dev mailing list (email@hidden)
Help/Unsubscribe/Update your Subscription:
This email sent to email@hidden