Static Code Issues

Static code checking finds the following types of errors:

• ABR: beyond Array Bounds Read

• ABW: beyond Array Bounds Write

• DFM: Double Freeing Memory

• ECV: Explicit type Cast Violation

• FMR: Freed Memory Read

• FMW: Freed Memory Write

• INF: INFinite empty loop

• Memory leak

• MFR: Missing Function Return

• MRC: Missing malloc Return value Check

• NFR: uNinitialized Function Return

• NUL: NULl pointer dereference, leaky pointer check

• RFM: Return Freed Memory

• UMR: Uninitialized Memory Read, Uninitialized Memoey Read bit operation

• URV: Unused Return Value

• VES: out-of-scope local Variable usage