Page History

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

assert_failure

Helix QAC

Include Page

	Helix QAC_V
	Helix QAC_V

C++4770, C++4771, C++4772, C++4773, C++4774

Klocwork

Include Page

	Klocwork_V
	Klocwork_V

NPD.CHECK.CALL.MIGHT
NPD.CHECK.CALL.MUST
NPD.CHECK.MIGHT

NPD.CHECK.MUST

NPD.CONST.CALL
NPD.CONST.DEREF
NPD.FUNC.CALL.MIGHT
NPD.FUNC.CALL.MUST
NPD.FUNC.MIGHT
NPD.FUNC.MUST

NPD.GEN.CALL.MIGHT
NPD.GEN.CALL.MUST
NPD.GEN.MIGHT

NPD.GEN.MUST
RNPD.CALL
RNPD.DEREF

Include Page

	Parasoft_V
	Parasoft_V

CERT_CPP-STR51-a

Avoid null pointer dereferencing

...

Space shortcuts