MISRA C Static Analysis Skill Skill

MISRA C Static Analysis Skill

Overview

This skill provides MISRA C compliance checking and static analysis integration for safety-critical embedded software development, ensuring code quality and standard compliance.

Capabilities

MISRA C:2012 Compliance

Full rule set checking
Mandatory rules enforcement
Required rules verification
Advisory rules analysis
Directive compliance checking

Static Analysis Integration

PC-lint/PC-lint Plus integration
Cppcheck configuration and usage
Coverity static analysis
Polyspace integration
LDRA integration
Parasoft C/C++test

Violation Management

Violation categorization
Severity classification
Suppression management
False positive tracking
Trend analysis

Deviation Handling

Deviation record generation
Justification documentation
Risk assessment documentation
Approval workflow support
Traceability maintenance

Additional Standards

CERT C guideline checking
CWE weakness detection
AUTOSAR C++14 (where applicable)
IEC 61508 coding standards
DO-178C coding standards

Reporting

Compliance reports generation
Trend and metrics dashboards
CI/CD integration reports
Certification documentation

Target Processes

misra-c-compliance.js - MISRA C compliance checking
functional-safety-certification.js - Safety standard compliance
device-driver-development.js - Driver code quality

Dependencies

Static analysis tools (PC-lint, Cppcheck, Coverity, Polyspace)
MISRA C:2012 guidelines document
Rule configuration files

Usage Context

This skill is invoked when tasks require:

MISRA C compliance checking
Static analysis configuration
Deviation documentation
Coding standard enforcement
Safety certification support

Rule Categories

Mandatory Rules (143 rules)

Must always be followed; no deviations permitted.

Required Rules (32 rules)

Must be followed unless formally deviated with documented justification.

Advisory Rules (39 rules)

Should be followed; deviations need documentation but less formal.

Directives (16 directives)

Guidelines that cannot be fully verified by static analysis.

Configuration Example

PC-lint Configuration (au-misra3.lnt)

// MISRA C:2012 configuration
+e9*, +e1*, +e2*, +e3*
-append(9001,[MISRA 2012 Rule 1.1, required])
-append(9002,[MISRA 2012 Rule 1.2, advisory])

Cppcheck MISRA Configuration

<misra>
  <rule number="1.1" severity="error"/>
  <rule number="1.2" severity="warning"/>
  <suppress rule="15.5" file="legacy/*.c"/>
</misra>

Deviation Record Template

## Deviation Record DR-001

**Rule**: MISRA C:2012 Rule X.Y
**Location**: file.c, line 123
**Justification**: [Technical reason for deviation]
**Risk Assessment**: [Impact and mitigation]
**Approval**: [Approver name and date]

Agent Skills: MISRA C Static Analysis Skill

Install this agent skill to your local

Skill Files