Splint 3.1.1
--------------------------------------------------------
Splint is a tool for statically checking C programs for
security vulnerabilities and coding mistakes. With minimal
effort, Splint can be used as a better lint. If additional
effort is invested adding annotations to programs, Splint
can perform stronger checking than can be done by any
standard lint.

Runtime requirements:
  cygwin-1.3.10 or newer

Build requirements:
  cygwin-1.3.10 or newer
  gcc
  binutils
  flex

Canonical homepage:
  http://www.splint.org/

Canonical download:
  http://www.splint.org/downloads/splint-3.1.1.src.tgz

------------------------------------

To re-create the offical 3.1.1 source:
  cd /usr/src/splint-3.1.1-1
  patch -R -p1 < ../splint-3.1.1-1.patch

Build instructions:
  unpack splint-3.1.1-1-src.tar.bz2
    If you used setup to install this src package, it will
    be unpacked under /usr/src automatically
  cd /usr/src/splint-3.1.1-1
  ./configure --prefix=/usr
  make
  make install

------------------------------------

  /etc/postinstall/splint.sh
  /usr/bin/splint.exe
  /usr/doc/Cygwin/splint-3.1.1-1.README
  /usr/doc/splint-3.1.1/html/footer.html
  /usr/doc/splint-3.1.1/html/header.html
  /usr/doc/splint-3.1.1/html/manual.htm
  /usr/doc/splint-3.1.1/html/realloc.htm
  /usr/doc/splint-3.1.1/manual.css
  /usr/doc/splint-3.1.1/manual.pdf
  /usr/man/man1/splint.1
  /usr/share/splint/imports/assert.lcl
  /usr/share/splint/imports/assert.lcs
  /usr/share/splint/imports/ctype.lcl
  /usr/share/splint/imports/ctype.lcs
  /usr/share/splint/imports/errno.lcl
  /usr/share/splint/imports/errno.lcs
  /usr/share/splint/imports/limits.lcl
  /usr/share/splint/imports/limits.lcs
  /usr/share/splint/imports/locale.lcl
  /usr/share/splint/imports/locale.lcs
  /usr/share/splint/imports/math.lcl
  /usr/share/splint/imports/math.lcs
  /usr/share/splint/imports/setjmp.lcl
  /usr/share/splint/imports/setjmp.lcs
  /usr/share/splint/imports/signal.lcl
  /usr/share/splint/imports/signal.lcs
  /usr/share/splint/imports/stdarg.lcl
  /usr/share/splint/imports/stdarg.lcs
  /usr/share/splint/imports/stdio.lcl
  /usr/share/splint/imports/stdio.lcs
  /usr/share/splint/imports/stdlib.lcl
  /usr/share/splint/imports/stdlib.lcs
  /usr/share/splint/imports/string.lcl
  /usr/share/splint/imports/string.lcs
  /usr/share/splint/imports/strings.lcl
  /usr/share/splint/imports/strings.lcs
  /usr/share/splint/imports/time.lcl
  /usr/share/splint/imports/time.lcs
  /usr/share/splint/lib/bool.h
  /usr/share/splint/lib/CTrait.syms
  /usr/share/splint/lib/CTraitGen.lcl
  /usr/share/splint/lib/file.mts
  /usr/share/splint/lib/file.xh
  /usr/share/splint/lib/filerw.mts
  /usr/share/splint/lib/filerw.xh
  /usr/share/splint/lib/lclinit.lci
  /usr/share/splint/lib/linux.h
  /usr/share/splint/lib/lslinit.lsi
  /usr/share/splint/lib/posix.h
  /usr/share/splint/lib/posix.lcd
  /usr/share/splint/lib/posixstrict.lcd
  /usr/share/splint/lib/standard.h
  /usr/share/splint/lib/standard.lcd
  /usr/share/splint/lib/standardstrict.lcd
  /usr/share/splint/lib/stdio.h
  /usr/share/splint/lib/stdlib.h
  /usr/share/splint/lib/tainted.mts
  /usr/share/splint/lib/tainted.xh
  /usr/share/splint/lib/unix.h
  /usr/share/splint/lib/unix.lcd
  /usr/share/splint/lib/unixstrict.lcd

--------------------------------------------------------

Port Notes:

The header src/Headers/osd.h (in the source package) was
patched to get rid of some warnings about the redefinition
of MAXPATHLEN.

Cygwin port maintained by: Elfyn McBratney <elfyn@ubertales.co.uk>
