Tool | Version | Checker | Description |
|---|
| Astrée | | memcmp-with-float | Partially checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-FLP37 | Fully implemented |
| LDRA tool suite | | 618 S | Enhanced Enforcement |
| Parasoft C/C++test | | CERT_C-FLP37-a
CERT_C-FLP37-b
CERT_C-FLP37-c | Avoid accessing arrays out of bounds
Pointer arithmetic should not be used
Do not use object representations to compare floating-point values |
Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| Memory comparison of float-point values | CERT C: Rule FLP37-C | Checks for memory comparison Object representation of floating-point values can be different (same) for equal (not equal) floating-point values(rule fully covered) |
| PRQA QA-C | | 5026 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| memcmp-with-float | Partially checked |
| TrustInSoft Analyzer | | Include Page |
|---|
| TrustInSoft Analyzer_V |
|---|
| TrustInSoft Analyzer_V |
|---|
|
|
| Exhaustively verified. |
