Page History

Compass/ROSE

Can detect some violations of this recommendation. In particular, it flags switch statements that do not have a default clause. ROSE should 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:

  if (x > 0) {
	  /* ... */
  } else if (x < 0) {
    /* ... */
  } else if (x == 0) {
    /* ... */
  }

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

LDRA tool suite

0597
1460
1470
1472

2000
2002
2004

ElseIfWithoutElse

SwitchWithoutDefault