REUSE compliance of software/cpachecker

Congratulations, gitlab.com/sosy-lab/software/cpachecker is REUSE compliant! This project adopts the recommendations to make software licensing easy for humans and machines alike.

Badge

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

[![REUSE status](https://api.reuse.software/badge/gitlab.com/sosy-lab/software/cpachecker)](https://api.reuse.software/info/gitlab.com/sosy-lab/software/cpachecker)

Machine-readable information

The API provides machine-readable artifacts for automatic analysis.

  • All information about the latest compliance check can also be accessed via a machine-parsable JSON file.
  • You can gather the automatically generated SPDX SBOM in Tag:Value format, based on the reuse spdx command.

Last lint output

Commit 380b5448dfe438e0c2cacb1f299f482048a0c44a was checked on 02 Feb 2026 21:17:54 UTC with the following result: 

warning: redirecting to https://gitlab.com/sosy-lab/software/cpachecker.git/
/opt/venv/lib/python3.11/site-packages/reuse/project.py:332: PendingDeprecationWarning: '.reuse/dep5' is deprecated. You are recommended to instead use REUSE.toml. Use `reuse convert-dep5` to convert.
  warnings.warn(
/opt/venv/lib/python3.11/site-packages/reuse/project.py:332: PendingDeprecationWarning: '.reuse/dep5' is deprecated. You are recommended to instead use REUSE.toml. Use `reuse convert-dep5` to convert.
  warnings.warn(
# SUMMARY

* Bad licenses: 0
* Deprecated licenses: 0
* Licenses without file extension: 0
* Missing licenses: 0
* Unused licenses: 0
* 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-Attribution-Vandikas, 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, Zlib, blessing
* Read errors: 0
* Invalid SPDX License Expressions: 0
* Files with copyright information: 8090 / 8090
* Files with license information: 8090 / 8090

Congratulations! Your project is compliant with version 3.3 of the REUSE Specification :-)