...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| stdlib-limits | Partially checked | ||||||
| Axivion Bauhaus Suite |
| CertC-FLP32 | Partially implemented | ||||||
| CodeSonar |
| MATH.DOMAIN.ATAN MATH.DOMAIN.TOOHIGH MATH.DOMAIN.TOOLOW MATH.DOMAIN MATH.RANGE MATH.RANGE.GAMMA MATH.DOMAIN.LOG MATH.RANGE.LOG MATH.DOMAIN.FE_INVALID MATH.DOMAIN.POW MATH.RANGE.COSH.TOOHIGH MATH.RANGE.COSH.TOOLOW MATH.DOMAIN.SQRT | Arctangent Domain Error Argument Too High Argument Too Low Floating Point Domain Error Floating Point Range Error Gamma on Zero Logarithm on Negative Value Logarithm on Zero Raises FE_INVALID Undefined Power of Zero cosh on High Number cosh on Low Number sqrt on Negative Value | ||||||
| Helix QAC |
| C5025C5025 C++5033 | |||||||
| Parasoft C/C++test |
| CERT_C-FLP32-a | Validate values passed to library functions | ||||||
| PC-lint Plus |
| 2423 | Partially supported: reports domain errors for functions with the Semantics *dom_1, *dom_lt0, or *dom_lt1, including standard library math functions | ||||||
| Polyspace Bug Finder |
| CERT-C: Rule FLP32-C | Checks for invalid use of standard library floating point routine (rule fully covered) | ||||||
| PRQA QA-C |
| 5025 | |||||||
| PRQA QA-C++ |
| 5033 | |||||||
| RuleChecker |
| stdlib-limits | Partially checked | ||||||
| TrustInSoft Analyzer |
| out-of-range argument | Partially verified. |
...