[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#201348: O: lclint -- A tool for statically checking C programs.

On Tue, Jul 15, 2003 at 09:38:42AM -0500, Andrés Roldán wrote:
> This package is obsolete. The splint project homepage at freshmeat says the 
> following:
> Splint is a tool for statically checking C programs for security 
> vulnerabilities and coding mistakes. With minimal effort, it can be used 
> as a better lint. If additional effort is invested adding annotations to 
> programs, it can perform stronger checking than can be done by any standard 
> lint. Splint is the successor to LCLint. The main differences between 
> Splint and LCLint are support for buffer overflow detection and extensible 
> annotations.
> I think it may be removed since Splint is already maintained by 
> Samuele Giovanni Tonon <samu@debian.org> and the latest version of a lclint
> was about 2 years ago.
yep, splint is the newer version of lclint, however i really don't know if 
now splint can fully replace all the checks of lclint due, to the fact i've never
used lclint.
If there's someone who can confirm that splint can fully replace lclint 
it may be removed.


Attachment: pgpFP86349AWB.pgp
Description: PGP signature

Reply to: