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

Supported indirectly via MISRA C:2012 Rules 5.1, 5.2, 5.3, 5.4 and 5.5.

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC-DCL23

Include Page

	CodeSonar_V
	CodeSonar_V

LANG.ID.ND.EXT
LANG.ID.ND.MM
LANG.ID.ND.MO
LANG.ID.ND.NEST
LANG.ID.ND.SS

LANG.ID.NU.EXT
LANG.ID.NU.INT
LANG.ID.NU.LIBFN
LANG.ID.NU.TAG
LANG.ID.NU.TYPE

LANG.STRUCT.DECL.MGT

Non-distinct identifiers: external names
Non-distinct identifiers: macro/macro
Non-distinct identifiers: macro/other
Non-distinct identifiers: nested scope
Non-distinct identifiers: same scope

Non-unique identifiers: external name
Non-unique identifiers: internal name
Library Function Override
Non-unique identifiers: tag
Non-unique identifiers: typedef

Global variable declared with different types

Can detect some violations of this rule but cannot flag violations involving universal names

Include Page

	Klocwork_V
	Klocwork_V

MISRA.IDENT.DISTINCT.C99.2012

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

17 D
355 S
61 X

Fully implemented

Polyspace Bug Finder

Include Page

	Polyspace Bug Finder_V
	Polyspace Bug Finder_V

MISRA CERT C: 2012 Rule 5.1

MISRA C:2012 Rule 5.2

MISRA C:2012 Rule 5.3

MISRA C:2012 Rule 5.4

MISRA C:2012 Rule 5.5

Checks for:

External identifiers not distinct
Identifiers in same scope and namespace not distinct
Macro identifier not distinct
Name for macros and identifiers not distinct

Rec. partially covered.

External identifiers shall be distinct

Identifiers declared in the same scope and name space shall be distinct

An identifier declared in an inner scope shall not hide an identifier declared in an outer scope

Macro identifiers shall be distinct

Identifiers shall be distinct from macro names

Include Page

	PRQA QA-C_v
	PRQA QA-C_v

0627, 0776, 0777, 0778,

0779, 0789, 0791, 0793

Partially implemented

Include Page

	RuleChecker_V
	RuleChecker_V

Supported indirectly via MISRA C:2012 Rules 5.1, 5.2, 5.3, 5.4 and 5.5.

SonarQube C/C++ Plugin

Include Page

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

IdentifierLongerThan31

...