| Astrée | | new-delete-pairwise
| Partially checked |
| Clang | | misc-new-delete-overloads | Checked with clang-tidy. |
| Helix QAC | |
|
|
| Klocwork | | CERT.DCL.SAME_SCOPE_ALLOC_DEALLOC |
|
| Parasoft C/C++test | | CERT_CPP-DCL54-a
| Always provide new and delete together |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C++: DCL54-CPP | Checks for mismatch between overloaded operator new and operator delete (rule fully covered) |
| PRQA QA-C++ | | Include Page |
|---|
| PRQA QA-C++_V |
|---|
| PRQA QA-C++_V |
|---|
|
| 2160
|
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| new-delete-pairwise
| Partially checked |
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| S1265 |
|
