REUSE compliance of software/frama-c-sv

Unfortunately, gitlab.com/sosy-lab/software/frama-c-sv 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/frama-c-sv)](https://api.reuse.software/info/gitlab.com/sosy-lab/software/frama-c-sv)

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 https://gitlab.com/sosy-lab/software/frama-c-sv.git/
# MISSING COPYRIGHT AND LICENSING INFORMATION

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


# SUMMARY

* 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 :-(