SPDXVersion: SPDX-2.1
DataLicense: CC0-1.0
SPDXID: SPDXRef-DOCUMENT
DocumentName: project
DocumentNamespace: http://spdx.org/spdxdocs/spdx-v2.1-1702f4db-7686-4c40-a5c9-f98752509461
Creator: Person: Anonymous ()
Creator: Organization: Anonymous ()
Creator: Tool: reuse-6.1.0
Created: 2025-10-09T16:51:30Z
CreatorComment: <text>This document was created automatically using available reuse information consistent with REUSE.</text>
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-c30e4c80b3de72b2629c0ad7cb661ded
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-52f6ac41aa356257b20ac52d9ad17e49
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-35c496bd6d87117fa87df59056d27882
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6cc17aac53d5875587f61ef09c31b521
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-77a58cb9bc019a5efec91015cbd8a4fd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d0c0fcd4ccb2bf71a6adccd826682480
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0bac6fd0ad66cb7d309f7fd4ca25a8a7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-9220531bb17b4cc80886cd9c18d98ab2
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-45e128ccfda13f76649456fb2e253dd5
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e6e8e19c54250b1fba18458ba545bcb4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-79d51a5f9df5cf291f8ab1f2b78ec4a2
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-03d6b54eec63247b42081380a1e4020e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7a614fb70da97ecf407833a1229775dd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fcb98148a5ec22e5c80a15f57a0463ce
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-48818de2574f4e78699a5d199065dbcd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-282cf731f1c4a645e6df747bf1660630
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-48d9e58272b62b0fcebb4efd66117af2
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8c611bd30840ad2500eb3503dd3cf437
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5a57864bdd8a44198f2eb0d3391bf9c2
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a742d927e6a5a2ef90954b9f24523a58
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-ac8eb5e8e0bb687faace2e4736d6e1b3
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8f2fc031c41af229df5469813d0edefd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d7379dcf7a44567c7d73ecfa38fcec31
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fdd83e391284679ed9a129de10735aef
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d7d3ae5cb40c26f9733ac955681856fe
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8a68db2b33b8d51238d97f043dde417e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-efeac5f91d47d3db892ccefddae7caec
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-40c1e6c4ce72966fda4bb1180da3836d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-21f9e50e8161532bd7e6cfef8140bee0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e1b4e4a70e1318032b7d51c412c5cf3a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-97ffd0ae833b80fd2ed0e19fca324a26
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-13bc77f5a2d7aad86730c445b090b585
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-42b8d1ead0891d81419c5ee664bb3472
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7d3296f3da27b32b48921e7b49de7687
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7c4508ac6171dadc96f2ce3d1742aeb7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-95e3b57172bf226143da3bf22c246373
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3c20a38732157fa327571e385c1d548d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8b16d164bf1953947ee27f16e5a09452
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-72a4b3efb730ddf7408dd7ee251a5e7e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6dc467d051bd1c267f95fe62b4543d1f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fc363f195a4813083f63d281bf33c7cc
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-904e278bd745090e94e437e0c4a6e636
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-baa2042788fd6d2d665a9215c289f71d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1ba09dde71e92a4b381fc2a11e4ef1f6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a7ab9fb0102ea5a9e7b86f387708becf
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-325710c0fa3527b50b703032377c27ee
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3f4c359c4d420b315d6c0cde117804c0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d4cfd11f432fa4dc83ceb9940e2c93ce
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d1c31d0425e1dec0503b3d0850546c90
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-33d58abf71f93ebf7b9edf33350ad20a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a331a0a38b32b322687b15a796b35542
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-f116a8a3fdb55172d05f4051c8e9ef1d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-f85bb22c261bb8a5307860a0e463640d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fa212529538e1d884075f70797b5446d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1a3424a753b8d5face5735a3272943cd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-39fdd12ba76d7a39a145c47c8c337d44
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2e4059b91cccc9c4533803bc157cdaae
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-c5592a8925ecae13d75aaac0da9e4d46
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-9e28c86476cfe6f23833e43872517640
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-de30930e96491fa0afda5565f5ebe984
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6ca51e1265f86765a77c8d4a23508843
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-f7c552f0be75aaf77186d1b3c57191b0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3eb97c3307a37c23c2c6594292273273
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5c95cf80275603e473f3eb4f19dccc44
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5e726939b071a840728ffd6c5ed7e56b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-4743bffc641c0d1a92d9ff1a1dbd2d47
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2c600a7ea897cf415c5e72f999e666af
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-ed2588226b0d0bab4363e921e37292ba
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6e48d59bc8b308cd84489601958bec44
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a1af70a6a92f0ddf76ee0f0f5307cbf2
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-201877500f15f64005238d1e46e67da7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-f90a22c62021b7bf2b3e3674f6311315
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6116f3ea9f4d7504206e4a07fa47a490
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fbea2bd85a9c3316f1e464361c8ee025
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3b684ec2f99a94bb5a368390e5959540
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8c904b458b29af6e450f855e1184ddcf
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-53d8d366f0d1c2ebd07e432c1764fa11
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-4e060233e173b4a4371f5269db4839e3
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-14804655bdde3ee4d869331ea8ccbd22
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-76f5df3cc20d6747314d68957c0de748
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-91a574833700b380446efddf37052cc3
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7af3533f12ece9ace0eb039f07a8cc14
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-77c68c369c538ef02bd7a93571e7c4a6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-deaff75f66e842f2eda8816db6387109
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0c0beb6ae8bd491bbafdeaa27544d1fb
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b43a7c384e8369aae977f1128fd2258c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-acc1ff5ee8c555a6db90caccc090f6e7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d4cda774b5a4878e5b4e6cd2859be390
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7c9cda918c49dbe15c6bc2e8c19be0f9
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-dcc0a260fceaa170d5ea12f3fe21d33d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d2e29d1dedc2b622e19c21dc228280b4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-af1f96818c520748dcf3543b225f0719
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-885ca9b44a3f6868f38afff27ce280df
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-f60a56376e717973772342c27e79726f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7e7b55de8e0b7b63cf1e60e89898aa43
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3435684b3e084254ac0eba48012d3df9
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0810b615b966f02f10d06bea7d446d44
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e08fab7f62b8468fae4001224e645b0b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d268e60bca1c59ec1fd55e86ba9e53e7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-68be081cbe4263c5e776b73ebf4b070b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-9ab87abab14b89ecee6c327b073215cf
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2f050e3fd0ccf6a8f1e0ebf2d15f8919
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6b8d85344a5b914b9b13e340a8b22144
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-dbea75b61ab29803616e2b704b572aad
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d55c878ecc36a0894f40d1de5db03aa1
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0273551e7db70ef4bd9462cdc92b08fa
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-577b0e90357a8046e4dbf1769415ec51
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bb30e32e4914f362d93b1cc4bcbd94ad
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-685da01c38eadf121c8e4e869a29492c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b9f2c085bd1caf40309785cdacbf5af7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5190e7aafbba85fd91b5ceca6c7c7db7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-4ff85342d02235bd570cc553b59c9355
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0475697da8a91a5137ee23063ba7398c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-534798e3a95fcac191e2c47db5a671bd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3914e54966dd8a7ad258af9ed9016198
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-05ab33cd99b9656ecb3fc1d412735965
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-61fd8d2f3bf93c67d6401a1bdba365fd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b585b928917c88805d2e6d2eabcc8258
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-27e05ae0eb299531566dea2bff9b0604
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-803d2ccec1ddea6df2efddafba194a43
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b5fab20cc8e5478ccf5bd81f5554538e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-29d6245c639deb3932748723bcc561fe
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d67feb43b50b54f2c7d252af99459474
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-14b42b1bd2c606d76c276fba6d747f31
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0ee520142aea163599d75385ea109d59

