Page History

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

Supported, 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

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, MISRA-043_d

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

Implemented

Polyspace Bug Finder

R2016a

Float overflow

Overflow from operation between floating points

PRQA QA-C

Include Page