Versions Compared

Key

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

...

Freeing or reallocating memory that was not dynamically allocated could lead to abnormal termination and denial-of-service attacksarbitrary code execution if that memory is reused by malloc.

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

MEM34-C

low high

unlikely likely

medium

P2 P18

L3 L1

Automated Detection

The Coverity Prevent BAD_FREE checker identifies calls to free() where the argument is a pointer to a function or an array. Coverity Prevent cannot discover all violations of this rule, so further verification is necessary.

...