Skip to main content
assistive.skiplink.to.breadcrumbs
assistive.skiplink.to.header.menu
assistive.skiplink.to.action.menu
assistive.skiplink.to.quick.search

Page History

Versions Compared

Key

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

...

Tool

Version

Checker

Description

Include Page

	CodeSonar_V
	CodeSonar_V

ALLOC.DF
ALLOC.LEAK

Double free
Leak

Could detect possible violations by reporting any function that has malloc() or free() but not both. This would catch some false positives, as there would be no way to tell if malloc() and free() are at the same level of abstraction if they are in different functions

Coverity 6.5 RESOURCE_LEAK Fully implemented

Include Page

	Klocwork_V
	Klocwork_V

FREE.INCONSISTENT
UFM.FFM.MIGHT
UFM.FFM.MUST
UFM.DEREF.MIGHT
UFM.DEREF.MUST
UFM.RETURN.MIGHT
UFM.RETURN.MUST
UFM.USE.MIGHT
UFM.USE.MUST
MLK.MIGHT
MLK.MUST
MLK.RET.MIGHT
MLK.RET.MUST
FNH.MIGHT
FNH.MUST
FUM.GEN.MIGHT
FUM.GEN.MUST
RH.LEAK

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

50 D

Partially implemented

Parasoft C/C++test 9.5 MEM-18,MEM-19,MEM-20 Fully implemented

Parasoft Insure++ Runtime analysis will detect all leaks

Polyspace Bug Finder

R2016a

Invalid free of pointer

Deallocation of previously deallocated pointer

Use of previously freed pointer

Pointer deallocation without a corresponding dynamic allocation

Memory freed more than once without allocation

Memory accessed after deallocation

...