SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 48

changes.mady.by.user Ram Cherukuri

Saved on

compared with

New Version 49

changes.mady.by.user Amy Gale

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Tool

Version

Checker

Description

CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

LANG.MEMSTRUCT.LOOP.HRLOOPHR
LANG.STRUCT.ULOOPLOOP.UB

High risk loop
Potential unbounded loop

Compass/ROSE

 

 

 

LDRA tool suite
Include Page
LDRA_V
LDRA_V
510 SPartially implemented
Polyspace Bug FinderR2016a

Loop bounded with tainted value

Tainted sign change conversion

Loop controlled by a value from an unsecure source

Value from an unsecure source changes sign

...