FileName: ./.flake8
SPDXID: SPDXRef-c30e4c80b3de72b2629c0ad7cb661ded
FileChecksum: SHA1: 8b30dbe2d6363ad01341882679ac9420b22c51e9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./.gitignore
SPDXID: SPDXRef-52f6ac41aa356257b20ac52d9ad17e49
FileChecksum: SHA1: 58572675693f39be6ea7db2c07e4508ed796f2ab
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./.gitlab-ci.yml
SPDXID: SPDXRef-35c496bd6d87117fa87df59056d27882
FileChecksum: SHA1: a52eda51d5ca20aed86187bbabd8225a32f5304c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./.gitmodules
SPDXID: SPDXRef-6cc17aac53d5875587f61ef09c31b521
FileChecksum: SHA1: dda24f43b6ffaff63596cb53b7df2f88529d53e8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./Containerfile
SPDXID: SPDXRef-77a58cb9bc019a5efec91015cbd8a4fd
FileChecksum: SHA1: a4b8c9d79b2b4f16da7864f4b67158cb1cf7453f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./Makefile
SPDXID: SPDXRef-d0c0fcd4ccb2bf71a6adccd826682480
FileChecksum: SHA1: 8c556f16896cf4eec31c3b198df285c505354de3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./README.md
SPDXID: SPDXRef-0bac6fd0ad66cb7d309f7fd4ca25a8a7
FileChecksum: SHA1: 66735e17c862ab5e6d255e090e7f530aed6c8e1c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./Vagrantfile
SPDXID: SPDXRef-9220531bb17b4cc80886cd9c18d98ab2
FileChecksum: SHA1: 17f69bdc2a605208cc65a2235a1b5ef7024359b6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./compact.sh
SPDXID: SPDXRef-45e128ccfda13f76649456fb2e253dd5
FileChecksum: SHA1: 42349fc1f03dd29715a079f99be5c44bac2ce20e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/Architecture.md
SPDXID: SPDXRef-e6e8e19c54250b1fba18458ba545bcb4
FileChecksum: SHA1: 7cf60edd353e9d45a701e40dae051d8fceed7dba
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/Artifact-Creation.md
SPDXID: SPDXRef-79d51a5f9df5cf291f8ab1f2b78ec4a2
FileChecksum: SHA1: 02bc9b9392f57b0d7a504d92f595cd54d16fa7e6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/Artifact.md
SPDXID: SPDXRef-03d6b54eec63247b42081380a1e4020e
FileChecksum: SHA1: 48b0cbc4994429e6011ca67b5e3ef5dcba4506a9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/data/Ackermann01.zip
SPDXID: SPDXRef-7a614fb70da97ecf407833a1229775dd
FileChecksum: SHA1: 092233dcde8c559e9ce8e1102a7318b97bc00b2a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2016 Temesghen Kahsai</text>

