📄 au-misra1.lnt
字号:
-append(616,[MISRA Rule 61])
+e825
-append(825,[MISRA Rule 61])
/* Rule 62 (req) *************************************/
+e744 /* switch statement has no default */
-append(744,[MISRA Rule 62])
/* Rule 63 (adv) **************************************/
/* we generate note 961 as below */
/* Note 961: Violates MISRA Advisory Rule 63, */
/* boolean value in switch statement */
/* Rule 64 (req) *************************************/
+e764 /* switch does not have a case */
-append(764,[MISRA Rule 64])
/* Rule 65 (req) ************************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA Required Rule 65, */
/* floating point variable used as loop counter */
/* Rule 66 (adv) *************************************/
/* Rule 67 (adv) **************************************/
/* Rule 68 (req) *************************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA Required Rule 68, */
/* function not declared at file scope */
/* Rule 69 (req) ************************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA Required Rule 69, */
/* function has variable number of arguments */
/* Rule 70 (req) ***************************************/
/* Rule 71 (req) ***************************************/
/* +e718 symbol undeclared */
/* +e746 call not made in the presence of a prototype */
+e937 /* old-style function declaration */
-append(937,[MISRA Rules 71 and 76])
+e957
-append(957,[MISRA Rule 71])
/* Rule 72 (req) ***************************************/
+e18 /* symbol redeclared */
-fvr /* varying return mode not allowed */
+e516 /* argument type conflict */
+e532 /* return mode of symbol inconsistent */
-append(18,[Encompasses MISRA Rule 72])
-append(516,[MISRA Rule 72])
-append(532,[MISRA Rule 72])
/* Rule 73 (req) **************************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA Required Rule 73, */
/* either all parameters or no parameters should have identifiers */
/* Rule 74 (req) ***************************************/
/* Rule 75 (req) ***************************************/
+e745 /* function has no explicit type */
+e939 /* return type defaults to int */
-append(745,[MISRA Rule 75])
-append(939,[MISRA Rule 75])
/* Rule 76 (req) **************************************/
/* +e937 old-style function declaration */
/* Rule 77 (req) **************************************/
+e747 /* significant prototype coercion */
+e917 /* prototype coercion */
+e918 /* prototype coercion of pointers */
-append(747,[MISRA Rule 77])
-append(917,[MISRA Rule 77])
-append(918,[MISRA Rule 77])
/* Rule 78 (req) ***************************************/
+e118 /* too few arguments for prototype */
+e119 /* too many arguments for prototype */
-append(118,[MISRA Rule 78])
-append(119,[MISRA Rule 78])
/* Rule 79 (req) ****************************************/
+e82
-append(82,[MISRA Rules 79 and 84])
/* Rule 80 (req) ***************************************/
+e144 /* non-existent return value */
-append(144,[MISRA Rule 80])
/* Rule 81 (adv) *****************************************/
+e818 /* use const on paramaters where appropriate */
-append(818,[MISRA Rule 81])
/* Rule 82 (adv) *****************************************/
/* Rule 83 (req) *****************************************/
+e533 /* function should return a value */
-append(533,[MISRA Rules 83 and 84])
/* Rule 84 (req) ******************************************/
/* +e533 function should not return a value */
/* +e82 return <exp>; illegal with void function */
/* Rule 85 (adv) ****************************************/
/* Rule 86 (adv) ******************************************/
/* Rule 87 (req) ****************************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA Required Rule 87, */
/* only preprocessor statements and comments before '#include' */
/* Rule 88 (req) ****************************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA Required Rule 88, */
/* header file name with non-standard character */
/* Rule 89 (req) ***************************************/
+e12 /* Need < or \ " after #include */
-append(12,[MISRA Rule 89])
/* Rule 90 (req) ***************************************/
/* Rule 91 (req) ****************************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA Required Rule 91, */
/* '#define/#undef' used within a block */
/* Rule 92 (adv) *****************************************/
/* we generate note 961 as below */
/* Note 961: Violates MISRA Advisory Rule 92, */
/* use of '#undef' is discouraged */
/* Rule 93 (adv) ******************************************/
/* Rule 94 (req) **************************************/
+e131 /* syntax error in call of macro */
-append(131,[MISRA Rule 94])
/* Rule 95 (req) ****************************************/
+e436
-append(436,[MISRA Rule 95])
/* Rule 96 (req) ***************************************/
+e773 /* expression-like macro not parenthesized */
-append(773,[MISRA Rule 96])
/* Rule 97 (adv) ******************************************/
+e553 /* undefined preprocessor variable */
-append(553,[MISRA Rule 97])
/* Rule 98 (req) ********************************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA Required Rule 98, */
/* multiple use of '#/##' operators in macro definition */
/* Rule 99 (req) ******************************************/
/* Rule 100 (req) ***************************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA Required Rule 100, */
/* non-standard use of 'defined' preprocessor statement */
/* Rule 101 (adv) *******************************************/
/* Rule 102 (adv) ****************************************/
/* Rule 103 (req) **************************************/
+e946 /* relational or subtract operator applied to pointers */
-append(946,[MISRA Rule 103])
/* Rule 104 (req) *************************************/
/* Rule 105 (req) *************************************/
/* Rule 106 (req) *****************************************/
+e733 /* assigning address of auto to outer scope symbol */
+e789 /* assigning address of auto to static */
-append(733,[MISRA Rule 106])
-append(789,[MISRA Rule 106])
/* Rule 107 (req) ****************************************/
+e413
+e613
+e794
-append(413,[MISRA Rule 107])
-append(613,[MISRA Rule 107])
-append(794,[MISRA Rule 107])
/* Rule 108 (req) *******************************************/
+e43 /* vacuous type for variable */
-append(43,[MISRA Rule 108])
/* Rule 109 (req) ******************************************/
/* Rule 110 (req) **************************************/
/* we generate note 960 as below */
/* Note 960: Violates MISRA Required Rule 110, */
/* bitfields inside union */
/* Rule 111 (req) ****************************************/
+e46 /* field type should be int */
-append(46,[MISRA Rule 111])
/* Rule 112 (req) *****************************************/
+e806 /* small bit field is signed rather than unsigned */
-append(806,[MISRA Rule 112])
/* Rule 113 (req) *****************************************/
/* Rule 114 (req) ******************************************/
+e683 /* complain about #define standard functions */
-append(683,[MISRA Rule 114])
/* Rule 115 (req) ******************************************/
/* Rule 116 (req) *****************************************/
/* Rule 117 (req) ********************************************/
/* 100 calls to standard library functions are monitored */
/* users can specify additional constraints for other functions */
/* Rule 118 (req) *****************************************/
-function(gets(0),calloc(0),malloc(0),realloc(0),free(0))
-append(421(calloc), [MISRA Rule 118])
-append(421(malloc), [MISRA Rule 118])
-append(421(realloc), [MISRA Rule 118])
-append(421(free), [MISRA Rule 118])
/* enable message 421 for these functions */
/* Rule 119 (req) ****************************************/
+derrno=errno_violates_MISRA_Rule_119
/* Rule 120 (req) ******************************************/
+doffsetof=offsetof_violates_MISRA_Rule_120
/* Rule 121 (req) *******************************************/
-headerwarn(locale.h)
/* enable message 829 for locale.h */
-append(829(locale.h), [MISRA Rule 121])
-function(gets(0),setlocale(0),localeconv(0))
-append(421(setlocale), [MISRA Rule 121])
-append(421(localeconv), [MISRA Rule 121])
/* enable message 421 for these functions */
/* Rule 122 (req) *********************************************/
-function(gets(0),longjmp(0),setjmp(0))
-append(421(longjmp), [MISRA Rule 122])
-append(421(setjmp), [MISRA Rule 122])
/* enable message 421 for these functions */
/* Rule 123 (req) *******************************************/
-function(gets(0),signal(0),raise(0))
-append(421(signal), [MISRA Rule 123])
-append(421(raise), [MISRA Rule 123])
/* enable message 421 for these functions */
/* Rule 124 (req) ******************************************/
-headerwarn(stdio.h)
/* enable message 829 for stdio.h */
-append(829(stdio.h), [MISRA Rule 124])
/* Rule 125 (req) ******************************************/
-function(gets(0),atof(0),atoi(0),atol(0))
-append(421(atof), [MISRA Rule 125])
-append(421(atoi), [MISRA Rule 125])
-append(421(atol), [MISRA Rule 125])
/* enable message 421 for these functions */
/* Rule 126 (req) ******************************************/
-function(gets(0),abort(0),exit(0),getenv(0),system(0))
-append(421(abort), [MISRA Rule 126])
-append(421(exit), [MISRA Rule 126])
-append(421(getenv), [MISRA Rule 126])
-append(421(system), [MISRA Rule 126])
/* enable message 421 for these functions */
/* Rule 127 (req) *******************************************/
-function(gets(0),time(0),strftime(0),clock(0),difftime(0),mktime(0))
-append(421(time), [MISRA Rule 127])
-append(421(strftime), [MISRA Rule 127])
-append(421(clock), [MISRA Rule 127])
-append(421(difftime), [MISRA Rule 127])
-append(421(mktime), [MISRA Rule 127])
/* enable message 421 for these functions */
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -