X-Authentication-Warning:	delorie.com: mail set sender to djgpp-bounces using -f
From:	Cesar Rabak <csrabak AT yahoo DOT com DOT br>
Newsgroups:	comp.os.msdos.djgpp
Subject:	Re: ANNOUNCE: DJGPP port of Splint 3.1.2 uploaded
Date:	Fri, 07 Dec 2007 21:46:05 -0300
Organization:	Aioe.org NNTP Server
Lines:	33
Message-ID:	<fjclms$4k8$1@aioe.org>
References:	<200712072215 DOT lB7MF8YK016494 AT delorie DOT com>
NNTP-Posting-Host:	drs+/V1EYJj35KhLd2EVxg.user.aioe.org
Mime-Version:	1.0
X-Complaints-To:	abuse AT aioe DOT org
In-Reply-To:
User-Agent:	Thunderbird 2.0.0.9 (Windows/20071031)
To:	djgpp AT delorie DOT com
DJ-Gateway:	from newsgroup comp.os.msdos.djgpp
Reply-To:	djgpp AT delorie DOT com

Juan Manuel Guerrero escreveu:
> This is a port of Splint 3.1.2 to MSDOS/DJGPP.
> 
>   Splint is a tool for statically checking C programs for security
>   vulnerabilities and coding mistakes.
> 
[snipped]

> 
>    The port consists of the two packages that have been compiled using
>    djdev204 and can be downloaded from ftp.delorie.com and mirrors as
>    (timestamp 2007-12-07):
> 
>     Splint 3.1.2 binary, info and man format documentation:
>     ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/mak381b.zip
> 
>     Splint 3.1.2 source:
>     ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/mak381b.zip
> 
I _think_ you mean:

	Splint 3.1.2 binary, info and man format documentation:

	ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/spl312b.zip

	Splint 3.1.2 source:
	ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/spl312s.zip


HTH

--
Cesar Rabak

- Raw text -