splintchecker.github.io/press.html at master · splintchecker/splintchecker.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
<html>
<head>
<link rel="stylesheet" type="text/css" href="http://www.splint.org/splint.css" title="style1">
<title>LCLint Press</title>
</head>
<body>
<!--#include virtual="header.html"-->

<center><h2>
Splint Press
</h2></center>

<h4>Magazine Articles</h4>
<p>
Linux Journal, <a href="http://www2.linuxjournal.com/lj-issues/issue73/3599.html">
The Code Analyser LCLint</a>.  By David Santo Orcero, May 2000.<br>
&nbsp;&nbsp;&nbsp;&nbsp;<em>&#147;Debugging code is never fun, but this tool makes it a bit easier.&#148;</em>
<p>
Linux Gazette, <a
href="http://www.linuxgazette.com/issue51/pramode.html">Static
checking of C programs with LCLint</a>.  By Pramode C E and Gopakumar
C E.  Issue 51, March 2000.<br>
&nbsp;&nbsp;&nbsp;&nbsp;<em>&#147;LCLint is justifiably angry at such amateurish use of C, but he is gentle in his admonishments.&#148;</em><br>
<p>
<a href="http://www.ix.de">Ix</a> (German Linux Magazine),
includes LCLint in an article, <em>Lint als C-Syntax-Prufer</em>
in the July 96 issue.
<p>

<h4>Books</h4>

<a href="http://www.research.microsoft.com/~drh/">David Hanson</a>'s book
<a href="http://www.cs.princeton.edu/software/cii/">C Interfaces and
Implementations</a> advocates a design methodology based on interfaces
and implementations very similar to that supported by LCLint.
<blockquote>
<em>However, if more C programmers read, understood, and imitated this
book, the world would be a better and safer place.
</em>
--- From Richard O'Keefe's <a href="http://www.cs.princeton.edu/software/cii/review.html">review</a>
</blockquote>

<a
href="http://www.amazon.com/exec/obidos/ASIN/0672318962/qid=989504161/sr=1-4/ref=sc_b_5/002-7138752-2991202">C
Unleashed</a>, by Richard Heathfield, Lawrence Kirby, Mike Lee, Mathew
Watson, Ben Pfaff, Dann Corbit, Peter Seebach, Brett Fishburne, Scott
Fluhrer, Ian Woods, Sam Hobbs, Ian Kelly
<blockquote>
     Includes a short section describing running LCLint with <tt>+strict</tt> and <tt>+checks</tt> on a 3-line program.
     </blockquote>

<a href="http://www.amazon.com/exec/obidos/ASIN/189311595X/qid%3D989504262/002-7138752-2991202">Cryptography in C and C++</a>, by Michael Welschenbach, David Kramer
<blockquote>


</blockquote>

<!--#include virtual="footer.html"-->