MISRA C: Static Analysis Before Commit

error

misra_c_static_analysis_before_commit

coding-standards workflow pure_temporal coding-standardmisramisra-canalysisrag-red

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

Formula

G(GitCommit → P(StaticAnalysis ∧ misra_c_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_c_static_analysis_before_commit --into ./trace.json
ponens trace check ./trace.json