X-Authentication-Warning: delorie.com: mail set sender to djgpp-bounces using -f Message-Id: <200712282030.lBSKUCtC007193@delorie.com> X-Authenticated: #27081556 X-Provags-ID: V01U2FsdGVkX18GzqkXS24GZkUatgx6MjGHQUc4g0y8deo0O8TvlC 0tLy0aQlq70Ez0 From: Juan Manuel Guerrero To: djgpp-announce AT delorie DOT com Subject: ANNOUNCE: release 2 of the DJGPP port of Splint 3.1.2 Date: Fri, 28 Dec 2007 21:31:23 +0100 Content-Disposition: inline X-Y-GMX-Trusted: 0 X-MIME-Autoconverted: from quoted-printable to 8bit by delorie.com id lBSKRg7L006097 This is release 2 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 file name issue.    1) To avoid a name clash between the support libraries standard.lcd and       standardstrict.lcd, the last one has been renamed to stdstrict.lcd.       That name will be used no matter if LFN support is available or not.       This may change in the future.  The goal is to make the program behaviour       as posix similar as possible if compiled with djgpp and when LFN support       at run time is available.    2) The configuration files .splintrc and .lclintrc have been renamed to       splint.rc and lclint.rc.  If LFN support is available the file name       .splintrc and .lclintrc will be used.  If LFN is not available at run       time splint.rc and lclint.rc will be used instead.  The files are       expected to be stored in the $HOME directory or in the current working       directory.    3) Every thing else works as in the previous port.    ATTENTION:  splint relays on the *existence* of certain paths.  This is    especially true for your TEMP path.  The DJGPP port of splint checks for    the following environment variables TMP, TEMP and TMPDIR in that order. One of those must be defined in the environment ***AND*** must point to an existing directory.  If neither of them are defined splint will default to whatever P_tmpdir points to.  If one of them is defined but pointing to a **NOT** existing directory, then splint will fail trying to creating/opening its    required temporary files and will refuse to work.  This means, splint does not check that your temp directory exists *before* trying to use it.    In conclusion:      make sure that your environment variable points to an existing directory.    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 Splint so I can not promisse that the    port is really perfect.  I release this port because the testsuite passes    flawless.    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-28):     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     Send splint specific bug reports to .     Send suggestions and bug reports concerning the DJGPP port to     comp.os.msdos.djgpp or .     Probably every failure of splint will have it source in the changes     done during the porting, so send a bug report to me *before* you send     one to the authors/maintainers of splint. Enjoy.         Guerrero, Juan Manuel