LCLINT DOWNLOAD

You can help Wikipedia by expanding it. This article needs additional citations for verification. From Wikipedia, the free encyclopedia. Development activity on Splint stopped in They are used to demonstrate that a prog

Uploader:	Tujar
Date Added:	26 March 2010
File Size:	48.79 Mb
Operating Systems:	Windows NT/2000/XP/2003/2003/7/8/10 MacOS 10/X
Downloads:	17801
Price:	Free* [*Free Regsitration Required]

This programming-tool -related article is a stub. Advanced Search Include Citations Disambiguate. Formerly called LCLint, it is a modern version of the Unix lint tool.

We also describe our experience using LCLint to help understand, document, and re-engineer legacy code. Using this information, LCLint reports inconsistencies between a program and its specification. Retrieved from " https: Development activity on Splint stopped lcljnt Brown, Amy; Wison, Greg eds. These checkers demand little effort from the user, and are frequently used.

LCLint: A Tool for Using Specifications to Check Code

Languages Deutsch Edit links. This page was last edited on 13 Julyat Views Read Edit View history. This article needs additional citations for verification. Static program analysis tools Free memory management software Cross-platform software Free software testing tools Software using the GPL license.

By using this site, you agree to the Terms lclintt Use and Privacy Policy. You can help Wikipedia by expanding it. Unsourced material may be challenged and removed. Articles needing additional references from March All articles needing additional references All stub articles Computer programming tool stubs. Splint is used by gpsd as part of an effort to design for zero defects. C, Larch, LCLint, lint, specifications, static checking 1 Introduction Software engineers have long understood that static analysis of program texts can both reduce the number of residual errors andimprove the maintainability of programs.

Advanced Search Include Citations. Please help improve this article by adding citations to reliable sources.

Splint has the ability to interpret special annotations to the source codewhich gives it stronger checking than is possible just by looking at the source alone.

At the other extreme are program verification systems [2].

They are used to demonstrate that a prog Free and open-source software portal. Splintshort for Secure Programming Lintis a programming tool for statically checking C programs for security vulnerabilities and coding mistakes.

Splint (programming tool)

However, their utility is limited by their lack of information about the intent of the programmer. From Wikipedia, the free encyclopedia. Traditional static checkers [10, 20] detect type errors and lclknt anomalies such as obviously uninitialized variables. This paper describes LCLint, an efficient and flexible tool that accepts as input programs written in ANSI C and various levels of formal specification.