REUSE compliance of software/cpachecker

Unfortunately, is not REUSE compliant and does not fully adopt the recommendations to make software licensing easy for humans and machines alike. Have a look at our tutorial to learn about the three simple steps to become REUSE compliant.


To add the badge to your project's file, use the following snippet:

[![REUSE status](](

Parseable JSON

All information about the latest compliance check can also be accessed via a machine-parsable JSON file.

Last lint output

Commit 418c106ea52c3b37e6de2d56f1db85ebe03276b9 was checked on 22 Sep 2021 14:52:58 UTC with the following result:


The following files have no copyright and licensing information:
* test/programs/smg_Explicity_Test/strings/strlen1.c


* Bad licenses:
* Deprecated licenses:
* Licenses without file extension:
* Missing licenses:
* Unused licenses:
* Used licenses: 0BSD, Apache-2.0, BSD-2-Clause, BSD-3-Clause, CC-BY-3.0, CC-BY-4.0, CC0-1.0, EPL-1.0, GPL-2.0-only, GPL-2.0-or-later, GPL-3.0-only, GPL-3.0-or-later, ICU, ISC, LGPL-2.1-only, LGPL-2.1-or-later, LGPL-3.0-or-later, LicenseRef-BSD-3-Clause-CMU, LicenseRef-BSD-3-Clause-CVC4, LicenseRef-BSD-4-Clause-CBMC, LicenseRef-BuDDy, LicenseRef-CUP, LicenseRef-MathSAT-CPAchecker, LicenseRef-Octagon-Abstract-Domain-Library, MIT, MPL-2.0, NCSA, OFL-1.1, X11, Zlib, blessing
* Read errors: 0
* Files with copyright information: 6524 / 6525
* Files with license information: 6524 / 6525

Unfortunately, your project is not compliant with version 3.0 of the REUSE Specification :-(