Page History

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

sizeof

Partially checked

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC++-EXP52

Clang

Include Page

	Clang_V
	Clang_V

-Wunevaluated-expression

Klocwork

Include Page

	Klocwork_V
	Klocwork_V

MISRA.SIZEOF.SIDE_EFFECT

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

54 S, 133 S

Partially implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_CPP-EXP52-a
CERT_CPP-EXP52-b
CERT_CPP-EXP52-c
CERT_CPP-EXP52-d
CERT_CPP-EXP52-e

The operand of the sizeof operator shall not contain any expression which has side effects
Object designated by a volatile lvalue should not be accessed in the operand of the sizeof operator
The function call that causes the side effect shall not be the operand of the sizeof operator
The operand of the 'typeid' operator shall not contain any expression that has side effects
The operand of the 'typeid' operator shall not contain a function call that causes side effects

Polyspace Bug Finder

Include Page