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
Section
Compass/ROSE
Section
can detect some violations of this rule. In particular, false positives may be raised if a variable is freed by a different function than the one that allocated it. Also, it is unable to warn on cases where a call to free() happens inside of a for-loop
