SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 47

changes.mady.by.user Roberto Bagnara

Saved on

compared with

New Version 48

changes.mady.by.user Roberto Bagnara

Saved on

Key

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

...

Tool

Version

Checker

Description

Section

Coverity Prevent

Include Page
c:Coverity_V
c:Coverity_V
Section

CHECKED_RETURN

Section

Finds inconsistencies in how function call return values are handled. Coverity Prevent cannot discover all violations of this recommendation, so further verification is necessary.

Section

Splint

Include Page
c:Splint_V
c:Splint_V

 

 

Section

Compass/ROSE

 

 

 

Section

Klocwork

Include Page
c:Klocwork_V
c:Klocwork_V
Section

SV.RVT.RETVAL_NOTTESTED

 

Section

LDRA tool suite

Include Page
c:LDRA_V
c:LDRA_V
Section

382 S

Section

Fully Implemented

Section

ECLAIR

Include Page
c:ECLAIR_V
c:ECLAIR_V
Section

ignrtrn

Section

Fully Implemented

...