...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC++-DCL55 | |||||||
| CodeSonar |
| MISC.PADDING.POTB | Padding Passed Across a Trust Boundary | ||||||
| Helix QAC |
| DF4941, DF4942, DF4943 | |||||||
| Parasoft C/C++test |
| CERT_CPP-DCL55-a | A pointer to a structure should not be passed to a function that can copy data to the user space | ||||||
| Polyspace Bug Finder |
| CERT C++: DCL55-CPP | Checks for information leakage due to structure padding (rule partially covered) |
...