Mail Archives: djgpp/2008/01/16/13:55:34
X-Authentication-Warning: | delorie.com: mail set sender to djgpp-bounces using -f
|
Message-Id: | <200801161852.m0GIqI28012817@delorie.com>
|
X-Recipient: | djgpp-announce AT delorie DOT com
|
X-Authenticated: | #27081556
|
X-Provags-ID: | V01U2FsdGVkX194MBdRSYl45EXPqKo1EFtltQUJarpwIN5PrGsI+d
|
| u2jOUiiID7TzbH
|
From: | Juan Manuel Guerrero <juan DOT guerrero AT gmx DOT de>
|
To: | djgpp-announce AT delorie DOT com
|
Subject: | ANNOUNCE: release 3 of the DJGPP port of Splint 3.1.2
|
Date: | Wed, 16 Jan 2008 19:08:33 +0100
|
X-Y-GMX-Trusted: | 0
|
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.
Due to the way I have handled the path issue and because some functions like
snprintf are not available on DJGPP 2.03, this port can only be compiled
with DJGPP 2.04. There will be no DJGPP 2.03 version.
To compile the sources you will need LFN support. If you decide to modify
the different parsers you will need bison and flex. To avoid that the
configuration process reflects the paths of my DJGPP installation tree in
the default values for DEFAULT_LARCHPATH and DEFAULT_LCLIMPORTDIR, the
distributed sources will not be preconfigured. To run the testsuite
you will need diffutils.
As usual all the changes to the sources are documented in the djgpp/diffs
file.
Please **read** the docs stored in /gnudocs/splint-3.1-2.
Please note that I have never used and do not use Splint at all so I can
not promisse that the port is really perfect. I release this port because
the testsuite passes flawless. Please note also that the authors and
maintainers of Splint are not aware of any changes I have done to the
sources, so you cannot expect assistance from them. Every failure that
may seen have it origen in file handling is very likely a bug in the port
and must be reported to me and not to the splint maintainers. I will
not promisse that I will fix the issue quickly. My time is limited.
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 2008-01-16):
Splint 3.1.2 binary, pdf, html 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
Send splint specific bug reports to <splint-bug AT cs DOT virginia DOT edu>.
Send suggestions and bug reports concerning the DJGPP port to
comp.os.msdos.djgpp or <djgpp AT delorie DOT com>.
Happy testing.
Guerrero, Juan Manuel <juan DOT guerrero AT gmx DOT de>
- Raw text -