Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: IKOS
Source: https://github.com/NASA-SW-VnV/ikos
Disclaimer:
 IKOS is in non-free because the NASA Open Source Agreement (NASA-1.3) has been
 determined to not be DFSG-compatible.

Files: *
Copyright:
 Copyright (c) 2011-2023 United States Government as represented by the
 Administrator of the National Aeronautics and Space Administration.
License: NASA-1.3

Files: cmake/FindTBB.cmake
Copyright: Copyright (c) 2015 Justus Calvin
License: MIT

Files: cmake/FindBoost.cmake
Copyright: none
License: BSD-3-clause

Files: debian/*
Copyright: held by the contributors mentioned in debian/changelog
License: MIT

License: NASA-1.3
 NASA OPEN SOURCE AGREEMENT VERSION 1.3
 .
 THIS OPEN SOURCE AGREEMENT (“AGREEMENT”) DEFINES THE RIGHTS OF USE,
 REPRODUCTION, DISTRIBUTION, MODIFICATION AND REDISTRIBUTION OF CERTAIN COMPUTER
 SOFTWARE ORIGINALLY RELEASED BY THE UNITED STATES GOVERNMENT AS REPRESENTED BY
 THE GOVERNMENT AGENCY LISTED BELOW ("GOVERNMENT AGENCY").  THE UNITED STATES
 GOVERNMENT, AS REPRESENTED BY GOVERNMENT AGENCY, IS AN INTENDED THIRD-PARTY
 BENEFICIARY OF ALL SUBSEQUENT DISTRIBUTIONS OR REDISTRIBUTIONS OF THE SUBJECT
 SOFTWARE.  ANYONE WHO USES, REPRODUCES, DISTRIBUTES, MODIFIES OR REDISTRIBUTES
 THE SUBJECT SOFTWARE, AS DEFINED HEREIN, OR ANY PART THEREOF, IS, BY THAT
 ACTION, ACCEPTING IN FULL THE RESPONSIBILITIES AND OBLIGATIONS CONTAINED IN THIS
 AGREEMENT.
 .
 Government Agency: NASA Ames Research Center
 Government Agency Original Software Designation: NASA Ames Research Center
 Government Agency Original Software Title: Inference Kernel for Open Static
 Analyzers (IKOS)
 User Registration Requested.  Please Visit http://opensource.arc.nasa.gov/
 Government Agency Point of Contact for Original Software: Guillaume P. Brat
 .
 1. DEFINITIONS
     A.
         “Contributor” means Government Agency, as the developer of the Original
         Software, and any entity that makes a Modification.
 .
     B.
         “Covered Patents” mean patent claims licensable by a Contributor that
         are necessarily infringed by the use or sale of its Modification alone
         or when combined with the Subject Software.
 .
     C.
         “Display” means the showing of a copy of the Subject Software, either
         directly or by means of an image, or any other device.
 .
     D.
         “Distribution” means conveyance or transfer of the Subject Software,
         regardless of means, to another.
 .
     E.
         “Larger Work” means computer software that combines Subject Software, or
         portions thereof, with software separate from the Subject Software that
         is not governed by the terms of this Agreement.
 .
     F.
         “Modification” means any alteration of, including addition to or
         deletion from, the substance or structure of either the Original
         Software or Subject Software, and includes derivative works, as that
         term is defined in the Copyright Statute, 17 USC 101.  However, the act
         of including Subject Software as part of a Larger Work does not in and
         of itself constitute a Modification.
 .
     G.
         “Original Software” means the computer software first released under
         this Agreement by Government Agency with Government Agency designation
         NASA Ames Research Center and entitled Inference Kernel for Open Static
         Analyzers (IKOS), including source code, object code and accompanying
         documentation, if any.
 .
     H.
         “Recipient” means anyone who acquires the Subject Software under this
         Agreement, including all Contributors.
 .
     I.
         “Redistribution” means Distribution of the Subject Software after a
         Modification has been made.
 .
     J.
         “Reproduction” means the making of a counterpart, image or copy of the
         Subject Software.
 .
     K.
         “Sale” means the exchange of the Subject Software for money or
         equivalent value.
 .
     L.
         “Subject Software” means the Original Software, Modifications, or any
         respective parts thereof.
 .
     M.
         “Use” means the application or employment of the Subject Software for
         any purpose.
 .
 2. GRANT OF RIGHTS
     A.
         Under Non-Patent Rights: Subject to the terms and conditions of this
         Agreement, each Contributor, with respect to its own contribution to the
         Subject Software, hereby grants to each Recipient a non-exclusive,
         world-wide, royalty-free license to engage in the following activities
         pertaining to the Subject Software:
             1. Use
             2. Distribution
             3. Reproduction
             4. Modification
             5. Redistribution
             6. Display
 .
     B.
         Under Patent Rights: Subject to the terms and conditions of this
         Agreement, each Contributor, with respect to its own contribution to the
         Subject Software, hereby grants to each Recipient under Covered Patents
         a non-exclusive, world-wide, royalty-free license to engage in the
         following activities pertaining to the Subject Software:
             1. Use
             2. Distribution
             3. Reproduction
             4. Sale
             5. Offer for Sale
 .
     C.
         The rights granted under Paragraph B. also apply to the combination of a
         Contributor’s Modification and the Subject Software if, at the time the
         Modification is added by the Contributor, the addition of such
         Modification causes the combination to be covered by the Covered
         Patents.  It does not apply to any other combinations that include a
         Modification.
 .
     D.
         The rights granted in Paragraphs A. and B. allow the Recipient to
         sublicense those same rights.  Such sublicense must be under the same
         terms and conditions of this Agreement.
 .
 .
 3. OBLIGATIONS OF RECIPIENT
 .
     A.
         Distribution or Redistribution of the Subject Software must be made
         under this Agreement except for additions covered under paragraph 3H.
 .
             1. Whenever a Recipient distributes or redistributes the Subject
             Software, a copy of this Agreement must be included with each copy
             of the Subject Software; and
 .
             2. If Recipient distributes or
             redistributes the Subject Software in any form other than source
             code, Recipient must also make the source code freely available, and
             must provide with each copy of the Subject Software information on
             how to obtain the source code in a reasonable manner on or through a
             medium customarily used for software exchange.
 .
     B.
         Each Recipient must ensure that the following copyright notice appears
         prominently in the Subject Software:
 .
             Copyright © 2011 United States Government as represented by the
             Administrator of the National Aeronautics and Space Administration.
             All Rights Reserved.
 .
     C.
         Each Contributor must characterize its alteration of the Subject
         Software as a Modification and must identify itself as the originator of
         its Modification in a manner that reasonably allows subsequent
         Recipients to identify the originator of the Modification.  In
         fulfillment of these requirements, Contributor must include a file
         (e.g., a change log file) that describes the alterations made and the
         date of the alterations, identifies Contributor as originator of the
         alterations, and consents to characterization of the alterations as a
         Modification, for example, by including a statement that the
         Modification is derived, directly or indirectly, from Original Software
         provided by Government Agency. Once consent is granted, it may not
         thereafter be revoked.
 .
     D.
         A Contributor may add its own copyright notice to the Subject Software.
         Once a copyright notice has been added to the Subject Software, a
         Recipient may not remove it without the express permission of the
         Contributor who added the notice.
 .
 .
     E.
         A Recipient may not make any representation in the Subject Software or
         in any promotional, advertising or other material that may be construed
         as an endorsement by Government Agency or by any prior Recipient of any
         product or service provided by Recipient, or that may seek to obtain
         commercial advantage by the fact of Government Agency's or a prior
         Recipient’s participation in this Agreement.
 .
     F.
         In an effort to track usage and maintain accurate records of the Subject
         Software, each Recipient, upon receipt of the Subject Software, is
         requested to register with Government Agency by visiting the following
         website: http://opensource.arc.nasa.gov/.   Recipient’s name and
         personal information shall be used for statistical purposes only. Once a
         Recipient makes a Modification available, it is requested that the
         Recipient inform Government Agency at the web site provided above how to
         access the Modification.
 .
     G.
         Each Contributor represents that that its Modification is believed to be
         Contributor’s original creation and does not violate any existing
         agreements, regulations, statutes or rules, and further that Contributor
         has sufficient rights to grant the rights conveyed by this Agreement.
 .
     H.
         A Recipient may choose to offer, and to charge a fee for, warranty,
         support, indemnity and/or liability obligations to one or more other
         Recipients of the Subject Software.  A Recipient may do so, however,
         only on its own behalf and not on behalf of Government Agency or any
         other Recipient.  Such a Recipient must make it absolutely clear that
         any such warranty, support, indemnity and/or liability obligation is
         offered by that Recipient alone.  Further, such Recipient agrees to
         indemnify Government Agency and every other Recipient for any liability
         incurred by them as a result of warranty, support, indemnity and/or
         liability offered by such Recipient.
 .
     I.
         A Recipient may create a Larger Work by combining Subject Software with
         separate software not governed by the terms of this agreement and
         distribute the Larger Work as a single product. In such case, the
         Recipient must make sure Subject Software, or portions thereof, included
         in the Larger Work is subject to this Agreement.
 .
     J.
         Notwithstanding any provisions contained herein, Recipient is hereby put
         on notice that export of any goods or technical data from the United
         States may require some form of export license from the U.S.
         Government.  Failure to obtain necessary export licenses may result in
         criminal liability under U.S. laws.  Government Agency neither
         represents that a license shall not be required nor that, if required,
         it shall be issued.  Nothing granted herein provides any such export
         license.
 .
 4. DISCLAIMER OF WARRANTIES AND LIABILITIES; WAIVER AND INDEMNIFICATION
 .
     A.
         No Warranty: THE SUBJECT SOFTWARE IS PROVIDED “AS IS” WITHOUT ANY
         WARRANTY OF ANY KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY,
         INCLUDING, BUT NOT LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE
         WILL CONFORM TO SPECIFICATIONS, ANY IMPLIED WARRANTIES OF
         MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, OR FREEDOM FROM
         INFRINGEMENT, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL BE ERROR FREE,
         OR ANY WARRANTY THAT DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE
         SUBJECT SOFTWARE. THIS AGREEMENT DOES NOT, IN ANY MANNER, CONSTITUTE AN
         ENDORSEMENT BY GOVERNMENT AGENCY OR ANY PRIOR RECIPIENT OF ANY RESULTS,
         RESULTING DESIGNS, HARDWARE, SOFTWARE PRODUCTS OR ANY OTHER APPLICATIONS
         RESULTING FROM USE OF THE SUBJECT SOFTWARE.  FURTHER, GOVERNMENT AGENCY
         DISCLAIMS ALL WARRANTIES AND LIABILITIES REGARDING THIRD-PARTY SOFTWARE,
         IF PRESENT IN THE ORIGINAL SOFTWARE, AND DISTRIBUTES IT “AS IS.”
 .
     B.
         Waiver and Indemnity: RECIPIENT AGREES TO WAIVE ANY AND ALL CLAIMS
         AGAINST THE UNITED STATES GOVERNMENT, ITS CONTRACTORS AND
         SUBCONTRACTORS, AS WELL AS ANY PRIOR RECIPIENT.  IF RECIPIENT'S USE OF
         THE SUBJECT SOFTWARE RESULTS IN ANY LIABILITIES, DEMANDS, DAMAGES,
         EXPENSES OR LOSSES ARISING FROM SUCH USE, INCLUDING ANY DAMAGES FROM
         PRODUCTS BASED ON, OR RESULTING FROM, RECIPIENT'S USE OF THE SUBJECT
         SOFTWARE, RECIPIENT SHALL INDEMNIFY AND HOLD HARMLESS THE UNITED STATES
         GOVERNMENT, ITS CONTRACTORS AND SUBCONTRACTORS, AS WELL AS ANY PRIOR
         RECIPIENT, TO THE EXTENT PERMITTED BY LAW.  RECIPIENT'S SOLE REMEDY FOR
         ANY SUCH MATTER SHALL BE THE IMMEDIATE, UNILATERAL TERMINATION OF THIS
         AGREEMENT.
 .
 5. GENERAL TERMS
 .
     A.
         Termination: This Agreement and the rights granted hereunder will
         terminate automatically if a Recipient fails to comply with these terms
         and conditions, and fails to cure such noncompliance within thirty (30)
         days of becoming aware of such noncompliance.  Upon termination, a
         Recipient agrees to immediately cease use and distribution of the
         Subject Software.  All sublicenses to the Subject Software properly
         granted by the breaching Recipient shall survive any such termination of
         this Agreement.
 .
     B.
         Severability: If any provision of this Agreement is invalid or
         unenforceable under applicable law, it shall not affect the validity or
         enforceability of the remainder of the terms of this Agreement.
 .
     C.
         Applicable Law: This Agreement shall be subject to United States federal
         law only for all purposes, including, but not limited to, determining
         the validity of this Agreement, the meaning of its provisions and the
         rights, obligations and remedies of the parties.
 .
     D.
         Entire Understanding: This Agreement constitutes the entire
         understanding and agreement of the parties relating to release of the
         Subject Software and may not be superseded, modified or amended except
         by further written agreement duly executed by the parties.
 .
     E.
         Binding Authority: By accepting and using the Subject Software under
         this Agreement, a Recipient affirms its authority to bind the Recipient
         to all terms and conditions of this Agreement and that that Recipient
         hereby agrees to all terms and conditions herein.
 .
     F.
         Point of Contact: Any Recipient contact with Government Agency is to be
         directed to the designated representative as follows:
         Guillaume P. Brat
         guillaume.p.brat@nasa.gov

License: MIT
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
 in the Software without restriction, including without limitation the rights
 to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 copies of the Software, and to permit persons to whom the Software is
 furnished to do so, subject to the following conditions:
 .
 The above copyright notice and this permission notice shall be included in all
 copies or substantial portions of the Software.
 .
 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 SOFTWARE.

License: BSD-3-clause
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions
 are met:
 .
 Redistributions of source code must retain the above copyright
 notice, this list of conditions and the following disclaimer.
 .
 Redistributions in binary form must reproduce the above copyright
 notice, this list of conditions and the following disclaimer in the
 documentation and/or other materials provided with the distribution.
 .
 Neither the name of the developers nor the names of its contributors
 may be used to endorse or promote products derived from this software
 without specific prior written permission.
 .
 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR
 CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
 PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
 LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
 NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
