Page History

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

reserved-identifier

Partially checked

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC++-DCL51

Clang

Include Page

	Clang_V
	Clang_V

-Wreserved-id-macro
-Wuser-defined-literals

The -Wreserved-id-macro flag is not enabled by default or with -Wall, but is enabled with -Weverything. This flag does not
catch all instances of this rule, such as redefining reserved names.

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

LANG.ID.NU.MK

LANG.STRUCT.DECL.RESERVED

Macro name is C keyword

Declaration of reserved name

Helix QAC

Include Page

	Helix QAC_V
	Helix QAC_V

C++5003

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

86 S, 218 S, 219 S, 580 S

Fully implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_CPP-DCL51-a
CERT_CPP-DCL51-b
CERT_CPP-DCL51-c
CERT_CPP-DCL51-d
CERT_CPP-DCL51-e
CERT_CPP-DCL51-f

Do not #define or #undef identifiers with names which start with underscore
Do not redefine reserved words
Do not #define nor #undef identifier 'defined'
The names of standard library macros, objects and functions shall not be reused
The names of standard library macros, objects and functions shall not be reused (C90)
The names of standard library macros, objects and functions shall not be reused (C99)

Polyspace Bug Finder

Include Page

	Polyspace Bug Finder_V
	Polyspace Bug Finder_V

CERT C++: DCL51-CPP

Checks for redefinitions of reserved identifiers (rule partially covered)

PRQA QA-C++

Include Page

	PRQA QA-C++_V
	PRQA QA-C++_V

5003

PVS-Studio

Include Page

	PVS-Studio_V
	PVS-Studio_V

V1059

RuleChecker

Include Page

	RuleChecker_V
	RuleChecker_V

reserved-identifier

Partially checked

SonarQube C/C++ Plugin

Include Page

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

978

...

Space shortcuts

Page tree

Versions Compared

Old Version 92

New Version 93

Key