--- 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 +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 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 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 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 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 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 + explaining how to run splint on Linux drivers. + + -- Y Giridhar Appaji Nag 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 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" (Closes: #359894) + + -- Y Giridhar Appaji Nag 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 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 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 Mon, 17 Dec 2007 12:39:35 +0530 + +splint (3.1.2.dfsg-1) unstable; urgency=low + + * Adopted by Y Giridhar Appaji Nag (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 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 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 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 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 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 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 Wed, 7 May 2003 11:52:00 +0200 + +splint (3.1.1-1) unstable; urgency=low + + * New upstream release + + -- Samuele Giovanni Tonon 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 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 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 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 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 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 on +Mon, 13 May 2002 15:19:31 +0200. + +It was downloaded from http://www.splint.org/download.html + +Upstream Authors: + + University of Virginia + Free Software Foundation, Inc. + Massachusetts Institute of Technology + Stephen Toothman + +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 + Copyright (C) 2004, Rich Walker + Copyright (C) 2000, Stephen Toothman + +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 + To: Y Giridhar Appaji Nag + 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: + + Y. Giridhar Appaji Nag 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 + To: Y Giridhar Appaji Nag + 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 + To: Brian Quinlan + 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 +Copyright (C) 2007-2008, Y Giridhar Appaji Nag 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 +## +## 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 +## +## 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 flag is also passed to the C pre-processor. ++The \-I 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 (created by -dump). The default extension .lcd is added if has no ++Load state from (created by \-dump). The default extension .lcd is added if 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 + causes the described ++These flags control what additional information is printed by splint. Setting + causes the described + information to be printed; setting - 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 +-Exactly code errors are expected. Splint will exit with failure exit status unless ++Exactly code errors are expected. splint will exit with failure exit status unless + code errors are detected. + + .TP 6 +@@ -216,7 +217,7 @@ + + .TP 6 + .BI \-linelen " number" +-Set length of maximum message line to characters. Splint will split messages longer ++Set length of maximum message line to characters. splint will split messages longer + than 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) ++. --- 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 +## +## 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" 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 +## +## 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 +## +## 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 @@ + + + +- +- +- + + + +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 @@ + + + +- +- +- + + + +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 @@ + + +- + Splint FAQ + +@@ -579,16 +579,6 @@ + + + +- +- +- + + + +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"> + ++"manual.css" title="style1"> + Splint Manual +