CLA.md

geometry:
- top=15mm
- bottom=15mm
- margin=10mm

Contributor Agreement

Thank you for your interest in contributing to Frama-C, distributed by the Commissariat à l'Energie Atomique et aux Energies Alternatives ("We" or "Us").

The purpose of this Contributor Non-Exclusive License Agreement ("Agreement") is to clarify and document the rights granted by contributors to Us. To make this document effective and get started, please sign the Contributor License Agreement.

Please read this document carefully before signing and keep a copy for your records.

1. DEFINITIONS

"You" (/"Your") means the Individual Copyright owner or Entity as defined hereunder who submits a Contribution to Us. If You are an employee and submit the Contribution as part of your employment, You represent that you have the authority and/or required authorization in binding the Entity to this Agreement, and to sign this version of this document. In such case "You" (/"Yours") shall refer to such Entity.

"Documentation" means any non-software portion of a Contribution.

"Entity" shall mean the copyright owner or legal entity (including but not limited to any institution, company, corporation, partnership, government agency or university) authorized by the copyright owner that is making this Agreement with Us and all other entities that control, are controlled by, or are under common control with that entity are considered to be a single Contributor. For the purposes of this definition, "control" means (i) the power, direct or indirect, to cause the direction or management of such entity, whether by contract or otherwise, or (ii) ownership of fifty percent (50%) or more of the outstanding shares, or (iii) beneficial ownership of such entity.

"Contribution" means any original work of authorship (software and/or documentation) including any modifications or additions to an existing work, Submitted by You to Us, in which You own the Copyright.

"Copyright" means all rights protecting works of authorship owned or controlled by You, including copyright, moral and neighboring rights, as appropriate, for the full term of their existence including any extensions by You.

"Submit" means any form of physical, electronic, or written communication sent to Us, including but not limited to electronic mailing, source code control systems, and issue tracking systems that are managed by, or on behalf of, Us, but excluding communication that is clearly designated in writing by You as "Not a Contribution."

"Work" means any software or documentation made available by Us to third parties. Any Contribution You Submit may be included in the Material.

2. GRANT OF LICENSE

2.1 Grant of Copyright License.

Subject to the terms and conditions of this Agreement, You hereby grant to Us a worldwide, royalty-free, no-charge, non-exclusive, perpetual and irrevocable Copyright license, with the right to transfer an unlimited number of non-exclusive licenses or to grant non-exclusive sublicenses to third parties, to use the Contribution by all means, including but not limited to, the right to :

• Publish the Contribution in original or modified form ;

• Modify the Contribution, prepare derivative works based upon or containing the Contribution and combine the Contribution with other works;

• Reproduce the Contribution in original or modified form;

• Distribute, make the Contribution available to the public, display and publicly perform the Contribution in original or modified form under the terms of any license approved by Us.

2.2 Moral Rights

Moral Rights remain unaffected to the extent they are recognized and not waivable by applicable law. Notwithstanding, You may add your name in the header of the source code files of Your Contribution and We will respect this attribution when using Your Contribution.

3. GRANT OF PATENT LICENSE

Subject to the terms and conditions of this Agreement, You hereby grant to Us a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable patent license, with the right to transfer an unlimited number of non-exclusive licenses or to grant sublicenses to third parties, to make, have made, use, offer to sell, sell, import, and otherwise transfer the Contribution, where such license applies only to those patent claims licensable by You that are necessarily infringed by Your Contribution(s) alone or by combination of Your Contribution(s) with the Work to which such Contribution(s) was submitted.

This license applies to all patents owned or controlled by You, whether already acquired or hereafter acquired, that would be infringed by making, having made, using, selling, offering for sale, importing or otherwise transferring of Your Contribution(s) alone or by combination of Your Contribution(s) with the Material.

You furthermore agree to notify Us of any patents that you know or come to know which are likely infringed by the Contribution and/or are not licensable by You.

If any entity institutes patent litigation against You or any other entity alleging that the Contribution, or the Work with which it has been combined, constitutes direct or contributory patent infringement, then any patent licenses granted to that entity under this Agreement for that Contribution or Material shall terminate as of the date such litigation is filed.

