trevon/fold
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(sarif): point informationUri at git.trevon.dev #2

Merged
trevon merged 1 commit from fix/forgejo-home into master 2026-09-28 12:05:55 +00:00
Conversation 0 Commits 1 Files changed 2 +3 -1
2 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/report/sarif.cpp
View file

@ -411,7 +411,7 @@ void writeFilteredSarif(std::ostream& out, const std::vector<Finding>& findings,
{
{"name", "fold"},
{"version", foldVersion()},
{"informationUri", "https://github.com/trvon/fold"},
{"informationUri", "https://git.trevon.dev/trevon/fold"},
{"properties",
{
{"z3_version", Z3_get_full_version()},

2
tests/integration/test_scan_e2e.cpp
View file

@ -101,6 +101,8 @@ TEST_CASE("SARIF keeps stable rule metadata for structural findings", "[sarif]")
const auto& driver = sarif["runs"][0]["tool"]["driver"];
const auto& results = sarif["runs"][0]["results"];
// fold lives only on git.trevon.dev; SARIF consumers follow this link.
REQUIRE(driver["informationUri"] == "https://git.trevon.dev/trevon/fold");
REQUIRE(results[0]["ruleId"] == "fold.clone");
REQUIRE(results[0]["properties"]["backend"] == "clang");
REQUIRE(results[1]["ruleId"] == "fold.high-complexity");