1 Most of the Checker Framework is licensed under the GNU General Public 2 License, version 2 (GPL2), with the classpath exception. The text of this 3 license appears below. This is the same license used for OpenJDK. 4 5 A few parts of the Checker Framework have more permissive licenses. 6 7 * The annotations are licensed under the MIT License. (The text of this 8 license appears below.) More specifically, all the parts of the Checker 9 Framework that you might want to include with your own program use the 10 MIT License. This is the checker-qual.jar file and all the files that 11 appear in it: every file in a qual/ directory, plus utility files such 12 as NullnessUtil.java, RegexUtil.java, SignednessUtil.java, etc. 13 In addition, the cleanroom implementations of third-party annotations, 14 which the Checker Framework recognizes as aliases for its own 15 annotations, are licensed under the MIT License. 16 17 * The Eclipse plugin is dual-licensed (you may use whichever you prefer) 18 under GPL2 and the Eclipse Public License Version 1.0 (EPL). EPL 19 appears http://www.eclipse.org/org/documents/epl-v10.php. Eclipse 20 itself uses EPL. 21 22 Some external libraries that are included with the Checker Framework have 23 different licenses. 24 25 * javaparser is dual licensed under the LGPL or the Apache license -- you 26 may use it under whichever one you want. (The javaparser source code 27 contains a file with the text of the GPL, but it is not clear why, since 28 javaparser does not use the GPL.) See file stubparser/LICENSE 29 and the source code of all its files. 30 31 * JUnit is licensed under the Common Public License v1.0 (see 32 http://www.junit.org/license), with parts (Hamcrest) licensed under the 33 BSD License (see http://hamcrest.org/JavaHamcrest/). 34 35 * plume-lib is licensed under the MIT License. 36 37 The Checker Framework includes annotations for several libraries, in 38 directory checker/jdk/. Each annotated library uses the same license as 39 the unannotated version of the library. 40 41 =========================================================================== 42 43 The GNU General Public License (GPL) 44 45 Version 2, June 1991 46 47 Copyright (C) 1989, 1991 Free Software Foundation, Inc. 48 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 49 50 Everyone is permitted to copy and distribute verbatim copies of this license 51 document, but changing it is not allowed. 52 53 Preamble 54 55 The licenses for most software are designed to take away your freedom to share 56 and change it. By contrast, the GNU General Public License is intended to 57 guarantee your freedom to share and change free software--to make sure the 58 software is free for all its users. This General Public License applies to 59 most of the Free Software Foundation's software and to any other program whose 60 authors commit to using it. (Some other Free Software Foundation software is 61 covered by the GNU Library General Public License instead.) You can apply it to 62 your programs, too. 63 64 When we speak of free software, we are referring to freedom, not price. Our 65 General Public Licenses are designed to make sure that you have the freedom to 66 distribute copies of free software (and charge for this service if you wish), 67 that you receive source code or can get it if you want it, that you can change 68 the software or use pieces of it in new free programs; and that you know you 69 can do these things. 70 71 To protect your rights, we need to make restrictions that forbid anyone to deny 72 you these rights or to ask you to surrender the rights. These restrictions 73 translate to certain responsibilities for you if you distribute copies of the 74 software, or if you modify it. 75 76 For example, if you distribute copies of such a program, whether gratis or for 77 a fee, you must give the recipients all the rights that you have. You must 78 make sure that they, too, receive or can get the source code. And you must 79 show them these terms so they know their rights. 80 81 We protect your rights with two steps: (1) copyright the software, and (2) 82 offer you this license which gives you legal permission to copy, distribute 83 and/or modify the software. 84 85 Also, for each author's protection and ours, we want to make certain that 86 everyone understands that there is no warranty for this free software. If the 87 software is modified by someone else and passed on, we want its recipients to 88 know that what they have is not the original, so that any problems introduced 89 by others will not reflect on the original authors' reputations. 90 91 Finally, any free program is threatened constantly by software patents. We 92 wish to avoid the danger that redistributors of a free program will 93 individually obtain patent licenses, in effect making the program proprietary. 94 To prevent this, we have made it clear that any patent must be licensed for 95 everyone's free use or not licensed at all. 96 97 The precise terms and conditions for copying, distribution and modification 98 follow. 99 100 TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION 101 102 0. This License applies to any program or other work which contains a notice 103 placed by the copyright holder saying it may be distributed under the terms of 104 this General Public License. The "Program", below, refers to any such program 105 or work, and a "work based on the Program" means either the Program or any 106 derivative work under copyright law: that is to say, a work containing the 107 Program or a portion of it, either verbatim or with modifications and/or 108 translated into another language. (Hereinafter, translation is included 109 without limitation in the term "modification".) Each licensee is addressed as 110 "you". 111 112 Activities other than copying, distribution and modification are not covered by 113 this License; they are outside its scope. The act of running the Program is 114 not restricted, and the output from the Program is covered only if its contents 115 constitute a work based on the Program (independent of having been made by 116 running the Program). Whether that is true depends on what the Program does. 117 118 1. You may copy and distribute verbatim copies of the Program's source code as 119 you receive it, in any medium, provided that you conspicuously and 120 appropriately publish on each copy an appropriate copyright notice and 121 disclaimer of warranty; keep intact all the notices that refer to this License 122 and to the absence of any warranty; and give any other recipients of the 123 Program a copy of this License along with the Program. 124 125 You may charge a fee for the physical act of transferring a copy, and you may 126 at your option offer warranty protection in exchange for a fee. 127 128 2. You may modify your copy or copies of the Program or any portion of it, thus 129 forming a work based on the Program, and copy and distribute such modifications 130 or work under the terms of Section 1 above, provided that you also meet all of 131 these conditions: 132 133 a) You must cause the modified files to carry prominent notices stating 134 that you changed the files and the date of any change. 135 136 b) You must cause any work that you distribute or publish, that in whole or 137 in part contains or is derived from the Program or any part thereof, to be 138 licensed as a whole at no charge to all third parties under the terms of 139 this License. 140 141 c) If the modified program normally reads commands interactively when run, 142 you must cause it, when started running for such interactive use in the 143 most ordinary way, to print or display an announcement including an 144 appropriate copyright notice and a notice that there is no warranty (or 145 else, saying that you provide a warranty) and that users may redistribute 146 the program under these conditions, and telling the user how to view a copy 147 of this License. (Exception: if the Program itself is interactive but does 148 not normally print such an announcement, your work based on the Program is 149 not required to print an announcement.) 150 151 These requirements apply to the modified work as a whole. If identifiable 152 sections of that work are not derived from the Program, and can be reasonably 153 considered independent and separate works in themselves, then this License, and 154 its terms, do not apply to those sections when you distribute them as separate 155 works. But when you distribute the same sections as part of a whole which is a 156 work based on the Program, the distribution of the whole must be on the terms 157 of this License, whose permissions for other licensees extend to the entire 158 whole, and thus to each and every part regardless of who wrote it. 159 160 Thus, it is not the intent of this section to claim rights or contest your 161 rights to work written entirely by you; rather, the intent is to exercise the 162 right to control the distribution of derivative or collective works based on 163 the Program. 164 165 In addition, mere aggregation of another work not based on the Program with the 166 Program (or with a work based on the Program) on a volume of a storage or 167 distribution medium does not bring the other work under the scope of this 168 License. 169 170 3. You may copy and distribute the Program (or a work based on it, under 171 Section 2) in object code or executable form under the terms of Sections 1 and 172 2 above provided that you also do one of the following: 173 174 a) Accompany it with the complete corresponding machine-readable source 175 code, which must be distributed under the terms of Sections 1 and 2 above 176 on a medium customarily used for software interchange; or, 177 178 b) Accompany it with a written offer, valid for at least three years, to 179 give any third party, for a charge no more than your cost of physically 180 performing source distribution, a complete machine-readable copy of the 181 corresponding source code, to be distributed under the terms of Sections 1 182 and 2 above on a medium customarily used for software interchange; or, 183 184 c) Accompany it with the information you received as to the offer to 185 distribute corresponding source code. (This alternative is allowed only 186 for noncommercial distribution and only if you received the program in 187 object code or executable form with such an offer, in accord with 188 Subsection b above.) 189 190 The source code for a work means the preferred form of the work for making 191 modifications to it. For an executable work, complete source code means all 192 the source code for all modules it contains, plus any associated interface 193 definition files, plus the scripts used to control compilation and installation 194 of the executable. However, as a special exception, the source code 195 distributed need not include anything that is normally distributed (in either 196 source or binary form) with the major components (compiler, kernel, and so on) 197 of the operating system on which the executable runs, unless that component 198 itself accompanies the executable. 199 200 If distribution of executable or object code is made by offering access to copy 201 from a designated place, then offering equivalent access to copy the source 202 code from the same place counts as distribution of the source code, even though 203 third parties are not compelled to copy the source along with the object code. 204 205 4. You may not copy, modify, sublicense, or distribute the Program except as 206 expressly provided under this License. Any attempt otherwise to copy, modify, 207 sublicense or distribute the Program is void, and will automatically terminate 208 your rights under this License. However, parties who have received copies, or 209 rights, from you under this License will not have their licenses terminated so 210 long as such parties remain in full compliance. 211 212 5. You are not required to accept this License, since you have not signed it. 213 However, nothing else grants you permission to modify or distribute the Program 214 or its derivative works. These actions are prohibited by law if you do not 215 accept this License. Therefore, by modifying or distributing the Program (or 216 any work based on the Program), you indicate your acceptance of this License to 217 do so, and all its terms and conditions for copying, distributing or modifying 218 the Program or works based on it. 219 220 6. Each time you redistribute the Program (or any work based on the Program), 221 the recipient automatically receives a license from the original licensor to 222 copy, distribute or modify the Program subject to these terms and conditions. 223 You may not impose any further restrictions on the recipients' exercise of the 224 rights granted herein. You are not responsible for enforcing compliance by 225 third parties to this License. 226 227 7. If, as a consequence of a court judgment or allegation of patent 228 infringement or for any other reason (not limited to patent issues), conditions 229 are imposed on you (whether by court order, agreement or otherwise) that 230 contradict the conditions of this License, they do not excuse you from the 231 conditions of this License. If you cannot distribute so as to satisfy 232 simultaneously your obligations under this License and any other pertinent 233 obligations, then as a consequence you may not distribute the Program at all. 234 For example, if a patent license would not permit royalty-free redistribution 235 of the Program by all those who receive copies directly or indirectly through 236 you, then the only way you could satisfy both it and this License would be to 237 refrain entirely from distribution of the Program. 238 239 If any portion of this section is held invalid or unenforceable under any 240 particular circumstance, the balance of the section is intended to apply and 241 the section as a whole is intended to apply in other circumstances. 242 243 It is not the purpose of this section to induce you to infringe any patents or 244 other property right claims or to contest validity of any such claims; this 245 section has the sole purpose of protecting the integrity of the free software 246 distribution system, which is implemented by public license practices. Many 247 people have made generous contributions to the wide range of software 248 distributed through that system in reliance on consistent application of that 249 system; it is up to the author/donor to decide if he or she is willing to 250 distribute software through any other system and a licensee cannot impose that 251 choice. 252 253 This section is intended to make thoroughly clear what is believed to be a 254 consequence of the rest of this License. 255 256 8. If the distribution and/or use of the Program is restricted in certain 257 countries either by patents or by copyrighted interfaces, the original 258 copyright holder who places the Program under this License may add an explicit 259 geographical distribution limitation excluding those countries, so that 260 distribution is permitted only in or among countries not thus excluded. In 261 such case, this License incorporates the limitation as if written in the body 262 of this License. 263 264 9. The Free Software Foundation may publish revised and/or new versions of the 265 General Public License from time to time. Such new versions will be similar in 266 spirit to the present version, but may differ in detail to address new problems 267 or concerns. 268 269 Each version is given a distinguishing version number. If the Program 270 specifies a version number of this License which applies to it and "any later 271 version", you have the option of following the terms and conditions either of 272 that version or of any later version published by the Free Software Foundation. 273 If the Program does not specify a version number of this License, you may 274 choose any version ever published by the Free Software Foundation. 275 276 10. If you wish to incorporate parts of the Program into other free programs 277 whose distribution conditions are different, write to the author to ask for 278 permission. For software which is copyrighted by the Free Software Foundation, 279 write to the Free Software Foundation; we sometimes make exceptions for this. 280 Our decision will be guided by the two goals of preserving the free status of 281 all derivatives of our free software and of promoting the sharing and reuse of 282 software generally. 283 284 NO WARRANTY 285 286 11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY FOR 287 THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN OTHERWISE 288 STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES PROVIDE THE 289 PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, 290 INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND 291 FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND 292 PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, 293 YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION. 294 295 12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING WILL 296 ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR REDISTRIBUTE THE 297 PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY 298 GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OR 299 INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR DATA 300 BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A 301 FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), EVEN IF SUCH HOLDER 302 OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. 303 304 END OF TERMS AND CONDITIONS 305 306 How to Apply These Terms to Your New Programs 307 308 If you develop a new program, and you want it to be of the greatest possible 309 use to the public, the best way to achieve this is to make it free software 310 which everyone can redistribute and change under these terms. 311 312 To do so, attach the following notices to the program. It is safest to attach 313 them to the start of each source file to most effectively convey the exclusion 314 of warranty; and each file should have at least the "copyright" line and a 315 pointer to where the full notice is found. 316 317 One line to give the program's name and a brief idea of what it does. 318 319 Copyright (C) <year> <name of author> 320 321 This program is free software; you can redistribute it and/or modify it 322 under the terms of the GNU General Public License as published by the Free 323 Software Foundation; either version 2 of the License, or (at your option) 324 any later version. 325 326 This program is distributed in the hope that it will be useful, but WITHOUT 327 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 328 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 329 more details. 330 331 You should have received a copy of the GNU General Public License along 332 with this program; if not, write to the Free Software Foundation, Inc., 59 333 Temple Place, Suite 330, Boston, MA 02111-1307 USA 334 335 Also add information on how to contact you by electronic and paper mail. 336 337 If the program is interactive, make it output a short notice like this when it 338 starts in an interactive mode: 339 340 Gnomovision version 69, Copyright (C) year name of author Gnomovision comes 341 with ABSOLUTELY NO WARRANTY; for details type 'show w'. This is free 342 software, and you are welcome to redistribute it under certain conditions; 343 type 'show c' for details. 344 345 The hypothetical commands 'show w' and 'show c' should show the appropriate 346 parts of the General Public License. Of course, the commands you use may be 347 called something other than 'show w' and 'show c'; they could even be 348 mouse-clicks or menu items--whatever suits your program. 349 350 You should also get your employer (if you work as a programmer) or your school, 351 if any, to sign a "copyright disclaimer" for the program, if necessary. Here 352 is a sample; alter the names: 353 354 Yoyodyne, Inc., hereby disclaims all copyright interest in the program 355 'Gnomovision' (which makes passes at compilers) written by James Hacker. 356 357 signature of Ty Coon, 1 April 1989 358 359 Ty Coon, President of Vice 360 361 This General Public License does not permit incorporating your program into 362 proprietary programs. If your program is a subroutine library, you may 363 consider it more useful to permit linking proprietary applications with the 364 library. If this is what you want to do, use the GNU Library General Public 365 License instead of this License. 366 367 368 "CLASSPATH" EXCEPTION TO THE GPL 369 370 Certain source files distributed by Oracle America and/or its affiliates are 371 subject to the following clarification and special exception to the GPL, but 372 only where Oracle has expressly included in the particular source file's header 373 the words "Oracle designates this particular file as subject to the "Classpath" 374 exception as provided by Oracle in the LICENSE file that accompanied this code." 375 376 Linking this library statically or dynamically with other modules is making 377 a combined work based on this library. Thus, the terms and conditions of 378 the GNU General Public License cover the whole combination. 379 380 As a special exception, the copyright holders of this library give you 381 permission to link this library with independent modules to produce an 382 executable, regardless of the license terms of these independent modules, 383 and to copy and distribute the resulting executable under terms of your 384 choice, provided that you also meet, for each linked independent module, 385 the terms and conditions of the license of that module. An independent 386 module is a module which is not derived from or based on this library. If 387 you modify this library, you may extend this exception to your version of 388 the library, but you are not obligated to do so. If you do not wish to do 389 so, delete this exception statement from your version. 390 391 =========================================================================== 392 393 MIT License: 394 395 Permission is hereby granted, free of charge, to any person obtaining a copy 396 of this software and associated documentation files (the "Software"), to deal 397 in the Software without restriction, including without limitation the rights 398 to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 399 copies of the Software, and to permit persons to whom the Software is 400 furnished to do so, subject to the following conditions: 401 402 The above copyright notice and this permission notice shall be included in 403 all copies or substantial portions of the Software. 404 405 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 406 IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 407 FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 408 AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 409 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 410 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 411 THE SOFTWARE. 412 413 =========================================================================== 414
