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

Old Version 11

changes.mady.by.user Joerg Herter

Saved on Apr 02, 2019

compared with

New Version Current

changes.mady.by.user Kris Kafka

Saved on Feb 28, 2021

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

Include Page

	Astrée_V
	Astrée_V

bad-function

Partially checked

Include Page

	CodeSonar_V
	CodeSonar_V

(customization)

Users can add a custom check for all uses of TerminateThread() and TerminateProcess().

Include Page

	PC-lint Plus_V
	PC-lint Plus_V

586

Fully supported

Include Page

	RuleChecker_V
	RuleChecker_V

bad-function

Partially checked

...