...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-DCL39 | Detects composite structures with padding, in particular those passed to trust boundary routines. | ||||||
| Helix QAC |
| C: 4941, 4942C4942, 4943C4943 C++: 4941, C++4942, C++4943 | |||||||
| Klocwork |
| PORTING.STORAGE.STRUCT PORTING.STRUCT.BOOL | |||||||
| Parasoft C/C++test |
| CERT_C-DCL39-a | A pointer to a structure should not be passed to a function that can copy data to the user space | ||||||
| CERT C: Rule DCL39-C | Checks for information leak via structure padding | |||||||
| PRQA QA-C |
| 4941, 4942, 4943 | |||||||
| PRQA QA-C++ |
| 4941, 4942, 4943 |
...