walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

MISRA: Remove rule texts, it seems we are not allowed to include them.

This commit is contained in:
Daniel Marjamäki 2017-04-09 14:50:00 +02:00
parent a4277b7ac6
commit efae089b10
1 changed files with 149 additions and 204 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

353
addons/misra.py
View File

@ -2,19 +2,24 @@
# #
# MISRA checkers # MISRA checkers
# #
# The goal is that this addon will check conformance against latest MISRA C standard.
# #
# Example usage of this addon (scan a sourcefile main.cpp) # Example usage of this addon (scan a sourcefile main.cpp)
# cppcheck --dump main.cpp # cppcheck --dump main.cpp
# python misra.py main.cpp.dump # python misra.py main.cpp.dump
#
# Limitations: This addon is released as open source. Rule texts can't be freely
# distributed. https://www.misra.org.uk/forum/viewtopic.php?f=56&t=1189
#
#
import cppcheckdata import cppcheckdata
import sys import sys
import re import re
def reportError(token, severity, msg): def reportError(token, num):
sys.stderr.write( sys.stderr.write(
'[' + token.file + ':' + str(token.linenr) + '] (' + severity + ') misra: ' + msg + '\n') '[' + token.file + ':' + str(token.linenr) + '] misra ' + str(num) + ' violation\n')
def hasSideEffects(expr): def hasSideEffects(expr):
if not expr: if not expr:
@ -27,20 +32,19 @@ def hasSideEffects(expr):
def isPrimaryExpression(expr): def isPrimaryExpression(expr):
return expr and (expr.isName or expr.isNumber or (expr.str in ['!', '==', '!=', '<', '<=', '>', '>=', '&&', '||'])) return expr and (expr.isName or expr.isNumber or (expr.str in ['!', '==', '!=', '<', '<=', '>', '>=', '&&', '||']))
# Environment
# -----------
# 1 The code shall conform to ISO 9899, with no extensions permitted
# 1
# STATUS: Use compiler # STATUS: Use compiler
def misra1(data): def misra1(data):
return return
# 2 Code written in languages other than C should only be used if there is a defined interface # 2
# STATUS: ? # STATUS: ?
def misra2(data): def misra2(data):
return return
# 3 Assembler language functions that are called from C should be written as C functions containing only in-line assembly language, and in-line assembly language should not be embedded in normal C code # 3
# STATUS: Done # STATUS: Done
def misra3check(token): def misra3check(token):
prev = token.previous prev = token.previous
@ -74,45 +78,39 @@ def misra3(data):
if token.str != 'asm': if token.str != 'asm':
continue continue
if misra3check(token): if misra3check(token):
reportError(token, 'style', '3 break out inline assembler into separate function') reportError(token, 3)
# 4 Provision should be made for appropriate run-time checking # 4
# STATUS: Done. Checked by Cppcheck # STATUS: Done. Checked by Cppcheck
def misra4(data): def misra4(data):
return return
# Character sets # 5
# --------------
# 5 Only those characters and escape sequences that are defined in the ISO C standard shall be used
# STATUS: TODO # STATUS: TODO
def misra5(data): def misra5(data):
return return
# 6 Values of character types shall be restricted to a defined and documented subset of ISO 10646-1 # 6
# STATUS: TODO # STATUS: TODO
def misra6(data): def misra6(data):
return return
# 7 Tri-graphs shall not be used # 7
# STATUS: TODO - requires some info from preprocessor # STATUS: TODO - requires some info from preprocessor
def misra7(data): def misra7(data):
return return
# 8 Multibyte characters and wide string literals shall not be used # 8
# STATUS: TODO # STATUS: TODO
def misra8(data): def misra8(data):
return return
# Comments # 9
# --------
# 9 Comments shall not be nested
# STATUS: TODO # STATUS: TODO
def misra9(data): def misra9(data):
return return
# 10 Sections of code should not be commented out # 10
# STATUS: TODO (Parse comments?) # STATUS: TODO (Parse comments?)
def misra10(data): def misra10(data):
return return
@ -120,22 +118,19 @@ def misra10(data):
# Identifiers # Identifiers
# ----------- # -----------
# 11 Identifiers shall not rely on the significance of more than 31 characters # 11
# STATUS: Done. # STATUS: Done.
def misra11(data): def misra11(data):
for token in data.tokenlist: for token in data.tokenlist:
if token.isName and len(token.str) > 31: if token.isName and len(token.str) > 31:
reportError(token, 'style', '11 Identifier is longer than 31 characters') reportError(token, 11)
# 12 Identifiers in different namespace shall not have the same spelling # 12
# STATUS: Done. Use compiler (-Wshadow etc) # STATUS: Done. Use compiler (-Wshadow etc)
def misra12(data): def misra12(data):
return return
# Types # 13
# -----
# 13 The basic types char,int,short,long,double and float should not be used.
# STATUS: TODO originalName is missing right now # STATUS: TODO originalName is missing right now
def misra13(data): def misra13(data):
for token in data.tokenlist: for token in data.tokenlist:
@ -143,7 +138,7 @@ def misra13(data):
continue continue
#if token.originalName != '': #if token.originalName != '':
# 14 The type char shall always be declared as unsigned char or signed char # 14
# STATUS: Done # STATUS: Done
def misra14(data): def misra14(data):
for token in data.tokenlist: for token in data.tokenlist:
@ -151,108 +146,98 @@ def misra14(data):
continue continue
if token.isUnsigned or token.isSigned: if token.isUnsigned or token.isSigned:
continue continue
reportError(token, 'style', '14 The type char shall always be declared as unsigned char or signed char') reportError(token, 14)
# 15 Floating point implementations should comply with a defined floating point standard # 15
# STATUS: Done # STATUS: Done
def misra15(data): def misra15(data):
reportError(data.tokenlist[0], 'style', '15 Make sure the floating point implementation comply with a defined floating point standard') reportError(data.tokenlist[0], 15)
# 16
# 16 The underlying bit representation of floating point numbers shall not be used in any way by the programmer
# STATUS: TODO : ValueType information is needed # STATUS: TODO : ValueType information is needed
def misra16(data): def misra16(data):
return return
# 17 typedef names shall not be reused # 17
# STATUS: Done (Cppcheck duplicateTypedef) # STATUS: Done (Cppcheck duplicateTypedef)
def misra17(data): def misra17(data):
return return
# Constants # 18
# ---------
# 18 Numeric constants should be suffixed to indicate type if possible
# STATUS: TODO # STATUS: TODO
def misra18(data): def misra18(data):
return return
# 19 Octal constants shall not be used # 19
# STATUS: Done # STATUS: Done
def misra19(rawTokens): def misra19(rawTokens):
for tok in rawTokens: for tok in rawTokens:
if re.match(r'0[0-7]+', tok.str): if re.match(r'0[0-7]+', tok.str):
reportError(tok, 'style', '19 Octal constants shall not be used') reportError(tok, 19)
# Declarations and Definitions # 20
# ----------------------------
# 20 All object and function identifiers shall be declared before use
# STATUS: Use compiler # STATUS: Use compiler
def misra20(data): def misra20(data):
return return
# 21 Identifiers in inner scope shall not use same name as identifier in outer scope # 21
# STATUS: Done. Use compiler (-Wshadow etc). Cppcheck has some checking also. # STATUS: Done. Use compiler (-Wshadow etc). Cppcheck has some checking also.
def misra21(data): def misra21(data):
return return
# 22 Declaration of object should be at function scope unless a wider scope is necessary # 22
# STATUS: TODO # STATUS: TODO
def misra22(data): def misra22(data):
return return
# 23 All declarations at file scope should be static if possible # 23
# STATUS: TODO # STATUS: TODO
def misra23(data): def misra23(data):
return return
# 24 Identifiers shall not simultaneously have both internal and external linkage # 24
# STATUS: Probably done. Use compiler. # STATUS: Probably done. Use compiler.
def misra24(data): def misra24(data):
return return
# 25 An identifier with external linkage shall have exactly one external definition # 25
# STATUS: TODO # STATUS: TODO
def misra25(data): def misra25(data):
return return
# 26 If objects are declared more than once they shall have compatible declarations # 26
# STATUS: Done. Use compiler. # STATUS: Done. Use compiler.
def misra26(data): def misra26(data):
return return
# 27 External objects should not be declared in more than one file # 27
# STATUS: TODO # STATUS: TODO
def misra27(data): def misra27(data):
return return
# 28 The register storage class specifier should not be used # 28
# STATUS: Done # STATUS: Done
def misra28(rawTokens): def misra28(rawTokens):
for token in rawTokens: for token in rawTokens:
if token.str == 'register': if token.str == 'register':
reportError(token, 'style', '28 The register storage class specifier should not be used') reportError(token, 28)
# 29 The use of a tag shall agree with its declaration # 29
# STATUS: TODO # STATUS: TODO
def misra29(data): def misra29(data):
return return
# Initialisation # 30
# --------------
# 30 All automatic variables shall have a value assigned to them before use
# STATUS: Done. Cppcheck uninitVar etc.. # STATUS: Done. Cppcheck uninitVar etc..
def misra30(data): def misra30(data):
return return
# 31 Braces shall be used to indicate and match the structure in the non-zero initialisation of arrays and structures # 31
# STATUS: TODO # STATUS: TODO
def misra31(data): def misra31(data):
return return
# 32 In an enumerator list the = construct shall not be used to explicitly initialise members other than the first unless it is used to initialise all items # 32
# STATUS: Done # STATUS: Done
def misra32(data): def misra32(data):
for token in data.tokenlist: for token in data.tokenlist:
@ -280,7 +265,6 @@ def misra32(data):
tok = tok.link tok = tok.link
tok = tok.next tok = tok.next
eqList.append(eq) eqList.append(eq)
#print(str(token.linenr) + ':' + str(eqList))
# is there error? # is there error?
if len(eqList) <= 1: if len(eqList) <= 1:
@ -291,162 +275,145 @@ def misra32(data):
else: else:
err = (True in eqList[1:]) err = (True in eqList[1:])
if err: if err:
reportError(token, 'style', '32 In an enumerator list the = construct shall not be used to explicitly initialise members other than the first unless it is used to initialise all items') reportError(token, 32)
# 33
# Operators
# ---------
# 33 The right hand of a && or || shall not have side effects
# STATUS: Done # STATUS: Done
def misra33(data): def misra33(data):
for token in data.tokenlist: for token in data.tokenlist:
if token.isLogicalOp and hasSideEffects(token.astOperand2): if token.isLogicalOp and hasSideEffects(token.astOperand2):
reportError(token, 'style', '33 The right hand of a && or || shall not have side effects') reportError(token, 33)
# 34 The operands of a && or || shall be primary expressions # 34
# STATUS: Done # STATUS: Done
def misra34(data): def misra34(data):
for token in data.tokenlist: for token in data.tokenlist:
if not token.isLogicalOp: if not token.isLogicalOp:
continue continue
if not isPrimaryExpression(token.astOperand1) or not isPrimaryExpression(token.astOperand2): if not isPrimaryExpression(token.astOperand1) or not isPrimaryExpression(token.astOperand2):
reportError( reportError(token, 34)
token, 'style', '34 The operands of a && or || shall be primary expressions')
# 35 Assignment operators shall not be used in expressions that return Boolean values # 35
# STATUS: TODO (The ValueType is not available yet) # STATUS: TODO (The ValueType is not available yet)
def misra35(data): def misra35(data):
return return
# 36 Logical operators shall not be confused with bitwise operators # 36
# STATUS: Done. Cppcheck bitwise op checkers. # STATUS: Done. Cppcheck bitwise op checkers.
def misra36(data): def misra36(data):
return return
# 37 Bitwise operations shall not be performed on signed integer types # 37
# STATUS: TODO The ValueType information is not available yet # STATUS: TODO The ValueType information is not available yet
def misra37(data): def misra37(data):
return return
# 38 The right hand operand of a shift operator of a shift operator shall lie between zero and one less the width in bits of the left hand operand # 38
# STATUS: Done. Cppcheck, compilers. # STATUS: Done. Cppcheck, compilers.
def misra38(data): def misra38(data):
return return
# 39 The unary minus operator shall not be applied to an unsigned expression # 39
# STATUS: TODO (ValueType information is needed) # STATUS: TODO (ValueType information is needed)
def misra39(data): def misra39(data):
return return
# 40 The sizeof operator should not be used on expressions that contain side effects # 40
# STATUS: Done. Cppcheck # STATUS: Done. Cppcheck
def misra40(data): def misra40(data):
return return
# 41 The implementation of integer division in the chosen compiler should be determined, documented and taken into account # 41
# STATUS: Done # STATUS: Done
def misra41(data): def misra41(data):
reportError(data.tokenlist[0], 'style', '41 The implementation of integer division in the chosen' + reportError(data.tokenlist[0], 41)
' compiler should be determined, documented and taken into' +
' account.')
# 42 The comma operator shall not be used, except in the control expression of a for loop # 42
# STATUS: TODO # STATUS: TODO
def misra42(data): def misra42(data):
return return
# Conversions # 43
# -----------
# 43 Implicit conversions that might result in a loss of information shall not be used
# STATUS: Done. Cppcheck, Compiler # STATUS: Done. Cppcheck, Compiler
def misra43(data): def misra43(data):
return return
# 44 Redundant explicit cast should not be used # 44
# STATUS: TODO # STATUS: TODO
def misra44(data): def misra44(data):
return return
# 45 Type casting from any type to or from pointers shall not be used # 45
# STATUS: TODO # STATUS: TODO
def misra45(data): def misra45(data):
return return
# 46
# Expressions
# -----------
# 46 The value of an expression shall be the same under any order of evaluation that the standard permits
# STATUS: TODO (should be implemented in Cppcheck) # STATUS: TODO (should be implemented in Cppcheck)
def misra46(data): def misra46(data):
return return
# 47 No dependence should be placed on C's precedence rules # 47
# STATUS: TODO # STATUS: TODO
def misra47(data): def misra47(data):
return return
# 48 Mixed precision arithmetic should use explicit casting to generate the desired result # 48
# STATUS: TODO # STATUS: TODO
def misra48(data): def misra48(data):
return return
# 49 Tests of a value against zero should be explicit, unless the operant is effectively Boolean # 49
# STATUS: TODO # STATUS: TODO
def misra49(data): def misra49(data):
return return
# 50 Floating point variables shall not be tested for exact inequality or inequality # 50
# STATUS: Done. Compiler # STATUS: Done. Compiler
def misra50(data): def misra50(data):
return return
# 51 Evaluation of constant unsigned integer expression should not lead to wrap-around # 51
# STATUS: TODO (ValueType information is needed) # STATUS: TODO (ValueType information is needed)
def misra51(data): def misra51(data):
return return
# Control flow # 52
# ------------
# 52 There shall not be unreachable code
# STATUS: Done. Cppcheck (condition is always true, unreachable return, etc) # STATUS: Done. Cppcheck (condition is always true, unreachable return, etc)
def misra52(data): def misra52(data):
return return
# 53 All non-null statements shall have a side effect # 53
# STATUS: Done. Cppcheck (useless code, unchecked result) # STATUS: Done. Cppcheck (useless code, unchecked result)
def misra53(data): def misra53(data):
return return
# 54 A null statement shall only appear on a line by itself, and shall not have any other text on the same line # 54
# STATUS: TODO # STATUS: TODO
def misra54(data): def misra54(data):
return return
# 55 Label should not be used except in switch statements # 55
# STATUS: TODO # STATUS: TODO
def misra55(data): def misra55(data):
return return
# 56 The goto statement shall not be used # 56
# STATUS: Done. # STATUS: Done.
def misra56(data): def misra56(data):
for token in data.tokenlist: for token in data.tokenlist:
if token.str == "goto": if token.str == "goto":
reportError(token, 'style', '56 The goto statement shall not be used') reportError(token, 56)
# 57 The continue statement shall not be used # 57
# STATUS: Done. # STATUS: Done.
def misra57(data): def misra57(data):
for token in data.tokenlist: for token in data.tokenlist:
if token.str == "continue": if token.str == "continue":
reportError(token, 'style', '57 The continue statement shall not be used') reportError(token, 57)
# 58 The break statement shall not be used, except to terminate the cases of a switch statement # 58
# STATUS: TODO # STATUS: TODO
def misra58(data): def misra58(data):
for token in data.tokenlist: for token in data.tokenlist:
@ -456,371 +423,349 @@ def misra58(data):
while s and s.type == 'If': while s and s.type == 'If':
s = s.nestedIn s = s.nestedIn
if s and s.type in ['While', 'For']: if s and s.type in ['While', 'For']:
reportError(token, 'style', '58 The break statement shall not be used, except to terminate the cases of a switch statement') reportError(token, 58)
# 59 The statements forming the body of an if, else, else if, .. shall always be enclosed in braces # 59
# STATUS: TODO # STATUS: TODO
def misra59(data): def misra59(data):
return return
# 60 All if, else if constructs should contain a final else clause # 60
# STATUS: TODO # STATUS: TODO
def misra60(data): def misra60(data):
return return
# 61 Every non-empty case clause in a switch statement shall be terminated with a break statement # 61
# STATUS: TODO # STATUS: TODO
def misra61(data): def misra61(data):
return return
# 62 All switch statements shall contain a final default clause # 62
# STATUS: Done. Compiler. # STATUS: Done. Compiler.
def misra62(data): def misra62(data):
return return
# 63 A switch expression should not represent a Boolean value # 63
# STATUS: TODO # STATUS: TODO
def misra63(data): def misra63(data):
return return
# 64 Every switch statement should have at least one case # 64
# STATUS: TODO # STATUS: TODO
def misra64(data): def misra64(data):
return return
# 65 Floating point variables shall not be used as loop counters # 65
# STATUS: TODO # STATUS: TODO
def misra65(data): def misra65(data):
return return
# 66 Only expression concerned with loop control should appear within a for statement # 66
# STATUS: TODO # STATUS: TODO
def misra66(data): def misra66(data):
return return
# 67 Numeric variables being used within a for loop for iteration counting should not be modified in the body of the loop # 67
# STATUS: TODO # STATUS: TODO
def misra67(data): def misra67(data):
return return
# 68
# Functions
# ---------
# 68 Functions shall always be declared at file scope
# STATUS: TODO # STATUS: TODO
def misra68(data): def misra68(data):
return return
# 69 Functions with a variable number of arguments shall not be used # 69
# STATUS: TODO # STATUS: TODO
def misra69(data): def misra69(data):
return return
# 70 Functions shall not call themselves directly or indirectly # 70
# STATUS: TODO # STATUS: TODO
def misra70(data): def misra70(data):
return return
# 71 Functions shall always have prototype declarations and the prototype shall be visible at both the function definition and call # 71
# STATUS: Done. Compilers warn about mismatches. # STATUS: Done. Compilers warn about mismatches.
def misra71(data): def misra71(data):
return return
# 72 For each function parameter the type given and definition shall be identical, and the return type shall be identical # 72
# STATUS: TODO # STATUS: TODO
def misra72(data): def misra72(data):
return return
#73 Identifiers shall either be given for all parameters in a prototype declaration, or none # 73
# STATUS: TODO # STATUS: TODO
def misra73(data): def misra73(data):
return return
#74 If identifiers are given for any parameters, then the identifiers used in declaration and definition shall be identical # 74
# STATUS: Done. Cppcheck builtin checker # STATUS: Done. Cppcheck builtin checker
def misra74(data): def misra74(data):
return return
#75 Every function shall have an explicit return type # 75
# STATUS: Done. Should be checked by compilers. # STATUS: Done. Should be checked by compilers.
def misra75(data): def misra75(data):
return return
# 76 Functions with no parameter list shall be declared with parameter type void # 76
# STATUS: TODO # STATUS: TODO
def misra76(data): def misra76(data):
return return
# 77 The unqualified type of parameters passed to a function shall be compatible with the unqualified expected types defined in the function prototype # 77
# STATUS: TODO # STATUS: TODO
def misra77(data): def misra77(data):
return return
# 78 The number of parameters passed to a function shall match the function prototype # 78
# STATUS: TODO # STATUS: TODO
def misra78(data): def misra78(data):
return return
# 79 The value returned by void functions shall not be used # 79
# STATUS: Done. Compilers # STATUS: Done. Compilers
def misra79(data): def misra79(data):
return return
# 80 Void expressions shall not be passed as function parameters # 80
# STATUS: Done. Compilers # STATUS: Done. Compilers
def misra80(data): def misra80(data):
return return
# 81 const qualification should be used on function parameters that are passed by reference, where it is intended that the function will not modify the parameter # 81
# STATUS: TODO # STATUS: TODO
def misra81(data): def misra81(data):
return return
# 82 A function should have a single exit point # 82
# STATUS: TODO # STATUS: TODO
def misra82(data): def misra82(data):
return return
# 83 For functions that do not have void return type.. # 83
# STATUS: TODO # STATUS: TODO
def misra83(data): def misra83(data):
return return
# 84 For functions with void return type, return statements shall not have an expression # 84
# STATUS: TODO # STATUS: TODO
def misra84(data): def misra84(data):
return return
# 85 Functions called with no parameters should have empty parentheses # 85
# STATUS: TODO # STATUS: TODO
def misra85(data): def misra85(data):
return return
# 86 If a function returns error information then that information should be tested # 86
# STATUS: TODO # STATUS: TODO
def misra86(data): def misra86(data):
return return
# 87
# Preprocessing Directives
# ------------------------
# 87 #include statements in a file shall only be preceded by other pre-processor directives or comments
# STATUS: TODO # STATUS: TODO
def misra87(data): def misra87(data):
return return
# 88 Non-standard characters shall not occur in header file names in #include directives # 88
# STATUS: TODO # STATUS: TODO
def misra88(data): def misra88(data):
return return
# 89 The #include directive shall be followed be either a <filename> of "filename" sequence # 89
# STATUS: TODO # STATUS: TODO
def misra89(data): def misra89(data):
return return
# 90 C macros shall only be used for symbolic constants, function like macros, type qualifiers and storage class specifiers # 90
# STATUS: TODO # STATUS: TODO
def misra90(data): def misra90(data):
return return
# 91 Macros shall not be #define'd and #undef'd within a block # 91
# STATUS: TODO # STATUS: TODO
def misra91(data): def misra91(data):
return return
# 92 #undef should not be used # 92
# STATUS: TODO # STATUS: TODO
def misra92(data): def misra92(data):
return return
# 93 A function should be used in preference to a function-like macro # 93
# STATUS: TODO # STATUS: TODO
def misra93(data): def misra93(data):
return return
# 94 A function-like macro shall not be 'called' without all of its arguments # 94
# STATUS: TODO # STATUS: TODO
def misra94(data): def misra94(data):
return return
# 95 Arguments to a function-like macro shall not contain tokens that look like pre-processor directives # 95
# STATUS: TODO # STATUS: TODO
def misra95(data): def misra95(data):
return return
# 96 In the definition of a function-like macro the whole definition, and each instance of a parameter, shall be enclosed in parenthesis # 96
# STATUS: TODO # STATUS: TODO
def misra96(data): def misra96(data):
return return
# 97 Identifiers in pre-processor directives should be defined before use # 97
# STATUS: TODO # STATUS: TODO
def misra97(data): def misra97(data):
return return
# 98 There shall be at most one occurance of the # or ## pre-processor operators in a single macro definition # 98
# STATUS: TODO # STATUS: TODO
def misra98(data): def misra98(data):
return return
# 99 All use of #pragma directive shall be documented and explained # 99
# STATUS: TODO # STATUS: TODO
def misra99(data): def misra99(data):
return return
# 100 The defined pre-processor operator shall only be used in one of the two standard forms # 100
# STATUS: TODO # STATUS: TODO
def misra100(data): def misra100(data):
return return
# 101
# Pointers and arrays
# -------------------
# 101 Pointer arithmetic shall not be used
# STATUS: TODO # STATUS: TODO
def misra101(data): def misra101(data):
return return
# 102 No more than 2 levels of pointer indirection should be used # 102
# STATUS: TODO # STATUS: TODO
def misra102(data): def misra102(data):
return return
# 103 Relational operators shall not be applied to pointer types except where both operands are of the same type and point to the same array, structure or union # 103
# STATUS: TODO # STATUS: TODO
def misra103(data): def misra103(data):
return return
# 104 Non-constant pointers to functions shall not be used # 104
# STATUS: TODO # STATUS: TODO
def misra104(data): def misra104(data):
return return
# 105 All functions pointed to by a single pointer to a function shall be identical in the number and type of parameters and the return type # 105
# STATUS: TODO # STATUS: TODO
def misra105(data): def misra105(data):
return return
# 106 The address of an object with automatic storage shall not be assigned to an object which may persist after the object has ceased to exist # 106
# STATUS: TODO # STATUS: TODO
def misra106(data): def misra106(data):
return return
# 107 The null pointer shall not be dereferenced # 107
# STATUS: Cppcheck has this checking # STATUS: Cppcheck has this checking
def misra107(data): def misra107(data):
return return
# 108
# Structures and unions
# ---------------------
# 108 In the specification of a structure or union type, all members of the structure or union shall be fully specified
# STATUS: TODO # STATUS: TODO
def misra108(data): def misra108(data):
return return
# 109 Overlapping variable storage shall not be used # 109
# STATUS: TODO # STATUS: TODO
def misra109(data): def misra109(data):
return return
# 110 Unions shall not be used to access the sub-parts of larger data types # 110
# STATUS: TODO # STATUS: TODO
def misra110(data): def misra110(data):
return return
# 111 Bit fields shall only be defined to be one of type unsigned int or signed int # 111
# STATUS: TODO # STATUS: TODO
def misra111(data): def misra111(data):
return return
# 112 Bit fields of type signed int shall be at least 2 bits long # 112
# STATUS: TODO # STATUS: TODO
def misra112(data): def misra112(data):
return return
# 113 All members of a structure or union shall be named and shall only be access with their name # 113
# STATUS: TODO # STATUS: TODO
def misra113(data): def misra113(data):
return return
# 114
# Standard libraries
# ------------------
# 114 Reserved words and the standard library function names shall not be redefined or undefined
# STATUS: TODO # STATUS: TODO
def misra114(data): def misra114(data):
return return
# 115 Standard library names shall not be reused # 115
# STATUS: TODO # STATUS: TODO
def misra115(data): def misra115(data):
return return
# 116 All libraries used in production code shall be written to comply with the provisions of MISRA # 116
# STATUS: TODO # STATUS: TODO
def misra116(data): def misra116(data):
return return
# 117 The validity of values passed to library functions shall be checked # 117
# STATUS: Cppcheck (--library) # STATUS: Cppcheck (--library)
def misra117(data): def misra117(data):
return return
# 118 Dynamic heap memory allocation shall not be used # 118
# STATUS: TODO # STATUS: TODO
def misra118(data): def misra118(data):
return return
# 119 The error indicator errno shall not be used # 119
# STATUS: TODO # STATUS: TODO
def misra119(data): def misra119(data):
return return
# 120 The macro offsetof, in library <stddef.h>, shall not be used # 120
# STATUS: TODO # STATUS: TODO
def misra120(data): def misra120(data):
return return
# 121 <local.h> and the setlocale function shall not be used # 121
# STATUS: TODO # STATUS: TODO
def misra121(data): def misra121(data):
return return
# 122 The setjmp macro and the longjmp function shall not be used # 122
# STATUS: TODO # STATUS: TODO
def misra122(data): def misra122(data):
return return
# 123 The signal handling facilities of <signal.h> shall not be used # 123
# STATUS: TODO # STATUS: TODO
def misra123(data): def misra123(data):
return return
# 124 The input/output library <stdio.h> shall not be used in production code # 124
# STATUS: TODO # STATUS: TODO
def misra124(data): def misra124(data):
return return
# 125 The library functions atof,atoi and atol shall not be used # 125
# STATUS: TODO # STATUS: TODO
def misra125(data): def misra125(data):
return return
# 126 The library functions abort,exit,getenv and system shall not be used # 126
# STATUS: TODO # STATUS: TODO
def misra126(data): def misra126(data):
return return
# 127 The time handling functions of library <time.h> shall not be used # 127
# STATUS: TODO # STATUS: TODO
def misra127(data): def misra127(data):
return return