Page History

...

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

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC-PRE31

Fully implemented

Coverity

Include Page

	Coverity_V
	Coverity_V

ASSERT_SIDE_EFFECTS

Partially implemented

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, 562 S, 572 S, 35 D, 1 Q

Fully implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_C-PRE31-a
CERT_C-PRE31-b
CERT_C-PRE31-c
CERT_C-PRE31-d

A full expression containing an increment (++) or decrement (--) operator should have no other potential side effects
Assertions should not contain assignments, increment, or decrement operators
Assertions should not contain function calls nor function-like macro calls
Avoid side effects in arguments to unsafe macros

Polyspace Bug Finder

Include Page