Versions Compared

Key

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

...

ToolVersionCheckerDescription
Astrée
Include Page
Astrée_V
Astrée_V
macro-parameter-parenthesesFully checked
ECLAIR
Include Page
ECLAIR_V
ECLAIR_V
CC2.PRE01Fully implemented
Klocwork
Include Page
Klocwork_V
Klocwork_V
MISRA.DEFINE.NOPARS
LDRA tool suite
Include Page
LDRA_V
LDRA_V

78 S

Enhanced Enforcement

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V
MISRA2004-19_10Fully implemented
PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
3410Fully implemented
PVS-Studio6.22V733
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V
macro-parameter-parenthesesFully checkedPVS-Studio6.22V733General analysis rule

Related Vulnerabilities

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

...