If the litigation is withdrawn or otherwise settled, then any patent licenses granted to that entity under this agreement shall be reinstated as of the date the litigation was settled or withdrawn.

4. REPRESENTATIONS

a. If You are entering this Agreement as an individual, You represent that You are legally entitled to grant the licenses set forth in Sections 2 and 3. If Your employer(s) has rights to intellectual property that You create, such as your Contributions, You represent that You have received permission to make Contributions on behalf of that employer and that Your employer has waived such rights for Your Contributions to the Work.

b. If You are entering this Agreement on behalf of an Entity, You represent that You are legally entitled to grant the licenses set forth in Sections 2 and 3 and that each employee of the Entity that submits Contributions is authorized to submit such Contributions on behalf of the Entity.

In any case, You represent that:

i. The Contribution is Your original creation. If You do not, entirely or partially, own the Copyright in work of authorship comprising a Contribution, please contact Us before Submitting such Contribution.

ii. to the extent that Your Contribution is computer code, it includes complete details of any third-party license or other restriction (including, but not limited to, related patents and trademarks) of which You are personally aware and which are associated with any part of Your Contributions.

iii. to the extent that Your Contribution is computer code, it contains no viruses, Trojan horses, backdoors, malicious code or other program that would allow anyone, including Us, to gain access to a computer or network other than what is fully documented and disclosed by Us.

5. DISCLAIMER OF WARRANTIES

Except as set forth in section 4, the contribution is provided "as is". More particularly, all express or implied warranties including, without limitation, any implied warranty of merchantability, fitness for a particular purpose and non-infringement are expressly disclaimed by You to Us and by Us to You. To the extent that any such warranties cannot be disclaimed, such warranty is limited in duration to the minimum period permitted by law.

6. CONSEQUENTIAL, APPROXIMATION OF DISCLAIMER AND DAMAGE WAIVER

To the maximum extent permitted by applicable law, in no event will You or Us be liable for any loss of profits, loss of anticipated savings, loss of data, indirect, special, incidental, consequential and exemplary damages arising out of this Agreement regardless of the legal or equitable theory (contract, tort or otherwise) upon which the claim is based.

If the disclaimer and damage waiver mentioned in section 5 and section 6 cannot be given legal effect under applicable local law, reviewing courts shall apply local law that most closely approximates an absolute waiver of all civil liability in connection with the contribution.

7. TERM

This Agreement shall come into effect upon Your acceptance of the terms and conditions.

In the event of a termination of this Agreement Sections 5, 6 and 8 shall survive such termination and shall remain in full force thereafter. For the avoidance of doubt, Contributions that are already licensed under a free and open source license at the date of the termination shall remain in full force after the termination of this Agreement.

8. MISCELLANEOUS

8.1 You are not expected to provide support for Your Contributions, except to the extent You desire to provide support. You may provide support for free, for a fee, or not at all. Unless required by applicable law or agreed to in writing, You provide Your Contributions on an "as is" basis, without warranties or conditions of any kind, either express or implied, including, without limitation, any warranties or conditions of title, non-infringement, merchantability, or fitness for a particular purpose.

8.2 This Agreement and all disputes, claims, actions, suits or other proceedings arising out of this agreement or relating in any way to it shall be governed by the laws of France excluding its private international law provisions.

8.3 This Agreement sets out the entire agreement between You and Us for Your Contributions to Us and overrides all other agreements or understandings.

8.4 If any provision of this Agreement is found void and unenforceable, such provision will be replaced to the extent possible with a provision that comes closest to the meaning of the original provision and that is enforceable. The terms and conditions set forth in this Agreement shall apply notwithstanding any failure of essential purpose of this Agreement or any limited remedy to the maximum extent possible under law.

8.5 You agree to notify Us of any facts or circumstances of which you become aware that would make this Agreement inaccurate in any respect.

Signature

• Full Name:
• Entity (if applicable):
• Country/Town:
• (optional) Full address:
• Email:
• Gitlab login:
• Date:
• Signature: