Page History

...

Code Block

bgColor	#ccccff
lang	c

/* In bashline.h */
extern char * bash_groupname_completion(const char *, int);   

/* In a.c */
#include "bashline.h"

void f(const char *s, int i) {
  bash_groupname_completion(s, i);  
}

/* In b.c */
int bash_groupname_completion_funct;

Risk Assessment

Rule	Severity	LikelihoodRemediation Cost	Detectable	Repairable	Priority	Level
DCL40-C	Low	Unlikely	Yes	MediumNo	P2	L3

Automated Detection

Tool

Version

Checker

Description

Astrée

Include Page

	Astrée_V
	Astrée_V

type-compatibility

type-compatibility-link

distinct-extern

Fully checked

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC-DCL40

Fully implemented

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

LANG.STRUCT.DECL.IF
LANG.STRUCT.DECL.IO

Inconsistent function declarations
Inconsistent object declarations

Coverity

Include Page

	Coverity_V
	Coverity_V

MISRA C 2012 Rule 8.4

Implemented

Cppcheck Premium

Include Page

	Cppcheck Premium_V
	Cppcheck Premium_V

premium-cert-dcl40-c

Helix QAC

Include Page

	Helix QAC_V
	Helix QAC_V

C0776, C0778, C0779, C0789, C1510

C++1510

Fully implemented

Klocwork

Include Page

	Klocwork_V
	Klocwork_V

MISRA.FUNC.NOPROT.DEF.2012
MISRA.FUNC.PARAMS.IDENT

Fully implemented

LDRA tool suite

8.5.4

1 X, 17 D

Partially implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_C-DCL40-a
CERT_C-DCL40-b

All declarations of an object or function shall have compatible types
If objects or functions are declared more than once their types shall be compatible

Parasoft Insure++

Runtime analysis

PC-lint Plus

Include Page