Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

MEM31-C

3 (high)

2 (probable)

2 (medium)

P12

L1

Automated Detection

The LDRA tool suite V 7.6.0 is able to 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.

...