Page History

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

invalid_dynamic_memory_allocation
dangling_pointer_use

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC++-MEM51

Clang

Include Page

	Clang_V
	Clang_V

clang-analyzer-cplusplus.NewDeleteLeaks

-Wmismatched-new-delete
clang-analyzer-unix.MismatchedDeallocator

Checked by clang-tidy, but does not catch all violations of this rule

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

ALLOC.FNH
ALLOC.DF
ALLOC.TM

Free non-heap variable
Double free
Type mismatch

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

232 S, 236 S, 239 S, 407 S, 469 S, 470 S, 483 S, 484 S, 485 S, 64 D, 112 D

Partially implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_CPP-MEM51-a
CERT_CPP-MEM51-b
CERT_CPP-MEM51-c
CERT_CPP-MEM51-d

Use the same form in corresponding calls to new/malloc and delete/free
Always provide empty brackets ([]) for delete when deallocating arrays
Both copy constructor and copy assignment operator should be declared for classes with a nontrivial destructor
Properly deallocate dynamically allocated resources

Parasoft Insure++ Runtime detection

Polyspace Bug Finder

Include Page