Tool | Version | Checker | Description |
|---|
| Astrée | |
| Supported, but no explicit checker |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-MEM31 | Can detect dynamically allocated resources that are not freed |
| CodeSonar | | ALLOC.LEAK | Leak |
| Compass/ROSE |
|
|
|
Coverity | | RESOURCE_LEAK ALLOC_FREE_MISMATCH | Finds resource leaks from variables that go out of scope while owning a resource |
| Cppcheck | | leakReturnValNotUsed | Doesn't use return value of memory allocation function |
| Klocwork | | MLK.MIGHT
MLK.MUST
MLK.RET.MUST
MLK.RET.MIGHT |
|
| LDRA tool suite | | 50 D
| Partially implemented |
| Parasoft C/C++test | | CERT_C-MEM31-a | Ensure resources are freed |
| Parasoft Insure++ |
|
| Runtime analysis |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| Memory leak | Memory allocated dynamically not freed |
| PRQA QA-C | 9.1 | 1771 | | 2706, 2707, 2708 |
|
| PRQA QA-C++ | 4.2| _V | | cplusplus:PRQA QA-C++_V |
|---|
|
| 3337, 3338 |
|
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| S3584 |
|
| Splint | |
|
|
