splint (3.1.2.dfsg1-2) debian-dir only changes

Summary

 debian/README.source                     |    2 
 debian/changelog                         |  213 ++++++++++++++
 debian/compat                            |    1 
 debian/control                           |   92 ++++++
 debian/copyright                         |  457 +++++++++++++++++++++++++++++++
 debian/external/dbacl.splintrc           |   45 +++
 debian/external/linux-2.4.23.txt         |  248 ++++++++++++++++
 debian/external/rtai.splintrc            |   44 ++
 debian/external/splint.splintrc          |   88 +++++
 debian/patches/00list                    |    5 
 debian/patches/01_build.dpatch           |  116 +++++++
 debian/patches/02_manpage.dpatch         |  170 +++++++++++
 debian/patches/03_359894_VA_ARGS.dpatch  |   81 +++++
 debian/patches/04_bug_report.dpatch      |   46 +++
 debian/patches/05_html_docs_css.dpatch   |  102 ++++++
 debian/rules                             |  132 ++++++++
 debian/splint-data.lintian-overrides     |    2 
 debian/splint-doc-html.docs              |    1 
 debian/splint-doc-html.lintian-overrides |    2 
 debian/splint.docs                       |    1 
 debian/splint.examples                   |    4 
 debian/splint.lintian-overrides          |    5 
 debian/watch                             |    3 
 23 files changed, 1860 insertions(+)

    
download this patch

Patch contents

