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
Content-type: text/plain; charset=us-ascii; format=flowed
Content-transfer-encoding: 7BIT
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
Precedence: bulk

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