Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

FLP36-C

Low

Unlikely

Medium

P2

L3

Automated Detection

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V

Supported, but no explicit checker
Coverity
Include Page
Coverity_V
Coverity_V

MISRA C 2004 Rule 10.x (needs investigation)

Needs investigation
LDRA tool suite
Include Page
LDRA_V
LDRA_V
435 SFully implemented
Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_C-FLP36-a
CERT_C-FLP36-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

PRQA QA-C++
Include Page
cplusplus:PRQA QA-C++_V
cplusplus:PRQA QA-C++_V
3011
PRQA QA-C9.1  3804, 4453, 4454
PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V674

Related Vulnerabilities

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

...