Versions Compared

Key

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

...

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V
for-loop-floatFully checked
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC-FLP30Fully implemented
Clang
Include Page
Clang_39_V
Clang_39_V
cert-flp30-cChecked by clang-tidy
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
LANG.STRUCT.LOOP.FPCFloat-typed loop counter
Compass/ROSE




Coverity
Include Page
Coverity_V
Coverity_V

MISRA C 2004 Rule 13.4

MISRA C 2012 Rule 14.1

Implemented
ECLAIR
Include Page
ECLAIR_V
ECLAIR_V
CC2.FLP30Fully implemented
Klocwork
Include Page
Klocwork_V
Klocwork_V
MISRA.FOR.COND.FLT
MISRA.FOR.COUNTER.FLT

LDRA tool suite
Include Page
LDRA_V
LDRA_V

39 S

Fully implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V
CERT_C-FLP30-a
Do not use floating point variables as loop counters
Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

MISRA CERT C: 2012 Rule 14.1A loop counter shall not have essentially floating typeRule FLP30-C

Checks for use of float variable as loop counter (rule fully covered)

PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
3339, 3340, 3342Partially implemented
PRQA QA-C++

Include Page
cplusplus:PRQA QA-C++_V
cplusplus:PRQA QA-C++_V

4234 
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V
for-loop-floatFully checked
SonarQube C/C++ Plugin

Include Page
SonarQube C/C++ Plugin_V
SonarQube C/C++ Plugin_V

S2193Fully implemented
TrustInSoft Analyzer

Include Page
TrustInSoft Analyzer_V
TrustInSoft Analyzer_V

non-terminatingExhaustively detects non-terminating statements (see one compliant and one non-compliant example).

...