...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| memcmp-with-float | Partially checked | ||||||
| Axivion Bauhaus Suite |
| CertC-FLP37 | Fully implemented | ||||||
| LDRA tool suite |
| 618 S | Enhanced Enforcement | ||||||
| Parasoft C/C++test |
| CERT_C-FLP37-a | Avoid accessing arrays out of bounds | ||||||
| Memory comparison of float-point values | Object representation of floating-point values can be different (same) for equal (not equal) floating-point values | |||||||
| PRQA QA-C9.1 |
| 5026 | |||||||
| RuleChecker |
| memcmp-with-float | Partially checked |
...