http://www.cadfamily.com/downinfo/302183.html
Manual checking
There are several rules that require manual checking. These are, for example, rules
requiring knowledge of your intentions as a programmer or rules that are impractical to
check statically, requiring excessive computations.
Note: The fact that rule 3.6 is not enforced means that standard header files in a project
are not checked for compliance.
Documenting deviations
A deviation from a MISRA C rule is an instance where your application does not follow
the rule. If you document a deviation from a rule, you can disable the warning for
violations of that particular rule.
Note: Your source code can deviate from a rule as long as the reason is clearly
documented. Because breaking rules in a controlled fashion is permitted according to
the MISRA C guidelines, error messages can be explicitly disabled using the
#pragma diag_xxx directives.
No comments:
Post a Comment