LCLint

Tool for statically checking C programs, GPL.

[PDF] Statically Detecting Likely Buffer Overflow Vulnerabilities

File Format: PDF/Adobe Acrobat - Statically Detecting Likely Buffer Overflow Vulnerabilities. David Larochelle. larochelle@cs.virginia.edu. University of Virginia, Department of Computer ...

Building LCLint

Source Code Installation. LCLint should compile effortlessly on standard Unix systems, and with a bit of effort on non-Unix platforms. ...

LCLint - What's New

21 August 2001. Alpha version 3.0.0.10 now available. Stable version source code updated to version 2.5r (fixed include problem, no behavioral changes). ...

LCLint User's Guide - Supplement

This is a supplement to the LCLint User's Guide describing changes between Version 2.0 and Version 2.1a. These sections are also included in the LCLint ...

LCLint User's Guide - References

Contact: lclint@cs.virginia.edu. This guide is preserved to maintain old links, but has been replaced by the Splint Manual. ...

Release 2.2

LCLint Version 2.2. 26 August 1996. Version 2.2 is a minor upgrade to the last publically released version of LCLint, Version 2.1b. ...

Installing LCLint

Installing LCLint. This page is obsolete. Please try http://lclint.cs.virginia.edu. LCLint Home Page David Evans · University of Virginia, Computer Science ...

Release 2.3i

LCLint Version 2.3i. 3 September 1997. Versione 2.3i is a minor minor upgrade to Version 2.3h. These are the release notes for Version 2.3h. ...

Bugs Fixed

parsing array declarations with type casts. Bug: An array declaration like, x[(user type) N] is not parsed correctly is some contexts. ...