FileName: ./doc/data/assert_java.prp
SPDXID: SPDXRef-fcb98148a5ec22e5c80a15f57a0463ce
FileChecksum: SHA1: c464cb43690ee73ee0f4e8064f5197794cf4bde1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community</text>

FileName: ./doc/data/common.zip
SPDXID: SPDXRef-48818de2574f4e78699a5d199065dbcd
FileChecksum: SHA1: c793f18a8b37baaa3cb1c887368389a8f3382b67
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community
SPDX-FileCopyrightText: Contributed by Peter Schrammel</text>

FileName: ./doc/data/cpachecker.yml
SPDXID: SPDXRef-282cf731f1c4a645e6df747bf1660630
FileChecksum: SHA1: d9137d0507fbbd7453aaea3cbd7919298c2946f0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/data/jbmc.yml
SPDXID: SPDXRef-48d9e58272b62b0fcebb4efd66117af2
FileChecksum: SHA1: 178cd8ea5906e80ddb2d2c42e198f1cff1622ce4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/data/test02.c
SPDXID: SPDXRef-8c611bd30840ad2500eb3503dd3cf437
FileChecksum: SHA1: e36b36ad96ff2e745f26414fc2994497e2b108c8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/data/unreach-call.prp
SPDXID: SPDXRef-5a57864bdd8a44198f2eb0d3391bf9c2
FileChecksum: SHA1: bbe85ef43e88eba50537feeee0a41bc59562f5e0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org\></text>

FileName: ./doc/data/verifier-Java.cvt
SPDXID: SPDXRef-a742d927e6a5a2ef90954b9f24523a58
FileChecksum: SHA1: d780865a1a0bf85b6c7bfb19f5a77567e44e1db4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/data/verifier.cvt
SPDXID: SPDXRef-ac8eb5e8e0bb687faace2e4736d6e1b3
FileChecksum: SHA1: f4ce71709af44c5804a1060c57c3fb94bd008d2d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/data/verifier_resource.yml
SPDXID: SPDXRef-8f2fc031c41af229df5469813d0edefd
FileChecksum: SHA1: 2f8a3162f033d9c851daa32b0ed0d96e6503a717
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/development.md
SPDXID: SPDXRef-d7379dcf7a44567c7d73ecfa38fcec31
FileChecksum: SHA1: fd69ce6f8889c0433c1e75d455d006e28cdbe47d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/example_request.json
SPDXID: SPDXRef-fdd83e391284679ed9a129de10735aef
FileChecksum: SHA1: c4ce2d0cbfba92d1295715e322c1a68ed5b41a99
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org\></text>

