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 |
| PC-lint Plus | | Include Page |
|---|
| PC-lint Plus_V |
|---|
| PC-lint Plus_V |
|---|
|
| 429 | Fully supported |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rule MEM31-C | Checks for memory leak (rule fully covered)
|
| PRQA QA-C | | 2706, 2707, 2708 |
|
| PRQA QA-C++ | | Include Page |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
|
| 2706, 2707, 2708, 3337, 3338 |
|
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| S3584 |
|
| Splint | |
|
|
| TrustInSoft Analyzer | | Include Page |
|---|
| TrustInSoft Analyzer_V |
|---|
| TrustInSoft Analyzer_V |
|---|
|
| malloc | Exhaustively verified. |
