changes.mady.by.user David Svoboda
Saved on Jun 22, 2010
changes.mady.by.user Robert Seacord (Manager)
Saved on Jun 24, 2010
...
Tool
Version
Option
Description
Coverity Prevent
NO_EFFECT
finds statements or expressions that do not accomplish anything, or statements that perform an unintended action
GCC
-Wunused-value and -Wunused-parameter
-Wunused-value
-Wunused-parameter
Klocwork
EFFECT
LDRA tool suite
Splint