Unsupported MISRA C:2012 Guidelines

The Polyspace^® coding rules checkers do not check the following MISRA C™:2012 directives. These directives cannot be enforced because they are outside the scope of Polyspace software. These guidelines concern documentation, dynamic aspects, or functional aspects of MISRA™ rules.

For the list of supported rules and directives, see MISRA C:2012 Directives and Rules.

Number	Category	AGC Category	Definition
Directive 3.1	Required	Required	All code shall be traceable to documented requirements
Directive 4.2	Advisory	Advisory	All usage of assembly language should be documented

Related Topics

• MISRA C:2012 Directives and Rules