开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
当前位置：首页 > 源码/资料 > 编辑器/阅读器 > 查看源码
au-misra.lnt
资源名称：pclint.rar　[点击查看]
上传用户：filter2008
上传日期：2010-03-12
资源大小：2959k
文件大小：22k
源码类别：

编辑器/阅读器

开发平台：

C/C++

au-misra.lnt：源码内容
  1. // au-misra.lnt -- Author options - Misra
  3. /*
  4.     This options file can be used to explicitly activate those
  5.     checks advocated by the Motor Industry Software Reliability
  6.     Association.
  8.     You can use this file directly when linting your programs as in:
  10.     lin  au-misra  files
  12.  */
  13.     +e960                      /* enable special MISRA messages */
  14.     +e961                      /* enable special MISRA messages */
  15. +e834
  17. /* Rule 1 (req) *************************************/
  19. -A /* strict ANSI */
  20. +e950 /* flag non-ANSI word or construct */
  21. -append(950,[Misra Rule 1])
  23. /* Rule 2 (adv) *************************************/
  25. /* Rule 3 (adv) *****************************************/
  27. -rw( asm, _asm, __asm ) /* remove asm built-in's */
  28. -dasm=_ignore_init /* define asm as a ... */
  29. +rw( _ignore_init ) /* function introduction */
  31. /* Rule 4 (adv) **********************************/
  33. /* Rule 5 (req) *********************************/
  35. +e606         /* non-ANSI escape sequence */
  36.     -append(606,[Misra Rule 5])
  38. /* Rule 6 (req) **********************************/
  40. /* Rule 7 (req) ************************************/
  42.     -ftg                        /* inhibit use of trigraphs */
  43.     +e739                       /* activate trigraph in string message */
  44.     -append(739,[Misra Rule 7])
  46. /* Rule 8 (req) ****************************************/
  48.     -fwc                        /* deactivate wchar_t */
  49. /* no option to detect L"..." */
  51. /* Rule 9 (req) **************************************/
  53.     -fnc                        /* flag nested comments */
  54.     +e602                       /* comment within comment */
  55.     -append(602,[Misra Rule 9])
  57. /* Rule 10 (adv) ************************************/
  59.     /* no option for this */
  61. /* Rule 11 (req) ***********************************/
  63.     -idlen(31)   /* flag names identical in the first 31 characters */
  64.     +e621        /* Identifier clash - length set by -idlen */
  65.     -append(621,[Misra Rule 11])
  67. /* Rule 12 (adv) ****************************************/
  69.     +e578                         /* enable reports of name hiding */
  70.     +e580                         /* enable reports of name hiding */
  71.     -append(578,[Misra Rules 12, 21, and 27])
  72.     -append(580,[Misra Rule 12])
  74. /* Rule 13 (adv) *****************************************/
  76.     +e970               /* flag modifiers used outside of typedefs */
  77.     -append(970,[MISRA Rule 13])
  79. /* Rule 14 (req) ******************************************/
  81.     +e971               /* flag char without signed or unsigned */
  82.     -append(971,[MISRA Rule 14])
  84. /* Rule 15 (adv) ******************************************/
  86. /* Rule 16 (req) *****************************************/
  88. /* Rule 17 (req) ******************************************/
  90.     +e623               /* redefining the storage class of symbol */
  91.     -append(623,[Misra Rule 17])
  93. /* Rule 18  (adv) ********************************/
  95.     /* we generate note 961 as below */
  96.     /* Note 961: Violates MISRA Advisory Rule 18, Constant requires numerical suffix */
  98. /* Rule 19 (req) **************************************/
  100.     /* we generate note 960 as below */
  101.     /* Note 960: Violates MISRA Required Rule 19, Octal constant used */
  103. /* Rule 20 (req) **************************************/
  105.     +e40                         /* undeclared indentifier */
  106.     -append( 40,[MISRA Rule 20])
  107.     +e718                        /* Symbol undeclared */
  108.     -append(718,[Misra Rules 20 and 71])
  109.     +e746
  110.     -append(746,[Misra Rules 20 and 71])
  112. /* Rule 21 (req) **************************************/
  114.     /* +e578 Declaration of Symbol hides Symbol */
  116. /* Rule 22 (adv) ***************************************/
  118.     +e956
  119.     -append(956,[MISRA Rule 22])
  121. /* Rule 23 (adv)  **************************************/
  123.     +e765                   /* symbol previously used as static */
  124.     -append(765,[Misra Rule 23])
  126. /* Rule 24 (req) **************************************/
  128.     +e512                        /* symbol previously used as static */
  129.     -append(512,[Misra Rule 24])
  131. /* Rule 25 (req) **************************************/
  133.     +e14                         /* symbol previously defined */
  134.     -append(14,[Misra Rule 25])
  136. /* Rule 26 (req) ***************************************/
  138.     +e15                          /* symbol redeclared */
  139.     -append(15,[Misra Rule 26])
  141. /* Rule 27 (adv) **************************************/
  143.     /* +e578 Declaration of Symbol hides Symbol */
  145. /* Rule 28 (adv) **************************************/
  147.     /* we generate note 961 as below */
  148.     /* Note 961: Violates MISRA Advisory Rule 28, 'register' class discouraged */
  150. /* Rule 29 (req) **************************************/
  151.     +e64                    /* flag type mismatch */
  152.     -append(64,[MISRA Rule 29])
  154. /* Rule 30 (req) **************************************/
  156.     +e644                   /* Symbol may not have been initialized */
  157.     +e771                   /* Symbol conceivably not intitialized */
  158.     +e530                   /* Symbol not initialized */
  159.     -append(644,[MISRA Rule 30])
  160.     -append(771,[MISRA Rule 30])
  161.     -append(530,[MISRA Rule 30])
  163. /* Rule 31 (req) **************************************/
  165.     +e940                   /* omitted braces within an initializer */
  166.     -append(940,[MISRA Rule 31])
  168. /* Rule 32 (req) *****************************************/
  170.     /* we generate note 960 as below */
  171.     /* Note 960: Violates MISRA Required Rule 32, */
  172.     /* should initialize either all enum members or only the first */
  174. /* Rule 33 (req) *****************************************/
  176.     /* we generate note 960 as below */
  177.     /* Note 960: Violates MISRA Required Rule 33,  */
  178.     /* side effects on right hand side of logical operator */
  180. /* Rule 34 (req) **************************************/
  182. /* Rule 35 (req) **************************************/
  184.     +e720                         /* Boolean test of assignment */
  185.     -append(720,[MISRA Rules 35 and 49])
  186.     +e820
  187.     -append(820,[MISRA Rule 35])
  189. /* Rule 36 (adv) ******************************************/
  191. /* Rule 37 (req) ****************************************/
  193.     +e701                        /* shift left of signed quantity */
  194.     +e702                        /* shift right of signed quantity */
  195.     -append(701,[MISRA Rule 37])
  196.     -append(702,[MISRA Rule 37])
  198. /* Rule 38 (req) ******************************************/
  200.     +e572                        /* excessive shift value */
  201.     -append(572,[MISRA Rule 38])
  203. /* Rule 39 (req) *****************************************/
  205.     +e501                        /* expected signed type */
  206.     -append(501,[MISRA Rule 39])
  208. /* Rule 40 (adv) ****************************************/
  210.     /* we generate note 961 as below */
  211.     /* Note 961: Violates MISRA Advisory Rule 40, */
  212.     /* 'sizeof' used on expressions with side effect */
  214. /* Rule 41 (adv) ********************************************/
  216. /* Rule 42 (req) ********************************************/
  218.     /* we generate note 960 as below */
  219.     /* Note 960: Violates MISRA Required Rule 42, */
  220.     /* comma operator used outside of 'for' expression */
  222. /* Rule 43 (req) ********************************************/
  224.     +e524                                                   /* loss of precision */
  225.     -append(524,[MISRA Rule 43])
  226.     +e653                                                   /* possible loss of fraction */
  227.     -append(653,[MISRA Rules 43 and 48])
  229. /* Rule 44 (adv) *******************************************/
  231.     /* we generate note 961 as below */
  232.     /* Note 961: Violates MISRA Advisory Rule 44, */
  233.     /* redundant explicit casting */
  235. /* Rule 45 (req) *****************************************/
  237.     +e923                        /* cast pointer/non-pointer */
  238.     -append(923,[MISRA Rule 45])
  240. /* Rule 46 (req) ****************************************/
  242.     +e564                       /* order of evaluation */
  243.     -append(564,[MISRA Rule 46])
  245. /* Rule 47 (adv) ****************************************/
  247.     /* we generate note 961 as below */
  248.     /* Note 961: Violates MISRA Advisory Rule 47, */
  249.     /* dependence placed on C's operator precedence */
  251. /* Rule 48 (adv) *****************************************/
  253.     +e912 /* implicit binary conversion */
  254.     /* +e653 implicit possible loss of fraction */
  257. /* Rule 49 (adv) ******************************************/
  259.     /* +e720 */
  261. /* Rule 50 (req) *****************************************/
  263.     +e777                        /* testing floats for equality */
  264.     -append(777,[MISRA Rule 50])
  266. /* Rule 51 (adv) ****************************************/
  268.     +e648                        /* overflow in computing constant */
  269.     -append(648,[MISRA Rule 51])
  271. /* Rule 52 (req) *******************************************/
  273.     +e527                       /* unreachable */
  274.     -append(527,[MISRA Rule 52])
  275.     +e506
  276.     -append(506,[MISRA Rule 52])
  277.     +e681
  278.     -append(681,[MISRA Rule 52])
  279.     +e827
  280.     -append(827,[MISRA Rule 52])
  282. /* Rule 53 (req) *****************************************/
  284.     +e505
  285.     +e522
  286.     -append(505,[MISRA Rule 53])
  287.     -append(522,[MISRA Rule 53])
  289. /* Rule 54 (req) ****************************************/
  291.     /* we generate note 960 as below */
  292.     /* Note 960: Violates MISRA Required Rule 54, */
  293.     /* null statement not in line by itself */
  295. /* Rule 55 (adv) ****************************************/
  297.     /* we generate note 961 as below */
  298.     /* Note 961: Violates MISRA Advisory Rule 55, */
  299.     /* non-case label */
  301. /* Rule 56 (req) ***************************************/
  303.     +e801
  304.     -append(801,[MISRA Rule 56])
  306. /* Rule 57 (req) ***************************************/
  308.     /* we generate note 960 as below */
  309.     /* Note 960: Violates MISRA Required Rule 57, */
  310.     /* continue statement detected */
  312. /* Rule 58 (req) ***************************************/
  314.     /* we generate note 960 as below */
  315.     /* Note 960: Violates MISRA Required Rule 58, */
  316.     /* non-switch break used */
  318. /* Rule 59 (req) ****************************************/
  320.     /* we generate note 960 as below */
  321.     /* Note 960: Violates MISRA Required Rule 59, */
  322.     /* left brace expected for if, else, for, do and while */
  324. /* Rule 60 (adv) ***************************************/
  326.     /* we generate note 961 as below */
  327.     /* Note 961: Violates MISRA Advisory Rule 60, */
  328.     /* no 'else' at end of 'if ... else if' chain */
  330. /* Rule 61 (req) **************************************/
  332.     +e616
  333.     -append(616,[MISRA Rule 61])
  334.     +e825
  335.     -append(825,[MISRA Rule 61])
  337. /* Rule 62 (req) *************************************/
  339.     +e744                         /* switch statement has no default */
  340.     -append(744,[MISRA Rule 62])
  342. /* Rule 63 (adv) **************************************/
  344.     /* we generate note 961 as below */
  345.     /* Note 961: Violates MISRA Advisory Rule 63, */
  346.     /* boolean value in switch statement */
  348. /* Rule 64 (req) *************************************/
  350.     +e764                         /* switch does not have a case */
  351.     -append(764,[MISRA Rule 64])
  353. /* Rule 65 (req) ************************************/
  355.     /* we generate note 960 as below */
  356.     /* Note 960: Violates MISRA Required Rule 65, */
  357.     /* floating point variable used as loop counter */
  359. /* Rule 66 (adv) *************************************/
  361. /* Rule 67 (adv) **************************************/
  363. /* Rule 68 (req) *************************************/
  365.     /* we generate note 960 as below */
  366.     /* Note 960: Violates MISRA Required Rule 68, */
  367.     /* function not declared at file scope */
  369. /* Rule 69 (req) ************************************/
  371.     /* we generate note 960 as below */
  372.     /* Note 960: Violates MISRA Required Rule 69, */
  373.     /* function has variable number of arguments */
  375. /* Rule 70 (req) ***************************************/
  377. /* Rule 71 (req) ***************************************/
  379.     /* +e718 symbol undeclared */
  380.     /* +e746 call not made in the presence of a prototype */
  381.     +e937                     /* old-style function declaration */
  382.     -append(937,[MISRA Rules 71 and 76])
  383.     +e957
  384.     -append(957,[MISRA Rule 71])
  386. /* Rule 72 (req) ***************************************/
  388.     +e18                          /* symbol redeclared */
  389.     -fvr                          /* varying return mode not allowed */
  390.     +e516                         /* argument type conflict */
  391.     +e532                         /* return mode of symbol inconsistent */
  392.     -append(18,[MISRA Rule 72])
  393.     -append(516,[MISRA Rule 72])
  394.     -append(532,[MISRA Rule 72])
  396. /* Rule 73 (req) **************************************/
  398.     /* we generate note 960 as below */
  399.     /* Note 960: Violates MISRA Required Rule 73, */
  400.     /* either all parameters or no parameters should have identifiers */
  402. /* Rule 74 (req) ***************************************/
  404. /* Rule 75 (req) ***************************************/
  406.     +e745                           /* function has no explicit type */
  407.     +e939                           /* return type defaults to int */
  408.     -append(745,[MISRA Rule 75])
  409.     -append(939,[MISRA Rule 75])
  411. /* Rule 76 (req) **************************************/
  413.     /* +e937 old-style function declaration */
  415. /* Rule 77 (req) **************************************/
  417.     +e747                       /* significant prototype coercion */
  418.     +e917                       /* prototype coercion */
  419.     +e918                       /* prototype coercion of pointers */
  420.     -append(747,[MISRA Rule 77])
  421.     -append(917,[MISRA Rule 77])
  422.     -append(918,[MISRA Rule 77])
  424. /* Rule 78 (req) ***************************************/
  426.     +e118               /* too few arguments for prototype */
  427.     +e119               /* too many arguments for prototype */
  428.     -append(118,[MISRA Rule 78])
  429.     -append(119,[MISRA Rule 78])
  431. /* Rule 79 (req) ****************************************/
  433.     +e82
  434.     -append(82,[MISRA Rules 79 and 84])
  436. /* Rule 80 (req) ***************************************/
  438.     +e144                       /* non-existent return value */
  439.     -append(144,[MISRA Rule 80])
  441. /* Rule 81 (adv) *****************************************/
  443. /* Rule 82 (adv) *****************************************/
  445. /* Rule 83 (req) *****************************************/
  447.     +e533                        /* function should return a value */
  448.     -append(533,[MISRA Rules 83 and 84])
  450. /* Rule 84 (req) ******************************************/
  452.     /* +e533 function should not return a value */
  453.     /* +e82 return <exp>; illegal with void function */
  455. /* Rule 85 (adv) ****************************************/
  457. /* Rule 86 (adv) ******************************************/
  459. /* Rule 87 (req) ****************************************/
  461.     /* we generate note 960 as below */
  462.     /* Note 960: Violates MISRA Required Rule 87, */
  463.     /* only preprocessor statements and comments before '#include' */
  465. /* Rule 88 (req) ****************************************/
  467.     /* we generate note 960 as below */
  468.     /* Note 960: Violates MISRA Required Rule 88, */
  469.     /* header file name with non-standard character */
  471. /* Rule 89 (req) ***************************************/
  473.     +e12                        /* Need < or  " after #include */
  474.     -append(12,[MISRA Rule 89])
  476. /* Rule 90 (req) ***************************************/
  478. /* Rule 91 (req) ****************************************/
  480.     /* we generate note 960 as below */
  481.     /* Note 960: Violates MISRA Required Rule 91, */
  482.     /* '#define/#undef' used within a block */
  484. /* Rule 92 (adv) *****************************************/
  486.     /* we generate note 961 as below */
  487.     /* Note 961: Violates MISRA Advisory Rule 92, */
  488.     /* use of '#undef' is discouraged */
  490. /* Rule 93 (adv) ******************************************/
  492. /* Rule 94 (req) **************************************/
  494.     +e131                         /* syntax error in call of macro */
  495.     -append(131,[MISRA Rule 94])
  497. /* Rule 95 (req) ****************************************/
  498.     +e436
  499.     -append(436,[MISRA Rule 95])
  501. /* Rule 96 (req) ***************************************/
  503.     +e773                      /* expression-like macro not parenthesized */
  504.     -append(773,[MISRA Rule 96])
  506. /* Rule 97 (adv) ******************************************/
  508.     +e553                        /* undefined preprocessor variable */
  509.     -append(553,[MISRA Rule 97])
  511. /* Rule 98 (req) ********************************************/
  513.     /* we generate note 960 as below */
  514.     /* Note 960: Violates MISRA Required Rule 98, */
  515.     /* multiple use of '#/##' operators in macro definition */
  517. /* Rule 99 (req) ******************************************/
  519. /* Rule 100 (req) ***************************************/
  521.     /* we generate note 960 as below */
  522.     /* Note 960: Violates MISRA Required Rule 100, */
  523.     /* non-standard use of 'defined' preprocessor statement */
  525. /* Rule 101 (adv) *******************************************/
  527. /* Rule 102 (adv) ****************************************/
  529. /* Rule 103 (req) **************************************/
  531.     +e946          /* relational or subtract operator applied to pointers */
  532.     -append(946,[MISRA Rule 103])
  534. /* Rule 104 (req) *************************************/
  536. /* Rule 105 (req) *************************************/
  538. /* Rule 106 (req) *****************************************/
  540.     +e733               /* assigning address of auto to outer scope symbol */
  541.     +e789               /* assigning address of auto to static */
  542.     -append(733,[MISRA Rule 106])
  543.     -append(789,[MISRA Rule 106])
  545. /* Rule 107 (req) ****************************************/
  546.     +e413
  547.     +e613
  548.     +e794
  549.     -append(413,[MISRA Rule 107])
  550.     -append(613,[MISRA Rule 107])
  551.     -append(794,[MISRA Rule 107])
  553. /* Rule 108 (req) *******************************************/
  555.     +e43                         /* vacuous type for variable */
  556.     -append(43,[Misra Rule 108])
  558. /* Rule 109 (req) ******************************************/
  560. /* Rule 110 (req) **************************************/
  562.     /* we generate note 960 as below */
  563.     /* Note 960: Violates MISRA Required Rule 110, */
  564.     /* bitfields inside union */
  566. /* Rule 111 (req) ****************************************/
  568.     +e46                        /* field type should be int */
  569.     -append(46,[Misra Rule 111])
  571. /* Rule 112 (req) *****************************************/
  573.     +e806               /* small bit field is signed rather than unsigned */
  574.     -append(806,[Misra Rule 112])
  576. /* Rule 113 (req) *****************************************/
  578. /* Rule 114 (req) ******************************************/
  580.     +e683             /* complain about #define standard functions */           
  581.     -append(683,[Misra Rule 114])           
  583. /* Rule 115 (req) ******************************************/
  585. /* Rule 116 (req) *****************************************/
  587. /* Rule 117 (req) ********************************************/
  589.     /* 100 calls to standard library functions are monitored */
  590.     /* users can specify additional constraints for other functions */
  592. /* Rule 118 (req) *****************************************/
  594.     -function(gets,calloc,malloc,realloc,free)
  595. -append(421(calloc), [MISRA Rule 118])
  596.     -append(421(malloc), [MISRA Rule 118])
  597. -append(421(realloc), [MISRA Rule 118])
  598. -append(421(free), [MISRA Rule 118])
  599. /* enable message 421 for these functions */
  601. /* Rule 119 (req) ****************************************/
  603.     +derrno=errno_violates_MISRA_Rule_119
  606. /* Rule 120 (req) ******************************************/
  608.     +doffsetof=offsetof_violates_MISRA_Rule_120
  611. /* Rule 121 (req) *******************************************/
  613.     -headerwarn(locale.h)
  614. /* enable message 829 for locale.h */
  615. -append(829(locale.h), [MISRA Rule 121])
  616.     -function(gets,setlocale,localeconv)
  617. -append(421(setlocale), [MISRA Rule 121])
  618. -append(421(localeconv), [MISRA Rule 121])
  619. /* enable message 421 for these functions */
  621. /* Rule 122 (req) *********************************************/
  623.     -function(gets,longjmp,setjmp)
  624. -append(421(longjmp), [MISRA Rule 122])
  625. -append(421(setjmp), [MISRA Rule 122])
  626. /* enable message 421 for these functions */
  628. /* Rule 123 (req) *******************************************/
  630.     -function(gets, signal, raise)           
  631. -append(421(signal), [MISRA Rule 123])
  632. -append(421(raise), [MISRA Rule 123])
  633. /* enable message 421 for these functions */
  635. /* Rule 124 (req) ******************************************/
  637.     -headerwarn(stdio.h)
  638. /* enable message 829 for stdio.h */
  639. -append(829(stdio.h), [MISRA Rule 124])
  641. /* Rule 125 (req) ******************************************/
  643.     -function(gets,atof,atoi,atol)    
  644. -append(421(atof), [MISRA Rule 125])       
  645. -append(421(atoi), [MISRA Rule 125])
  646. -append(421(atol), [MISRA Rule 125])
  647. /* enable message 421 for these functions */
  649. /* Rule 126 (req) ******************************************/
  651.     -function(gets,abort,exit,getenv,system)           
  652. -append(421(abort), [MISRA Rule 126])
  653. -append(421(exit), [MISRA Rule 126])
  654. -append(421(getenv), [MISRA Rule 126])
  655. -append(421(system), [MISRA Rule 126])
  656. /* enable message 421 for these functions */
  658. /* Rule 127 (req) *******************************************/
  660.     -function(gets,time,strftime,clock,difftime,mktime)           
  661. -append(421(time), [MISRA Rule 127])
  662. -append(421(strftime), [MISRA Rule 127])
  663. -append(421(clock), [MISRA Rule 127])
  664. -append(421(difftime), [MISRA Rule 127])
  665. -append(421(mktime), [MISRA Rule 127])
  666. /* enable message 421 for these functions */