...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-POS37 | |||||||
| Helix QAC |
| C4876, C4877, C4878 C++4876, C++4877, C++4878 | |||||||
| Klocwork |
| SV.FIU.PROCESS_VARIANTS | |||||||
| Parasoft C/C++test |
| CERT_C-POS37-a | Ensure that privilege relinquishment is successful | ||||||
| CERT C: Rule POS37-C | Checks for priviledge drop not verified (rule fully covered) |
...