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.

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

invalid-noreturn

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC++-MSC53

Include Page

	Clang_V
	Clang_V

-Winvalid-noreturn

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_CPP-MSC53-a

Never return from functions that should not return

Include Page

	RuleChecker_V
	RuleChecker_V

invalid-noreturn

SonarQube C/C++ Plugin

Include Page

	SonarQube C/C++ Plugin_V
	SonarQube C/C++ Plugin_V

S935

...