3 <table border="0" rules="none" bgcolor="#FFFFFF" width="95%" align=center cellpadding=0 cellspacing=0>
6 <td colspan=2 bgcolor="darkblue"></td>
8 <td colspan=2 bgcolor="darkblue"></td>
10 <td colspan=2 bgcolor="white"></td>
14 <a href="http://www.splint.org"><img src="http://www.splint.org/glowingwall-narrows.jpg"
15 width=132 height=65 border=0 alt=""></a>
18 <table cellpadding=0 cellspacing=0 width="100%">
20 <td colspan=2 bgcolor="slate"></td>
24 <font color="darkblue" face="arial,helvetica"><a href="http://www.splint.org/"><b>Splint</b> - Secure Programming Lint</a></font>
27 <font face="arial,helvetica,sans-serif"><font color="darkblue">
29 <a href="mailto:info@splint.org">info@splint.org</a></font>
36 <font face="arial,helvetica,sans-serif" size=-1>
38 href="http://www.splint.org/download.html">Download</a>
41 HREF="http://www.splint.org/documentation/">Documentation</a>
43 <a href="http://www.splint.org/manual/">Manual</a>
46 href="http://www.splint.org/links.html">Links</a><br>
49 href="http://www.splint.org/source.html">Source</a>
52 HREF="http://www.splint.org/linux.html">Linux</a>
54 <a href="http://www.splint.org/pubs.html">Publications</a>
57 href="http://www.splint.org/talks.html">Talks</a><br>
62 <td align=right valign=top>
64 <font face="arial,helvetica,sans-serif" size=-1>
66 href="http://www.splint.org/bugs.html">Reporting
69 href="http://www.splint.org/lists.html">Mailing
70 Lists</a> <IMG src="http://sourceforge.net/sflogo.php?group_id=9538" width="0" height="0" alt="">
74 href="http://www.splint.org/sponsors.html">Sponsors</a>
77 href="http://www.splint.org/credits.html">Credits</a>