Versions Compared

Key

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

...

Tool

Version

Checker

Description

Section

LDRA tool suite

Include Page
c:LDRA_V
c:LDRA_V

 

Section

12 S

Section

Fully Implemented

 

Section

GCC

Include Page
c:GCC_V
c:GCC_V

 

Section

can detect some violations of this recommendation when the -Wswitch and -Wswitch-default flags are used

Section

Compass/ROSE

 

 

Section

can detect some violations of this recommendation. In particular, it flags switch statements that do not have a default clause. ROSE should also detect "fake switches," as well (that is, a chain of if statements each checking the value of the same variable). These if statements should always end in an "else" clause, or they should mathematically cover every possibility. For instance, consider the following:

Code Block
bgColor#ccccff
  if (x > 0) {
	  /* ... */
  } else if (x < 0) {
    /* ... */
  } else if (x == 0) {
    /* ... */
  }
Section

Klocwork

Include Page
c:Klocwork_V
c:Klocwork_V
Section

LA_UNUSED

 

...