site_archiver@lists.apple.com Delivered-To: darwin-dev@lists.apple.com <http://clang.llvm.org/StaticAnalysis.html> - Kevin On Nov 12, 2008, at 2:27 PM, Steve Checkoway wrote: 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. Last time I looked at splint, it didn't even support c99. Unless you do silly things like declare all of your variables at the beginning of the block in which they're declared, splint is pretty useless as far as I could tell. -- Steve Checkoway _______________________________________________ Do not post admin requests to the list. They will be ignored. Darwin-dev mailing list (Darwin-dev@lists.apple.com) Help/Unsubscribe/Update your Subscription: http://lists.apple.com/mailman/options/darwin-dev/site_archiver%40lists.appl... Also, the LLVM/Clang Static Analyzer is progressing nicely and can probably analyze a reasonably large amount of BSD code at this point; and I'm sure the team would be appreciative of any pointers to code that it can't successfully parse. On Wed, Nov 12, 2008 at 01:14:51PM -0800, Nathan Herring wrote: This email sent to site_archiver@lists.apple.com