Skip to content

Latest commit

 

History

History
42 lines (30 loc) · 1.65 KB

MISRA.md

File metadata and controls

42 lines (30 loc) · 1.65 KB
Raw

MISRA Compliance

The jobs 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.4 violation; with justification in point 2 ):

grep 'MISRA Ref 11.1.4' . -rI

Rule 7.4

Ref 7.4.1

  • MISRA Rule 7.4 prohibits modification of a string literal as that results in undefined behavior. This is a false positive as the rule allows casting a sting literal to const qualified pointer. In this case, the string literal is casted to a const unit8_t pointer so that it will not be modified.

Rule 8.9

Ref 8.9.1

  • MISRA rule 8.9 says that a variable must be defined at block scope. In this case, the variable is a map which helps covert ASCII characters to base64 characters. While this can be defined in the function, it makes the function too lengthy and complexity increases. Thus, this variable is defined as static and const at global scope.

Rule 21.6

Ref 21.6.1

  • MISRA Rule 21.6 prohibits use of standard library functions as these functions might have implementation defined behavior. In this case, snprintf is used to populate a buffer to generate a data block request. The buffer is verified to be big enough to contain the populated buffer.