Page History

...

Making invalid assumptions about the type of type-cast data, especially bit-fields, can result in unexpected data values.

Recommendation	Severity	Likelihood	Remediation Cost	Priority	Level
EXP11-C	Medium	Probable	Medium	P8	L2

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

Supported: Astrée reports runtime errors resulting from invalid assumptions.

Can detect violations of this recommendation. Specifically, it reports violations if

A pointer to one object is type cast to the pointer of a different object
The pointed-to object of the (type cast) pointer is then modified arithmetically

Include Page

	Helix QAC_V
	Helix QAC_V

C0310, C0751

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

554 S

Fully

implementedPRQA QA-C Include PagePRQA QA-C_vPRQA QA-C_v0310Partially

implemented

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

Related Guidelines

SEI CERT C++ Coding Standard	VOID EXP11-CPP. Do not apply operators expecting one type to data of an incompatible type
ISO/IEC TR 24772:2013	Bit Representations [STR]
MISRA C:2012	Directive 1.1 (required)

Rule 6-5: In portable code, do not depend upon the allocation order of bit-fields within a word

...