...
Splint Version 3.1.1 can detect violations of this rule.
The Coverity Prevent Version 5.0 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.
...