SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 42

changes.mady.by.user Ram Cherukuri

Saved on

compared with

New Version 43

changes.mady.by.user Amy Gale

Saved on

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
ALLOC.SIZE.SUBUFLOW
IO.TAINT.SIZE
MISC.MEM.SIZE.BAD
(general)

Leak
Subtraction underflow of allocation size
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 FinderR2016a

Memory leak

Memory allocation with tainted size

Tainted sign change conversion

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

...