REUSE compliance of software/metaval

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

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 0b2ff462d9c92a3ea17e78fd1d678364b4b1bc18 was checked on 18 Nov 2024 15:54:10 UTC with the following result: 

warning: redirecting to https://gitlab.com/sosy-lab/software/metaval.git/
# MISSING LICENSES

'Apache-2.0' found in:
* metaval-algo-selector.sh


# MISSING COPYRIGHT AND LICENSING INFORMATION

The following files have no copyright and licensing information:
* .gitignore
* .gitlab-ci.yml
* README.md
* bundle.sh
* metaval.py
* metaval.sh
* tutorial/README.md
* tutorial/programs/array-examples/sanfoundry_43_ground.i
* tutorial/programs/array-examples/sanfoundry_43_ground.yml
* tutorial/programs/array-tiling/skippedu.c
* tutorial/programs/array-tiling/skippedu.yml
* tutorial/programs/bitvector/README.txt
* tutorial/programs/bitvector/jain_1-1.c
* tutorial/programs/bitvector/jain_1-1.yml
* tutorial/programs/memsafety-ext3/derefAfterFree1.c
* tutorial/programs/memsafety-ext3/derefAfterFree1.yml
* tutorial/programs/memsafety-ext3/getNumbers3.c
* tutorial/programs/memsafety-ext3/getNumbers3.yml
* tutorial/programs/properties/no-overflow.prp
* tutorial/programs/properties/termination.prp
* tutorial/programs/properties/unreach-call.prp
* tutorial/programs/properties/unreach-label.prp
* tutorial/programs/properties/valid-memcleanup.prp
* tutorial/programs/properties/valid-memsafety.prp
* tutorial/programs/termination-crafted/2Nested-2.c
* tutorial/programs/termination-crafted/2Nested-2.yml
* tutorial/programs/termination-crafted/TelAviv-Amir-Minimum.c
* tutorial/programs/termination-crafted/TelAviv-Amir-Minimum.yml
* tutorial/screenshots/navigation_svcomp_site.png
* tutorial/screenshots/navigation_svcomp_site_table.png
* tutorial/tests_ci.xml
* tutorial/tests_correctness.xml
* tutorial/tests_violation.xml
* tutorial/witnesses/2Nested-2.yml.graphml
* tutorial/witnesses/TelAviv-Amir-Minimum.yml.graphml
* tutorial/witnesses/derefAfterFree1.yml.graphml
* tutorial/witnesses/getNumbers3.yml.graphml
* tutorial/witnesses/jain_1-1.yml.graphml
* tutorial/witnesses/sanfoundry_43_ground.yml.graphml
* tutorial/witnesses/skippedu.yml.graphml

The following files have no licensing information:
* tutorial/programs/array-tiling/License.txt


# SUMMARY

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

Unfortunately, your project is not compliant with version 3.2 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 missing copyright/licensing information: For one or more files, the tool
  cannot find copyright and/or licensing information. You typically do this by
  adding 'SPDX-FileCopyrightText' and 'SPDX-License-Identifier' tags to each
  file. The tutorial explains additional ways to do this:
  <https://reuse.software/tutorial/>