Avoid triggering a division by zero in the overflow check
[smatch.git] / LICENSE
blob8f1a14899f2f9de821f133fd88820d4af8d7fdec
2 Novafora Corporation, successor in interest to Transmeta Corporation,
3 hereby licenses any portions of the program "sparse", a C semantic
4 parser, for which the copyright previously was held by Transmeta
5 Corporation and which were present in checkin
6 1bcc92138dcdf718dc3e0c694565f56e669d6ee3 with an author timestamp date
7 of June 24, 2003 of the git repository at
8 git://git.kernel.org/pub/scm/devel/sparse/sparse.git as retrieved on
9 March 1, 2009, under the following license:
11 Copyright (c) 2003 Transmeta Corporation
13 Permission is hereby granted, free of charge, to any person obtaining a
14 copy of this software and associated documentation files (the
15 "Software"), to deal in the Software without restriction, including
16 without limitation the rights to use, copy, modify, merge, publish,
17 distribute, sublicense, and/or sell copies of the Software, and to
18 permit persons to whom the Software is furnished to do so, subject to
19 the following conditions:
21 The above copyright notice and this permission notice shall be included
22 in all copies or substantial portions of the Software.
24 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
25 OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
26 MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
27 IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
28 CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
29 TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
30 SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
33 Robert Bedichek
34 Vice President of Engineering
35 Novafora Corporation
36 San Jose, CA
37 April 14, 2009
40 The original file follows:
43 The 'sparse' C parser front-end library is copyrighted by Transmeta Corp
44 and other authors and licensed under the "Open Software License v1.1" as
45 obtained from www.opensource.org (and included here-in for easy
46 reference) (that license itself is copyrighted by Larry Rosen). 
48 Note that the "Original Work" that this license covers is only the
49 front-end library itself, ie the code required to parse the source file
50 and annotate the resulting parse tree with the semantic meaning (aka
51 "types") of the sources.  Thus just the act of linking this library into
52 another program (aka "back-end") does NOT in itself make that back-end
53 be considered a derivative work of this Original Work. 
55 However, any modifications, callbacks or other functionality that is
56 added and run either directly or indirectly by the front-end are to be
57 considered derived works of this library, and as such fall under the
58 requirements of this license.
60                                 Linus Torvalds
61                                 Santa Clara, CA
62                                 April 15th, 2003
65 [ This copy of the license is the flat-text version of original,
66   available in its full glory at
68          http://www.opensource.org/licenses/osl.php
70   please refer to there for the authoritative and slightly more
71   pretty-printed version ]
73 ------
75                         The Open Software License
76                         v. 1.1
78 This Open Software License (the "License") applies to any original work of 
79 authorship (the "Original Work") whose owner (the "Licensor") has placed the 
80 following notice immediately following the copyright notice for the Original 
81 Work:
83         Licensed under the Open Software License version 1.1
86 1) Grant of Copyright License. Licensor hereby grants You a world-wide, 
87 royalty-free, non-exclusive, perpetual, non-sublicenseable license to do the 
88 following:
90   a) to reproduce the Original Work in copies;
92   b) to prepare derivative works ("Derivative Works") based upon the
93      Original Work;
95   c) to distribute copies of the Original Work and Derivative Works to
96      the public, with the proviso that copies of Original Work or
97      Derivative Works that You distribute shall be licensed under the
98      Open Software License;
100   d) to perform the Original Work publicly; and
102   e) to display the Original Work publicly. 
104 2) Grant of Patent License. Licensor hereby grants You a world-wide, 
105 royalty-free, non-exclusive, perpetual, non-sublicenseable license, under 
106 patent claims owned or controlled by the Licensor that are embodied in the 
107 Original Work as furnished by the Licensor ("Licensed Claims") to make, use, 
108 sell and offer for sale the Original Work. Licensor hereby grants You a 
109 world-wide, royalty-free, non-exclusive, perpetual, non-sublicenseable license 
110 under the Licensed Claims to make, use, sell and offer for sale Derivative Works.
112 3) Grant of Source Code License. The term "Source Code" means the preferred 
113 form of the Original Work for making modifications to it and all available 
114 documentation describing how to modify the Original Work. Licensor hereby 
115 agrees to provide a machine-readable copy of the Source Code of the Original 
116 Work along with each copy of the Original Work that Licensor distributes. 
117 Licensor reserves the right to satisfy this obligation by placing a 
118 machine-readable copy of the Source Code in an information repository reasonably 
119 calculated to permit inexpensive and convenient access by You for as long as
120  Licensor continues to distribute the Original Work, and by publishing the 
121 address of that information repository in a notice immediately following the 
122 copyright notice that applies to the Original Work.
125 4) Exclusions From License Grant. Nothing in this License shall be deemed to 
126 grant any rights to trademarks, copyrights, patents, trade secrets or any 
127 other intellectual property of Licensor except as expressly stated herein. No 
128 patent license is granted to make, use, sell or offer to sell embodiments of 
129 any patent claims other than the Licensed Claims defined in Section 2. No 
130 right is granted to the trademarks of Licensor even if such marks are included 
131 in the Original Work. Nothing in this License shall be interpreted to prohibit 
132 Licensor from licensing under different terms from this License any Original 
133 Work that Licensor otherwise would have a right to license.
135 5) External Deployment. The term "External Deployment" means the use or 
136 distribution of the Original Work or Derivative Works in any way such that the 
137 Original Work or Derivative Works may be used by anyone other than You, 
138 whether the Original Work or Derivative Works are distributed to those persons 
139 or made available as an application intended for use over a computer network. 
140 As an express condition for the grants of license hereunder, You agree that 
141 any External Deployment by You of a Derivative Work shall be deemed a 
142 distribution and shall be licensed to all under the terms of this License, as 
143 prescribed in section 1(c) herein.
145 6) Attribution Rights. You must retain, in the Source Code of any Derivative 
146 Works that You create, all copyright, patent or trademark notices from the 
147 Source Code of the Original Work, as well as any notices of licensing and any 
148 descriptive text identified therein as an "Attribution Notice." You must cause 
149 the Source Code for any Derivative Works that You create to carry a prominent 
150 Attribution Notice reasonably calculated to inform recipients that You have 
151 modified the Original Work.
153 7) Warranty and Disclaimer of Warranty. Licensor warrants that the copyright 
154 in and to the Original Work is owned by the Licensor or that the Original Work 
155 is distributed by Licensor under a valid current license from the copyright 
156 owner. Except as expressly stated in the immediately proceeding sentence, the 
157 Original Work is provided under this License on an "AS IS" BASIS and WITHOUT 
158 WARRANTY, either express or implied, including, without limitation, the 
159 warranties of NON-INFRINGEMENT, MERCHANTABILITY or FITNESS FOR A PARTICULAR 
160 PURPOSE. THE ENTIRE RISK AS TO THE QUALITY OF THE ORIGINAL WORK IS WITH YOU. 
161 This DISCLAIMER OF WARRANTY constitutes an essential part of this License. No 
162 license to Original Work is granted hereunder except under this disclaimer.
164 8) Limitation of Liability. Under no circumstances and under no legal theory, 
165 whether in tort (including negligence), contract, or otherwise, shall the 
166 Licensor be liable to any person for any direct, indirect, special, incidental, 
167 or consequential damages of any character arising as a result of this License 
168 or the use of the Original Work including, without limitation, damages for 
169 loss of goodwill, work stoppage, computer failure or malfunction, or any and 
170 all other commercial damages or losses. This limitation of liability shall not 
171 apply to liability for death or personal injury resulting from Licensor's 
172 negligence to the extent applicable law prohibits such limitation. Some 
173 jurisdictions do not allow the exclusion or limitation of incidental or 
174 consequential damages, so this exclusion and limitation may not apply to You.
177 9) Acceptance and Termination. If You distribute copies of the Original Work 
178 or a Derivative Work, You must make a reasonable effort under the circumstances 
179 to obtain the express and volitional assent of recipients to the terms of this 
180 License. Nothing else but this License (or another written agreement between 
181 Licensor and You) grants You permission to create Derivative Works based upon 
182 the Original Work or to exercise any of the rights granted in Sections 1 herein, 
183 and any attempt to do so except under the terms of this License (or another 
184 written agreement between Licensor and You) is expressly prohibited by U.S. 
185 copyright law, the equivalent laws of other countries, and by international 
186 treaty. Therefore, by exercising any of the rights granted to You in Sections 
187 1 herein, You indicate Your acceptance of this License and all of its terms and 
188 conditions. This License shall terminate immediately and you may no longer 
189 exercise any of the rights granted to You by this License upon Your failure to 
190 honor the proviso in Section 1(c) herein.
192 10) Mutual Termination for Patent Action. This License shall terminate 
193 automatically and You may no longer exercise any of the rights granted to You 
194 by this License if You file a lawsuit in any court alleging that any OSI 
195 Certified open source software that is licensed under any license containing 
196 this "Mutual Termination for Patent Action" clause infringes any patent claims 
197 that are essential to use that software.
199 11) Jurisdiction, Venue and Governing Law. Any action or suit relating to this 
200 License may be brought only in the courts of a jurisdiction wherein the Licensor 
201 resides or in which Licensor conducts its primary business, and under the laws 
202 of that jurisdiction excluding its conflict-of-law provisions. The application 
203 of the United Nations Convention on Contracts for the International Sale of 
204 Goods is expressly excluded. Any use of the Original Work outside the scope of 
205 this License or after its termination shall be subject to the requirements and 
206 penalties of the U.S. Copyright Act, 17 U.S.C. å¤ 101 et seq., the equivalent 
207 laws of other countries, and international treaty. This section shall survive 
208 the termination of this License.
210 12) Attorneys Fees. In any action to enforce the terms of this License or 
211 seeking damages relating thereto, the prevailing party shall be entitled to 
212 recover its costs and expenses, including, without limitation, reasonable 
213 attorneys' fees and costs incurred in connection with such action, including 
214 any appeal of such action. This section shall survive the termination of this 
215 License.
217 13) Miscellaneous. This License represents the complete agreement concerning 
218 the subject matter hereof. If any provision of this License is held to be 
219 unenforceable, such provision shall be reformed only to the extent necessary 
220 to make it enforceable.
222 14) Definition of "You" in This License. "You" throughout this License, 
223 whether in upper or lower case, means an individual or a legal entity exercising 
224 rights under, and complying with all of the terms of, this License. For legal 
225 entities, "You" includes any entity that controls, is controlled by, or is under 
226 common control with you. For purposes of this definition, "control" means (i) 
227 the power, direct or indirect, to cause the direction or management of such 
228 entity, whether by contract or otherwise, or (ii) ownership of fifty percent 
229 (50%) or more of the outstanding shares, or (iii) beneficial ownership of such 
230 entity.
232 15) Right to Use. You may use the Original Work in all ways not otherwise 
233 restricted or conditioned by this License or by law, and Licensor promises not 
234 to interfere with or be responsible for such uses by You.
236 This license is Copyright (C) 2002 Lawrence E. Rosen. All rights reserved. 
237 Permission is hereby granted to copy and distribute this license without 
238 modification. This license may not be modified without the express written 
239 permission of its copyright owner.