Skip to content

Latest commit

 

History

History
31 lines (24 loc) · 1.31 KB

MISRA.md

File metadata and controls

31 lines (24 loc) · 1.31 KB
Raw

MISRA Compliance

The coreJSON library files conform to the MISRA C:2012 guidelines, with some noted exceptions. Compliance is checked with Coverity static analysis. The specific deviations, suppressed inline, are listed below.

Additionally, MISRA configuration file contains the project wide deviations.

Suppressed with Coverity Comments

To find the violation references in the source files run grep on the source code with ( Assuming rule 11.3 violation; with justification in point 1 ):

grep 'MISRA Ref 11.3.1' . -rI

Rule 11.3

Ref 11.3.1

  • MISRA C-2012 Rule 11.3 prohibits casting a pointer to a different type. This instance is a false positive, as the rule permits the addition of a const type qualifier.

Rule 14.3

Ref 14.3.1

  • MISRA C-2012 Rule 14.3 False positive as the static analysis tool believes i can never be larger than SIZE_MAX - HEX_ESCAPE_LENGTH. This can be proven as a bug by setting i to be 18446744073709551615UL at initial assignment, then require start != NULL before assigning the vaue of i to start. This creates a case where i should be large enough to hit the else statement, but the tool still flags this as invariant.