splintchecker.github.io/news.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
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
<html>
<head>
<link rel="stylesheet" type="text/css" href="http://www.splint.org/splint.css" title="style1">
<title>Splint - News</title>
</head>
<body>
<!--#include virtual="header.html"-->

<center><h1>
Splint News
</h1></center>

<h3>2003</h2>
<P>

<blockquote>

30&nbsp;Apr: A
<a href="downloads/binaries/splint-3.1.1.win32.zip">Win32 Binary</a> for
     Splint Version 3.1.1 is now available (contributed by Zhou Jun).

<p>
30&nbsp;Apr: <a href="download.html">Splint Version 3.1.1</a> pre-released (<a
     href="changes.html">changes summary</a>).
</blockquote>

<h3>2002</h2>
<P>

<blockquote>

28&nbsp;Dec: <a href="downloads/cvs.html">CVS version</a> builds on Mac OSX.
<p>
28&nbsp;Dec: <a href="downloads/cvs.html">Instructions</a> for obtaining Splint through CVS posted.
<p>
27 June: <a href="http://news.com.com/2100-1001-939988.html?tag=fd_ots">OpenSSH buffer overflow vulnerability</a>
<p>
23 May: Debian Package now available: <a href="http://packages.debian.org/unstable/devel/splint.html">
<em>http://packages.debian.org/unstable/devel/splint.html</em></a> or <a href="ftp://ftp.debian.org/debian/pool/main/s/splint/"><em>ftp.debian.org/debian/pool/main/s/splint/</em></a> (contributed by <a href="mailto:samu@debian.org">Samuele Giovanni Tonon</a>)
<p>
18 Feb: Linux x86 RPM Distribution: <a
href="http://www.splint.org/downloads/binaries/splint-3.0.1.6-1.i386.rpm">Linux
     x86 RPM Distribution</a> now available (provided by <a
     href="mailto:klemmerj@webtrek.com">Joe
Klemmer</a>)
<p>
18 Feb: <a href="http://splint.org/download.html#os2">OS/2 binary now
     available</a>
     (provided by Herbert Martin Dietze)</font>
<p>
12 Feb: <a href="http://news.com.com/2100-1001-835602.html"><em>Basic
     network flaw could disrupt Net</em></a> (c|net report on buffer
     overflow vulnerability
     in SNMP)</font>
<p>

11 Feb: <a href="http://www.splint.org/release.html">Splint Version
3.0.1.6</a> now available
<p>

5 Feb: <a href="http://www.splint.org/release.html">Splint Version 3.0.1.5</a> now available
<p>

19 Jan: <a href="http://www.splint.org/release.html">Splint Version 3.0.1.4</a> now available
<p>

14 Jan: <a href="http://www.splint.org/release.html">Splint Version 3.0.1.2</a> now available
<p>
7 Jan: <a href="http://www.splint.org/release.html">Splint Version 3.0.1.1</a> now available
<p>
7 Jan: Redesigned web site lanuched
<p>
3 Jan: <a
     href="http://www.cs.virginia.edu/evans/pubs/ieeesoftware-abstract.html"><em>Improving
     Security Using Extensible Lightweight Static Analysis</em></a>
     published in <A
     href="http://www.computer.org/software/so2002/s1042abs.htm"><em>IEEE
     Software</em></a>, Jan/Feb 2002</font>
<p>
1 Jan: <A href="faq.html#name">LCLint is now named Splint</a></font>


</blockquote>

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