Remove some false positives and enable the check.
[smatch.git] / LICENSE
blob06440ff0f1e57d1e8f08b1ae05c800768f4c6840
2 The 'sparse' C parser front-end library is copyrighted by Transmeta Corp
3 and other authors and licensed under the "Open Software License v1.1" as
4 obtained from www.opensource.org (and included here-in for easy
5 reference) (that license itself is copyrighted by Larry Rosen). 
7 Note that the "Original Work" that this license covers is only the
8 front-end library itself, ie the code required to parse the source file
9 and annotate the resulting parse tree with the semantic meaning (aka
10 "types") of the sources.  Thus just the act of linking this library into
11 another program (aka "back-end") does NOT in itself make that back-end
12 be considered a derivative work of this Original Work. 
14 However, any modifications, callbacks or other functionality that is
15 added and run either directly or indirectly by the front-end are to be
16 considered derived works of this library, and as such fall under the
17 requirements of this license.
19                                 Linus Torvalds
20                                 Santa Clara, CA
21                                 April 15th, 2003
24 [ This copy of the license is the flat-text version of original,
25   available in its full glory at
27          http://www.opensource.org/licenses/osl.php
29   please refer to there for the authorative and slightly more
30   pretty-printed version ]
32 ------
34                         The Open Software License
35                         v. 1.1
37 This Open Software License (the "License") applies to any original work of 
38 authorship (the "Original Work") whose owner (the "Licensor") has placed the 
39 following notice immediately following the copyright notice for the Original 
40 Work:
42         Licensed under the Open Software License version 1.1
45 1) Grant of Copyright License. Licensor hereby grants You a world-wide, 
46 royalty-free, non-exclusive, perpetual, non-sublicenseable license to do the 
47 following:
49   a) to reproduce the Original Work in copies;
51   b) to prepare derivative works ("Derivative Works") based upon the
52      Original Work;
54   c) to distribute copies of the Original Work and Derivative Works to
55      the public, with the proviso that copies of Original Work or
56      Derivative Works that You distribute shall be licensed under the
57      Open Software License;
59   d) to perform the Original Work publicly; and
61   e) to display the Original Work publicly. 
63 2) Grant of Patent License. Licensor hereby grants You a world-wide, 
64 royalty-free, non-exclusive, perpetual, non-sublicenseable license, under 
65 patent claims owned or controlled by the Licensor that are embodied in the 
66 Original Work as furnished by the Licensor ("Licensed Claims") to make, use, 
67 sell and offer for sale the Original Work. Licensor hereby grants You a 
68 world-wide, royalty-free, non-exclusive, perpetual, non-sublicenseable license 
69 under the Licensed Claims to make, use, sell and offer for sale Derivative Works.
71 3) Grant of Source Code License. The term "Source Code" means the preferred 
72 form of the Original Work for making modifications to it and all available 
73 documentation describing how to modify the Original Work. Licensor hereby 
74 agrees to provide a machine-readable copy of the Source Code of the Original 
75 Work along with each copy of the Original Work that Licensor distributes. 
76 Licensor reserves the right to satisfy this obligation by placing a 
77 machine-readable copy of the Source Code in an information repository reasonably 
78 calculated to permit inexpensive and convenient access by You for as long as
79  Licensor continues to distribute the Original Work, and by publishing the 
80 address of that information repository in a notice immediately following the 
81 copyright notice that applies to the Original Work.
84 4) Exclusions From License Grant. Nothing in this License shall be deemed to 
85 grant any rights to trademarks, copyrights, patents, trade secrets or any 
86 other intellectual property of Licensor except as expressly stated herein. No 
87 patent license is granted to make, use, sell or offer to sell embodiments of 
88 any patent claims other than the Licensed Claims defined in Section 2. No 
89 right is granted to the trademarks of Licensor even if such marks are included 
90 in the Original Work. Nothing in this License shall be interpreted to prohibit 
91 Licensor from licensing under different terms from this License any Original 
92 Work that Licensor otherwise would have a right to license.
94 5) External Deployment. The term "External Deployment" means the use or 
95 distribution of the Original Work or Derivative Works in any way such that the 
96 Original Work or Derivative Works may be used by anyone other than You, 
97 whether the Original Work or Derivative Works are distributed to those persons 
98 or made available as an application intended for use over a computer network. 
99 As an express condition for the grants of license hereunder, You agree that 
100 any External Deployment by You of a Derivative Work shall be deemed a 
101 distribution and shall be licensed to all under the terms of this License, as 
102 prescribed in section 1(c) herein.
104 6) Attribution Rights. You must retain, in the Source Code of any Derivative 
105 Works that You create, all copyright, patent or trademark notices from the 
106 Source Code of the Original Work, as well as any notices of licensing and any 
107 descriptive text identified therein as an "Attribution Notice." You must cause 
108 the Source Code for any Derivative Works that You create to carry a prominent 
109 Attribution Notice reasonably calculated to inform recipients that You have 
110 modified the Original Work.
112 7) Warranty and Disclaimer of Warranty. Licensor warrants that the copyright 
113 in and to the Original Work is owned by the Licensor or that the Original Work 
114 is distributed by Licensor under a valid current license from the copyright 
115 owner. Except as expressly stated in the immediately proceeding sentence, the 
116 Original Work is provided under this License on an "AS IS" BASIS and WITHOUT 
117 WARRANTY, either express or implied, including, without limitation, the 
118 warranties of NON-INFRINGEMENT, MERCHANTABILITY or FITNESS FOR A PARTICULAR 
119 PURPOSE. THE ENTIRE RISK AS TO THE QUALITY OF THE ORIGINAL WORK IS WITH YOU. 
120 This DISCLAIMER OF WARRANTY constitutes an essential part of this License. No 
121 license to Original Work is granted hereunder except under this disclaimer.
123 8) Limitation of Liability. Under no circumstances and under no legal theory, 
124 whether in tort (including negligence), contract, or otherwise, shall the 
125 Licensor be liable to any person for any direct, indirect, special, incidental, 
126 or consequential damages of any character arising as a result of this License 
127 or the use of the Original Work including, without limitation, damages for 
128 loss of goodwill, work stoppage, computer failure or malfunction, or any and 
129 all other commercial damages or losses. This limitation of liability shall not 
130 apply to liability for death or personal injury resulting from Licensor's 
131 negligence to the extent applicable law prohibits such limitation. Some 
132 jurisdictions do not allow the exclusion or limitation of incidental or 
133 consequential damages, so this exclusion and limitation may not apply to You.
136 9) Acceptance and Termination. If You distribute copies of the Original Work 
137 or a Derivative Work, You must make a reasonable effort under the circumstances 
138 to obtain the express and volitional assent of recipients to the terms of this 
139 License. Nothing else but this License (or another written agreement between 
140 Licensor and You) grants You permission to create Derivative Works based upon 
141 the Original Work or to exercise any of the rights granted in Sections 1 herein, 
142 and any attempt to do so except under the terms of this License (or another 
143 written agreement between Licensor and You) is expressly prohibited by U.S. 
144 copyright law, the equivalent laws of other countries, and by international 
145 treaty. Therefore, by exercising any of the rights granted to You in Sections 
146 1 herein, You indicate Your acceptance of this License and all of its terms and 
147 conditions. This License shall terminate immediately and you may no longer 
148 exercise any of the rights granted to You by this License upon Your failure to 
149 honor the proviso in Section 1(c) herein.
151 10) Mutual Termination for Patent Action. This License shall terminate 
152 automatically and You may no longer exercise any of the rights granted to You 
153 by this License if You file a lawsuit in any court alleging that any OSI 
154 Certified open source software that is licensed under any license containing 
155 this "Mutual Termination for Patent Action" clause infringes any patent claims 
156 that are essential to use that software.
158 11) Jurisdiction, Venue and Governing Law. Any action or suit relating to this 
159 License may be brought only in the courts of a jurisdiction wherein the Licensor 
160 resides or in which Licensor conducts its primary business, and under the laws 
161 of that jurisdiction excluding its conflict-of-law provisions. The application 
162 of the United Nations Convention on Contracts for the International Sale of 
163 Goods is expressly excluded. Any use of the Original Work outside the scope of 
164 this License or after its termination shall be subject to the requirements and 
165 penalties of the U.S. Copyright Act, 17 U.S.C. å¤ 101 et seq., the equivalent 
166 laws of other countries, and international treaty. This section shall survive 
167 the termination of this License.
169 12) Attorneys Fees. In any action to enforce the terms of this License or 
170 seeking damages relating thereto, the prevailing party shall be entitled to 
171 recover its costs and expenses, including, without limitation, reasonable 
172 attorneys' fees and costs incurred in connection with such action, including 
173 any appeal of such action. This section shall survive the termination of this 
174 License.
176 13) Miscellaneous. This License represents the complete agreement concerning 
177 the subject matter hereof. If any provision of this License is held to be 
178 unenforceable, such provision shall be reformed only to the extent necessary 
179 to make it enforceable.
181 14) Definition of "You" in This License. "You" throughout this License, 
182 whether in upper or lower case, means an individual or a legal entity exercising 
183 rights under, and complying with all of the terms of, this License. For legal 
184 entities, "You" includes any entity that controls, is controlled by, or is under 
185 common control with you. For purposes of this definition, "control" means (i) 
186 the power, direct or indirect, to cause the direction or management of such 
187 entity, whether by contract or otherwise, or (ii) ownership of fifty percent 
188 (50%) or more of the outstanding shares, or (iii) beneficial ownership of such 
189 entity.
191 15) Right to Use. You may use the Original Work in all ways not otherwise 
192 restricted or conditioned by this License or by law, and Licensor promises not 
193 to interfere with or be responsible for such uses by You.
195 This license is Copyright (C) 2002 Lawrence E. Rosen. All rights reserved. 
196 Permission is hereby granted to copy and distribute this license without 
197 modification. This license may not be modified without the express written 
198 permission of its copyright owner.