Versions Compared

Key

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

...

Other uses of static assertion are shown in STR07-C. Use the bounds-checking interfaces for remediation of existing string manipulation code and void FIO35-C. Use feof() and ferror() to detect end-of-file and file errors when sizeof(int) == sizeof(char).

...

Partially

Tool

Version

Checker

Description

CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
(customization)Users can implement a custom check that reports uses of the assert() macro.

Compass/ROSE

 

 

Could detect violations of this rule merely by looking for calls to assert(), and if it can evaluate the assertion (due to all values being known at compile time), then the code should use static-assert instead; this assumes ROSE can recognize macro invocation

ECLAIR
Include Page
ECLAIR_V
ECLAIR_V
CC2.DCL03Fully implemented

LDRA tool suite

Include Page
LDRA_V
LDRA_V

44 S

Fully implemented

PRQA QA-C
Include Page
PRQA_VPRQA_V2741 2742

implemented

Related Vulnerabilities

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

...