FileName: ./doc/example_request_java.json
SPDXID: SPDXRef-d7d3ae5cb40c26f9733ac955681856fe
FileChecksum: SHA1: 24106be82f4f565a8372d91ceb4cd81abf74d1a0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org\></text>

FileName: ./doc/send_request.sh
SPDXID: SPDXRef-8a68db2b33b8d51238d97f043dde417e
FileChecksum: SHA1: 876d1bd49f389d0401912660dd2c1010dc59784b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./doc/send_request_java.sh
SPDXID: SPDXRef-efeac5f91d47d3db892ccefddae7caec
FileChecksum: SHA1: 0679df58858a9b108cd725de2423f2a25694bdbf
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./mypy.ini
SPDXID: SPDXRef-40c1e6c4ce72966fda4bb1180da3836d
FileChecksum: SHA1: e428172cde9ebf98cf753423df2663b8013c7d37
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./release.sh
SPDXID: SPDXRef-21f9e50e8161532bd7e6cfef8140bee0
FileChecksum: SHA1: e590061c806e1241e482537f0de9f643498fcac4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./requirements.txt
SPDXID: SPDXRef-e1b4e4a70e1318032b7d51c412c5cf3a
FileChecksum: SHA1: b7b22945343c19053c106044607dec0c8369adfc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server.wsgi
SPDXID: SPDXRef-97ffd0ae833b80fd2ed0e19fca324a26
FileChecksum: SHA1: 511ab96915409aaf2a8d0e6b920c09c4210beb12
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/__init__.py
SPDXID: SPDXRef-13bc77f5a2d7aad86730c445b090b585
FileChecksum: SHA1: 34cc9a42fe1bb4ebe006bff46be37e9a30375dc9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/adhoc_actors.py
SPDXID: SPDXRef-42b8d1ead0891d81419c5ee664bb3472
FileChecksum: SHA1: 1b391e0fc95cc42b2604d02c4a37f194661f3df4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/config.py
SPDXID: SPDXRef-7d3296f3da27b32b48921e7b49de7687
FileChecksum: SHA1: 4cbc17684708309b9216544fbac4607aa1fba888
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/config.toml
SPDXID: SPDXRef-7c4508ac6171dadc96f2ce3d1742aeb7
FileChecksum: SHA1: 0515f4da68c69e5f9d1264e4cdcd48a7e3c49622
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/contracts.py
SPDXID: SPDXRef-95e3b57172bf226143da3bf22c246373
FileChecksum: SHA1: ca155cc0a38aea1c948cb6c730bfbad2597cbd9c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/local_executor.py
SPDXID: SPDXRef-3c20a38732157fa327571e385c1d548d
FileChecksum: SHA1: 8ae27fd442c15c2853c6b00d54438f860eb8686f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/logutil.py
SPDXID: SPDXRef-8b16d164bf1953947ee27f16e5a09452
FileChecksum: SHA1: 7fc9e41272976c625883280b6329581ea12d72fd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/request_processor_base.py
SPDXID: SPDXRef-72a4b3efb730ddf7408dd7ee251a5e7e
FileChecksum: SHA1: 4b06605b30edddc1b07de00bdbff3bc510c64f02
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/service.py
SPDXID: SPDXRef-6dc467d051bd1c267f95fe62b4543d1f
FileChecksum: SHA1: 10075fa8e816a0300dda2918b3befc782867379d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/vcloud_executor.py
SPDXID: SPDXRef-fc363f195a4813083f63d281bf33c7cc
FileChecksum: SHA1: 17c8f49ed32dea8cf86d41dbbf430d5ce3b9724b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./server/vcloud_executor_util.py
SPDXID: SPDXRef-904e278bd745090e94e437e0c4a6e636
FileChecksum: SHA1: c0e7cafdf17b167839cf78259a417f4c04a585e2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./start.sh
SPDXID: SPDXRef-baa2042788fd6d2d665a9215c289f71d
FileChecksum: SHA1: 9e97e2d3b4d60a07fa78945b45eabd375f9b2b13
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./static/abstract-view.png
SPDXID: SPDXRef-1ba09dde71e92a4b381fc2a11e4ef1f6
FileChecksum: SHA1: ac86f18a85c246d528ccfbbdc34eb3c1372e028d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./static/index.html
SPDXID: SPDXRef-a7ab9fb0102ea5a9e7b86f387708becf
FileChecksum: SHA1: 45c6e28d589c0ea6050314b74afaa8274324af4a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./static/index.md
SPDXID: SPDXRef-325710c0fa3527b50b703032377c27ee
FileChecksum: SHA1: a9002553f5ff7cff9906e345d8e079bb37a4c8b4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./static/pandoc.css
SPDXID: SPDXRef-3f4c359c4d420b315d6c0cde117804c0
FileChecksum: SHA1: 64e9dd91598a4703b9ed6a9870f963b65feaeb13
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/Dockerfile.python-3.10
SPDXID: SPDXRef-d4cfd11f432fa4dc83ceb9940e2c93ce
FileChecksum: SHA1: ef0c9bcfb8ba5a4e12e85294f7ae5ad8596eaa28
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://sosy-lab.org></text>

