Page History

...

5003

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

reserved-identifier

Partially checked

Axivion Bauhaus Suite

Include Page

	c:Axivion Bauhaus Suite_Vc:
	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

Klocwork

Include Page

	Klocwork_V
	Klocwork_V

MISRA.DEFINE.WRONGNAME
MISRA.DEFINE.WRONGNAME.UNDERSCORE
MISRA.UNDEF.WRONGNAME
MISRA.UNDEF.WRONGNAME.UNDERSCORE
MISRA.STDLIB.WRONGNAME
MISRA.STDLIB.WRONGNAME.UNDERSCORE

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