...
The Coverity Prevent Version 5.0 RESOURCE_LEAK checker finds resource leaks from variables that go out of scope while owning a resource. USE_AFTER_FREE checker can find the instances where a freed memory is freed again. Coverity Prevent cannot discover all violations of this rule so further verification is necessary.
...