Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Added PC-lint Plus to Automated Detection Table

...

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
PC-lint Plus

Include Page
PC-lint Plus_V
PC-lint Plus_V

413, 613

Assistance provided: reports use of null pointers including those which could be returned when a call to an allocation function fails

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 (rule partially covered)

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.

...