qute

A software analysis framework built around the QBE intermediate language

git clone https://git.8pit.net/qute.git

 1version = 1
 2
 3# cabal requires the first line in the file to be the `cabal-version` field.
 4# The license header needs to be added after which looks weird; hence, we are
 5# specifying the license for `*.cabal` files here.
 6[[annotations]]
 7path = "**/*.cabal"
 8SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
 9SPDX-License-Identifier = "GPL-3.0-only"
10
11# We don't want to force comment headers for test files.
12[[annotations]]
13path = "qute-syntax/test/golden/*.qbe"
14SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
15SPDX-License-Identifier = "Unlicense"
16
17# We don't want to force comment headers for test files.
18[[annotations]]
19path = "qute-symex/test/golden/*.qbe"
20SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
21SPDX-License-Identifier = "Unlicense"
22
23# Machine-generated files as obtained through ar(1).
24[[annotations]]
25path = "qute/test/testdata/archive/*"
26SPDX-FileCopyrightText = "2026 Sören Tempel <soeren+git@soeren-tempel.net>"
27SPDX-License-Identifier = "Unlicense"
28
29# Machine-generated files as obtained by scc or cproc.
30[[annotations]]
31path = "qute/test/testdata/linker/*"
32SPDX-FileCopyrightText = "2026 Sören Tempel <soeren+git@soeren-tempel.net>"
33SPDX-License-Identifier = "Unlicense"
34
35# Machine-generated files as obtained by `cproc -emit-qbe`.
36[[annotations]]
37path = "qute/**/*.qbe"
38SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
39SPDX-License-Identifier = "Unlicense"
40
41# Machine-generated files as obtained by `cproc -emit-qbe`.
42[[annotations]]
43path = "qute-symex/**/*.qbe"
44SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
45SPDX-License-Identifier = "Unlicense"
46
47# .ktest files are binary files, often generated using KLEE.
48[[annotations]]
49path = "qute-cli/test/testdata/*.ktest"
50SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
51SPDX-License-Identifier = "Unlicense"
52
53# Guix patches are written by myself, for this repo just unlicense them.
54[[annotations]]
55path = ".guix/patches/*.patch"
56SPDX-FileCopyrightText = "2026 Sören Tempel <soeren+git@soeren-tempel.net>"
57SPDX-License-Identifier = "Unlicense"