REUSE compliance of software/frama-c-sv

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](](

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 a8d6e8c4ebefcffe2302da8ff8e36ab977566c6d was checked on 10 May 2023 09:11:52 UTC with the following result:

warning: redirecting to

The following files have no copyright and licensing information:
* Vagrantfile


* Bad licenses:
* Deprecated licenses:
* Licenses without file extension:
* Missing licenses:
* Unused licenses:
* Used licenses: Apache-2.0
* Read errors: 0
* Files with copyright information: 64 / 65
* Files with license information: 64 / 65

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