Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Contact: University of Virginia <info@splint.org>
Upstream-Name: Splint
Source: http://www.splint.org/download.html
 The upstream pristine tarballs contain a PDF document for which no
 source is available (apparently derived from an MS Word document),
 so has been excluded from the DFSG tarballs.
 .
 So that Splint's HTML documentation can be packaged, the following
 files have also been included, which are all available from the Splint
 website:
 .
 doc/bugs.html
 doc/changes.html
 doc/html/faq.html
 doc/html/glowingwall-narrows.jpg
 doc/html/manual-301_files/image001.jpg
 doc/html/manual-301_files/image002.gif
 doc/html/manual-301_files/image003.gif
 doc/html/splint.css
 .
 Please use uscan or the get-orig-source target in debian/rules to
 create the DFSG tarballs.
Files-Excluded: doc/manual.pdf

Files: *
Copyright: 1994–2007, University of Virginia <info@splint.org>
           1994–2007, Massachusetts Institute of Technology
           1984–2007, Free Software Foundation, Inc.
License: GPL-2.0+

Files: doc/*
Copyright: 1994–2007, University of Virginia <info@splint.org>
License: CC-BY-SA-3.0

Files: test/tests2.4/toothman.c
 test/tests2.4/timecard.*
Copyright: 2000, Stephen Toothman <stephen.toothman@cicplan.com>
License: GPL-2.0+

Files: debian/*
Copyright: 2002–2007, Samuele Giovanni Tonon <samu@debian.org>
           2007–2008, Y Giridhar Appaji Nag <giridhar@appaji.net>
           2016, Raphaël Hertzog <hertzog@debian.org>
           2016, Helmut Grohne <helmut@subdivi.de>
           2017, Carlos Maddela <e7appew@gmail.com>
License: GPL-2.0+

Files: debian/external/linux-2.4.23.txt
Copyright: 2005, Brian Quinlan <brian.quinlan@iolfree.ie>
License: CC-BY-SA-3.0
Comment:
 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 :)

Files: debian/external/rtai.splintrc
Copyright: Rich Walker <rw@shadow.org.uk>
License: CC-BY-SA-3.0
Comment:
 From: 2004, 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.

License: CC-BY-SA-3.0
 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.

License: GPL-2.0+
 This package 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 package 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
 along with this program. If not, see <https://www.gnu.org/licenses/>.
 .
 On Debian systems, the complete text of the GNU General
 Public License version 2 can be found in "/usr/share/common-licenses/GPL-2".
