REUSE compliance of software/cpachecker

Unfortunately, gitlab.com/sosy-lab/software/cpachecker 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.

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 e7944ef477f7c44821a2201572a53174f95be646 was checked on 04 Nov 2025 17:26:59 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(
# MISSING LICENSES

'Apache-2.0  </pre' found in:
* src/org/sosy_lab/cpachecker/core/counterexample/development_data/index.html

# INVALID SPDX LICENSE EXPRESSIONS

'src/org/sosy_lab/cpachecker/core/counterexample/development_data/index.html' contains invalid SPDX License Expressions:
* Apache-2.0  </pre

# SUMMARY

* Bad licenses: 0
* Deprecated licenses: 0
* Licenses without file extension: 0
* Missing licenses: Apache-2.0  </pre
* Unused licenses: 0
* Used licenses: 0BSD, Apache-2.0, Apache-2.0  </pre, 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, Zlib, blessing
* Read errors: 0
* Invalid SPDX License Expressions: 1
* Files with copyright information: 7561 / 7561
* Files with license information: 7561 / 7561

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


# RECOMMENDATIONS

* Fix missing licenses: For at least one of the license identifiers provided by
  the 'SPDX-License-Identifier' tags, there is no corresponding license text
  file in the 'LICENSES' directory. For SPDX license identifiers, you can simply
  run 'reuse download --all' to get any missing ones. For custom licenses
  (starting with 'LicenseRef-'), you need to add these files yourself.
* Fix invalid SPDX License Expressions: In one or more files there are SPDX
  License Expressions which cannot be parse. Check whether the value that
  follows 'SPDX-License-Identifier:' is correct. If the detected expression is
  not meant to be valid, put it between 'REUSE-IgnoreStart' and 'REUSE-
  IgnoreEnd' comments.