TELELOGIC RCL 1.0 RULES FILE
NAME=All_MISRA
"Characters and escape sequences from ISO C standard." "..\Ref\CRules\MISRA_Rule5.rl"
"Trigraphs are forbidden." "..\Ref\CRules\MISRA_Rule7.rl"
"Multibyte characters" "..\Ref\CRules\MISRA_Rule8.rl"
"No nested comments." "..\Ref\CRules\MISRA_Rule9.rl"
"Identifiers must not exceed 31 characters." "..\Ref\CRules\MISRA_Rule11.rl"
"Name of identifiers." "..\Ref\CRules\MISRA_Rule12.rl"
"Basic types must be redefined." "..\Ref\CRules\MISRA_Rule13.rl"
"Type char is not allowed" "..\Ref\CRules\MISRA_Rule14.rl"
"Underlying bit representation of floating point numbers" "..\Ref\CRules\MISRA_Rule16.rl"
"Typedef names shall not be reused." "..\Ref\CRules\MISRA_Rule17.rl"
"Numeric constants and suffixes." "..\Ref\CRules\MISRA_Rule18.rl"
"Octal constants" "..\Ref\CRules\MISRA_Rule19.rl"
"Declaration before use." "..\Ref\CRules\MISRA_Rule20.rl"
"Identifiers scope." "..\Ref\CRules\MISRA_Rule21.rl"
"Object declarations." "..\Ref\CRules\MISRA_Rule22.rl"
"Functions declaration." "..\Ref\CRules\MISRA_Rule23i.rl"
"External definition of identifiers." "..\Ref\CRules\MISRA_Rule25.rl"
"Declarations must be compatible." "..\Ref\CRules\MISRA_Rule26.rl"
"External variables declaration." "..\Ref\CRules\MISRA_Rule27.rl"
"Register storage class specifier." "..\Ref\CRules\MISRA_Rule28.rl"
"Use of tag shall agree with its declaration" "..\Ref\CRules\MISRA_Rule29.rl"
"Assign a value." "..\Ref\CRules\MISRA_Rule30.rl"
"Structure and array initialisation." "..\Ref\CRules\MISRA_Rule31.rl"
"Enum Initialisation" "..\Ref\CRules\MISRA_Rule32.rl"
"Side effects in condition" "..\Ref\CRules\MISRA_Rule33.rl"
"Logical Operands" "..\Ref\CRules\MISRA_Rule34.rl"
"Assignment result must not be tested" "..\Ref\CRules\MISRA_Rule35.rl"
"Bitwise operations shall not be performed on signed integer types." "..\Ref\CRules\MISRA_Rule37.rl"
"Shift operator and right hand operand." "..\Ref\CRules\MISRA_Rule38.rl"
"The unary minus operator shall not be applied to an unsigned expression." "..\Ref\CRules\MISRA_Rule39.rl"
"Operator sizeof." "..\Ref\CRules\MISRA_Rule40.rl"
"Operator ',' not allowed." "..\Ref\CRules\MISRA_Rule42.rl"
"Conversions." "..\Ref\CRules\MISRA_Rule43.rl"
"Redundant casts." "..\Ref\CRules\MISRA_Rule44.rl"
"Cast and pointers." "..\Ref\CRules\MISRA_Rule45.rl"
"Evaluation order of expressions." "..\Ref\CRules\MISRA_Rule46.rl"
"Mixed precision arithmetic and cast." "..\Ref\CRules\MISRA_Rule48.rl"
"Test between floats" "..\Ref\CRules\MISRA_Rule50.rl"
"Inaccessible code not authorized." "..\Ref\CRules\MISRA_Rule52.rl"
"Non-null statements." "..\Ref\CRules\MISRA_Rule53.rl"
"Null statements" "..\Ref\CRules\MISRA_Rule54.rl"
"No Labels." "..\Ref\CRules\MISRA_Rule55.rl"
"Goto is forbidden." "..\Ref\CRules\MISRA_Rule56.rl"
"Break and continue instructions are forbidden." "..\Ref\CRules\MISRA_Rules5758.rl"
"Use of curly brackets" "..\Ref\CRules\MISRA_Rule59.rl"
"Then and else parts of if statements must not be void" "..\Ref\CRules\MISRA_Rule60.rl"
"Break statement mandatory in the case clauses of a switch" "..\Ref\CRules\MISRA_Rule61.rl"
"Default statement mandatory in a switch." "..\Ref\CRules\MISRA_Rule62.rl"
"No switch with only one case." "..\Ref\CRules\MISRA_Rule63.rl"
"No switch without case." "..\Ref\CRules\MISRA_Rule64.rl"
"Floating point variables shloud not be used as loop counters." "..\Ref\CRules\MISRA_Rule65.rl"
"Loop control." "..\Ref\CRules\MISRA_Rule66.rl"
"Counter in for statements" "..\Ref\CRules\MISRA_Rule67.rl"
"Functions shall always be declared at file scope." "..\Ref\CRules\MISRA_Rule68.rl"
"No functions with variable number of arguments." "..\Ref\CRules\MISRA_Rule69i.rl"
"No functions with variable number of arguments." "..\Ref\CRules\MISRA_Rule69ii.rl"
"Recursion not recommended" "..\Ref\CRules\MISRA_Rule70.rl"
"Function prototyping." "..\Ref\CRules\MISRA_Rule71.rl"
"Use of void type and functions." "..\Ref\CRules\MISRA_Rules7576.rl"
"Matching numbers of parameters." "..\Ref\CRules\MISRA_Rule78.rl"
"Values of void functions." "..\Ref\CRules\MISRA_Rule79.rl"
"Void expressions and function parameters." "..\Ref\CRules\MISRA_Rule80.rl"
"Function parameters and const." "..\Ref\CRules\MISRA_Rule81.rl"
"Use of return" "..\Ref\CRules\MISRA_Rule82.rl"
"Return in non-void fonctions." "..\Ref\CRules\MISRA_Rule83i.rl"
"Return in non-void functions." "..\Ref\CRules\MISRA_Rule83ii.rl"
"Return in non-void fonctions." "..\Ref\CRules\MISRA_Rule83iii.rl"
"Return in void functions." "..\Ref\CRules\MISRA_Rule84.rl"
"Function with no parameters." "..\Ref\CRules\MISRA_Rule85.rl"
"Structure of the code." "..\Ref\CRules\MISRA_Rule87.rl"
"#include syntax." "..\Ref\CRules\MISRA_Rules8889.rl"
"Define and undefine in a block." "..\Ref\CRules\MISRA_Rule91.rl"
"Use of #undef." "..\Ref\CRules\MISRA_Rule92.rl"
"Functions and macros." "..\Ref\CRules\MISRA_Rule93.rl"
"Function-like macro call." "..\Ref\CRules\MISRA_Rule94.rl"
"Arguments to function-like macros." "..\Ref\CRules\MISRA_Rule95.rl"
"Parentheses for macro occurences." "..\Ref\CRules\MISRA_Rule96i.rl"
"Parentheses for macro." "..\Ref\CRules\MISRA_Rule96ii.rl"
"Identifiers in pre-processor directives." "..\Ref\CRules\MISRA_Rule97.rl"
"Occurences of # and ## in macros." "..\Ref\CRules\MISRA_Rule98.rl"
"Comment of the #pragma directives." "..\Ref\CRules\MISRA_Rule99.rl"
"Operator defined." "..\Ref\CRules\MISRA_Rule100.rl"
"Pointer arithmetic." "..\Ref\CRules\MISRA_Rule101.rl"
"Limitation of the reference complexity." "..\Ref\CRules\MISRA_Rule102.rl"
"Relational operators and pointers." "..\Ref\CRules\MISRA_Rule103.rl"
"Pointers to functions." "..\Ref\CRules\MISRA_Rule104.rl"
"Pointers to functions." "..\Ref\CRules\MISRA_Rule105.rl"
"Address assignment." "..\Ref\CRules\MISRA_Rule106.rl"
"Null pointer" "..\Ref\CRules\MISRA_Rule107.rl"
"Members of structures and unions." "..\Ref\CRules\MISRA_Rule108.rl"
"Variable storage." "..\Ref\CRules\MISRA_Rule109.rl"
"Unions access." "..\Ref\CRules\MISRA_Rule110.rl"
"Type of bitfields." "..\Ref\CRules\MISRA_Rule111.rl"
"Length of signed int bit fields" "..\Ref\CRules\MISRA_Rule112.rl"
"Members of structure and unions shall be named." "..\Ref\CRules\MISRA_Rule113.rl"
"Define and undef standard names." "..\Ref\CRules\MISRA_Rule114i.rl"
"Define and undef standard names." "..\Ref\CRules\MISRA_Rule114ii.rl"
"Standard library functions name." "..\Ref\CRules\MISRA_Rule115.rl"
"Dynamic heap memory." "..\Ref\CRules\MISRA_Rule118.rl"
"Error indicator errno." "..\Ref\CRules\MISRA_Rule119.rl"
"No offsetof macro." "..\Ref\CRules\MISRA_Rule120.rl"
"No <locale.h>." "..\Ref\CRules\MISRA_Rule121Fct.rl"
"Forbidden #include." "..\Ref\CRules\MISRA_Rules121124Include.rl"
"No setjmp macro or longjmp function." "..\Ref\CRules\MISRA_Rule122.rl"
"No <signal.h>." "..\Ref\CRules\MISRA_Rule123.rl"
"No <stdio.h>." "..\Ref\CRules\MISRA_Rule124Fct.rl"
"No atof, atoi or atol functions." "..\Ref\CRules\MISRA_Rule125.rl"
"No abort, exit, getenv or system functions." "..\Ref\CRules\MISRA_Rule126.rl"
"No <time.h>." "..\Ref\CRules\MISRA_Rule127.rl"