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

Memory leak

Memory allocation with tainted size

Tainted sign change conversion

Unprotected dynamic memory allocation

CERT C: Rec. MEM11-C


Checks for unprotected dynamic memory allocation

Memory allocated dynamically not freed

Size argument to memory function is from an unsecure source

Value from an unsecure source changes sign

Pointer returned from dynamic allocation not checked for NULL value

Related Vulnerabilities

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

...