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 PC-lint Plus to Automated Detection Table

...

Tool

Version

Checker

Description

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC-INT00

Include Page

	PC-lint Plus_V
	PC-lint Plus_V

501, 502, 569, 570, 573,
574, 701, 702, 732, 734,
737

Partially supported

Polyspace Bug Finder

Include Page

	Polyspace Bug Finder_V
	Polyspace Bug Finder_V

CERT C: Rec. INT00-C

Checks for:

Use of basic numerical types instead of typedef-s
Integer overflow or integer constant overflow
Format string specifiers and arguments mismatch

Rec. partially covered.

Include Page

	PVS-Studio_V
	PVS-Studio_V

V629

...