...
The LDRA tool suite V 7.6.0 is able to detect violations of this rule.
The Fortify Source Code Analysis Suite Double Free detects instances of memory being freed more than once.
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.The Fortify Source Code Analysis Suite Double Free detects instances of memory being freed more than once.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...