What
Add dynamic analysis via compiler sanitizers. The S-CORE process requires
ASAN/LSAN (memory + leaks), TSAN (data races), and UBSAN (undefined
behaviour). score_cpp_policies provides ready-made sanitizer Bazel configs.
Steps:
- Add sanitizer Bazel configs to
.bazelrc using configs from
score_cpp_policies:
build:asan --config=time-x86_64-linux # + asan flags from score_cpp_policies
build:tsan --config=time-x86_64-linux # + tsan flags
build:ubsan --config=time-x86_64-linux # + ubsan flags
- Create
.github/workflows/sanitizers.yml running tests under each config
(reuses cicd-workflows/tests.yml@main) — run on PR and/or daily
References
Estimates for realization
S - Day
Category
Requirements / Architecture
What
Add dynamic analysis via compiler sanitizers. The S-CORE process requires
ASAN/LSAN (memory + leaks), TSAN (data races), and UBSAN (undefined
behaviour).
score_cpp_policiesprovides ready-made sanitizer Bazel configs.Steps:
.bazelrcusing configs fromscore_cpp_policies:.github/workflows/sanitizers.ymlrunning tests under each config(reuses
cicd-workflows/tests.yml@main) — run on PR and/or dailyReferences
score_cpp_policiessanitizer configs:https://github.com/eclipse-score/score_cpp_policies
https://github.com/eclipse-score/cicd-workflows/blob/main/.github/workflows/tests.yml
https://github.com/eclipse-score/score/blob/main/docs/contribute/development/cpp/code_analysis.rst
Estimates for realization
S - Day
Category
Requirements / Architecture