--- splint-3.1.2.dfsg1.orig/debian/control
+++ splint-3.1.2.dfsg1/debian/control
@@ -0,0 +1,92 @@
+Source: splint
+Section: devel
+Priority: optional
+Maintainer: Y Giridhar Appaji Nag <appaji@debian.org>
+Build-Depends: debhelper (>= 6.0.7~), autotools-dev, dpatch, flex
+Build-Conflicts: bison, bison++, splint (<= 3.1.1-6)
+Standards-Version: 3.8.0
+Homepage: http://www.splint.org/
+Vcs-Svn: svn://svn.debian.org/svn/collab-maint/ext-maint/splint/unstable
+Vcs-Browser: http://svn.debian.org/wsvn/collab-maint/ext-maint/splint/unstable/?op=log
+
+Package: splint
+Architecture: any
+Depends: ${shlibs:Depends}, splint-data (= ${source:Version})
+Suggests: splint-doc-html
+Description: tool for statically checking C programs for bugs
+ splint is an annotation-assisted lightweight static checker.  It is a tool for
+ statically checking C programs for security vulnerabilities and coding
+ mistakes.  If additional effort is invested in adding annotations to programs,
+ splint can perform stronger checking.
+ .
+ splint does many of the traditional lint checks including unused declarations,
+ type inconsistencies, use before definition, unreachable code, ignored return
+ values, execution paths with no return, likely infinite loops, and fall
+ through cases.  Problems detected by Splint include:
+ .
+  * Dereferencing a possibly null pointer
+  * Using or returning storage that is undefined or not properly defined
+  * Type mismatches, with greater precision and flexibility than by C compilers
+  * Memory management errors like use of dangling references and memory leaks
+  * Inconsistent (with specified interface) global variable modification or use
+  * Problematic control flow such as likely infinite loops etc.
+  * Buffer overflow vulnerabilities
+  * Dangerous macro implementations or invocations
+  * Violations of customized naming conventions
+
+Package: splint-data
+Architecture: all
+Recommends: splint (= ${source:Version})
+Conflicts: splint (<< 3.1.2.dfsg-1)
+Replaces: splint (<< 3.1.2.dfsg-1)
+Description: tool for statically checking C programs for bugs - data files
+ splint is an annotation-assisted lightweight static checker.  It is a tool for
+ statically checking C programs for security vulnerabilities and coding
+ mistakes.  If additional effort is invested in adding annotations to programs,
+ splint can perform stronger checking.
+ .
+ splint does many of the traditional lint checks including unused declarations,
+ type inconsistencies, use before definition, unreachable code, ignored return
+ values, execution paths with no return, likely infinite loops, and fall
+ through cases.  Problems detected by Splint include:
+ .
+  * Dereferencing a possibly null pointer
+  * Using or returning storage that is undefined or not properly defined
+  * Type mismatches, with greater precision and flexibility than by C compilers
+  * Memory management errors like use of dangling references and memory leaks
+  * Inconsistent (with specified interface) global variable modification or use
+  * Problematic control flow such as likely infinite loops etc.
+  * Buffer overflow vulnerabilities
+  * Dangerous macro implementations or invocations
+  * Violations of customized naming conventions
+ .
+ This package contains the data files that are necessary to use splint.
+
+Package: splint-doc-html
+Section: doc
+Architecture: all
+Suggests: splint
+Conflicts: splint-doc
+Replaces: splint-doc
+Description: tool for statically checking C programs for bugs - HTML documentation
+ splint is an annotation-assisted lightweight static checker.  It is a tool for
+ statically checking C programs for security vulnerabilities and coding
+ mistakes.  If additional effort is invested in adding annotations to programs,
+ splint can perform stronger checking.
+ .
+ splint does many of the traditional lint checks including unused declarations,
+ type inconsistencies, use before definition, unreachable code, ignored return
+ values, execution paths with no return, likely infinite loops, and fall
+ through cases.  Problems detected by Splint include:
+ .
+  * Dereferencing a possibly null pointer
+  * Using or returning storage that is undefined or not properly defined
+  * Type mismatches, with greater precision and flexibility than by C compilers
+  * Memory management errors like use of dangling references and memory leaks
+  * Inconsistent (with specified interface) global variable modification or use
+  * Problematic control flow such as likely infinite loops etc.
+  * Buffer overflow vulnerabilities
+  * Dangerous macro implementations or invocations
+  * Violations of customized naming conventions
+ .
+ This package contains the manual (HTML documentation) for splint.
--- splint-3.1.2.dfsg1.orig/debian/compat
+++ splint-3.1.2.dfsg1/debian/compat
@@ -0,0 +1 @@
+6
--- splint-3.1.2.dfsg1.orig/debian/watch
+++ splint-3.1.2.dfsg1/debian/watch
@@ -0,0 +1,3 @@
+version=3
+
+opts=dversionmangle=s/\.dfsg$// http://www.splint.org/downloads/splint-(.*)\.src\.tgz
--- splint-3.1.2.dfsg1.orig/debian/changelog
+++ splint-3.1.2.dfsg1/debian/changelog
@@ -0,0 +1,213 @@
+splint (3.1.2.dfsg1-2) unstable; urgency=low
+
+  * Add README.source to be compliant with policy 3.8.0
+  * Update Maintainer to official Debian ID
+  * Remove DM-Upload-Allowed: yes
+  * Update to debian/compat 6 and use dh_lintian instead of dh_installing
+    override files.
+
+ -- Y Giridhar Appaji Nag <appaji@debian.org>  Tue, 17 Feb 2009 20:56:18 +0530
+
+splint (3.1.2.dfsg1-1) unstable; urgency=low
+
+  * Add missing-image-files in the manual to orig tarball via get-orig-source
+  * Update Standards-Version to 3.8.0, no changes required.
+  * Patch 05_html_docs_css to remove google trackers in docs and to adjust CSS
+    to make the manual look like they are on splint.org (Closes: #466907)
+
+ -- Y Giridhar Appaji Nag <giridhar@appaji.net>  Fri, 15 Aug 2008 17:31:13 +0530
+
+splint (3.1.2.dfsg-9) unstable; urgency=low
+
+  * Add lintian overrides for typo in debian/copyright.  The license emails
+    have a typo that I would like to retain as is.
+
+ -- Y Giridhar Appaji Nag <giridhar@appaji.net>  Thu, 01 May 2008 11:37:12 +0530
+
+splint (3.1.2.dfsg-8) unstable; urgency=low
+
+  * Use '<<' versioning rather than '<=' for Conflicts/Replaces.
+  * Update 02_manpage to indicate that 'usestderr' is obsolete.  Thanks Chris
+    Adams <chris@improbable.org> for the bug report (Closes: #476567)
+  * List example .splintrc Copyright holders in debian/copyright
+  * linux-2.4.23.txt and rtai.splintrc are licensed under CC-BY-SA 3.0
+
+ -- Y Giridhar Appaji Nag <giridhar@appaji.net>  Thu, 01 May 2008 10:12:53 +0530
+
+splint (3.1.2.dfsg-7) unstable; urgency=low
+
+  * Add DM-Upload-Allowed: yes
+  * Remove linda overrides file
+  * Update 02_manpage to fix new lintian I: hyphen-used-as-minus-sign that
+    appeared magically
+  * Much improved packages descriptions
+  * Add linux-2.4.23.txt from Brian Quinlan <brian.quinlan@iolfree.ie>
+    explaining how to run splint on Linux drivers.
+
+ -- Y Giridhar Appaji Nag <giridhar@appaji.net>  Thu, 10 Apr 2008 15:02:45 +0530
+
+splint (3.1.2.dfsg-6) unstable; urgency=low
+
+  * Add a few working .splintrc example files to the splint binary package
+  * Patch 04_bug_report to set the bug reporting location and maintainer email
+    to Debian rather than upstream.
+  * Save and restore files deleted in clean target, to keep the tree identical
+    before and after clean.
+  * Use dh_install for installing lintian and linda overrides.  This looks
+    cleaner than doing it in debian/rules via the 'install' program.
+
+ -- Y Giridhar Appaji Nag <giridhar@appaji.net>  Sun, 03 Feb 2008 21:22:19 +0530
+
+splint (3.1.2.dfsg-5) unstable; urgency=low
+
+  * debian/copyright
+    + The documentation is licensed under CC-BY-SA 3.0
+    + The software and packaging are licensed under GPLv2 or later.
+  * Patch 03_359894_VA_ARGS.dpatch to support __VA_ARGS__.  Thanks "Bernhard
+    R. Link" <brlink@debian.org> (Closes: #359894)
+
+ -- Y Giridhar Appaji Nag <giridhar@appaji.net>  Tue, 15 Jan 2008 13:11:57 +0530
+
+splint (3.1.2.dfsg-4) unstable; urgency=low
+
+  * splint-doc-html Suggests splint irrespective of the version
+  * Add support for noopt in DEB_BUILD_OPTIONS, add -Wall -g to CFLAGS
+  * Update patch 01_build to echo the actual compilation command
+  * Build-Conflicts: bison, bison++, splint <= v3.1.1-6.  Configure checks for
+    the 'bison' program that is used later and leaves useless files around.
+    Tests fail while building if earlier version of splint is around.
+  * splint-data conflicts and replaces splint <= v3.1.1-6.  Thanks Kevin Locke
+    for the bug report (Closes: #457268)
+
+ -- Y Giridhar Appaji Nag <giridhar@appaji.net>  Fri, 21 Dec 2007 12:58:56 +0530
+
+splint (3.1.2.dfsg-3) unstable; urgency=low
+
+  * Update patch 02_manpage to fix lintian I: hyphen-used-as-minus-sign
+
+ -- Y Giridhar Appaji Nag <giridhar@appaji.net>  Mon, 17 Dec 2007 14:38:24 +0530
+
+splint (3.1.2.dfsg-2) unstable; urgency=low
+
+  * Remove useless debian/*.dirs files
+  * Correct versionsed dependencies, use '= ${source:Version}'
+  * splint-doc-html suggests as opposed to recommending splint
+  * DFSG source directory in tar file is now .dfsg and not .orig
+
+ -- Y Giridhar Appaji Nag <giridhar@appaji.net>  Mon, 17 Dec 2007 12:39:35 +0530
+
+splint (3.1.2.dfsg-1) unstable; urgency=low
+
+  * Adopted by Y Giridhar Appaji Nag <giridhar@appaji.net> (Closes: #424719)
+  * New upstream release (Closes: #298261)
+    + Fixes K&R / standard C mismatch (Closes: #171437)
+  * debian/:
+    + Switch from DH_COMPAT=3 to debian/compat (5)
+    + Add a debian/watch file
+    + Add lintian/linda overrides for manpage splint(1)
+  * debian/control
+    + Split into splint-data (large arch indep size), splint-doc-html and
+      splint binary packages
+    + Add Homepage: and Vcs-*: fields
+    + Bump up Standards-Version to 3.7.3, updated debian/copyright
+  * debian/copyright
+    + Includes all the correct copyright holders (Closes: #436744)
+  * Use dpatch.
+    + Patch 01_build: 'make clean' fixes to remove the generated bin/* and
+      *.lcs files
+    + Patch 02_manpage: Remove references to lint, invalid header/footer.
+      Correct typos.  Thanks Reynaldo H. Verdejo Pinochet and Justin Pryzby
+      (Closes: #352298, #343564)
+  * Rebuild for ldbl128 transition (Closes: #430328)
+  * Add .dfsg to version (Removed manual.pdf that has MS word sources).  Add
+    {faq,bugs,changes}.html via get-orig-source
+
+ -- Y Giridhar Appaji Nag <giridhar@appaji.net>  Sun, 16 Dec 2007 20:14:46 +0530
+
+splint (3.1.1-6) unstable; urgency=low
+
+  * Added Suggests: splint-doc (Closes: #363705)
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Fri, 21 Apr 2006 11:01:09 +0200
+
+splint (3.1.1-5) unstable; urgency=low
+
+  * added patch to include support to __VA_ARGS__ (Closes: #359894)
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Fri, 31 Mar 2006 09:59:10 +0200
+
+splint (3.1.1-4.1) unstable; urgency=high
+
+  * Non-maintainer upload.
+  * Update automake build-dep to automake1.9 (Closes: #335144).
+
+ -- Luk Claes <luk@debian.org>  Sun,  1 Jan 2006 18:31:17 +0100
+
+splint (3.1.1-4) unstable; urgency=low
+
+  * Added suggest splint in splint-doc control field (Closes: #194228)
+  * Closing bug because it's not splint fault of missing options in libc6-dev
+    files (Closes: #192474) 
+  * Splint output -help to stderr because normal output is on stdout, so
+    it's done to separate control message from real output (Closes: #200143)
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Fri, 23 Apr 2004 21:38:42 +0200
+
+splint (3.1.1-3) unstable; urgency=low
+
+  * Added R to LCLIMPORTDI variable in env.sh (Closes: #211411)
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Wed, 17 Sep 2003 19:15:51 +0200
+
+splint (3.1.1-2) unstable; urgency=low
+
+  * The "Close the bugs" Release
+  * Splint does not fail anymore on dos newline files (Closes: #177920)
+  * Fixed wrong manpage path (Closes: #192264)
+  * Fixed missing "/"  in source tree (Closes: #188500)
+  * added patch to solve signed char warning from gcc (thanks to Morgon Kanter)
+    however problems can be more in deep (Closes: bug#173477) .
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Wed,  7 May 2003 11:52:00 +0200
+
+splint (3.1.1-1) unstable; urgency=low
+
+  * New upstream release
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Tue,  6 May 2003 16:07:57 +0200
+
+splint (3.0.1.6-5) unstable; urgency=low
+
+  * added patch to solve signed char bug (thanks to Morgon Kanter) 
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Tue,  6 May 2003 15:48:47 +0200
+
+splint (3.0.1.6-4) unstable; urgency=low
+
+  * removed spurious file in clean section (Closes: bug#173477)
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Fri,  3 Jan 2003 02:56:35 +0100
+
+splint (3.0.1.6-3) unstable; urgency=low
+
+  * added test "$SUDO_USER" && chown -R "$SUDO_USER" "$dirpart/$DEPDIR"
+    and test "$SUDO_USER" && chown -R "$SUDO_USER" "$dirpart/$DEPDIR"
+    to make compile on mips, mipsel, 68k
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Tue, 11 Jun 2002 21:23:48 +0200
+
+splint (3.0.1.6-2) unstable; urgency=low
+
+  * added flex to build depends (Closes: bug#147885) 
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Thu, 23 May 2002 18:49:32 +0200
+
+splint (3.0.1.6-1) unstable; urgency=low
+
+  * Initial Release.
+  * added changes to Makefile to install docs and man page of splint
+  * added and example to run to set your environment
+  * modified debian/rules with a hack to make distclean work
+
+ -- Samuele Giovanni Tonon <samu@debian.org>  Wed, 15 May 2002 13:53:08 +0200
+
--- splint-3.1.2.dfsg1.orig/debian/copyright
+++ splint-3.1.2.dfsg1/debian/copyright
@@ -0,0 +1,457 @@
+This package was debianized by Samuele Giovanni Tonon <samu@debian.org> on
+Mon, 13 May 2002 15:19:31 +0200.
+
+It was downloaded from http://www.splint.org/download.html
+
+Upstream Authors:
+
+    University of Virginia <info@splint.org>
+    Free Software Foundation, Inc.
+    Massachusetts Institute of Technology <info@splint.org>
+    Stephen Toothman <stephen.toothman@cicplan.com>
+
+Copyright:
+
+    Copyright (C) 1984-2007, Free Software Foundation, Inc.
+    Copyright (C) 1994-2007, University of Virginia
+    Copyright (C) 1994-2007, Massachusetts Institute of Technology
+    Copyright (C) 2005, Brian Quinlan <brian.quinlan@iolfree.ie>
+    Copyright (C) 2004, Rich Walker <rw@shadow.org.uk>
+    Copyright (C) 2000, Stephen Toothman <stephen.toothman@cicplan.com>
+
+License:
+
+    This program is free software; you can redistribute it and/or modify
+    it under the terms of the GNU General Public License as published by
+    the Free Software Foundation; either version 2 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU General Public License for more details.
+
+    You should have received a copy of the GNU General Public License
+    with the Debian GNU/Linux distribution in the file
+    /usr/share/common-licenses/GPL-2; if not, write to the Free Software
+    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
+
+  debian/external/linux-2.4.23.txt debian/external/rtai.splintrc and the
+  documentation under the doc/ directory are licensed under the Creative
+  Commons Attribution-ShareAlike 3.0 Unported license.
+
+    Creative Commons Legal Code
+    
+      Attribution-ShareAlike 3.0 Unported
+    
+        /License/
+    
+    THE WORK (AS DEFINED BELOW) IS PROVIDED UNDER THE TERMS OF THIS CREATIVE
+    COMMONS PUBLIC LICENSE ("CCPL" OR "LICENSE"). THE WORK IS PROTECTED BY
+    COPYRIGHT AND/OR OTHER APPLICABLE LAW. ANY USE OF THE WORK OTHER THAN AS
+    AUTHORIZED UNDER THIS LICENSE OR COPYRIGHT LAW IS PROHIBITED.
+    
+    BY EXERCISING ANY RIGHTS TO THE WORK PROVIDED HERE, YOU ACCEPT AND AGREE
+    TO BE BOUND BY THE TERMS OF THIS LICENSE. TO THE EXTENT THIS LICENSE MAY
+    BE CONSIDERED TO BE A CONTRACT, THE LICENSOR GRANTS YOU THE RIGHTS
+    CONTAINED HERE IN CONSIDERATION OF YOUR ACCEPTANCE OF SUCH TERMS AND
+    CONDITIONS.
+    
+    *1. Definitions*
+    
+       1. *"Adaptation"* means a work based upon the Work, or upon the Work
+          and other pre-existing works, such as a translation, adaptation,
+          derivative work, arrangement of music or other alterations of a
+          literary or artistic work, or phonogram or performance and
+          includes cinematographic adaptations or any other form in which
+          the Work may be recast, transformed, or adapted including in any
+          form recognizably derived from the original, except that a work
+          that constitutes a Collection will not be considered an Adaptation
+          for the purpose of this License. For the avoidance of doubt, where
+          the Work is a musical work, performance or phonogram, the
+          synchronization of the Work in timed-relation with a moving image
+          ("synching") will be considered an Adaptation for the purpose of
+          this License.
+       2. *"Collection"* means a collection of literary or artistic works,
+          such as encyclopedias and anthologies, or performances, phonograms
+          or broadcasts, or other works or subject matter other than works
+          listed in Section 1(f) below, which, by reason of the selection
+          and arrangement of their contents, constitute intellectual
+          creations, in which the Work is included in its entirety in
+          unmodified form along with one or more other contributions, each
+          constituting separate and independent works in themselves, which
+          together are assembled into a collective whole. A work that
+          constitutes a Collection will not be considered an Adaptation (as
+          defined below) for the purposes of this License.
+       3. *"Creative Commons Compatible License"* means a license that is
+          listed at http://creativecommons.org/compatiblelicenses that has
+          been approved by Creative Commons as being essentially equivalent
+          to this License, including, at a minimum, because that license:
+          (i) contains terms that have the same purpose, meaning and effect
+          as the License Elements of this License; and, (ii) explicitly
+          permits the relicensing of adaptations of works made available
+          under that license under this License or a Creative Commons
+          jurisdiction license with the same License Elements as this License.
+       4. *"Distribute"* means to make available to the public the original
+          and copies of the Work or Adaptation, as appropriate, through sale
+          or other transfer of ownership.
+       5. *"License Elements"* means the following high-level license
+          attributes as selected by Licensor and indicated in the title of
+          this License: Attribution, ShareAlike.
+       6. *"Licensor"* means the individual, individuals, entity or entities
+          that offer(s) the Work under the terms of this License.
+       7. *"Original Author"* means, in the case of a literary or artistic
+          work, the individual, individuals, entity or entities who created
+          the Work or if no individual or entity can be identified, the
+          publisher; and in addition (i) in the case of a performance the
+          actors, singers, musicians, dancers, and other persons who act,
+          sing, deliver, declaim, play in, interpret or otherwise perform
+          literary or artistic works or expressions of folklore; (ii) in the
+          case of a phonogram the producer being the person or legal entity
+          who first fixes the sounds of a performance or other sounds; and,
+          (iii) in the case of broadcasts, the organization that transmits
+          the broadcast.
+       8. *"Work"* means the literary and/or artistic work offered under the
+          terms of this License including without limitation any production
+          in the literary, scientific and artistic domain, whatever may be
+          the mode or form of its expression including digital form, such as
+          a book, pamphlet and other writing; a lecture, address, sermon or
+          other work of the same nature; a dramatic or dramatico-musical
+          work; a choreographic work or entertainment in dumb show; a
+          musical composition with or without words; a cinematographic work
+          to which are assimilated works expressed by a process analogous to
+          cinematography; a work of drawing, painting, architecture,
+          sculpture, engraving or lithography; a photographic work to which
+          are assimilated works expressed by a process analogous to
+          photography; a work of applied art; an illustration, map, plan,
+          sketch or three-dimensional work relative to geography,
+          topography, architecture or science; a performance; a broadcast; a
+          phonogram; a compilation of data to the extent it is protected as
+          a copyrightable work; or a work performed by a variety or circus
+          performer to the extent it is not otherwise considered a literary
+          or artistic work.
+       9. *"You"* means an individual or entity exercising rights under this
+          License who has not previously violated the terms of this License
+          with respect to the Work, or who has received express permission
+          from the Licensor to exercise rights under this License despite a
+          previous violation.
+      10. *"Publicly Perform"* means to perform public recitations of the
+          Work and to communicate to the public those public recitations, by
+          any means or process, including by wire or wireless means or
+          public digital performances; to make available to the public Works
+          in such a way that members of the public may access these Works
+          from a place and at a place individually chosen by them; to
+          perform the Work to the public by any means or process and the
+          communication to the public of the performances of the Work,
+          including by public digital performance; to broadcast and
+          rebroadcast the Work by any means including signs, sounds or images.
+      11. *"Reproduce"* means to make copies of the Work by any means
+          including without limitation by sound or visual recordings and the
+          right of fixation and reproducing fixations of the Work, including
+          storage of a protected performance or phonogram in digital form or
+          other electronic medium.
+    
+    *2. Fair Dealing Rights.* Nothing in this License is intended to reduce,
+    limit, or restrict any uses free from copyright or rights arising from
+    limitations or exceptions that are provided for in connection with the
+    copyright protection under copyright law or other applicable laws.
+    
+    *3. License Grant.* Subject to the terms and conditions of this License,
+    Licensor hereby grants You a worldwide, royalty-free, non-exclusive,
+    perpetual (for the duration of the applicable copyright) license to
+    exercise the rights in the Work as stated below:
+    
+       1. to Reproduce the Work, to incorporate the Work into one or more
+          Collections, and to Reproduce the Work as incorporated in the
+          Collections;
+       2. to create and Reproduce Adaptations provided that any such
+          Adaptation, including any translation in any medium, takes
+          reasonable steps to clearly label, demarcate or otherwise identify
+          that changes were made to the original Work. For example, a
+          translation could be marked "The original work was translated from
+          English to Spanish," or a modification could indicate "The
+          original work has been modified.";
+       3. to Distribute and Publicly Perform the Work including as
+          incorporated in Collections; and,
+       4. to Distribute and Publicly Perform Adaptations.
+       5.
+    
+          For the avoidance of doubt:
+    
+             1. *Non-waivable Compulsory License Schemes*. In those
+                jurisdictions in which the right to collect royalties
+                through any statutory or compulsory licensing scheme cannot
+                be waived, the Licensor reserves the exclusive right to
+                collect such royalties for any exercise by You of the rights
+                granted under this License;
+             2. *Waivable Compulsory License Schemes*. In those
+                jurisdictions in which the right to collect royalties
+                through any statutory or compulsory licensing scheme can be
+                waived, the Licensor waives the exclusive right to collect
+                such royalties for any exercise by You of the rights granted
+                under this License; and,
+             3. *Voluntary License Schemes*. The Licensor waives the right
+                to collect royalties, whether individually or, in the event
+                that the Licensor is a member of a collecting society that
+                administers voluntary licensing schemes, via that society,
+                from any exercise by You of the rights granted under this
+                License.
+    
+    The above rights may be exercised in all media and formats whether now
+    known or hereafter devised. The above rights include the right to make
+    such modifications as are technically necessary to exercise the rights
+    in other media and formats. Subject to Section 8(f), all rights not
+    expressly granted by Licensor are hereby reserved.
+    
+    *4. Restrictions.* The license granted in Section 3 above is expressly
+    made subject to and limited by the following restrictions:
+    
+       1. You may Distribute or Publicly Perform the Work only under the
+          terms of this License. You must include a copy of, or the Uniform
+          Resource Identifier (URI) for, this License with every copy of the
+          Work You Distribute or Publicly Perform. You may not offer or
+          impose any terms on the Work that restrict the terms of this
+          License or the ability of the recipient of the Work to exercise
+          the rights granted to that recipient under the terms of the
+          License. You may not sublicense the Work. You must keep intact all
+          notices that refer to this License and to the disclaimer of
+          warranties with every copy of the Work You Distribute or Publicly
+          Perform. When You Distribute or Publicly Perform the Work, You may
+          not impose any effective technological measures on the Work that
+          restrict the ability of a recipient of the Work from You to
+          exercise the rights granted to that recipient under the terms of
+          the License. This Section 4(a) applies to the Work as incorporated
+          in a Collection, but this does not require the Collection apart
+          from the Work itself to be made subject to the terms of this
+          License. If You create a Collection, upon notice from any Licensor
+          You must, to the extent practicable, remove from the Collection
+          any credit as required by Section 4(c), as requested. If You
+          create an Adaptation, upon notice from any Licensor You must, to
+          the extent practicable, remove from the Adaptation any credit as
+          required by Section 4(c), as requested.
+       2. You may Distribute or Publicly Perform an Adaptation only under
+          the terms of: (i) this License; (ii) a later version of this
+          License with the same License Elements as this License; (iii) a
+          Creative Commons jurisdiction license (either this or a later
+          license version) that contains the same License Elements as this
+          License (e.g., Attribution-ShareAlike 3.0 US)); (iv) a Creative
+          Commons Compatible License. If you license the Adaptation under
+          one of the licenses mentioned in (iv), you must comply with the
+          terms of that license. If you license the Adaptation under the
+          terms of any of the licenses mentioned in (i), (ii) or (iii) (the
+          "Applicable License"), you must comply with the terms of the
+          Applicable License generally and the following provisions: (I) You
+          must include a copy of, or the URI for, the Applicable License
+          with every copy of each Adaptation You Distribute or Publicly
+          Perform; (II) You may not offer or impose any terms on the
+          Adaptation that restrict the terms of the Applicable License or
+          the ability of the recipient of the Adaptation to exercise the
+          rights granted to that recipient under the terms of the Applicable
+          License; (III) You must keep intact all notices that refer to the
+          Applicable License and to the disclaimer of warranties with every
+          copy of the Work as included in the Adaptation You Distribute or
+          Publicly Perform; (IV) when You Distribute or Publicly Perform the
+          Adaptation, You may not impose any effective technological
+          measures on the Adaptation that restrict the ability of a
+          recipient of the Adaptation from You to exercise the rights
+          granted to that recipient under the terms of the Applicable
+          License. This Section 4(b) applies to the Adaptation as
+          incorporated in a Collection, but this does not require the
+          Collection apart from the Adaptation itself to be made subject to
+          the terms of the Applicable License.
+       3. If You Distribute, or Publicly Perform the Work or any Adaptations
+          or Collections, You must, unless a request has been made pursuant
+          to Section 4(a), keep intact all copyright notices for the Work
+          and provide, reasonable to the medium or means You are utilizing:
+          (i) the name of the Original Author (or pseudonym, if applicable)
+          if supplied, and/or if the Original Author and/or Licensor
+          designate another party or parties (e.g., a sponsor institute,
+          publishing entity, journal) for attribution ("Attribution
+          Parties") in Licensor's copyright notice, terms of service or by
+          other reasonable means, the name of such party or parties; (ii)
+          the title of the Work if supplied; (iii) to the extent reasonably
+          practicable, the URI, if any, that Licensor specifies to be
+          associated with the Work, unless such URI does not refer to the
+          copyright notice or licensing information for the Work; and (iv) ,
+          consistent with Ssection 3(b), in the case of an Adaptation, a
+          credit identifying the use of the Work in the Adaptation (e.g.,
+          "French translation of the Work by Original Author," or
+          "Screenplay based on original Work by Original Author"). The
+          credit required by this Section 4(c) may be implemented in any
+          reasonable manner; provided, however, that in the case of a
+          Adaptation or Collection, at a minimum such credit will appear, if
+          a credit for all contributing authors of the Adaptation or
+          Collection appears, then as part of these credits and in a manner
+          at least as prominent as the credits for the other contributing
+          authors. For the avoidance of doubt, You may only use the credit
+          required by this Section for the purpose of attribution in the
+          manner set out above and, by exercising Your rights under this
+          License, You may not implicitly or explicitly assert or imply any
+          connection with, sponsorship or endorsement by the Original
+          Author, Licensor and/or Attribution Parties, as appropriate, of
+          You or Your use of the Work, without the separate, express prior
+          written permission of the Original Author, Licensor and/or
+          Attribution Parties.
+       4. Except as otherwise agreed in writing by the Licensor or as may be
+          otherwise permitted by applicable law, if You Reproduce,
+          Distribute or Publicly Perform the Work either by itself or as
+          part of any Adaptations or Collections, You must not distort,
+          mutilate, modify or take other derogatory action in relation to
+          the Work which would be prejudicial to the Original Author's honor
+          or reputation. Licensor agrees that in those jurisdictions (e.g.
+          Japan), in which any exercise of the right granted in Section 3(b)
+          of this License (the right to make Adaptations) would be deemed to
+          be a distortion, mutilation, modification or other derogatory
+          action prejudicial to the Original Author's honor and reputation,
+          the Licensor will waive or not assert, as appropriate, this
+          Section, to the fullest extent permitted by the applicable
+          national law, to enable You to reasonably exercise Your right
+          under Section 3(b) of this License (right to make Adaptations) but
+          not otherwise.
+    
+    *5. Representations, Warranties and Disclaimer*
+    
+    UNLESS OTHERWISE MUTUALLY AGREED TO BY THE PARTIES IN WRITING, LICENSOR
+    OFFERS THE WORK AS-IS AND MAKES NO REPRESENTATIONS OR WARRANTIES OF ANY
+    KIND CONCERNING THE WORK, EXPRESS, IMPLIED, STATUTORY OR OTHERWISE,
+    INCLUDING, WITHOUT LIMITATION, WARRANTIES OF TITLE, MERCHANTIBILITY,
+    FITNESS FOR A PARTICULAR PURPOSE, NONINFRINGEMENT, OR THE ABSENCE OF
+    LATENT OR OTHER DEFECTS, ACCURACY, OR THE PRESENCE OF ABSENCE OF ERRORS,
+    WHETHER OR NOT DISCOVERABLE. SOME JURISDICTIONS DO NOT ALLOW THE
+    EXCLUSION OF IMPLIED WARRANTIES, SO SUCH EXCLUSION MAY NOT APPLY TO YOU.
+    
+    *6. Limitation on Liability.* EXCEPT TO THE EXTENT REQUIRED BY
+    APPLICABLE LAW, IN NO EVENT WILL LICENSOR BE LIABLE TO YOU ON ANY LEGAL
+    THEORY FOR ANY SPECIAL, INCIDENTAL, CONSEQUENTIAL, PUNITIVE OR EXEMPLARY
+    DAMAGES ARISING OUT OF THIS LICENSE OR THE USE OF THE WORK, EVEN IF
+    LICENSOR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
+    
+    *7. Termination*
+    
+       1. This License and the rights granted hereunder will terminate
+          automatically upon any breach by You of the terms of this License.
+          Individuals or entities who have received Adaptations or
+          Collections from You under this License, however, will not have
+          their licenses terminated provided such individuals or entities
+          remain in full compliance with those licenses. Sections 1, 2, 5,
+          6, 7, and 8 will survive any termination of this License.
+       2. Subject to the above terms and conditions, the license granted
+          here is perpetual (for the duration of the applicable copyright in
+          the Work). Notwithstanding the above, Licensor reserves the right
+          to release the Work under different license terms or to stop
+          distributing the Work at any time; provided, however that any such
+          election will not serve to withdraw this License (or any other
+          license that has been, or is required to be, granted under the
+          terms of this License), and this License will continue in full
+          force and effect unless terminated as stated above.
+    
+    *8. Miscellaneous*
+    
+       1. Each time You Distribute or Publicly Perform the Work or a
+          Collection, the Licensor offers to the recipient a license to the
+          Work on the same terms and conditions as the license granted to
+          You under this License.
+       2. Each time You Distribute or Publicly Perform an Adaptation,
+          Licensor offers to the recipient a license to the original Work on
+          the same terms and conditions as the license granted to You under
+          this License.
+       3. If any provision of this License is invalid or unenforceable under
+          applicable law, it shall not affect the validity or enforceability
+          of the remainder of the terms of this License, and without further
+          action by the parties to this agreement, such provision shall be
+          reformed to the minimum extent necessary to make such provision
+          valid and enforceable.
+       4. No term or provision of this License shall be deemed waived and no
+          breach consented to unless such waiver or consent shall be in
+          writing and signed by the party to be charged with such waiver or
+          consent.
+       5. This License constitutes the entire agreement between the parties
+          with respect to the Work licensed here. There are no
+          understandings, agreements or representations with respect to the
+          Work not specified here. Licensor shall not be bound by any
+          additional provisions that may appear in any communication from
+          You. This License may not be modified without the mutual written
+          agreement of the Licensor and You.
+       6. The rights granted under, and the subject matter referenced, in
+          this License were drafted utilizing the terminology of the Berne
+          Convention for the Protection of Literary and Artistic Works (as
+          amended on September 28, 1979), the Rome Convention of 1961, the
+          WIPO Copyright Treaty of 1996, the WIPO Performances and
+          Phonograms Treaty of 1996 and the Universal Copyright Convention
+          (as revised on July 24, 1971). These rights and subject matter
+          take effect in the relevant jurisdiction in which the License
+          terms are sought to be enforced according to the corresponding
+          provisions of the implementation of those treaty provisions in the
+          applicable national law. If the standard suite of rights granted
+          under applicable copyright law includes additional rights not
+          granted under this License, such additional rights are deemed to
+          be included in the License; this License is not intended to
+          restrict the license of any rights under applicable law.
+
+    ---------------------------------------
+    Licensing debian/external/rtai.splintrc
+    ---------------------------------------
+
+    From: Rich Walker <rw@shadow.org.uk>
+    To: Y Giridhar Appaji Nag <giridhar@appaji.net>
+    In-Reply-To: <20080426091851.GA17081@loktak.appaji.net> (Y. Giridhar Appaji Nag's message of "Sat\, 26 Apr 2008 14\:48\:52 +0530")
+    User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux)
+    References: <20080426091851.GA17081@loktak.appaji.net>
+    Date: Sat, 26 Apr 2008 10:27:46 +0100
+    Message-ID: <m31w4tx8x9.fsf@shadow.org.uk>
+    
+    Y. Giridhar Appaji Nag <giridhar@appaji.net> wrote:
+    > Otherwise if you are OK, can you tell me what license you would allow
+    > re-distribution of the above under?  One of public domain, GPLv2+
+    > (under which the splint software itself is licensed) or CC-BY-SA 3.0
+    > (under which splint documentation is licensed) would be convinient :)
+    
+    I hereby release that code under CC-BY-SA 3.0.
+    
+    cheers, Rich.
+
+    ------------------------------------------
+    Licensing debian/external/linux-2.4.23.txt
+    ------------------------------------------
+    
+    From: Brian Quinlan <brian.quinlan@iolfree.ie>
+    To: Y Giridhar Appaji Nag <giridhar@appaji.net>
+    Date: Wed, 30 Apr 2008 13:56:39 +0100
+    Subject: [Fwd: RE: [Fwd: would like to use your post for .splintrc example]]
+    X-Mailer: Evolution 2.12.1
+    Message-Id: <1209560200.22708.106.camel@russell.home>
+
+    Hi Giridhar,
+    I sent Ray Bulger (founder/CEO of Duolog) an email asking to license the
+    post using CC-BY-SA 3.0. He on behalf of Duolog is okay with this, as am
+    I.
+
+    Please use the CC-BY-SA 3.0 license to license this post.
+
+    Bye,
+    Brian
+
+    -------- Forwarded Message --------
+    From: Y Giridhar Appaji Nag <giridhar@appaji.net>
+    To: Brian Quinlan <brian.quinlan@iolfree.ie>
+    Subject: would like to use your post for .splintrc example
+    Date: Sat, 26 Apr 2008 14:50:02 +0530
+
+    Hi Brian,
+
+    I want to add your mailing list post [1] about splint against kernel
+    sources as an example of a .splintrc file to the splint debian package.
+
+    [1] http://www.cs.virginia.edu/pipermail/splint-discuss/2005-January/000531.html
+
+    Can you please tell me if you have any objections to me doing this?
+    Otherwise if you are OK, can you tell me what license you would allow
+    re-distribution of the above under?  One of public domain, GPLv2+ (under
+    which the splint software itself is licensed) or CC-BY-SA 3.0 (under
+    which splint documentation is licensed) would be convinient :)
+
+The Debian packaging is
+Copyright (C) 2002-2007, Samuele Giovanni Tonon <samu@debian.org>
+Copyright (C) 2007-2008, Y Giridhar Appaji Nag <giridhar@appaji.net> and
+is licensed under the GNU GPL, either version 2 of the License, or (at
+your option) any later version; see `/usr/share/common-licenses/GPL-2'.
--- splint-3.1.2.dfsg1.orig/debian/rules
+++ splint-3.1.2.dfsg1/debian/rules
@@ -0,0 +1,132 @@
+#!/usr/bin/make -f
+
+include /usr/share/dpatch/dpatch.make
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+PKG_NAME=splint
+PKG_VERS=3.1.2
+DFSG_VERS=dfsg1
+UPSTR_SITE=http://www.$(PKG_NAME).org
+UPSTR_DIR=$(PKG_NAME)-$(PKG_VERS)
+UPSTR_FILE=$(UPSTR_DIR).src.tgz
+DFSG_ORIG_DIR=$(UPSTR_DIR).$(DFSG_VERS)
+DFSG_ORIG_TAR=$(PKG_NAME)_$(PKG_VERS).$(DFSG_VERS).orig.tar
+
+# These are used for cross-compiling and for saving the configure script
+# from having to guess our platform (since we know it already)
+DEB_HOST_GNU_TYPE   ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
+DEB_BUILD_GNU_TYPE  ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+
+CFLAGS=-Wall -g
+
+ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
+	CFLAGS += -O0
+else
+	CFLAGS += -O2
+endif
+
+config.status: patch configure-stamp
+configure-stamp:
+	dh_testdir
+ifneq "$(wildcard /usr/share/misc/config.sub)" ""
+	[ ! -f config/config.sub ] || mv -f config/config.sub config/config.sub.ups
+	cp -f /usr/share/misc/config.sub config/config.sub
+endif
+ifneq "$(wildcard /usr/share/misc/config.guess)" ""
+	[ ! -f config/config.guess ] || mv -f config/config.guess config/config.guess.ups
+	cp -f /usr/share/misc/config.guess config/config.guess
+endif
+	[ ! -f lib/posix.lcd ] || mv -f lib/posix.lcd lib/posix.lcd.ups
+	[ ! -f lib/posixstrict.lcd ] || mv -f lib/posixstrict.lcd lib/posixstrict.lcd.ups
+	[ ! -f lib/standard.lcd ] || mv -f lib/standard.lcd lib/standard.lcd.ups
+	[ ! -f lib/standardstrict.lcd ] || mv -f lib/standardstrict.lcd lib/standardstrict.lcd.ups
+	[ ! -f lib/unix.lcd ] || mv -f lib/unix.lcd lib/unix.lcd.ups
+	[ ! -f lib/unixstrict.lcd ] || mv -f lib/unixstrict.lcd lib/unixstrict.lcd.ups
+	./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info CFLAGS="$(CFLAGS)" LDFLAGS="-Wl,-z,defs"
+	touch $@
+
+build: build-stamp
+
+build-stamp: patch-stamp config.status
+	dh_testdir
+	$(MAKE)
+	touch $@
+
+clean: clean-patched unpatch
+clean-patched:
+	dh_testdir
+	dh_testroot
+	rm -f build-stamp configure-stamp
+	[ ! -f Makefile ] || $(MAKE) distclean
+	[ ! -f lib/unixstrict.lcd.ups ] || mv -f lib/unixstrict.lcd.ups lib/unixstrict.lcd
+	[ ! -f lib/unix.lcd.ups ] || mv -f lib/unix.lcd.ups lib/unix.lcd
+	[ ! -f lib/standardstrict.lcd.ups ] || mv -f lib/standardstrict.lcd.ups lib/standardstrict.lcd
+	[ ! -f lib/standard.lcd.ups ] || mv -f lib/standard.lcd.ups lib/standard.lcd
+	[ ! -f lib/posixstrict.lcd.ups ] || mv -f lib/posixstrict.lcd.ups lib/posixstrict.lcd
+	[ ! -f lib/posix.lcd.ups ] || mv -f lib/posix.lcd.ups lib/posix.lcd
+	[ ! -f config/config.guess.ups ] || mv -f config/config.guess.ups config/config.guess
+	[ ! -f config/config.sub.ups ] || mv -f config/config.sub.ups config/config.sub
+	dh_clean
+
+install: build
+	dh_testdir
+	dh_testroot
+	dh_clean -k
+	$(MAKE) DESTDIR=$(CURDIR)/debian/splint-data install-data
+	$(MAKE) DESTDIR=$(CURDIR)/debian/splint install-exec
+	dh_install
+	dh_lintian
+
+# Build architecture-independent files here.
+binary-indep: build install
+	dh_testdir -i
+	dh_testroot -i
+	dh_installchangelogs -i
+	dh_installdocs -i -p splint-doc-html
+	dh_compress -i
+	dh_fixperms -i
+	dh_installdeb -i
+	dh_gencontrol -i
+	dh_md5sums -i
+	dh_builddeb -i
+
+# Build architecture-dependent files here.
+binary-arch: build install
+	dh_testdir -a
+	dh_testroot -a
+	dh_installchangelogs -a doc/changes.html
+	dh_installdocs -a -p splint
+	dh_installexamples
+	dh_strip -a
+	dh_compress -a
+	dh_fixperms -a
+	dh_installdeb -a
+	dh_shlibdeps -a
+	dh_gencontrol -a
+	dh_md5sums -a
+	dh_builddeb -a
+
+get-orig-source:
+	wget -q $(UPSTR_SITE)/downloads/$(UPSTR_FILE)
+	tar -zxf $(UPSTR_FILE)
+	mv $(UPSTR_DIR) $(DFSG_ORIG_DIR)
+	rm -f $(DFSG_ORIG_DIR)/doc/manual.pdf
+	mv -f $(DFSG_ORIG_DIR)/doc/manual.css $(DFSG_ORIG_DIR)/doc/html/
+	mkdir $(DFSG_ORIG_DIR)/doc/html/manual-301_files/
+	wget -q $(UPSTR_SITE)/manual/manual-301_files/image001.jpg -O $(DFSG_ORIG_DIR)/doc/html/manual-301_files/image001.jpg
+	wget -q $(UPSTR_SITE)/manual/manual-301_files/image002.gif -O $(DFSG_ORIG_DIR)/doc/html/manual-301_files/image002.gif
+	wget -q $(UPSTR_SITE)/manual/manual-301_files/image003.gif -O $(DFSG_ORIG_DIR)/doc/html/manual-301_files/image003.gif
+	wget -q $(UPSTR_SITE)/faq.html -O $(DFSG_ORIG_DIR)/doc/html/faq.html
+	wget -q $(UPSTR_SITE)/changes.html -O $(DFSG_ORIG_DIR)/doc/changes.html
+	wget -q $(UPSTR_SITE)/bugs.html -O $(DFSG_ORIG_DIR)/doc/bugs.html
+	wget -q $(UPSTR_SITE)/splint.css -O $(DFSG_ORIG_DIR)/doc/html/splint.css
+	tar -cf $(DFSG_ORIG_TAR) $(DFSG_ORIG_DIR)
+	gzip --best $(DFSG_ORIG_TAR)
+	rm -rf $(DFSG_ORIG_DIR) $(UPSTR_FILE)
+	@echo "Re-packaged source file: $(DFSG_ORIG_TAR).gz"
+	@ls -l $(DFSG_ORIG_TAR).gz
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch binary install patch unpatch get-orig-source
--- splint-3.1.2.dfsg1.orig/debian/splint.examples
+++ splint-3.1.2.dfsg1/debian/splint.examples
@@ -0,0 +1,4 @@
+debian/external/dbacl.splintrc
+debian/external/rtai.splintrc
+debian/external/splint.splintrc
+debian/external/linux-2.4.23.txt
--- splint-3.1.2.dfsg1.orig/debian/README.source
+++ splint-3.1.2.dfsg1/debian/README.source
@@ -0,0 +1,2 @@
+Please read the README.source provided with the documentation of the
+dpatch package
--- splint-3.1.2.dfsg1.orig/debian/splint.docs
+++ splint-3.1.2.dfsg1/debian/splint.docs
@@ -0,0 +1 @@
+doc/bugs.html
--- splint-3.1.2.dfsg1.orig/debian/splint-doc-html.docs
+++ splint-3.1.2.dfsg1/debian/splint-doc-html.docs
@@ -0,0 +1 @@
+doc/html/
--- splint-3.1.2.dfsg1.orig/debian/splint.lintian-overrides
+++ splint-3.1.2.dfsg1/debian/splint.lintian-overrides
@@ -0,0 +1,5 @@
+# splint(1) is installed by splint-data
+splint: binary-without-manpage usr/bin/splint
+
+# Quote license email verbatim
+splint: spelling-error-in-copyright convinient convenient
--- splint-3.1.2.dfsg1.orig/debian/splint-data.lintian-overrides
+++ splint-3.1.2.dfsg1/debian/splint-data.lintian-overrides
@@ -0,0 +1,2 @@
+# Quote license email verbatim
+splint-data: spelling-error-in-copyright convinient convenient
--- splint-3.1.2.dfsg1.orig/debian/splint-doc-html.lintian-overrides
+++ splint-3.1.2.dfsg1/debian/splint-doc-html.lintian-overrides
@@ -0,0 +1,2 @@
+# Quote license email verbatim
+splint-doc-html: spelling-error-in-copyright convinient convenient
--- splint-3.1.2.dfsg1.orig/debian/patches/01_build.dpatch
+++ splint-3.1.2.dfsg1/debian/patches/01_build.dpatch
@@ -0,0 +1,116 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 01_build.dpatch by Y Giridhar Appaji Nag <giridhar@appaji.net>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Remove bin/* and the generated lcs files in the clean target.
+## DP: echo the command used during compilation
+
+@DPATCH@
+diff -urNad splint-3.1.2.dfsg~/Makefile.in splint-3.1.2.dfsg/Makefile.in
+--- splint-3.1.2.dfsg~/Makefile.in	2007-12-19 10:13:19.000000000 +0530
++++ splint-3.1.2.dfsg/Makefile.in	2007-12-19 10:13:28.000000000 +0530
+@@ -114,7 +114,7 @@
+ ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
+ mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
+ CONFIG_HEADER = config.h
+-CONFIG_CLEAN_FILES =
++CONFIG_CLEAN_FILES = bin/Makefile
+ DIST_SOURCES =
+ 
+ RECURSIVE_TARGETS = info-recursive dvi-recursive install-info-recursive \
+diff -urNad splint-3.1.2.dfsg~/src/Makefile.in splint-3.1.2.dfsg/src/Makefile.in
+--- splint-3.1.2.dfsg~/src/Makefile.in	2007-12-19 10:13:19.000000000 +0530
++++ splint-3.1.2.dfsg/src/Makefile.in	2007-12-19 10:15:06.000000000 +0530
+@@ -377,7 +377,7 @@
+ 
+ binDir = bin
+ 
+-CLEANFILES = splint$(EXEEXT)  ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
++CLEANFILES = splint$(EXEEXT)  ../$(top_builddir)/$(binDir)/splint$(EXEEXT) Headers/flag_codes.gen
+ subdir = src
+ mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
+ CONFIG_HEADER = $(top_builddir)/config.h
+@@ -1148,7 +1148,7 @@
+ splinttest: 
+ 	./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude test.c +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +keep +supcounts +partial -null
+ 
+-all: splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
++all: splint$(EXEEXT)
+ 
+ ../$(top_builddir)/$(binDir)/splint$(EXEEXT):  splint$(EXEEXT)
+ 	-$(RM) -f $(top_builddir)/$(binDir)/splint$(EXEEXT)
+@@ -1159,8 +1159,8 @@
+ 	$(MAKE) clean
+ 
+ .c.o:
+-	@echo "Compiling "$<"..."; \
+-	source='$<' object='$@' libtool=no \
++	@echo "$(CCDEPMODE) $(depcomp) $(COMPILE) -c `test -f $< || echo '$(srcdir)/'`$<"
++	@source='$<' object='$@' libtool=no \
+ 	depfile='$(DEPDIR)/$*.Po' tmpdepfile='$(DEPDIR)/$*.TPo' \
+ 	$(CCDEPMODE) $(depcomp) \
+ 	$(COMPILE) -c `test -f $< || echo '$(srcdir)/'`$<
+diff -urNad splint-3.1.2.dfsg~/test/Makefile.in splint-3.1.2.dfsg/test/Makefile.in
+--- splint-3.1.2.dfsg~/test/Makefile.in	2007-12-19 10:13:19.000000000 +0530
++++ splint-3.1.2.dfsg/test/Makefile.in	2007-12-19 10:13:28.000000000 +0530
+@@ -158,7 +158,8 @@
+ 
+ QUICKTESTS = db3
+ 
+-CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "^gmake.*\[[1-9]*\]:" |   $(GREP) -v "^gmake -e" |  $(GREP) -v "^make -e" |$(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
++CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "^gmake.*\[[1-9]*\]:" |   $(GREP) -v "^gmake -e" |  $(GREP) -v "^make -e" |$(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES=" | \
++$(GREP) -v "^/usr/bin/make.*\[[1-9]*\]:" | $(GREP) -v "^/usr/bin/gmake.*\[[1-9]*\]:" |   $(GREP) -v "^/usr/bin/gmake -e" |  $(GREP) -v "^/usr/bin/make -e"
+ 
+ 
+ #drl 12/07/2002 These rules for .c and .expect files don't make sense
+@@ -945,9 +946,12 @@
+ 
+ .PHONY: clean-local
+ clean-local:
+-	-rm -f *~ #*# *.o *.lcs a.out
++	-rm -f *~ \#*\# *.o *.lcs a.out
+ 	-rm -f *.out
+ 	-rm  *.lcd *.lh
++	-cd tests2.2; $(MAKE) clean
++	-cd tests2.4; $(MAKE) clean
++	-cd tests2.5; $(MAKE) clean
+ 	-cd db1; $(MAKE) clean
+ 	-cd db2; $(MAKE) clean
+ 	-cd db3; $(MAKE) clean
+diff -urNad splint-3.1.2.dfsg~/test/tests2.2/Makefile splint-3.1.2.dfsg/test/tests2.2/Makefile
+--- splint-3.1.2.dfsg~/test/tests2.2/Makefile	2007-12-19 10:13:19.000000000 +0530
++++ splint-3.1.2.dfsg/test/tests2.2/Makefile	2007-12-19 10:13:28.000000000 +0530
+@@ -48,3 +48,6 @@
+ 
+ struct:
+ 	-$(SPLINT) struct.c -expect 1
++
++clean:
++	rm -f bool.lcs
+diff -urNad splint-3.1.2.dfsg~/test/tests2.4/Makefile splint-3.1.2.dfsg/test/tests2.4/Makefile
+--- splint-3.1.2.dfsg~/test/tests2.4/Makefile	2007-12-19 10:13:19.000000000 +0530
++++ splint-3.1.2.dfsg/test/tests2.4/Makefile	2007-12-19 10:13:28.000000000 +0530
+@@ -78,11 +78,5 @@
+ source:
+ 	$(SPLINT) -D DBL_MANT_DIG=25 source.c -expect 1
+ 
+-
+-
+-
+-
+-
+-
+-
+-
++clean:
++	rm -f subdir/main.lcs
+diff -urNad splint-3.1.2.dfsg~/test/tests2.5/Makefile splint-3.1.2.dfsg/test/tests2.5/Makefile
+--- splint-3.1.2.dfsg~/test/tests2.5/Makefile	2007-12-19 10:13:19.000000000 +0530
++++ splint-3.1.2.dfsg/test/tests2.5/Makefile	2007-12-19 10:13:28.000000000 +0530
+@@ -44,3 +44,6 @@
+ 
+ impabsmodule:
+ 	-${SPLINT} +impabstract impabsmodule.c -expect 2
++
++clean:
++	rm -f newlint.lcd
--- splint-3.1.2.dfsg1.orig/debian/patches/00list
+++ splint-3.1.2.dfsg1/debian/patches/00list
@@ -0,0 +1,5 @@
+01_build
+02_manpage
+03_359894_VA_ARGS
+04_bug_report
+05_html_docs_css
--- splint-3.1.2.dfsg1.orig/debian/patches/02_manpage.dpatch
+++ splint-3.1.2.dfsg1/debian/patches/02_manpage.dpatch
@@ -0,0 +1,170 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 02_manpage.dpatch by Y Giridhar Appaji Nag <giridhar@appaji.net>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Remove references to lint, invalid header/footer.  Correct typos.
+
+@DPATCH@
+diff -urNad splint-3.1.2.dfsg~/doc/splint.1 splint-3.1.2.dfsg/doc/splint.1
+--- splint-3.1.2.dfsg~/doc/splint.1	2008-03-06 12:09:29.000000000 +0530
++++ splint-3.1.2.dfsg/doc/splint.1	2008-04-17 23:10:08.000000000 +0530
+@@ -1,5 +1,4 @@
+- .\" $Id: splint.1,v 1.2 2003/03/31 18:19:38 drl7x Exp $
+-.TH splint 1 "A tool for statically checking C programs"
++.TH splint 1
+ 
+ .SH NAME
+ splint \- A tool for statically checking C programs
+@@ -9,14 +8,14 @@
+ [options]
+ 
+ .SH DESCRIPTION
+-.BR Splint
++.BR splint
+ is a tool for statically checking C programs for security
+ vulnerabilities and common programming mistakes. With minimal effort,
+-Splint can be used as a better lint(1).If additional effort is invested
+-adding annotations to programs, Splint can perform stronger checks than
+-can be done by any standard lint.  For full documentation, please see
+-http://www.splint.org.  This man page only covers a few of the available
+-options. 
++splint can be used as a better lint. If additional effort is invested
++adding annotations to programs, splint can perform stronger checks than
++can be done by any standard lint.  For full documentation, install the
++splint-doc-html Debian package.  This man page only covers a few of the
++available options. 
+ 
+ .SH OPTIONS
+ 
+@@ -27,7 +26,7 @@
+ .PP
+ .B Initialization
+ 
+-These flags control directories and files used by Splint. They may be used from the
++These flags control directories and files used by splint. They may be used from the
+ command line or in an options file, but may not be used as control comments in the
+ source code. Except where noted. they have the same meaning preceded by \- or +. 
+ 
+@@ -52,19 +51,19 @@
+ .TP 6
+ .B \-nof 
+ Prevents the default options files (./.splintrc and ~/.splintrc) from being loaded. (Setting
+--nof overrides +nof, causing the options files to be loaded normally.) 
++\-nof overrides +nof, causing the options files to be loaded normally.) 
+ 
+ .TP 6
+ .BI \-systemdirs " directories"
+ Set directories for system files (default is "/usr/include"). Separate directories with colons (e.g.,
+ "/usr/include:/usr/local/lib"). Flag settings propagate to files in a system directory. If
+--systemdirerrors is set, no errors are reported for files in system directories. 
++\-systemdirerrors is set, no errors are reported for files in system directories. 
+ 
+ .PP
+ .B Pre-processor
+ 
+ These flags are used to define or undefine pre-processor constants.
+-The -I<directory> flag is also passed to the C pre-processor.
++The \-I<directory> flag is also passed to the C pre-processor.
+ 
+ .TP 6
+ .BI \-D " initializer"
+@@ -84,10 +83,10 @@
+ 
+ .TP 6
+ .BI \-load " file"
+-Load state from <file> (created by -dump). The default extension .lcd is added if <file> has no
++Load state from <file> (created by \-dump). The default extension .lcd is added if <file> has no
+ extension. Only one library file may be loaded. 
+ 
+-By default, the standard library is loaded if the -load flag is not used to load a user library. If no user library is
++By default, the standard library is loaded if the \-load flag is not used to load a user library. If no user library is
+ loaded, one of the following flags may be used to select a different standard library. Precede the flag by + to
+ load the described library (or prevent a library from being loaded using nolib). See Apppendix F for
+ information on the provided libraries. 
+@@ -123,12 +122,14 @@
+ .PP
+ .B Output
+ 
+-These flags control what additional information is printed by Splint. Setting +<flag> causes the described
++These flags control what additional information is printed by splint. Setting +<flag> causes the described
+ information to be printed; setting -<flag> prevents it. By default, all these flags are off.
+ 
+ .TP 6
+ .B \-usestderr 
+-Send error messages to standard error (instead of standard out). 
++Send error messages to standard error (instead of standard out).  This flag
++has been replaced by more precise flags for controlling the warning, status
++message and fatal error streams independently.  See the output of splint +usestderr
+ 
+ .TP 6
+ .B \-showsummary 
+@@ -139,7 +140,7 @@
+ 
+ .TP 6
+ .B \-showscan 
+-Show file names are they are processed. 
++Show file names as they are processed. 
+ 
+ .TP 6
+ .B \-showalluses 
+@@ -155,7 +156,7 @@
+ 
+ .TP 6
+ .B \-quiet 
+-Suppress herald and error count. (If quiet is not set, Splint prints out a herald with version
++Suppress herald and error count. (If quiet is not set, splint prints out a herald with version
+ information before checking begins, and a line summarizing the total number of errors reported.) 
+ 
+ .TP 6
+@@ -170,14 +171,14 @@
+ .PP
+ .B Expected Errors
+ 
+-Normally, Splint will expect to report no errors. The exit status will be success (0) if no errors are reported,
++Normally, splint will expect to report no errors. The exit status will be success (0) if no errors are reported,
+ and failure if any errors are reported. Flags can be used to set the expected number of reported errors.
+ Because of the provided error suppression mechanisms, these options should probably not be used for final
+ checking real programs but may be useful in developing programs using make.
+ 
+ .TP 6
+ .B \-expect <number> 
+-Exactly <number> code errors are expected. Splint will exit with failure exit status unless
++Exactly <number> code errors are expected. splint will exit with failure exit status unless
+ <number> code errors are detected. 
+ 
+ .TP 6
+@@ -216,7 +217,7 @@
+ 
+ .TP 6
+ .BI \-linelen " number"
+-Set length of maximum message line to <number> characters. Splint will split messages longer
++Set length of maximum message line to <number> characters. splint will split messages longer
+ than <number> characters long into multiple lines. Default: 80 
+ 
+ .PP
+@@ -229,7 +230,7 @@
+ set. 
+ 
+ These are brief descriptions to give a general idea of what each mode does. To see the complete flag settings
+-in each mode, use splint -help modes. A mode flag has the same effect when used with either + or -.
++in each mode, use splint \-help modes. A mode flag has the same effect when used with either + or \-.
+ 
+ .TP 6
+ .B \-weak 
+@@ -258,13 +259,8 @@
+ strict checking. 
+ 
+ .SH AUTHOR
++.PP
+ If you need to get in contact with the authors send email to
+-.UR mailto:info@splint.org
+-.UE
+-
++info@splint.org
+ or visit 
+-.UR http://www.splint.org
+-.UE
+-
+-.SH "SEE ALSO"
+-lint(1)
++<http://www.splint.org>.
--- splint-3.1.2.dfsg1.orig/debian/patches/03_359894_VA_ARGS.dpatch
+++ splint-3.1.2.dfsg1/debian/patches/03_359894_VA_ARGS.dpatch
@@ -0,0 +1,81 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 03_359894_VA_ARGS.dpatch by Y Giridhar Appaji Nag <giridhar@appaji.net>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Support for variadic macros __VA_ARGS__, based on a patch from
+## DP: "Bernhard R. Link" <brlink@debian.org> for #359894
+
+@DPATCH@
+diff -urNad splint-3.1.2.dfsg~/src/cpplib.c splint-3.1.2.dfsg/src/cpplib.c
+--- splint-3.1.2.dfsg~/src/cpplib.c	2007-07-14 03:47:48.000000000 +0530
++++ splint-3.1.2.dfsg/src/cpplib.c	2008-01-15 13:01:49.000000000 +0530
+@@ -2202,6 +2202,13 @@
+ /*@notfunction@*/
+ #define REST_EXTENSION_LENGTH	(sizeof (rest_extension) - 1)
+ 
++/*@-readonlytrans@*/
++static char rest_name[] = "__VA_ARGS__";
++/*:=readonlytrans@*/
++
++/*@notfunction@*/
++#define REST_NAME_LENGTH	(sizeof (rest_name) - 1)
++
+ /* Create a DEFINITION node from a #define directive.  Arguments are
+    as for do_define.  */
+ 
+@@ -2272,28 +2279,38 @@
+ 				  cstring_fromChars (rest_extension)));
+ 	  }
+ 
+-	if (!is_idstart[(int) *bp])
++	if (limit - bp > size_toInt (REST_EXTENSION_LENGTH)
++	    && strncmp (rest_extension, bp, REST_EXTENSION_LENGTH) == 0)
+ 	  {
+-	    cppReader_pedwarnLit (pfile,
+-			    cstring_makeLiteralTemp ("Invalid character in macro parameter name"));
++	    rest_args = 1;
++	    temp->rest_args = 1;
++	    temp->name = rest_name;
++	    temp->length = REST_NAME_LENGTH;
+ 	  }
+-
+-	/* Find the end of the arg name.  */
+-	while (is_idchar[(int) *bp])
++	else
+ 	  {
+-	    bp++;
+-	    /* do we have a "special" rest-args extension here? */
+-	    if (limit - bp > size_toInt (REST_EXTENSION_LENGTH)
+-		&& strncmp (rest_extension, bp, REST_EXTENSION_LENGTH) == 0)
+-	      {
+-		rest_args = 1;
+-		temp->rest_args = 1;
+-		/*@innerbreak@*/ break;
+-	      }
++		if (!is_idstart[(int) *bp])
++		  {
++		    cppReader_pedwarnLit (pfile,
++				    cstring_makeLiteralTemp ("Invalid character in macro parameter name"));
++		  }
++	
++		/* Find the end of the arg name.  */
++		while (is_idchar[(int) *bp])
++		  {
++		    bp++;
++		    /* do we have a "special" rest-args extension here? */
++		    if (limit - bp > size_toInt (REST_EXTENSION_LENGTH)
++			&& strncmp (rest_extension, bp, REST_EXTENSION_LENGTH) == 0)
++		      {
++			rest_args = 1;
++			temp->rest_args = 1;
++			/*@innerbreak@*/ break;
++		      }
++		  }
++		temp->length = size_fromInt (bp - temp->name);
+ 	  }
+ 
+-	temp->length = size_fromInt (bp - temp->name);
+-
+ 	if (rest_args != 0)
+ 	  {
+ 	    bp += REST_EXTENSION_LENGTH;
--- splint-3.1.2.dfsg1.orig/debian/patches/04_bug_report.dpatch
+++ splint-3.1.2.dfsg1/debian/patches/04_bug_report.dpatch
@@ -0,0 +1,46 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 04_bug_report.dpatch by Y Giridhar Appaji Nag <giridhar@appaji.net>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Change the bug reporting ID to submit@bugs.debian.org
+
+@DPATCH@
+diff -urNad splint-3.1.2.dfsg~/configure splint-3.1.2.dfsg/configure
+--- splint-3.1.2.dfsg~/configure	2008-01-27 01:50:54.000000000 +0530
++++ splint-3.1.2.dfsg/configure	2008-01-27 01:51:00.000000000 +0530
+@@ -271,7 +271,7 @@
+ PACKAGE_TARNAME='splint'
+ PACKAGE_VERSION='3.1.2'
+ PACKAGE_STRING='Splint 3.1.2'
+-PACKAGE_BUGREPORT='splint-bug@splint.org'
++PACKAGE_BUGREPORT='submit@bugs.debian.org (via reportbug)'
+ 
+ ac_unique_file="src/lclinit.c"
+ ac_subst_vars='SHELL PATH_SEPARATOR PACKAGE_NAME PACKAGE_TARNAME PACKAGE_VERSION PACKAGE_STRING PACKAGE_BUGREPORT exec_prefix prefix program_transform_name bindir sbindir libexecdir datadir sysconfdir sharedstatedir localstatedir libdir includedir oldincludedir infodir mandir build_alias host_alias target_alias DEFS ECHO_C ECHO_N ECHO_T LIBS build build_cpu build_vendor build_os host host_cpu host_vendor host_os target target_cpu target_vendor target_os INSTALL_PROGRAM INSTALL_SCRIPT INSTALL_DATA PACKAGE VERSION ACLOCAL AUTOCONF AUTOMAKE AUTOHEADER MAKEINFO AMTAR install_sh STRIP ac_ct_STRIP INSTALL_STRIP_PROGRAM AWK SET_MAKE CC CFLAGS LDFLAGS CPPFLAGS ac_ct_CC EXEEXT OBJEXT DEPDIR am__include am__quote AMDEP_TRUE AMDEP_FALSE AMDEPBACKSLASH CCDEPMODE CPP LEX LEXLIB LEX_OUTPUT_ROOT LN_S BISON GREP DIFF CAT RM MV CP SED LCLOBJ LIBOBJS LTLIBOBJS'
+diff -urNad splint-3.1.2.dfsg~/src/Headers/version.h splint-3.1.2.dfsg/src/Headers/version.h
+--- splint-3.1.2.dfsg~/src/Headers/version.h	2008-01-27 01:50:54.000000000 +0530
++++ splint-3.1.2.dfsg/src/Headers/version.h	2008-01-27 01:51:10.000000000 +0530
+@@ -17,7 +17,10 @@
+ # define SPLINT_LIBVERSION 3.018
+ 
+ /*@constant observer char *SPLINT_MAINTAINER; @*/
+-# define SPLINT_MAINTAINER "splint-bug@splint.org"
++# define SPLINT_MAINTAINER "submit@bugs.debian.org (via reportbug)"
++
++/*@constant observer char *SPLINT_DEBIAN_MAINTAINER; @*/
++# define SPLINT_DEBIAN_MAINTAINER "splint@packages.debian.org"
+ 
+ # else
+ # error "Multiple include"
+diff -urNad splint-3.1.2.dfsg~/src/help.c splint-3.1.2.dfsg/src/help.c
+--- splint-3.1.2.dfsg~/src/help.c	2008-01-27 01:50:54.000000000 +0530
++++ splint-3.1.2.dfsg/src/help.c	2008-01-27 01:51:00.000000000 +0530
+@@ -274,7 +274,7 @@
+ static void
+ printMaintainer (void)
+ {
+-  llmsg (message ("Maintainer: %s", cstring_makeLiteralTemp (SPLINT_MAINTAINER)));
++  llmsg (message ("Maintainer: %s", cstring_makeLiteralTemp (SPLINT_DEBIAN_MAINTAINER)));
+   llmsglit (LCL_COMPILE);
+ }
+ 
--- splint-3.1.2.dfsg1.orig/debian/patches/05_html_docs_css.dpatch
+++ splint-3.1.2.dfsg1/debian/patches/05_html_docs_css.dpatch
@@ -0,0 +1,102 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 05_html_docs_css.dpatch by Y Giridhar Appaji Nag <giridhar@appaji.net>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Remove google trackers and adjust css to look like online splint docs
+
+@DPATCH@
+diff -urNad splint-3.1.2.dfsg1~/doc/bugs.html splint-3.1.2.dfsg1/doc/bugs.html
+--- splint-3.1.2.dfsg1~/doc/bugs.html	2008-08-15 17:11:09.000000000 +0530
++++ splint-3.1.2.dfsg1/doc/bugs.html	2008-08-15 17:28:46.000000000 +0530
+@@ -640,16 +640,6 @@
+ </tr>
+ </table>
+ 
+-<script type="text/javascript">
+-var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
+-document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
+-</script>
+-<script type="text/javascript">
+-var pageTracker = _gat._getTracker("UA-3775212-3");
+-pageTracker._initData();
+-pageTracker._trackPageview();
+-</script>
+-
+ </body>
+ </html>
+ 
+diff -urNad splint-3.1.2.dfsg1~/doc/changes.html splint-3.1.2.dfsg1/doc/changes.html
+--- splint-3.1.2.dfsg1~/doc/changes.html	2008-08-15 17:11:08.000000000 +0530
++++ splint-3.1.2.dfsg1/doc/changes.html	2008-08-15 17:28:55.000000000 +0530
+@@ -781,16 +781,6 @@
+ </tr>
+ </table>
+ 
+-<script type="text/javascript">
+-var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
+-document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
+-</script>
+-<script type="text/javascript">
+-var pageTracker = _gat._getTracker("UA-3775212-3");
+-pageTracker._initData();
+-pageTracker._trackPageview();
+-</script>
+-
+ </body>
+ </html>
+ 
+diff -urNad splint-3.1.2.dfsg1~/doc/html/faq.html splint-3.1.2.dfsg1/doc/html/faq.html
+--- splint-3.1.2.dfsg1~/doc/html/faq.html	2008-08-15 17:11:06.000000000 +0530
++++ splint-3.1.2.dfsg1/doc/html/faq.html	2008-08-15 17:29:27.000000000 +0530
+@@ -4,7 +4,7 @@
+   <head>
+     <meta name="generator"
+     content="HTML Tidy for Linux/x86 (vers 1st November 2002), see www.w3.org" />
+-    <link rel="stylesheet" type="text/css" href="http://www.splint.org/splint.css"
++    <link rel="stylesheet" type="text/css" href="splint.css"
+     title="style1" />
+     <title>Splint FAQ</title>
+   </head>
+@@ -579,16 +579,6 @@
+ </tr>
+ </table>
+ 
+-<script type="text/javascript">
+-var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
+-document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
+-</script>
+-<script type="text/javascript">
+-var pageTracker = _gat._getTracker("UA-3775212-3");
+-pageTracker._initData();
+-pageTracker._trackPageview();
+-</script>
+-
+ </body>
+ </html>
+ 
+diff -urNad splint-3.1.2.dfsg1~/doc/html/manual.css splint-3.1.2.dfsg1/doc/html/manual.css
+--- splint-3.1.2.dfsg1~/doc/html/manual.css	2003-03-24 13:20:59.000000000 +0530
++++ splint-3.1.2.dfsg1/doc/html/manual.css	2008-08-15 17:27:59.000000000 +0530
+@@ -10,8 +10,8 @@
+ A:link { color: blue }
+ A:visited { color: darkblue }
+ A:active { color: green }
+-body { margin-left: 0%; margin-right: 0%; margin-top: 0%; margin-bottom:
+-0% }
++body { margin-left: 1%; margin-right: 1%; margin-top: 1%; margin-bottom:
++1% }
+ h4 { margin-left: 0%; margin-right: 0% }
+ h3 { margin-left: 0%; margin-right: 0% }
+ h2 { margin-left: 0%; margin-right: 0% }
+diff -urNad splint-3.1.2.dfsg1~/doc/html/manual.htm splint-3.1.2.dfsg1/doc/html/manual.htm
+--- splint-3.1.2.dfsg1~/doc/html/manual.htm	2003-04-29 03:34:49.000000000 +0530
++++ splint-3.1.2.dfsg1/doc/html/manual.htm	2008-08-15 17:29:36.000000000 +0530
+@@ -4,7 +4,7 @@
+ "HTML Tidy for Solaris (vers 1st March 2003), see www.w3.org"
+       name="generator">
+ <link rel="stylesheet" type="text/css" href=
+-"../manual.css" title="style1">
++"manual.css" title="style1">
+ <title>Splint Manual</title>
+ <style type="text/css">
+ <!--
--- splint-3.1.2.dfsg1.orig/debian/external/dbacl.splintrc
+++ splint-3.1.2.dfsg1/debian/external/dbacl.splintrc
@@ -0,0 +1,45 @@
+# This is the splint config file. It lists many options which must be
+# set for splint to run properly on the dbacl sources.
+
+# we want posix checking, but not strict (see splint manual, strict
+# gives spurious warnings when we ignore return values from fprintf etc.)
+-posix-strict-lib
+-retvalint
+
+# read system header files even if we know what they contain
+# this slows parsing, but otherwise we might get an error
+# because splint is missing function prototypes (this happened
+# in Debian with ftruncate, for example)
++gnuextensions
+-skip-posix-headers
+
+-DHAVE_CONFIG_H
+
+# splint doesn't understand u_intXX_t even though it's posix
+-Du_int64_t=uint64_t
+-Du_int32_t=uint32_t
+-Du_int16_t=uint16_t
+-Du_int8_t=uint8_t
+
+# splint thinks variables that start with m_ are special, and chokes 
+# on m_options. So we disable namechecks
+-namechecks
+
+# I know what I'm doing with floating point comparisons
+-realcompare
+
+# splint has special support for boolean testing, but
+# this does not exist in older C languages and we don't want it.
+-boolops
+-pred-bool-int
+-pred-bool-others
+-booltype bool_t
+
+# splint doesn't recognize "%6.2" "f" as equivalent to "%6.2f", this is
+# a bug. I've sent a report to the splint team, but meanwhile we disable
+# the check.
+-formatcode
+
+# we're not interested in errno and which functions might change it
+-globs
+
--- splint-3.1.2.dfsg1.orig/debian/external/splint.splintrc
+++ splint-3.1.2.dfsg1/debian/external/splint.splintrc
@@ -0,0 +1,88 @@
+-IHeaders 
+-DDEBUGPRINT
+
+-systemdirs /usr/include:/usr/local/lib/:/usr/lib
+
++allmacros # check all macros
++checks    # checks mode (moderately strict checking)
+
+### Display Flags
+-locindentspaces 0 
++showdeephistory
++showscan 
++showsummary 
++stats 
++timedist 
+
++charindex 
+-allglobals 
+-export 
++voidabstract 
++forwarddecl 
++relaxquals 
++allmacros
+
+### Assume all while and for loops execute at least once
++loopexec
+
+### Naming Convention
+
++czech 
+-czechconstants
+-enumprefix ~~* 
+-uncheckedmacroprefix ~* 
+
+### global variables should start with g_
+-globalprefix g_
++globalprefixexclude
+
+### parameters in declarations should start with p_
+-protoparamprefix p_
++protoparamprefixexclude
+
+### these flags slow down checking a lot,
+### only use on special occasions.
+###
+
++distinctinternalnames -internalnamecaseinsensitive 
++internalnamelookalike
+
+# -externalnamelen 24 
+
++sizeoftype 
++repeatunrecog 
++topuse 
++deepbreak 
++needspec 
++evalorderuncon 
+-mustmod 
++iso99limits 
++allempty 
++whileblock 
++forblock 
++elseifcomplete 
+
+### Limit maximimum include nesting
+-includenest 5
+
++posixlib
+     
+### this should be builtin to pp?
+-D__i386__
+-D_M_IX86
+
+-booltype bool
+-booltrue TRUE
+-boolfalse FALSE
+
++numliteral
++numabstractindex
++numabstractlit
+-numabstractprint
+
+-indentspaces 3
+
+#drl add 11-15-2001
++slashslashcomment
+
+
--- splint-3.1.2.dfsg1.orig/debian/external/rtai.splintrc
+++ splint-3.1.2.dfsg1/debian/external/rtai.splintrc
@@ -0,0 +1,44 @@
+# From http://groups.google.com/group/comp.arch.embedded/msg/c9a537b340d2d1d3
+# By Rich Walker <rw@shadow.org.uk>
+#
+# CFLAGS :=  -D__USE_GNU=1 -D__USE_MISC=1 -D__USE_BSD=1 -D_GNU_SOURCE=1 -O -Wall -W -DNDEBUG
+# CFLAGS +=  -Wcast-align -Wpointer-arith -Wbad-function-cast -Wsign-compare
+# CFLAGS +=  -Wno-unused -Wundef  -Wmissing-noreturn -Wmissing-format-attribute
+#
+# does pretty well for me.
+#
+# Mind you, I have a .splintrc in every directory as well - typical
+# contents: 
+
+-I/usr/src/linux/include/ -I/usr/src/rtai/include/ -I/usr/lib/gcc-lib/i386-linux/3.2.3/include/ -I/usr/include
+
+-realcompare
+-predboolint
+-boolops
+-exportlocal
+-fcnuse
+-exitarg
+-booltype bool
+-fullinitblock
++charindex
++charint
+-formattype
+-castfcnptr
+-shiftimplementation
+
+-Dsizeof(x)=(size_t)(sizeof(x))
+-D_GNU_SOURCE=1
+-D__GNUC__=3
+-D__GNUC_MINOR__=2
+-D__STDC__
+-D__signed__=
+-D__const__=const
+-D__inline__=inline
+-D__attribute__(x)=
+-D__const=const
+-D__restrict=
+-DKERNEL
+-D__builtin_va_list=int
+
+# (Running splint against kernel sources is ... interesting)
+
--- splint-3.1.2.dfsg1.orig/debian/external/linux-2.4.23.txt
+++ splint-3.1.2.dfsg1/debian/external/linux-2.4.23.txt
@@ -0,0 +1,248 @@
+From http://www.cs.virginia.edu/pipermail/splint-discuss/2005-January/000531.html
+By Brian Quinlan <brian.quinlan@iolfree.ie>
+
+             [splint-discuss] Using Splint on Linux kernel modules
+
+   Brian Quinlan brian.quinlan at iolfree.ie
+   Tue Jan 4 09:53:22 EST 2005
+
+   --------------------------------------------------------------------------
+
+ Hi,
+ We (Duolog Technologies) use the steps below to use splint on Linux
+ driver code. This works for us on a 2.4.23 kernel.
+
+ Originally, we started off on a different kernel and when we changed to
+ 2.4.23, it broke a few things. These were easy to fix, but it may
+ indicate that there could be other problems if you try to apply them to
+ other kernel versions.
+
+ We had to make 3 sets of changes to get splint working for Linux kernel
+ modules:
+
+ (1) The main problem that we have with using splint for Linux kernel
+ modules is that splint can't parse some of the gcc specific features
+ used by the Linux kernel. To get around this we redefine a few things in
+ our Makefile (see end of email).
+
+ It is probably not necessary to give splint a definition of all the
+ flags defined by gcc, but it was easier than finding out which ones are
+ actually required. We also redefine asm & __signed__ via our Makefile.
+ See also:
+
+ [9]http://www.splint.org/pipermail/splint-discuss/2002-December/000002.html
+
+ (2) We also found it necessary to change the implementation of a few
+ macros (for splint only, not for gcc). This was done by creating and
+ including a file called SplintLinuxKernelHelper.h (see end of email). It
+ must be included (AFTER any kernel headers) in any files where the
+ redefined macros are used. We were lucky that this occurred for
+ relatively few files - those that dealt specifically with Linux.
+
+ (3) Finally, we had to surround lots of calls to kernel functions with
+ splint annotations because we couldn't put the annotations directly into
+ the kernel headers. This was a little tedious, but fortunately in our
+ case it was restricted to relatively few file and in any case was well
+ worth the tedium because of the number of errors that splint found.
+
+ (4) We don't use +gnuextensions because it didn't fix anything for us.
+ It might fix a few things for you.
+
+ (5) It's possible that -sysdirerrors will also help (type "splint -help
+ sysdirerrors" and "splint -help sysdirs"). We haven't had to try it, so
+ it might cause other problems with the kernel code that we're not aware
+ of. See also:
+
+ [10]http://www.splint.org/pipermail/splint-discuss/2003-January/000025.html
+
+
+ Hope this helps someone. I am subscribed to the list, so if I can I'll
+ try to answer questions.
+
+ Bye,
+ Brian Quinlan
+ Duolog Technologies
+ www.duolog.com
+
+
+ *******************************************************************
+ Makefile:
+
+
+ DEFINED_FOR_KERNEL=-D__KERNEL__ -DMODULE
+
+ ifeq ($(SAVE_TEMPS_ENABLE), TRUE)
+ SAVE_TEMPS=--save-temps
+ SPLINT_KEEP=+keep
+ endif
+
+ # Splint fails to compile code for the Linux kernel largely because it does
+ # not have some gcc specific features that the kernel code relies on. Defining
+ # a list of FLAGS for splint that gcc defines by default helps with this.
+ # Run "gcc -dM -E - < /dev/null" to see a list of gcc defined symbols.
+ #
+ # Note that __GNUC__ is defined to be 2, not 3, because of problems splint has
+ # when compiling "typedef struct { } spinlock_t;" in <linux/splinlock.h>.
+ GCC_DEFINED_FLAGS_FOR_SPLINT=          \
+ -D__HAVE_BUILTIN_SETJMP__=1            \
+ -D__unix__=1                           \
+ -Dunix=1                               \
+ -D__i386__=1                           \
+ -D__SIZE_TYPE__="unsigned int"         \
+ -D__ELF__=1                            \
+ -D__GNUC_PATCHLEVEL__=0                \
+ -D__linux=1                            \
+ -D__unix=1                             \
+ -D__linux__=1                          \
+ -D__USER_LABEL_PREFIX__                \
+ -Dlinux=1                              \
+ -D__STDC_HOSTED__=1                    \
+ -D__WCHAR_TYPE__="long int"            \
+ -D__gnu_linux__=1                      \
+ -D__WINT_TYPE__="unsigned int"         \
+ -D__GNUC__=2                           \
+ -D__GXX_ABI_VERSION=102                \
+ -Di386=1                               \
+ -D__GNUC_MINOR__=2                     \
+ -D__STDC__=1                           \
+ -D__PTRDIFF_TYPE__=int                 \
+ -D__tune_i386__=1                      \
+ -D__REGISTER_PREFIX__                  \
+ -D__NO_INLINE__=1                      \
+ -D__i386=1                             \
+ -D__VERSION__="3.2 20020903 (Red Hat Linux 8.0 3.2-7)"
+
+ # Splint flags
+ #
+ # Don't skip ansi headers because this causes linux/signal.h to be excluded,
+ # which leads to parse errors.
+ # "asm" is redefined as an empty macro because it would otherwise cause
+ # parse errors for splint.
+ SPLINT_FLAGS = $(SPLINT_KEEP)                \
+              -skip-ansi-headers              \
+              $(DEFINED_FOR_KERNEL)           \
+              $(GCC_DEFINED_FLAGS_FOR_SPLINT) \
+              -Dasm'('w,x,y,z')'=""           \
+              -D__signed__=signed
+
+ SPLINT=Path to splint executable.
+ SRCS=List of all C source files in your Linux kernel module.
+ INC_FLAGS=List of all include paths (with -I prefix), e.g.,  -I/usr/src/linux-2.4.23/include -I/my/include/path
+
+ do_splint:
+         $(SPLINT) $(SPLINT_FLAGS) $(INC_FLAGS) $(SRCS)
+
+
+ *******************************************************************
+ SplintLinuxKernelHelper.h:
+
+ /*
+  * Filename:    $Id: SplintLinuxKernelHelper.h,v 1.2 2004/03/03 18:30:53 bquinl01 Exp $
+  * Description: Helps splint cope with Linux kernel headers.
+  */
+
+ #ifndef __KERNEL__
+ #error This header should not be included in a non-kernel module.
+ #endif
+
+ #ifdef S_SPLINT_S
+
+ #ifdef access_ok
+ #undef access_ok
+ #endif
+
+ #define access_ok(type, addr, size) (addr = addr, TRUE)
+
+
+ #ifdef get_user
+ #undef get_user
+ #endif
+
+ #define get_user(x, ptr) (x = *ptr, 0)
+
+
+ #ifdef put_user
+ #undef put_user
+ #endif
+
+ #define put_user(x, ptr) (x = *ptr, 0)
+
+
+ #ifdef copy_from_user
+ #undef copy_from_user
+ #endif
+
+ #define copy_from_user(to, from, n) (memcpy(to, from, n), 0)
+
+
+ #ifdef copy_to_user
+ #undef copy_to_user
+ #endif
+
+ #define copy_to_user(to,from,n) (memcpy(to, from, n), 0)
+
+ #ifdef wait_event_interruptible
+ #undef wait_event_interruptible
+ #endif
+
+ #define wait_event_interruptible(wq, condition)
+
+
+ #ifdef SET_MODULE_OWNER
+ #undef SET_MODULE_OWNER
+ #endif
+
+ #define SET_MODULE_OWNER(dev)
+
+
+ #ifdef module_init
+ #undef module_init
+ #endif
+
+ typedef void* __splint_module_fptr;
+
+ #define __splint_module_use_fptr(fn)                \
+   /*@unused@*/ static                               \
+     __splint_module_fptr __splint_module_fptr##fn = \
+       (__splint_module_fptr)fn
+
+ #define module_init(fn)  __splint_module_use_fptr(fn)
+
+
+ #ifdef module_exit
+ #undef module_exit
+ #endif
+
+ #define module_exit(fn) __splint_module_use_fptr(fn)
+
+
+ #ifdef MODULE_GENERIC_TABLE
+ #undef MODULE_GENERIC_TABLE
+ #endif
+
+ #define MODULE_GENERIC_TABLE(gtype,name)        \
+ static const unsigned long __module_##gtype##_size \
+   __attribute__ ((unused)) = (const unsigned long)sizeof(struct gtype##_id); \
+ static const struct gtype##_id * __module_##gtype##_table \
+   __attribute__ ((unused)) = name
+
+
+
+ #ifdef MODULE_DEVICE_TABLE
+ #undef MODULE_DEVICE_TABLE
+ #endif
+
+ #define MODULE_DEVICE_TABLE(type,name)          \
+   MODULE_GENERIC_TABLE(type##_device,name)
+
+
+
+ #endif /* S_SPLINT_S */
+
+   --------------------------------------------------------------------------
+
+References
+
+   Visible links
+   9. http://www.splint.org/pipermail/splint-discuss/2002-December/000002.html
+  10. http://www.splint.org/pipermail/splint-discuss/2003-January/000025.html