...
The LDRA tool suite V 7.6.0 is able to can detect violations of this rule.
The Fortify Source Code Analysis Suite Double Free detects instances of memory being freed more than once.
Splint Version 3.1.1 can detect violations of this rule.
The Coverity Prevent RESOURCE_LEAK finds resource leaks from variables that go out of scope while owning a resource. Coverity Prevent cannot discover all violations of this rule so further verification is necessary.
...