?? au-misra2.lnt
字號(hào):
// au-misra2.lnt -- Author options - Misra
/*
This options file can be used to explicitly activate those
checks advocated by the Motor Industry Software Reliability
Association.
You can use this file directly when linting your programs as in:
lin au-misra2 files
Gimpel Software relies on the document, "MISRA-C:2004
Guidelines for the use of the C language in critical systems",
copyright 2004 by MIRA Limited, as the primary source for this
file. Gimpel Software makes no warranty as to the completeness
or applicability of this options file and reserves the right to
amend or alter the official contents of such at any time.
"MISRA" is a registered trademark of MIRA Limted, held on
behalf of the MISRA Consortium.
*/
-misra(2)
+e960 /* enable special MISRA 2 messages */
+e961 /* enable special MISRA 2 messages */
/* Rule 1.1 (req) **********************************/
-A(C90) /* strict ANSI */
+e950 /* flag non-ANSI word or construct */
-append(950,[Misra 2004 Rule 1.1])
/* Rule 1.2 (req) **********************************/
/* Rule 1.3 (req) **********************************/
/* Rule 1.4 (req) **********************************/
-idlen(31) /* flag names identical in the first 31 characters */
+e621 /* Identifier clash - length set by -idlen */
-append(621,[Misra 2004 Rules 1.4 and 5.1])
/* Rule 1.5 (adv) **********************************/
/* Rule 2.1 (req) **********************************/
-rw( asm, _asm, __asm ) /* remove asm built-in's */
-dasm=_ignore_init /* define asm as a ... */
+rw( _ignore_init ) /* function introduction */
/* Rule 2.2 (req) **********************************/
/* Rule 2.3 (req) **********************************/
-fnc /* flag nested comments */
+e602 /* comment within comment */
-append(602,[Misra 2004 Rule 2.3])
/* Rule 2.4 (adv) **********************************/
/* Rule 3.1 (req) **********************************/
/* Rule 3.2 (req) **********************************/
/* Rule 3.3 (adv) **********************************/
/* Rule 3.4 (req) **********************************/
/* Rule 3.5 (req) **********************************/
/* Rule 3.6 (req) **********************************/
/* Rule 4.1 (req) **********************************/
+e606 /* non-ANSI escape sequence */
-append(606,[Misra 2004 Rule 4.1])
/* Rule 4.2 (req) **********************************/
-ftg /* inhibit use of trigraphs */
+e739 /* activate trigraph in string message */
-append(739,[Misra 2004 Rule 4.2])
/* Rule 5.1 (req) **********************************/
/* -idlen(31) flag names identical in the first 31 characters */
/* +e621 Identifier clash - length set by -idlen */
/* Rule 5.2 (req) **********************************/
+e578 /* enable reports of name hiding */
-append(578,[Misra 2004 Rules 5.2, 5.3, 5.4, 5.5, 5.6, 5.7, and 8.8])
/* Rule 5.3 (req) **********************************/
/* +e578 enable reports of name hiding */
+e623 /* redefining the storage class of symbol */
-append(623,[Misra 2004 Rule 5.3])
/* Rule 5.4 (req) **********************************/
/* +e578 Declaration of Symbol hides Symbol */
+e14
-append(14,[MISRA Rules 5.4 and 8.9])
+e15
-append(15,[MISRA Rules 5.4 and 8.4])
+e64 /* flag type mismatch */
-append(64,[MISRA Rule 5.4])
/* Rule 5.5 (adv) **********************************/
/* +e578 Declaration of Symbol hides Symbol */
+e580 /* enable reports of name hiding */
-append(580,[Misra 2004 Rule 5.5, 5.6, and 5.7])
/* Rule 5.6 (adv) **********************************/
/* +e578 enable reports of name hiding */
/* +e580 enable reports of name hiding */
/* Rule 5.7 (adv) **********************************/
/* +e578 enable reports of name hiding */
/* +e580 enable reports of name hiding */
/* Rule 6.1 (req) **********************************/
/* no option for this */
/* Rule 6.2 (req) **********************************/
/* no option for this */
/* Rule 6.3 (adv) **********************************/
+e970 /* flag modifiers used outside of typedefs */
-append(970,[MISRA Rule 6.3])
/* Rule 6.4 (req) **********************************/
+e46 /* field type should be int */
-append(46,[Misra 2004 Rule 6.4])
/* Rule 6.5 (req) **********************************/
+e806 /* small bit field is signed rather than unsigned */
-append(806,[Misra 2004 Rule 6.5])
/* Rule 7.1 (req) **********************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA 2004 Required Rule 7.1, Octal constant or octal escape sequence used */
/* Rule 8.1 (req) **********************************/
+e718 /* Symbol undeclared */
-append(718,[Misra 2004 Rule 8.1])
+e746
-append(746,[Misra 2004 Rule 8.1])
+e937 /* old-style function declaration */
-append(937,[MISRA Rules 8.1 and 16.5])
+e957
-append(957,[MISRA Rule 8.1])
/* Rule 8.2 (req) **********************************/
+e745 /* function has no explicit type */
+e939 /* return type defaults to int */
-append(745,[MISRA Rule 8.2])
-append(939,[MISRA Rule 8.2])
/* Rule 8.3 (req) **********************************/
+e18 /* symbol redeclared */
-fvr /* varying return mode not allowed */
+e516 /* argument type conflict */
+e532 /* return mode of symbol inconsistent */
-append(18,[MISRA Rule 8.3])
-append(516,[MISRA Rule 8.3])
-append(532,[MISRA Rule 8.3])
/* Rule 8.4 (req) **********************************/
/* +e15 symbol redeclared */
/* Rule 8.5 (req) **********************************/
/* Rule 8.6 (req) **********************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA 2004 Required Rule 8.6, */
/* function not declared at file scope */
/* Rule 8.7 (req) **********************************/
/* Rule 8.8 (req) **********************************/
/* +e578 Declaration of Symbol hides Symbol */
/* Rule 8.9 (req) **********************************/
/* Rule 8.10 (req) *********************************/
+e765 /* symbol could be made static */
-append(765,[Misra 2004 Rule 8.10])
/* Rule 8.11 (req) *********************************/
+e512 /* symbol previously used as static */
-append(512,[Misra 2004 Rule 8.11])
/* Rule 8.12 (req) *********************************/
/* Rule 9.1 (req) **********************************/
+e644 /* Symbol may not have been initialized */
+e771 /* Symbol conceivably not initialized */
+e530 /* Symbol not initialized */
-append(644,[MISRA Rule 9.1])
-append(771,[MISRA Rule 9.1])
-append(530,[MISRA Rule 9.1])
/* Rule 9.2 (req) **********************************/
+e940 /* omitted braces within an initializer */
-append(940,[MISRA Rule 9.2])
/* Rule 9.3 (req) **********************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA 2004 Required Rule 9.3, */
/* should initialize either all enum members or only the first */
/* Rule 10.1 (req) *********************************/
+e524 /* loss of precision */
-append(524,[MISRA Rule 10.1])
+e653 /* possible loss of fraction */
-append(653,[MISRA Rules 10.1 and 10.4])
/* Rule 10.2 (req) *********************************/
+e747 /* significant prototype coercion */
+e917 /* prototype coercion */
+e918 /* prototype coercion of pointers */
-append(747,[MISRA Rule 10.2])
-append(917,[MISRA Rule 10.2])
-append(918,[MISRA Rule 10.2])
/* Rule 10.3 (req) *********************************/
/* Rule 10.4 (req) *********************************/
+e912 /* implicit binary conversion */
/* +e653 implicit possible loss of fraction */
/* Rule 10.5 (req) *********************************/
+e701 /* shift left of signed quantity */
+e702 /* shift right of signed quantity */
-append(701,[MISRA Rule 10.5])
-append(702,[MISRA Rule 10.5])
/* Rule 10.6 (req) *********************************/
/* Rule 11.1 (req) *********************************/
/* Rule 11.2 (req) *********************************/
/* Rule 11.3 (adv) *********************************/
+e923 /* cast pointer/non-pointer */
-append(923,[MISRA Rule 11.3])
/* Rule 11.4 (adv) *********************************/
/* Rule 11.5 (req) *********************************/
/* Rule 12.1 (adv) *********************************/
/* we generate note 961 as below */
/* Note 961: Violates MISRA 2004 Advisory Rule 12.1, */
/* dependence placed on C's operator precedence */
+e834 /* confusing operator sequence (same precedence) */
-append(834,[Misra 2004 Rule 12.1])
/* Rule 12.2 (req) *********************************/
+e564 /* order of evaluation */
-append(564,[MISRA Rule 12.2])
/* Rule 12.3 (req) *********************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA 2004 Required Rule 12.3, */
/* 'sizeof' used on expressions with side effect */
/* Rule 12.4 (req) *********************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA 2004 Required Rule 12.4, */
/* side effects on right hand side of logical operator */
/* Rule 12.5 (req) *********************************/
/* Rule 12.6 (adv) *********************************/
/* Rule 12.7 (req) *********************************/
/* Rule 12.8 (req) *********************************/
+e572 /* excessive shift value */
-append(572,[MISRA Rule 12.8])
/* Rule 12.9 (req) *********************************/
+e501 /* expected signed type */
-append(501,[MISRA Rule 12.9])
/* Rule 12.10 (req) ********************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA 2004 Required Rule 42, */
/* comma operator used */
/* Rule 12.11 (adv) ********************************/
+e648 /* overflow in computing constant */
-append(648,[MISRA Rule 12.11])
/* Rule 12.12 (req) ********************************/
/* Rule 12.13 (req) ********************************/
/* Rule 13.1 (req) *********************************/
+e720 /* Boolean test of assignment */
-append(720,[MISRA Rules 13.1 and 13.2])
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號(hào)
Ctrl + =
減小字號(hào)
Ctrl + -