[Subject Prev][Subject Next][Thread Prev][Thread Next][Subject Index][Thread Index]

Re: lint

Hi Rahul,

I sugguest you to check out lclint. It's a standard part of Debian so 
I assume you should have no problems finding rpms for it. This is a

Description: A tool for statically checking C programs.
LCLint is a tool for statically checking C programs.  With minimal
effort, LCLint can be used as a better lint.  If additional effort is
invested adding annotations to programs, LCLint can perform stronger
checks than can be done by any standard lint.

LCLint does many of the traditional lint checks including unused
declarations, type inconsistencies, use-before-definition, unreachable
code, ignored return values, execution paths with no return, likely
infinite loops, and fall-through cases.  Our main focus, however, is on
more powerful checks that are made possible by additional information
given in source code annotations.  Annotations are stylized comments
that document certain assumptions about functions, variables,
parameters, and types.  They may be used to indicate where the
representation of a user-defined type is hidden, to limit where a
global variable may be used or modified, to constrain what a function
implementation may do to its parameters, and to express checked
assumptions about variables, types, structure fields, function
parameters, and function results.  In addition to the checks
specifically enabled by annotations, many of the traditional lint
checks are improved by exploiting this additional information.

Rahul Jindal [rahulj@xxxxxxxxxxxx] wrote:
> Can anyone please give a link to lint downloads. i have tried at many places
> including redhat.com but it does not work.

Cyrus Patel - cyrus.patel@xxxxxxx                                          
Software Engineer                  	                  Debian GNU/Linux 
Electronics for Imaging (EFI)                             (Woody)
Sydney, Australia.                                        ICQ: 50738541 
http://www.cyrusp.com  Mobile: +61 0402 266 731 cyrusmobile@xxxxxxxxxxxxxx