...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported | |||||||
| Compass/ROSE | |||||||||
| Helix QAC |
| C4991DF4991, C4992, C4993C++4991, C++4992, C++4993DF4992, DF4993 | |||||||
| LDRA tool suite |
| 118 S | Fully Implemented | ||||||
| Parasoft C/C++test |
| CERT_C-ENV31-a | Do not rely on an environment pointer following an operation that may invalidate it | ||||||
| CERT C: Rule ENV31-C | Checks for environment pointer invalidated by previous operation (rule fully covered) | |||||||
| PRQA QA-C |
| 4991, 4992, 4993 | |||||||
| PRQA QA-C++ |
| 4991, 4992, 4993 |
...