Page History

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

mline-comment

sline-comment

sline-splicing

Partially checked

GCC

Include Page

	GCC_V
	GCC_V

Can detect violations of this rule when the -Wcomment flag is used

ECLAIR

Include Page

	ECLAIR_V
	ECLAIR_V

CC2.MSC04

Fully implemented

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

119 S, 302 S, 611 S

Partially implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_C-MSC04-a
CERT_C-MSC04-b
CERT_C-MSC04-c
CERT_C-MSC04-d

The character sequence /* shall not be used within a C-style comment
The character sequence // shall not be used within a C-style comment
The character sequence /* shall not be used within a C++-style comment
Line-splicing shall not be used in // comments

Polyspace Bug Finder

Include Page