Page History

...

Tool

Version

Checker

Description

Include Page

	Clang_V
	Clang_V

-Wdangling-initializer-list

Catches some lifetime issues related to incorrect use of std::initializer_list<>

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

IO.UAC
ALLOC.UAF

Use after close
Use after free

Klocwork

Include Page

	Klocwork_V
	Klocwork_V

CL.FFM.ASSIGN
CL.FFM.COPY
LOCRET.ARG
LOCRET.GLOB
LOCRET.RET
UFM.DEREF.MIGHT
UFM.DEREF.MUST
UFM.FFM.MIGHT
UFM.FFM.MUST
UFM.RETURN.MIGHT
UFM.RETURN.MUST
UFM.USE.MIGHT
UFM.USE.MUST
UNINIT.HEAP.MIGHT
UNINIT.HEAP.MUST
UNINIT.STACK.ARRAY.MIGHT
UNINIT.STACK.ARRAY.MUST
UNINIT.STACK.ARRAY.PARTIAL.MUST
UNINIT.STACK.MIGHT
UNINIT.STACK.MUST

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

42 D, 53 D, 77 D, 1 J, 71 S, 565 S

Partially implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_CPP-EXP54-a
CERT_CPP-EXP54-b
CERT_CPP-EXP54-c

Do not use resources that have been freed
The address of an object with automatic storage shall not be returned from a function
The address of an object with automatic storage shall not be assigned to another object that may persist after the first object has ceased to exist

Parasoft Insure++ Runtime detection

PRQA QA-C++9.1

Include Page

	PRQA QA-C++_V
	PRQA QA-C++_V

2812, 2813, 2814, 2930, 2931,

2932, 2933, 2934, 4003, 4026

PVS-Studio

Include Page

	PVS-Studio_V
	PVS-Studio_V

V758

...

Space shortcuts

Page tree

Versions Compared

Old Version 71

New Version 72

Key