-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathacknowledgements.html
More file actions
executable file
·257 lines (232 loc) · 7.68 KB
/
acknowledgements.html
File metadata and controls
executable file
·257 lines (232 loc) · 7.68 KB
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
<html>
<head>
<link rel="stylesheet" type="text/css" href="//www.splint.org/splint.css" title="style1">
<title>Splint Home Page</title>
</head>
<body>
<table border="0" rules="none" bgcolor="#FFFFFF" width="95%" align=center cellpadding=0 cellspacing=0>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td>
<font color="darkblue" face="arial,helvetica"><a href="//www.splint.org/"><b>Splint</b> - Secure Programming Lint</a><br></font>
</td>
<td align=right>
<font face="arial,helvetica,sans-serif"><font color="darkblue">
<font size=-1>
<a href="mailto:info@splint.org">info@splint.org</a></font>
</font></font>
</td>
</tr>
<tr>
<td colspan=2 bgcolor="darkblue"></td>
</tr>
<tr>
<td colspan=2 bgcolor="darkblue"></td>
</tr>
<tr>
<td colspan=2 bgcolor="white"></td>
</tr>
<tr>
<td colspan=2 bgcolor="slate"></td>
</tr>
<tr>
<td>
<font face="arial,helvetica,sans-serif" size=-1>
<a
href="//www.splint.org/download.html">Download</a>
-
<A
HREF="//www.splint.org/documentation/">Documentation</a>
-
<a href="//www.splint.org/manual/">Manual</a>
-
<a
href="//www.splint.org/links.html">Links</a>
</font>
</td>
<td align=right>
<font face="arial,helvetica,sans-serif" size=-1>
<a
href="//www.splint.org/bugs.html">Reporting
Bugs</a> -
<a
href="//www.splint.org/lists.html">Mailing
Lists</a>
<a
href="//www.splint.org/sponsors.html">Sponsors</a>
-
<a
href="//www.splint.org/credits.html">Credits</a>
</font>
</td>
</tr>
</table>
<p>
<blockquote>
<center><H2>
Credits
</H2></center>
<p>
Splint is developed and maintained
by the Secure Programming Group at the <a href="//www.cs.virginia.edu">University of Virginia Department of
Computer Science</a>. <a href="//www.cs.virginia.edu/~evans">David Evans</a> is the project leader and the primary developer
of Splint.
<p><a href="//www.cs.virginia.edu/larochelle">David Larochelle</a> developed
the memory bounds checking. University of Virginia students Chris Barker,
<a href="//www.cs.virginia.edu/~dkf5k">David Friedman</a>, Mike
Lanouette and Hien Phan all contributed significantly to
the development of Splint.</p>
<p>Splint is the successor to
LCLint, a tool originally developed as a joint research project between the
Massachusetts Institute of Technology and Digital Equipment Corporation’s System
Research Center. <a href="//www.cs.virginia.edu/~evans">David Evans</a> was the primary designed and developer of LCLint.
<A HREF="//www.sds.lcs.mit.edu/~guttag/">John Guttag</A> and <A
href="//jhorning4.home.attbi.com/pro-home.html">Jim Horning</a> had the original
idea for a static checking tool for detecting inconsistencies between
LCL specifications and their C implementations. They provided valuable
advice on its functionality and design and were instrumental in its
development. </p>
<p>Splint incorporates the
original LCL checker developed by Yang Meng Tan. This was built on the DECspec
Project (Joe Wild, Gary Feldman, Steve Garland, and Bill McKeeman). The LSL
checker used by LCLint was developed by Steve Garland. The original C grammar
for LCLint was provided by Nate Osgood. This work has also benefited greatly
from discussions with Mike Burrows, <A
HREF="//larch-www.lcs.mit.edu:8001/~garland/">Stephen Garland</A>, Colin Godfrey, Steve
Harrison, Yanlin Huang, Daniel Jackson, John Knight, <A
HREF="//larch-www.lcs.mit.edu:8001/~aleeb/">Angelika Leeb</A>, <A
HREF="//larch-www.lcs.mit.edu:8001/~ulana/">Ulana Legedza</a>,
<a href="//www.cigital.com/~gem">Gary McGraw</a>,
Anya
Pogosyants, Avneesh Saxena, Seejo Sebastine, Navneet
Singh, Raymie Stata, Yang Meng Tan, and Mark Vandevoorde. I especially thank
Angelika Leeb for many constructive comments on improving an early version of
this document, Raymie Stata and Mark Vandevoorde for technical assistance, and
Dorothy Curtis, Paco Hope, Scott Ruffner, Christina Jackson, David Ladd, and
Jessica Greer for systems assistance.</p>
<p>Much of Splint’s development
has been driven by feedback from users in academia and industry. Many more
people than I can mention here have made contributions by suggesting
improvements, reporting bugs, porting early versions of Splint to other
platforms. Particularly heroic contributions have been made by Nelson Beebe,
Eric Bloodworth, Jutta Degener, Rick Farnbach, Chris Flatters, Huver Hu,
Alexander Mai, John Gerard Malecki, Thomas G. McWilliams, Michael Meskes,
Richard O’Keefe,
<a href="//www.schweikhardt.net/">Jens Schweikhardt</a>, Albert
L. Ting and Jim Zelenka. <a href="//herbert.the-little-red-haired-girl.org/en">
Martin “Herbert” Dietze</a> and Mike Smith performed valiantly in producing the original
Win32 and OS2 ports. Tim Van Holder produced the <span class=Keyword><span
style='font-size:10.0pt;font-family:Arial;color:windowtext'>automake</span></span>
and <span class=Keyword><span style='font-size:10.0pt;font-family:Arial;
color:windowtext'>autoconf</span></span> distribution. </p>
<p>Splint research at the University
of Virginia is currently funded in part by a grant from the NASA Langley Research
Center, an NSF CAREER Award for swarm programming, and an NSF CCLI Award for
using analysis to teach software engineering. David Larochelle is funded by a
USENIX student research grant. <span style='font-size:20.0pt'> </span></p>
<p>
<p align=right>
<font size=-1><em>If you are listed here, and want me to add a link to your homepage,
send mail to <a href="mailto:evans@cs.virginia.edu"><em>evans@cs.virginia.edu</em></a>.</em></font>
<P>
</blockquote>
<table border="0" rules="none" bgcolor="#FFFFFF" width="95%" align=center cellpadding=0 cellspacing=0>
<tr valign=top>
<td colspan=2 bgcolor="darkblue"></td>
<tr valign=top>
<td colspan=2 bgcolor="darkblue"></td>
<tr valign=top>
<td colspan=2 bgcolor="white"></td>
</tr>
<tr valign=top>
<td width=135 >
<a href="//www.splint.org"><img src="//www.splint.org/glowingwall-narrows.jpg"
width=132 height=65 border=0 alt=""></a>
</td>
<td>
<table cellpadding=0 cellspacing=0 width="100%">
<tr>
<td colspan=2 bgcolor="slate"></td>
</tr>
<tr>
<td>
<font color="darkblue" face="arial,helvetica"><a href="//www.splint.org/"><b>Splint</b> - Secure Programming Lint</a></font>
</td>
<td align=right>
<font face="arial,helvetica,sans-serif"><font color="darkblue">
<font size=-1>
<a href="mailto:info@splint.org">info@splint.org</a></font>
</font></font>
</td>
</tr>
<tr>
<td>
<font face="arial,helvetica,sans-serif" size=-1>
<a
href="//www.splint.org/download.html">Download</a>
-
<A
HREF="//www.splint.org/documentation/">Documentation</a>
-
<a href="//www.splint.org/manual/">Manual</a>
-
<a
href="//www.splint.org/links.html">Links</a><br>
<a
href="//www.splint.org/source.html">Source</a>
-
<A
HREF="//www.splint.org/linux.html">Linux</a>
-
<a href="//www.splint.org/pubs.html">Publications</a>
-
<a
href="//www.splint.org/talks.html">Talks</a><br>
</font>
</td>
<td align=right valign=top>
<font face="arial,helvetica,sans-serif" size=-1>
<a
href="//www.splint.org/bugs.html">Reporting
Bugs</a>
<a
href="//www.splint.org/sponsors.html">Sponsors</a>
-
<a
href="//www.splint.org/credits.html">Credits</a>
</font>
</td>
</tr>
</table>
</td>
</tr>
</table>
<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script>
<script type="text/javascript">
var pageTracker = _gat._getTracker("UA-3775212-3");
pageTracker._initData();
pageTracker._trackPageview();
</script>
</body>
</html>