Document not found! Please try again

PC-lint/FlexeLint Support For MISRA C 2004

43 downloads 3104 Views 258KB Size Report
www.gimpel.com. Page 1 of 4. The chart below is based on au-misra2.lnt, our configuration file for MISRA C 2004. Although we have taken great care in creating ...
PC-lint/FlexeLint Support For MISRA C 2004 The chart below is based on au-misra2.lnt, our configuration file for MISRA C 2004. Although we have taken great care in creating this chart, we make no guarantees as to its completeness and accuracy. If you find any discrepancies or errors, please send an email to “sales” at “gimpel.com” with the details. Checked

Partially Checked

Not Statically Checkable

Not Yet Checked

Totals

Required Rules Advisory Rules

115 17

1 1

5 2

1 0

122 20

Totals

132

2

7

1

142

Rule

Required

1.1 1.2 1.3 1.4 1.5 2.1 2.2 2.3 2.4 3.1 3.2 3.3 3.4 3.5 3.6 4.1 4.2 5.1 5.2 5.3 5.4 5.5 5.6 5.7 6.1 6.2 6.3 6.4 6.5

req req req req

Advisory

adv req req req adv req req adv req req req req req req req req req adv adv adv req req adv req req

www.gimpel.com

Checked

Yes Yes n/a Yes n/a Yes Yes Yes partial n/a n/a n/a Yes n/a Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes

Description

strict ANSI checking no undefined or unspecified behavior not statically checkable identifier names must be unique in first 31 characters not statically checkable no in-line assembly language do not use // comments no nested comments no nested comments not statically checkable not statically checkable not statically checkable report on pragma use not statically checkable libraries should conform to MISRA standard do not use non-ANSI escape sequences do not use trigraphs identifier names must be unique in first 31 characters complain about name hiding do not reuse typedef names do not reuse tag names complain about name hiding complain about name hiding do not reuse identifier names disallowed use of plain char disallowed use of non-numeric value do not use modifiers (int, char, etc) outside of a typedef bitfield type should be unsigned int or signed int small bit field should be unsigned int

Page 1 of 4

Rule

Required

7.1 8.1 8.2 8.3 8.4 8.5 8.6 8.7 8.8 8.9 8.10 8.11 8.12 9.1 9.2 9.3 10.1 10.2 10.3 10.4 10.5 10.6 11.1 11.2 11.3 11.4 11.5 12.1 12.2 12.3 12.4 12.5 12.6 12.7 12.8 12.9 12.10 12.11 12.12 12.13 13.1 13.2 13.3

req req req req req req req req req req req req req req req req req req req req req req req req

Advisory

adv adv req adv req req req req adv req req req req adv req adv req adv req

www.gimpel.com

Checked

Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes partial

Description

no octal constants use function prototypes function has no explicit type declaration and definition should have identical parameter types symbol redeclared no definitions of objects or functions in a header file function not declared at file scope could define variable at block scope object/function previously declared symbol previously defined symbol could be made static symbol previously used as static array has 0 dimension symbol not initialized omitted braces within an initializer initialize either all enum members or only the first loss of precision / possible loss of fraction prototype coercion prohibited cast of complex integer expression prohibited cast of complex floating point recasting required for