SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 115

changes.mady.by.user Jill Britton

Saved on

compared with

New Version Current

changes.mady.by.user Jill Britton

Saved on

Key

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

...

Tool

Version

Checker

Description

Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC-DCL03
Clang
Include Page
Clang_V
Clang_V
misc-static-assertChecked by clang-tidy
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
cplusplus:PRQA QA-C++_Vcplusplus:PRQA QA-C++_V4090

Related Vulnerabilities

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

...