Versions Compared

Key

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

...

This compliant solution follows the guidance of PRE00-C. Prefer inline or static functions to function-like macros by defining an inline function iabs() to replace the ABS() macro. Unlike the ABS() macro, which operates on operands of any type, the iabs() function will truncate arguments of types wider than int whose value is not in range of the latter type.

...

Tool

Version

Checker

Description

Coverity

Include Page
Coverity_V
Coverity_V

ASSERT_SIDE_EFFECTS

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

ECLAIR
Include Page
ECLAIR_V
ECLAIR_V
CC2.EXP31
CC2.PRE31
Fully implemented

LDRA tool suite

Include Page
LDRA_V
LDRA_V

9 S
30 S
562 S

Fully implemented
Fully implemented
Partially implemented

PRQA QA-C
Include Page
PRQA QA-C_Vv
PRQA QA-C_Vv

3453,3455,3440
3454
3455
3456

Fully implemented

Related Vulnerabilities

...