Page History

...

Tool

Version

Checker

Description

Section
Splint

Include Page

	c:Splint_V
	c:Splint_V

Section
GCC

Include Page

	c:GCC_V
	c:GCC_V

Section
can detect violations of this rule when the `-Wsequence-point` flag is used.

Section
Compass/ROSE

Section
can detect simple violations of this rule. It needs to examine each expression and make sure that no variable is modified twice in the expression. Also no variable is modified once, and read elsewhere, with the single exception that a variable may appear on both the left and right of an assignment operator.

Section
Coverity Prevent

Include Page

	c:Coverity_V
	c:Coverity_V

Section
EVALUATION_ORDER

Section
can detect the specific instance where Statement contains multiple side-effects on the same value with an undefined evaluation order because with different compiler flags or different compilers or platforms, the statement may behave differently.

Section
LDRA tool suite

Include Page

	c:LDRA_V
	c:LDRA_V

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...

Space shortcuts