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