--- 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
![[patchlogo]](http://patch-tracker.debian.org/static/img/swirlpatch.png)