...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| invalid_pointer_dereference uninitialized_variable_use | |||||||
| Helix QAC |
| C++4726, C++4727, C++4728, C++4729, C++4731, C++4732, C++4733, C++4734 | |||||||
| LDRA tool suite |
| 618 S | Partially implemented | ||||||
| Parasoft C/C++test |
| CERT_CPP-EXP62-a | Do not compare objects of a class that may contain padding bits with C standard library functions | ||||||
| PVS-Studio |
| V598, V780 |
...