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 |
| Helix QAC | | C3339, C3340, C3342 C++4234 |
|
| Klocwork | | 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 |
| PC-lint Plus | | Include Page |
|---|
| PC-lint Plus_V |
|---|
| PC-lint Plus_V |
|---|
|
| 9009 | Fully supported |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rule 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, 3342 | Partially implemented | PRQA QA-C++ | | Include Page |
|---|
cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | 4234 | PVS-Studio | | V1034 |
|
| 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 |
| TrustInSoft Analyzer | | Include Page |
|---|
| TrustInSoft Analyzer_V |
|---|
| TrustInSoft Analyzer_V |
|---|
|
| non-terminating | Exhaustively detects non-terminating statements (see one compliant and one non-compliant example). |
