X-Authentication-Warning:	delorie.com: mail set sender to djgpp-bounces using -f
Message-Id:	<200712072215.lB7MF8YK016494@delorie.com>
X-Recipient:	djgpp-announce AT delorie DOT com
X-Authenticated:	#27081556
X-Provags-ID:	V01U2FsdGVkX1/z4N4jXOXzkGnGSEVgSrXtamgTA/Q3CTPLOJn1S8
	VQXn+qBDWthZMn
From:	Juan Manuel Guerrero <juan DOT guerrero AT gmx DOT de>
To:	djgpp-announce AT delorie DOT com
Subject:	ANNOUNCE: DJGPP port of Splint 3.1.2 uploaded
Date:	Fri, 7 Dec 2007 21:24:38 +0100
X-Y-GMX-Trusted:	0

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.


  DJGPP specific changes.
  =======================

  1) The most extensive DJGPP specific changes concern the handling of the
     paths.  The sources offer certain rudimentary support for win32 and
     OS2 compilers but this support is not good enough to allow the use of
     the DJGPP syntaxes with mixed slash and backslash as directory separator
     and colon and semicolon as path separator.  To use the provided MSDOS and
     WINDOWS support all paths given at the command line or in the supported
     envirinment varaiables are transformed from the DJGPP syntax to the MSDOS
     syntax and only semicolon is used as path separator.
     This is done with function dosify_path that uses a bug fixed version of
     the CVS version of fixpath.c.

  2) The DJGPP port of Splint will honour the following MSDOS/DJGPP specific
     preprocessor symbols MSDOS, __MSDOS, __MSDOS__, DJGPP, __DJGPP, __DJGPP__,
     DJGPP_MINUR, __DJGPP_MINOR and __DJGPP_MINOR__ apart of all the standard
     ones.

  3) The configuration files .splintrc and .lclintrc have been renamed to
     splint.rc and lclint.rc.  No matter if LFN support is available or not
     only these names will be honoured.  The files are expected to be stored
     in the $HOME directory or in the current working directory.

  4) The environment variable LARCH_PATH can be set to define a sequence of
     paths where to search for splint libraries and initialization files.
     If it has not been set then the build-in default value:
       .:/dev/env/DJDIR/share/splint/lib
     will be used.  The environment variable LCLIMPORTDIR defines the path
     sequence where to search for the lcl import files.  If it has not been
     set then the build-in default value:
       .:/dev/env/DJDIR/share/splint/imports
     will be used.


   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-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



    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>.
    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 <juan DOT guerrero AT gmx DOT de>

- Raw text -