X-Authentication-Warning:	delorie.com: mail set sender to djgpp-bounces using -f
X-Recipient:	djgpp AT delorie DOT com
Date:	Sun, 20 Jan 2008 14:09:01 -0500
From:	Ethan Rosenberg <ethros AT earthlink DOT net>
Subject:	Re: ANNOUNCE: release 3 of the DJGPP port of Splint 3.1.2 Is it the
	correct on?
In-reply-to:	<200801161852.m0GIqI28012817@delorie.com>
To:	DJGPP List <djgpp AT delorie DOT com>
Cc:	Juan Manuel Guerrero <juan DOT guerrero AT gmx DOT de>
Message-id:	<0JUY009LMIJSOE20@mta2.srv.hcvlny.cv.net>
MIME-version:	1.0
X-Mailer:	QUALCOMM Windows Eudora Version 7.1.0.9
References:	<200801161852 DOT m0GIqI28012817 AT delorie DOT com>
Reply-To:	djgpp AT delorie DOT com
Errors-To:	nobody AT delorie DOT com
X-Mailing-List:	djgpp AT delorie DOT com
X-Unsubscribes-To:	listserv AT delorie DOT com

At 01:08 PM 1/16/2008, you wrote:
>This is release 3 of the port of Splint 3.1.2 to MSDOS/DJGPP.
>
>   Splint is a tool for statically checking C programs for security
>   vulnerabilities and coding mistakes.
>
>
>   DJGPP specific changes.
>   =======================
>
>    This is an update of the previous port to fix a serious bug in 
> the handling
>    of DOS-style absolute paths when building the path string that is used to
>    look for header files included by the source file to be tested.
>    Thanks to Ethan Rosenberg to call my attention to this issue.
>
>
>
>     Splint 3.1.2 binary, pdf, html and man format documentation:
>     ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/spl312b.zip
>
>
+++++++++
Juan -

Thank you for the port.

Is the above source the correct one?  I still get the same 
performance with header files.  Is it possible that the incorrect 
source was uploaded?

Under separate cover I am sending you an example of a file that you can test.

Ethan 

- Raw text -