Versions Compared

Key

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

...

Tool

Version

Checker

Description

CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

ALLOC.LEAK
IO.TAINT.SIZE
MISC.MEM.SIZE.BAD
(general)

Leak
Tainted allocation size
Unreasonable size argument
Library models account for allocator failure cases

LDRA tool suite
Include Page
LDRA_V
LDRA_V

26 S, 140 S, 6 D, 28 D, 5 C, 1 U

Partially implemented
Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C: Rec. MEM11-C


Checks for unprotected dynamic memory allocation (rule partially covered)

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...