← Policy gallery

misra_c_enforcement_plan_defined

coding-standards workflow pure_temporal coding-standardmisramisra-canalysisrag-amber

Each guideline analysed has a defined enforcement means in the Guidelines Enforcement Plan.

Formula

G(StaticAnalysis → enforcement_plan)

Why it matters

MISRA Compliance:2020: the GEP records, for every guideline, the analysis tool(s), manual review, or other means used to enforce it.

Examples

passes the compliance-process step is evidenced

fails the required compliance artifact/step is absent

Use it

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