Commit 49995aa
committed
fix: pin cpp-FuSa checkout to v0.18.0 in CI workflows
Both the fusa-asil-b and sarif jobs in .github/workflows/ci.yml were
pinned to cpp-FuSa v0.15.0 (#16), three releases behind the current
v0.18.0. Bump both checkouts.
Built cpp-FuSa v0.18.0 locally the same way CI does and ran the full
fusa-asil-b gating sequence (init, check, lint, trace, cyber, qualify,
hara init, iso26262, iec61508, boundary, tara, fmea, safety-case, sas,
sci, badge, vuln, metrics, report) plus the sarif job's check --format
sarif against cpp-LIN's own tree, for real, before pushing. No new
ERROR-level findings: check/lint/cyber/qualify all pass clean (0
errors), identical to v0.15.0's clean-pass status; qualify's 8/8 case
suite still passes.
cyber's scanned-file count dropped from 28 to 16 (findings 43 -> 33)
between the two binaries — traced to upstream commit 8564bf0 (part of
the v0.16-v0.18 range), which fixed source-walking commands to honour
.fusa.json's sourceDirs (["src", "include"]) per x-FuSa spec S1.2.1.
v0.15.0 was over-scanning cli/ and tests/, outside this project's
declared source scope; v0.18.0 correctly excludes them. This is a
upstream bug fix, not a suppression of real findings.
iso26262/iec61508 gap-report commands still exit 1 (gaps > 0, expected
for a project without full formal ISO 26262 documentation) but both
calls in ci.yml are already wrapped in `|| true`, unchanged from
v0.15.0's behavior.
Full local suite re-run clean: cmake/ninja Release build (171/171
ctest), ASan+UBSan Debug build (171/171 ctest). ThreadSanitizer could
not be exercised locally (this sandbox's arm64 toolchain lacks a
linkable libtsan runtime); CI runs it natively on ubuntu-22.04/gcc-12
where TSan is supported, unaffected by this change.
No version bump: pure CI-tool-pin fix with no behavior change and no
new findings, same category as #16 and #50 (neither bumped the
version or touched CHANGELOG.md).
Signed-off-by: Matt <47545907+SoundMatt@users.noreply.github.com>1 parent 9b17111 commit 49995aa
1 file changed
Lines changed: 2 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
234 | 234 | | |
235 | 235 | | |
236 | 236 | | |
237 | | - | |
| 237 | + | |
238 | 238 | | |
239 | 239 | | |
240 | 240 | | |
| |||
435 | 435 | | |
436 | 436 | | |
437 | 437 | | |
438 | | - | |
| 438 | + | |
439 | 439 | | |
440 | 440 | | |
441 | 441 | | |
| |||
0 commit comments