Page History

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

invalid_pointer_dereference

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

BADFUNC.BO.*
LANG.MEM.BO
LANG.MEM.TBA

A collection of warning classes that report uses of library functions prone to internal buffer overflows.
Buffer Overrun
Tainted Buffer Access

Include Page

	Helix QAC_V
	Helix QAC_V

DF3526, DF3527, DF3528, DF3529, DF3530, DF3531, DF3532, DF3533, DF3534

Include Page

	Parasoft_V
	Parasoft_V

CERT_CPP-CTR52-a

Do not pass empty container iterators to std algorithms as destinations

Include Page

	Polyspace Bug Finder_V
	Polyspace Bug Finder_V

Checks for library functions overflowing sequence container (rule partially covered).BD-PB-OVERF{RD, WR, FMT, NZT}

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...