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.
To add the badge to your project's README.md
file,
use the following snippet:
[](https://api.reuse.software/info/gitlab.com/sosy-lab/software/cpachecker)
The API provides machine-readable artifacts for automatic analysis.
reuse spdx
command.
Commit 304b9b9ad5ac735b3b0da60d745de6adbe804f18
was checked on 18 Sep 2025 13:32:01 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:329: 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:329: 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: LicenseRef-BSD-4-Clause-CBMC, LicenseRef-BSD-3-Clause-CVC4, blessing, GPL-3.0-or-later, LicenseRef-BSD-3-Clause-CMU, GPL-2.0-only, LicenseRef-CUP, CC-BY-4.0, LicenseRef-MathSAT-CPAchecker, LicenseRef-Octagon-Abstract-Domain-Library, ICU, BSD-2-Clause, LicenseRef-BuDDy, LGPL-2.1-or-later, EPL-1.0, Zlib, Apache-2.0, CC0-1.0, LGPL-3.0-or-later, ISC, GPL-2.0-or-later, 0BSD, BSD-3-Clause, OFL-1.1, LGPL-2.1-only, CC-BY-3.0, NCSA, GPL-3.0-only, MPL-2.0, MIT * Read errors: 0 * Files with copyright information: 7458 / 7458 * Files with license information: 7458 / 7458 Congratulations! Your project is compliant with version 3.3 of the REUSE Specification :-)