...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| LDRA tool suite |
| 618 S | Enhanced Enforcement | ||||||
| Parasoft C/C++test |
| BD-PB-ARRAY, MISRA-101, CODSTA-190 | Implemented | ||||||
| R2018a |
| 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-C | 9.1 | 5026 |
...