Page History

...

Recommendation	Severity	Likelihood	Detectable	RepairableRemediation Cost	Priority	Level
FLP06-C	Low	Probable	No	LowNo	P6P2	L2L3

Automated Detection

Tool

Version

Checker

Description

Astrée

Include Page

	Astrée_V
	Astrée_V

Supported: This rule aims to prevent truncations and overflows. All possible overflows are reported by Astrée.

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC-FLP06, but no explicit checker

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

LANG.TYPE.MOT

Mismatched operand types

Compass/ROSE

Can detect violations of this rule. Any assignment operation where the type of the assigned-to value is float or double, but all the expressions to the right of the assignment are integral, is a violation of this rule

Helix QAC

Include Page

	Helix QAC_V
	Helix QAC_V

C4117, C4118

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

435 S

Enhanced enforcement

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

MISRA-043_{c,d}

Polyspace Bug Finder

R2016a

Float overflow

Overflow from operation between floating points

CERT_C-FLP06-a
CERT_C-FLP06-b

Implicit conversions from integral to floating type which may result in a loss of information shall not be used
Implicit conversions from integral constant to floating type which may result in a loss of information shall not be used

PC-lint Plus

Include Page