...
Tool | Version | Checker | Description | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Klocwork |
| MLK.MIGHT MLK.MUST MLK.RET.MIGHT MLK.RET.MUST RH.LEAK | |||||||||
| LDRA tool suite |
| 50 D | Partially implemented | ||||||||
| Parasoft C/C++test |
| CERT_C-MEM12-a | Ensure resources are freed | ||||||||
| Polyspace Bug Finder |
| Memory allocated dynamically not freed Lock function without unlock function File stream not closed before |
...