...
Use of an identifier classified as both internally and externally linked is undefined behavior.
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
DCL36-C | Medium | Probable | Medium | P8 | L2 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| static-declaration | Partially checked | ||||||
| Coverity |
| PW.LINKAGE_CONFLICT | Implemented | ||||||
| CC2.DCL36 | Fully implemented | |||||||
| GCC |
|
| Klocwork |
|
| LDRA tool suite |
| 461 S, 575 S, 2 X | Fully implemented | ||||||
| Splint |
|
| Parasoft C/C++test |
|
|
| MISRA-024 | Fully implemented | |||||||
| Polyspace Bug Finder | R2016a | MISRA2012-RULE-8_2, MISRA2012-RULE-8_4, MISRA2012-RULE-8_8, MISRA2012-RULE-17_3 | Full | ||||||
| PRQA QA-C |
| 0625 (U) | Fully implemented | ||||||
| RuleChecker |
| static-declaration | Partially checked |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...
Key here (explains table format and definitions)
Taxonomy | Taxonomy item | Relationship |
|---|---|---|
| MISRA C:2012 | Rule 8.2 (required) | Prior to 2018-01-12: CERT: Unspecified Relationship |
| MISRA C:2012 | Rule 8.4 (required) | Prior to 2018-01-12: CERT: Unspecified Relationship |
| MISRA C:2012 | Rule 8.8 (required) | Prior to 2018-01-12: CERT: Unspecified Relationship |
| MISRA C:2012 | Rule 17.3 (mandatory) | Prior to 2018-01-12: CERT: Unspecified Relationship |
Bibliography
| [Banahan 2003] | Section 8.2, "Declarations, Definitions and Accessibility" |
| [ISO/IEC 9899:2011] | 6.2.2, "Linkages of Identifiers" |
| [Kirch-Prinz 2002] |
...
...