MISRA C++: Static Analysis Before Commit

error

misra_cpp_static_analysis_before_commit

coding-standards workflow pure_temporal coding-standardmisramisra-cppanalysisrag-red

Source is checked against the MISRA C++:2023 ruleset by static analysis before it is committed.

Formula

G(GitCommit → P(StaticAnalysis ∧ misra_cpp_ruleset))

Why it matters

MISRA Compliance:2020 Guidelines Enforcement Plan (GEP): every guideline has a defined technical enforcement means; analysis must run before code is accepted.

Examples

passes the compliance-process step is evidenced

fails the required compliance artifact/step is absent

Use it

ponens policies add misra_cpp_static_analysis_before_commit --into ./trace.json
ponens trace check ./trace.json