splintchecker.github.io/header-image.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
<table border="0" rules="none" bgcolor="#FFFFFF" width=100% cellpadding=6 cellspacing=2>
<tr>
<td valign=top align=center width=5%>
<a href="http://www.cs.virginia.edu/evans/splint-new"><img border=0 align=center width=90 height=104 src="http://www.cs.virginia.edu/evans/splint-new/splintlogo.jpg"></a><br>
</td>
<td valign=bottom>
<table width=95% align=left cellpadding=0 cellspacing=0>
<tr>
<td>
<font color="darkblue" face="arial,helvetica"><b><a href="http://www.cs.virginia.edu/evans/splint-new/">Splint</b> - Secure Programming Lint<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></font>
</td>
</tr>
<tr>
<td colspan=2 bgcolor="blue"></td>
</tr>
<tr>
<td>
<font face="arial,helvetica,sans-serif" size=-1>
<a
href="http://www.cs.virginia.edu/evans/splint-new/download.html">Download</a>
-
<A
HREF="http://www.cs.virginia.edu/evans/splint-new/pubs.html">Documentation</a>
-
<a href="http://www.cs.virginia.edu/evans/splint-new/guide/">Manual</a>
-
<a
href="http://www.cs.virginia.edu/evans/splint-new/links.html">Links</a>
-
<a
href="http://www.cs.virginia.edu/evans/splint-new/bugs.html">Reporting
Bugs</a>
</font>
</td>
<td align=right>
<font face="arial,helvetica,sans-serif" size=-1>
<a
href="http://www.cs.virginia.edu/evans/splint-new/acknowledgements.html">Credits</a>
</font>
</td>
</tr>
</table>
</td>
</tr>
</table>

<p>
<blockquote>