FileName: ./test/Dockerfile.python-3.6
SPDXID: SPDXRef-d1c31d0425e1dec0503b3d0850546c90
FileChecksum: SHA1: fcc2178925bf61c5238592cb678116e3d13f672d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://sosy-lab.org></text>

FileName: ./test/Dockerfile.python-3.8
SPDXID: SPDXRef-33d58abf71f93ebf7b9edf33350ad20a
FileChecksum: SHA1: 3027b5af155f3f7d3665e2294eb134264b3728eb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://sosy-lab.org></text>

FileName: ./test/Resources/cpa-seq.yml
SPDXID: SPDXRef-a331a0a38b32b322687b15a796b35542
FileChecksum: SHA1: b1ee168fc66bb78aa13938c2091c849964f7bb8a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/Resources/dummy.c
SPDXID: SPDXRef-f116a8a3fdb55172d05f4051c8e9ef1d
FileChecksum: SHA1: 229181a02a805fb574d90d5bfcad2949a444d950
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/Resources/no_filenames.json
SPDXID: SPDXRef-f85bb22c261bb8a5307860a0e463640d
FileChecksum: SHA1: 02697197777639bd4cf0de255b5d5d940bad751c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/Resources/test02.c
SPDXID: SPDXRef-fa212529538e1d884075f70797b5446d
FileChecksum: SHA1: 387ce961f1b600d40b7451ad77b4ad0ac506a6c1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/Resources/test_input.json
SPDXID: SPDXRef-1a3424a753b8d5face5735a3272943cd
FileChecksum: SHA1: a811b41b0fc8aedae274dff65e93191abf075596
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/Resources/unreach-call.prp
SPDXID: SPDXRef-39fdd12ba76d7a39a145c47c8c337d44
FileChecksum: SHA1: bbe85ef43e88eba50537feeee0a41bc59562f5e0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/Resources/verifier.cvt
SPDXID: SPDXRef-2e4059b91cccc9c4533803bc157cdaae
FileChecksum: SHA1: f4ce71709af44c5804a1060c57c3fb94bd008d2d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/Resources/verifier_resource.yml
SPDXID: SPDXRef-c5592a8925ecae13d75aaac0da9e4d46
FileChecksum: SHA1: 2f8a3162f033d9c851daa32b0ed0d96e6503a717
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/integration/mock_server.py
SPDXID: SPDXRef-9e28c86476cfe6f23833e43872517640
FileChecksum: SHA1: 7bc3e99dd1c5aaa584a7413f6337308a9312ed42
LicenseConcluded: NOASSERTION
FileCopyrightText: NONE

FileName: ./test/integration/resources/archive.zip
SPDXID: SPDXRef-de30930e96491fa0afda5565f5ebe984
FileChecksum: SHA1: b1a075112c144369f59320cc19237d4b56d3241c
LicenseConcluded: NOASSERTION
FileCopyrightText: NONE

FileName: ./test/integration/resources/dummy.c
SPDXID: SPDXRef-6ca51e1265f86765a77c8d4a23508843
FileChecksum: SHA1: 229181a02a805fb574d90d5bfcad2949a444d950
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/integration/resources/dummy.yml
SPDXID: SPDXRef-f7c552f0be75aaf77186d1b3c57191b0
FileChecksum: SHA1: 4844c756532b40932f284d643caececcb0177d6f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/integration/resources/many_actors.cvt
SPDXID: SPDXRef-3eb97c3307a37c23c2c6594292273273
FileChecksum: SHA1: f47a7b7dbb611d50c878645ad4bb66c85f987e2d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/integration/resources/single_actor.cvt
SPDXID: SPDXRef-5c95cf80275603e473f3eb4f19dccc44
FileChecksum: SHA1: ce71ca6ba12990f7411a6eff1490f7a3bab82bec
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/integration/resources/unreach-call.prp
SPDXID: SPDXRef-5e726939b071a840728ffd6c5ed7e56b
FileChecksum: SHA1: bbe85ef43e88eba50537feeee0a41bc59562f5e0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/integration/test_rate_limiting.py
SPDXID: SPDXRef-4743bffc641c0d1a92d9ff1a1dbd2d47
FileChecksum: SHA1: 4471eb29bad06b14980f71da86c3083cb2bb71fb
LicenseConcluded: NOASSERTION
FileCopyrightText: NONE

