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.

Comment: Added Axivion Bauhaus entry to Automated Detection table

...

Tool

Version

Checker

Description

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC-MEM02

Fully implemented

Can detect some violations of this recommendation when checking EXP36-C. Do not cast pointers into more strictly aligned pointer types

Include Page

	ECLAIR_V
	ECLAIR_V

CC2.MEM02

Fully implemented

Polyspace Bug Finder

Include Page

	Polyspace Bug Finder_V
	Polyspace Bug Finder_V

Wrong allocated object size for cast

Wrong type used in sizeof

Allocated memory does not match destination pointer

sizeof argument does not match pointer type

Include Page

	PRQA QA-C_v
	PRQA QA-C_v

0695

Fully implemented

...