C语言编程规范 MISRA C 2012

编程规范

2星需积分: 50 152 浏览量更新于2023-03-16 6 收藏 308KB PDF 举报

主要是汽车电子行业c编程规范 MISRA C 2012 Addendum 1 - Rule Mapping

MISR A C:2012

Addendum 1 — Rule Mappings

March 2013

MISRAC:2012 Addendum: RuleMappings

MISRAC:2004 to MISRAC:2012 rule mapping

MISRAC:2004 MISRAC:2012 Signicant changes from MISRAC:2004 for C90 code

Rule1.1 (required) Rule1.1 (required) The requirement that code conform to a version of

the standard has moved into an introductory section.

MISRAC:2004 Rule1.1 had an implied ban on extensions.

MISRAC:2012 Rule1.1 permits extensions, but they are

restricted by the new advisory Rule1.2.

Rule1.2 (advisory)

Rule1.2 (required) Rule1.3 (required) Relaxed to permit unspecied behaviour that is not

considered critical. MISRA C:2012 AppendixH lists the

issues that are covered.

Rule1.3 (required) Dir1.1 (required) Changed to a directive as it is not a statically checkable rule.

Rule1.4 (required) Dir1.1 (required) Changed to a directive as it is not a statically checkable rule.

Rule1.5 (advisory) Dir1.1 (required) Changed to a directive as it is not a statically checkable rule.

Rule2.1 (required) Dir4.2 (advisory) Tightened to require documentation of assembly usage.

Dir4.3 (required)

Rule2.2 (required) Rule1.2 (advisory) Relaxed to permit // comments in C99 code.

Downgraded to advisory for C90.

Rule2.3 (required) Rule3.1 (required)

Rule2.4 (advisory) Dir4.4 (advisory) Changed to a directive as MISRAC:2012 does not precisely

describe what constitutes code in a comment.

Rule3.1 (required) Dir1.1 (required) Changed to a directive as it is not a statically checkable rule.

Rule3.2 (required) Dir1.1 (required) Changed to a directive as it is not a statically checkable rule.

Rule3.3 (advisory) Dir1.1 (required) Changed to a directive as it is not a statically checkable rule.

It is not an issue for C99 because the standard species the

behaviour.

Rule3.4 (required) Dir1.1 (required) Changed to a directive as it is not a statically checkable rule.

Rule3.5 (required) Dir1.1 (required) Changed to a directive as it is not a statically checkable rule.

Rule3.6 (required) Deleted This issue is now covered by the Introduction to the Rules

section.

Rule4.1 (required) Rule4.1 (required) Relaxed to permit octal and hexadecimal escapes providing

that they are properly terminated. C90Undened 11 (an

undened escape sequence is used) is now covered by

Rule1.3.

Rule4.2 (required) Rule4.2 (advisory) Downgraded to advisory because there is no undened

or unspecied behaviour associated with trigraphs. There

are certain source character sets in which it would be

impossible to write C programs without trigraphs.

Rule5.1 (required) Rule5.1 (required) Relaxed to permit the identiers to be distinct up to the

limit allowed by the implementation.

Rule5.2 (required)

Rule5.3 (required)

Rule5.4 (required)

Rule5.5 (required)

Rule5.2 (required) Rule5.3 (required)

MISRAC:2004 to MISRAC:2012 rule mapping

MISRAC:2004 MISRAC:2012 Signicant changes from MISRAC:2004 for C90 code

Rule5.3 (required) Rule5.6 (required) Relaxed to permit tag names that are the same as typedef

names.

Rule5.4 (required) Rule5.7 (required) Relaxed to permit tag names that are the same as typedef

names.

Rule5.5 (advisory) Rule5.8 (required) Relaxed to permit static identiers declared in a block to

have the same name as other identiers.

Rule5.9 (advisory)

Rule5.6 (advisory) Deleted Relaxed to permit identiers such as labels and

enumeration constants that are not in the same scope to

have the same identier.

Rule5.7 (advisory) Deleted Relaxed to permit identiers such as structure members

names in dierent structures.

Rule6.1 (required) Rule10.1 (required) Relaxed to allow addition of plain char and a dierent

integer type, and subtraction of two plain char.

Rule10.2 (required)

Rule10.3 (required)

Rule10.4 (required)

Rule6.2 (required) Rule10.1 (required)

Rule10.3 (required)

Rule10.4 (required)

Rule6.3 (advisory) Dir4.6 (advisory)

Rule6.4 (required) Rule6.1 (required) Relaxed to permit other legal C99 bit-eld types

Rule6.5 (required) Rule6.2 (required) Relaxed to permit unnamed bit-elds with a signed type to

be single-bit.

Rule7.1 (required) Rule4.1 (required) Relaxed to permit octal escape sequences providing they

are properly terminated.

Rule7.1 (required)

Rule8.1 (required) Rule8.2 (required) Tightened to require all function types to be in prototype

form with named parameters.

Relaxed to permit function denitions with no separate

declaration if they have internal linkage.

Rule8.4 (required)

Rule17.3 (mandatory)

Rule8.2 (required) Rule8.1 (required) Tightened to require all types to be explicitly stated,

e.g. structure members.

Rule8.3 (required) Rule8.3 (required)

Rule8.4 (required) Rule8.3 (required) Tightened to require identical object types

Rule8.5 (required) Deleted This rule has been deleted because some programming

paradigms require the presence of executable code in

a header le. It is also desirable for inline functions to

appear in header les so as to avoid undened issues. The

problems associated with multiple declaration/denition of

objects/functions are dealt with by other rules.

Rule8.6 (required) Deleted Relaxed to permit declarations using the extern keyword

at block scope, but more specic problems are caught by

other rules such as:

• Rule1.3: Undened behaviour due to use of the static

keyword

• Rule8.3: Compatibility of multiply-declared/dened

objects/functions

剩余15页未读，继续阅读

璨CAN

粉丝: 4
资源: 18

C语言编程规范 MISRA C 2012

C语言编程：MISRA C规则与事务管理

C语言编程：MISRA-C规范防范运行时错误

C语言编程：MISRA-C规范与运行时错误处理

C语言编程规范MISRAC中文

基于MISRA C2012 C语言编程规范

C语言编程规范之misrac[定义].pdf

MISRA--工业标准的C编程规范.zip_C 编程规范_MISRA_MISRA C_c语言编程规范_编程规范

C语言编程规范：MISRA-C运行时错误与动态检测

C语言编程规范：MISRA-C 2004指南中的声明与定义

c语言编程规范 UN_MISRA_C2_TC1

最新资源