FileName: ./test/tests.py
SPDXID: SPDXRef-2c600a7ea897cf415c5e72f999e666af
FileChecksum: SHA1: 01b8ad11a622e5e576d4ab83c0bb12c58e9e19d6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./test/url_regex_tests.py
SPDXID: SPDXRef-ed2588226b0d0bab4363e921e37292ba
FileChecksum: SHA1: 8857325316f423e57e97618ce21029faaf41355f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/ci-pipeline/Main.java
SPDXID: SPDXRef-6e48d59bc8b308cd84489601958bec44
FileChecksum: SHA1: 111d8810043ffe3b02be2d29840e16fda5036524
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/ci-pipeline/check-archives-with-service.py
SPDXID: SPDXRef-a1af70a6a92f0ddf76ee0f0f5307cbf2
FileChecksum: SHA1: ad0fb1957d700938e53c39d0ae8013c921bcef8b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/ci-pipeline/program.c
SPDXID: SPDXRef-201877500f15f64005238d1e46e67da7
FileChecksum: SHA1: 229181a02a805fb574d90d5bfcad2949a444d950
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/ci-pipeline/specification-c.prp
SPDXID: SPDXRef-f90a22c62021b7bf2b3e3674f6311315
FileChecksum: SHA1: bbe85ef43e88eba50537feeee0a41bc59562f5e0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/ci-pipeline/specification-java.prp
SPDXID: SPDXRef-6116f3ea9f4d7504206e4a07fa47a490
FileChecksum: SHA1: c464cb43690ee73ee0f4e8064f5197794cf4bde1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/ci-pipeline/verifier.cvt
SPDXID: SPDXRef-fbea2bd85a9c3316f1e464361c8ee025
FileChecksum: SHA1: f4ce71709af44c5804a1060c57c3fb94bd008d2d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/demo_ci/ci.yml
SPDXID: SPDXRef-3b684ec2f99a94bb5a368390e5959540
FileChecksum: SHA1: 6b874e8f5cf5fee3723042925cd90f2c4682fb36
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/demo_ci/invoke_incr.py
SPDXID: SPDXRef-8c904b458b29af6e450f855e1184ddcf
FileChecksum: SHA1: 3a12f580f1a220b29a5b29aed4d18701b4bbfc3f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/ivaas/data/cpachecker-incr.yml
SPDXID: SPDXRef-53d8d366f0d1c2ebd07e432c1764fa11
FileChecksum: SHA1: a83325808c95fbe3974cd84bed87b59ba3ce186f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/ivaas/data/incremental.cvt
SPDXID: SPDXRef-4e060233e173b4a4371f5269db4839e3
FileChecksum: SHA1: 1f78e0a575453172a9e477e108a6706349583ada
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/ivaas/db.py
SPDXID: SPDXRef-14804655bdde3ee4d869331ea8ccbd22
FileChecksum: SHA1: 5869e268be1afc9fcf83701886903ab476aaa05d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/ivaas/exceptions.py
SPDXID: SPDXRef-76f5df3cc20d6747314d68957c0de748
FileChecksum: SHA1: 02c952dc52f501809a7a1cafd97e89dfc009ad64
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/ivaas/run_verification.py
SPDXID: SPDXRef-91a574833700b380446efddf37052cc3
FileChecksum: SHA1: 3978753a4070899f87004340345ff755d106eaa9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/ivaas/server.py
SPDXID: SPDXRef-7af3533f12ece9ace0eb039f07a8cc14
FileChecksum: SHA1: c5d204b5f030214cca917fd37e1dd8c08cb6c4af
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/ivaas/util.py
SPDXID: SPDXRef-77c68c369c538ef02bd7a93571e7c4a6
FileChecksum: SHA1: e68fd24d55872286eae50ca94b940456e0e177c8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/requirements.txt
SPDXID: SPDXRef-deaff75f66e842f2eda8816db6387109
FileChecksum: SHA1: 9faaf45716a2a808fb32ff2da5eedf2dc1c932f1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/iVaaS/server.wsgi
SPDXID: SPDXRef-0c0beb6ae8bd491bbafdeaa27544d1fb
FileChecksum: SHA1: c2f359afaa40027dad39216428ac824f7ee2d465
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/.eslintrc.json
SPDXID: SPDXRef-b43a7c384e8369aae977f1128fd2258c
FileChecksum: SHA1: ade18d934052ab64d831254aef0ce01b8e975f95
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/.gitignore
SPDXID: SPDXRef-acc1ff5ee8c555a6db90caccc090f6e7
FileChecksum: SHA1: 57c5cd81b09a5ebab9862f4b3e870188fa8b8715
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/.vscode/extensions.json
SPDXID: SPDXRef-d4cda774b5a4878e5b4e6cd2859be390
FileChecksum: SHA1: 375a3703a6921e5416acda035b2a613833b67366
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/.vscode/launch.json
SPDXID: SPDXRef-7c9cda918c49dbe15c6bc2e8c19be0f9
FileChecksum: SHA1: cdb13eac15269474118798a18b85ea4e4bf1ca71
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/.vscode/settings.json
SPDXID: SPDXRef-dcc0a260fceaa170d5ea12f3fe21d33d
FileChecksum: SHA1: 11e0a9e9001a4426fc733a4b16b91abb2f1a54fb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/.vscode/tasks.json
SPDXID: SPDXRef-d2e29d1dedc2b622e19c21dc228280b4
FileChecksum: SHA1: 2f3a68bb6f4a5613fb09c49304962ddc4a573923
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/.vscodeignore
SPDXID: SPDXRef-af1f96818c520748dcf3543b225f0719
FileChecksum: SHA1: af4096f688d736e3805f9263f7c50ce13e775f20
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/CHANGELOG.md
SPDXID: SPDXRef-885ca9b44a3f6868f38afff27ce280df
FileChecksum: SHA1: 641d9e1cfe6cfe5d3b605a566f7b2ef2ac529e85
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/README.md
SPDXID: SPDXRef-f60a56376e717973772342c27e79726f
FileChecksum: SHA1: 083af458845fdd670e34dc4a2ba17c77ac6512fc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/input-data/cbmc.yml
SPDXID: SPDXRef-7e7b55de8e0b7b63cf1e60e89898aa43
FileChecksum: SHA1: 5b16fd127c75619fb49988ed30fc8fea31db19d0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/input-data/unreach-call.prp
SPDXID: SPDXRef-3435684b3e084254ac0eba48012d3df9
FileChecksum: SHA1: bbe85ef43e88eba50537feeee0a41bc59562f5e0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/input-data/verifier-C.cvt
SPDXID: SPDXRef-0810b615b966f02f10d06bea7d446d44
FileChecksum: SHA1: e71212054d461e6e11e6fcdf7c08b1f72da61a3a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/package-lock.json
SPDXID: SPDXRef-e08fab7f62b8468fae4001224e645b0b
FileChecksum: SHA1: b13c204418365b3eadfa756a3b9e05fc76ea08d6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/package.json
SPDXID: SPDXRef-d268e60bca1c59ec1fd55e86ba9e53e7
FileChecksum: SHA1: c4e811b2d86e1d5d5612a001aceef6b31f77f082
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/src/extension.ts
SPDXID: SPDXRef-68be081cbe4263c5e776b73ebf4b070b
FileChecksum: SHA1: 74ff1706a763d5540a62fe17094e87924214331d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/src/service-caller.ts
SPDXID: SPDXRef-9ab87abab14b89ecee6c327b073215cf
FileChecksum: SHA1: 57b47ef89c5ed6cadcda2671cc4ebbab9a682e56
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/tsconfig.json
SPDXID: SPDXRef-2f050e3fd0ccf6a8f1e0ebf2d15f8919
FileChecksum: SHA1: 63edc503489d7dcd6a846f09a5209b70bcb05259
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/vsc-coveriteam-service-client/vsc-extension-quickstart.md
SPDXID: SPDXRef-6b8d85344a5b914b9b13e340a8b22144
FileChecksum: SHA1: cca269f1d93e7ae38bbb09d4fde44e1b7894baab
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/.gitignore
SPDXID: SPDXRef-dbea75b61ab29803616e2b704b572aad
FileChecksum: SHA1: b2373d9a2ab7e0488c4c849a7d69ac34dbd0de20
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/README.md
SPDXID: SPDXRef-d55c878ecc36a0894f40d1de5db03aa1
FileChecksum: SHA1: 7a62041b6d63f0f85e246acf57e5037784a4c662
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/package-lock.json
SPDXID: SPDXRef-0273551e7db70ef4bd9462cdc92b08fa
FileChecksum: SHA1: 7ab6d749f9e388ca09b733a46860758c5b0bd97e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/package.json
SPDXID: SPDXRef-577b0e90357a8046e4dbf1769415ec51
FileChecksum: SHA1: f880a4eedc0a62f67035d52b45c3951449bd7310
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/public/favicon.ico
SPDXID: SPDXRef-bb30e32e4914f362d93b1cc4bcbd94ad
FileChecksum: SHA1: 1120538c77ad1f28a89243b4b53fe2ac16cc3bc6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/public/index.html
SPDXID: SPDXRef-685da01c38eadf121c8e4e869a29492c
FileChecksum: SHA1: 03125a6f63f45e29073ae4d0f137feaaa8e586f8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/public/logo192.png
SPDXID: SPDXRef-b9f2c085bd1caf40309785cdacbf5af7
FileChecksum: SHA1: 7f4f2d68782a7fafceda84554ecab9b489877500
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/public/logo512.png
SPDXID: SPDXRef-5190e7aafbba85fd91b5ceca6c7c7db7
FileChecksum: SHA1: 46915f9d02694ed49bfc7a9534947684103dc3fe
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/public/manifest.json
SPDXID: SPDXRef-4ff85342d02235bd570cc553b59c9355
FileChecksum: SHA1: 50f027b3b91a56ed2363db5bd7f48d5af452b453
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/public/robots.txt
SPDXID: SPDXRef-0475697da8a91a5137ee23063ba7398c
FileChecksum: SHA1: 044ce68f83ee8543475fea16f6e3a73d28a1c6d5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/src/App.css
SPDXID: SPDXRef-534798e3a95fcac191e2c47db5a671bd
FileChecksum: SHA1: f64bd94ba2ddf2a90b72c048921b589a84d2ed0c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/src/App.tsx
SPDXID: SPDXRef-3914e54966dd8a7ad258af9ed9016198
FileChecksum: SHA1: 686d9f81afa9308c815b959132b9f5f1985d444c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/src/data.ts
SPDXID: SPDXRef-05ab33cd99b9656ecb3fc1d412735965
FileChecksum: SHA1: c3bd5f0159f10d2760c7c42870edaf027379a806
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/src/index.css
SPDXID: SPDXRef-61fd8d2f3bf93c67d6401a1bdba365fd
FileChecksum: SHA1: bbb8ccdc224cdb75986835ce4bc3a405070b49d6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/src/index.tsx
SPDXID: SPDXRef-b585b928917c88805d2e6d2eabcc8258
FileChecksum: SHA1: b9d07df9e7452a71be5def544f62a3b97e00f046
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/src/react-app-env.d.ts
SPDXID: SPDXRef-27e05ae0eb299531566dea2bff9b0604
FileChecksum: SHA1: 05550ef55a9fbe52a1cc8be104edb720caa13bc8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/src/reportWebVitals.ts
SPDXID: SPDXRef-803d2ccec1ddea6df2efddafba194a43
FileChecksum: SHA1: 3f42ef9dc15b978a67a657173c3a806670c3f252
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/src/setupTests.ts
SPDXID: SPDXRef-b5fab20cc8e5478ccf5bd81f5554538e
FileChecksum: SHA1: f7fcdaf91936973382c37f51e510e287825ddd27
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./use-cases/webapp/tsconfig.json
SPDXID: SPDXRef-29d6245c639deb3932748723bcc561fe
FileChecksum: SHA1: 9baa6a363a7c9bd3edde25a9ab56f2861b69c3ab
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./vagrant_provision_base.sh
SPDXID: SPDXRef-d67feb43b50b54f2c7d252af99459474
FileChecksum: SHA1: e06673d2cb9255e2296302f8703d6f01b9309a14
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./vagrant_provision_service.sh
SPDXID: SPDXRef-14b42b1bd2c606d76c276fba6d747f31
FileChecksum: SHA1: fb19bbbf29bd85bc99abd8583a769519950b1991
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>

FileName: ./wsgi.py
SPDXID: SPDXRef-0ee520142aea163599d75385ea109d59
FileChecksum: SHA1: 560a129c4edb5c00e3d919beed9869bda66777a6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2022 Dirk Beyer <https://www.sosy-lab.org></text>