SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 48

changes.mady.by.user Carol J. Lallier

Saved on

compared with

New Version 49

changes.mady.by.user Amy Gale

Saved on

Key

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

...

Tool

Version

Checker

Description

CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
LANG.FUNCS.ASSERTSNot Enough Assertions

Coverity

Include Page
Coverity_V
Coverity_V

ASSERT_SIDE_EFFECT

Can detect the specific instance where assertion contains an operation/function call that may have a side effect

...

CERT C Secure Coding StandardERR00-C. Adopt and implement a consistent and comprehensive error-handling policy
CERT C++ Secure Coding StandardMSC11-CPP. Incorporate diagnostic tests using assertions
MITRE CWECWE-190, Reachable assertion

...