Tool | Version | Checker | Description |
---|
Astrée | | for-loop-float | Fully checked |
Axivion Bauhaus Suite | Include Page |
---|
| Axivion Bauhaus Suite_V |
---|
| Axivion Bauhaus Suite_V |
---|
|
| CertC-FLP30 | Fully implemented |
Clang | | cert-flp30-c | Checked by clang-tidy |
CodeSonar | | LANG.STRUCT.LOOP.FPC | Float-typed loop counter |
Compass/ROSE |
|
|
|
Coverity | | MISRA C 2004 Rule 13.4 MISRA C 2012 Rule 14.1 | Implemented |
ECLAIR | | CC2.FLP30 | Fully implemented |
Klocwork | | MISRA.FOR.COND.FLT MISRA.FOR.COUNTER.FLT |
|
LDRA tool suite | | 39 S | Fully implemented |
Parasoft C/C++test | | 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 C:2012 Rule 14.1 | A loop counter shall not have essentially floating type |
PRQA QA-C | | 3339, 3340, 3342 | Partially 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-float | Fully checked |
SonarQube C/C++ Plugin | Include Page |
---|
| SonarQube C/C++ Plugin_V |
---|
| SonarQube C/C++ Plugin_V |
---|
|
| S2193 | Fully implemented |