# This file was generated from template 'codesonar/presets/misra.conf.in' # # Configuration settings required by one or more MISRA checks. SCOPE_CHECK_SUGGESTS_LOCAL_STATIC = Yes BOOL_TYPES += bool,true,false # # This part of this file was generated from 'cso_wcmanifest.py' # # At least one of the classes enabled by this preset requires unnormalized C ASTs RETAIN_UNNORMALIZED_C_AST = Yes # At least one of the classes enabled by this preset is incompatible with incremental analysis. INCREMENTAL_BUILD = No # Misra2012:20.11: A macro parameter immediately following a # operator shall not immediately be followed by a ## operator # MisraC2023:20.11: A macro parameter immediately following a # operator shall not immediately be followed by a ## operator # MisraC2025:20.11: A macro parameter immediately following a # operator shall not immediately be followed by a ## operator WARNING_FILTER += allow class="## Follows # Operator" language=c # Misra2004:2.3: The character sequence /* shall not be used within a comment # Misra2012:3.1: The character sequences /* and // shall not be used within a comment # MisraC2023:3.1: The character sequences /* and // shall not be used within a comment # MisraC2025:3.1: The character sequences /* and // shall not be used within a comment WARNING_FILTER += allow class="/* in // Comment" language=c # Misra2012:3.1: The character sequences /* and // shall not be used within a comment # MisraC2023:3.1: The character sequences /* and // shall not be used within a comment # MisraC2025:3.1: The character sequences /* and // shall not be used within a comment WARNING_FILTER += allow class="// in Comment" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked WARNING_FILTER += allow class="Addition Overflow of Allocation Size" language=c # Misra2012:21.18: The size_t argument passed to any function in shall have an appropriate value # MisraC2023:21.18: The size_t argument passed to any function in shall have an appropriate value # MisraC2025:21.18: The size_t argument passed to any function in shall have an appropriate value WARNING_FILTER += allow class="Addition Overflow of Size" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Arctangent Domain Error" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Argument Too High" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Argument Too Low" language=c # Misra2012:17.5: The function argument corresponding to a parameter declared to have an array type shall have an appropriate number of elements # MisraC2023:17.5: The function argument corresponding to a parameter declared to have an array type shall have an appropriate number of elements # MisraC2025:17.5: The function argument corresponding to a parameter declared to have an array type shall have an appropriate number of elements WARNING_FILTER += allow class="Array Parameter Mismatch" language=c # Misra2012:18.9: An object with temporary lifetime shall not undergo array-to-pointer conversion # MisraC2023:18.9: An object with temporary lifetime shall not undergo array-to-pointer conversion # MisraC2025:18.9: An object with temporary lifetime shall not undergo array-to-pointer conversion WARNING_FILTER += allow class="Array to Pointer Conversion on Temporary Object" language=c # Misra2004:13.1: Assignment operators shall not be used in expressions that yield a Boolean value # Misra2012:13.4: The result of an assignment operator should not be used # MisraC2023:13.4: The result of an assignment operator should not be used # MisraC2025:13.4: The result of an assignment operator should not be used WARNING_FILTER += allow class="Assignment Result in Expression" language=c # Misra2004:14.4: The goto statement shall not be used # Misra2012:15.2: The goto statement shall jump to a label declared later in the same function # MisraC2023:15.2: The goto statement shall jump to a label declared later in the same function # MisraC2025:15.2: The goto statement shall jump to a label declared later in the same function WARNING_FILTER += allow class="Backwards goto" language=c # Misra2004:4.1: Only those escape sequences that are defined in the ISO C standard shall be used # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Bad Character Value" language=c # Misra2004:6.3: typedefs that indicate size and signedness should be used in place of the basic numerical types # Misra2012:D.4.6: typedefs that indicate size and signedness should be used in place of the basic numerical types # MisraC2023:D.4.6: typedefs that indicate size and signedness should be used in place of the basic numerical types # MisraC2025:D.4.6: typedefs that indicate size and signedness should be used in place of the basic integer types WARNING_FILTER += allow class="Basic Numerical Type Used" language=c # Misra2004:6.4: Bit fields shall only be defined to be of type unsigned int or signed int # Misra2012:6.1: Bit-fields shall only be declared with an appropriate type # MisraC2023:6.1: Bit-fields shall only be declared with an appropriate type # MisraC2025:6.1: Bit-fields shall only be declared with an appropriate type WARNING_FILTER += allow class="Bit-field Signedness Not Explicit" language=c # Misra2004:18.4: Unions shall not be used # Misra2004:3.5: The implementation defined behaviour and packing of bitfields shall be documented if being relied upon # Misra2012:19.2: The union keyword should not be used # Misra2012:6.3: A bit field shall not be declared as a member of a union # MisraC2023:19.2: The union keyword should not be used # MisraC2023:6.3: A bit field shall not be declared as a member of a union # MisraC2025:19.2: The union keyword should not be used # MisraC2025:6.3: A bit-field shall not be declared as a member of a union WARNING_FILTER += allow class="Bit-field in Union" language=c # Misra2004:14.3: Before preprocessing, a null statement shall only occur on a line by itself; it may be followed by a comment provided that the first character following the null statement is a white-space character # Misra2004:14.8: The statement forming the body of a switch, while, do ... while or for statement shall be a compound statement # Misra2004:14.9: An if (expression) construct shall be followed by a compound statement. The else keyword shall be followed by either a compound statement, or another if statement # Misra2012:15.6: The body of an iteration-statement or a selection-statement shall be a compound-statement # MisraC2023:15.6: The body of an iteration-statement or a selection-statement shall be a compound-statement # MisraC2025:15.6: The body of an iteration-statement or a selection-statement shall be a compound-statement WARNING_FILTER += allow class="Body Is Not Compound Statement" language=c # Misra2004:15.4: A switch expression shall not represent a value that is effectively Boolean # Misra2012:16.7: A switch-expression shall not have essentially Boolean type # MisraC2023:16.7: A switch-expression shall not have essentially Boolean type # MisraC2025:16.7: A switch-expression shall not have essentially Boolean type WARNING_FILTER += allow class="Boolean switch Expression" language=c # Misra2004:17.1: Pointer arithmetic shall only be applied to pointers that address an array or array element # Misra2004:17.2: Pointer subtraction shall only be applied to pointers that address elements of the same array # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # Misra2012:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2023:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2025:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Buffer Overrun" language=c # Misra2004:17.1: Pointer arithmetic shall only be applied to pointers that address an array or array element # Misra2004:17.2: Pointer subtraction shall only be applied to pointers that address elements of the same array # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # Misra2012:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2023:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2025:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Buffer Underrun" language=c # Misra2004:1.1: All code shall conform to ISO/IEC 9899:1990 "Programming languages C", amended and corrected by ISO/IEC 9899/COR1:1995, ISO/IEC 9899/AMD1:1995, and ISO/IEC 9899/COR2:1996 # Misra2004:2.2: Source code shall only use /* ... */ style comments # Misra2012:1.2: Language extensions should not be used # MisraC2023:1.2: Language extensions should not be used # MisraC2025:D.1.2: The use of language extensions should be minimized WARNING_FILTER += allow class="C++ Comment in C" language=c # Misra2012:10.3: The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category # MisraC2023:10.3: The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category # MisraC2025:10.3: The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Cast Alters Value" language=c # Misra2004:11.5: A cast shall not be performed that removes any const or volatile qualification from the type addressed by a pointer # Misra2012:11.8: A conversion shall not remove any const, volatile or _Atomic qualification from the type pointed to by a pointer # MisraC2023:11.8: A conversion shall not remove any const, volatile or _Atomic qualification from the type pointed to by a pointer # MisraC2025:11.8: A conversion shall not remove any const, volatile or _Atomic qualification from the type pointed to by a pointer WARNING_FILTER += allow class="Cast Removes const Qualifier" language=c # Misra2004:11.5: A cast shall not be performed that removes any const or volatile qualification from the type addressed by a pointer # Misra2012:11.8: A conversion shall not remove any const, volatile or _Atomic qualification from the type pointed to by a pointer # MisraC2023:11.8: A conversion shall not remove any const, volatile or _Atomic qualification from the type pointed to by a pointer # MisraC2025:11.8: A conversion shall not remove any const, volatile or _Atomic qualification from the type pointed to by a pointer WARNING_FILTER += allow class="Cast Removes volatile Qualifier" language=c # Misra2004:11.3: A cast should not be performed between a pointer type and an integral type # Misra2012:11.6: A cast shall not be performed between pointer to void and an arithmetic type # MisraC2023:11.6: A cast shall not be performed between pointer to void and an arithmetic type # MisraC2025:11.6: A cast shall not be performed between pointer to void and an arithmetic type WARNING_FILTER += allow class="Cast: Arithmetic Type/Void Pointer" language=c # Misra2004:11.2: Conversions shall not be performed between a pointer to object and any type other than an integral type, another pointer to object type or a pointer to void # Misra2012:11.7: A cast shall not be performed between pointer to object and a non-integer arithmetic type # MisraC2023:11.7: A cast shall not be performed between pointer to object and a non-integer arithmetic type # MisraC2025:11.4: A conversion shall not be performed between a pointer to object and an arithmetic type WARNING_FILTER += allow class="Cast: Non-integer Arithmetic Type/Object Pointer" language=c # Misra2004:11.4: A cast should not be performed between a pointer to object type and a different pointer to object type # Misra2012:11.3: A conversion shall not be performed between a pointer to object type and a pointer to a different object type # MisraC2023:11.3: A conversion shall not be performed between a pointer to object type and a pointer to a different object type # MisraC2025:11.3: A conversion shall not be performed between a pointer to object type and a pointer to a different object type WARNING_FILTER += allow class="Cast: Object Pointers" language=c # Misra2004:11.4: A cast should not be performed between a pointer to object type and a different pointer to object type WARNING_FILTER += allow class="Cast: Virtual Base to Derived" language=c # Misra2004:19.1: #include statements in a file should only be preceded by other preprocessor directives or comments # Misra2012:20.1: #include directives should only be preceded by preprocessor directives or comments # MisraC2023:20.1: #include directives should only be preceded by preprocessor directives or comments # MisraC2025:20.1: #include directives should only be preceded by preprocessor directives or comments WARNING_FILTER += allow class="Code Before #include" language=c # Misra2004:12.11: Evaluation of constant unsigned integer expressions should not lead to wraparound # Misra2012:10.3: The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category # Misra2012:12.4: Evaluation of constant expressions should not lead to unsigned integer wrap-around # MisraC2023:10.3: The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category # MisraC2023:12.4: Evaluation of constant expressions should not lead to unsigned integer wrap-around # MisraC2025:10.3: The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category # MisraC2025:12.4: Evaluation of constant expressions should not lead to unsigned integer wrap-around # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Coercion Alters Value" language=c # Misra2012:11.9: The macro NULL shall be the only permitted form of integer null pointer constant # MisraC2023:11.9: The macro NULL shall be the only permitted form of integer null pointer constant # MisraC2025:11.9: The macro NULL shall be the only permitted form of integer null pointer constant WARNING_FILTER += allow class="Coercion: Integer Constant to Pointer" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Command Injection" language=c # Misra2004:2.4: Sections of code should not be "commented out" # Misra2012:D.4.4: Sections of code should not be "commented out" # MisraC2023:D.4.4: Sections of code should not be "commented out" # MisraC2025:D.4.4: Sections of code should not be "commented out" WARNING_FILTER += allow class="Commented-out Code" language=c # Misra2004:17.3: >, >=, <, <= shall not be applied to pointer types except where they point to the same array # Misra2012:18.3: The relational operators >, >=, < and <= shall not be applied to expressions of pointer type except where they point into the same object # MisraC2023:18.3: The relational operators >, >=, < and <= shall not be applied to expressions of pointer type except where they point into the same object # MisraC2025:18.3: The relational operators >, >=, < and <= shall not be applied to expressions of pointer type except where they point into the same object # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Comparison of Unrelated Pointers" language=c # Misra2012:D.2.1: All source files shall compile without any compilation errors # MisraC2023:D.2.1: All source files shall compile without any compilation errors # MisraC2025:D.2.1: All source files shall compile without any compilation errors WARNING_FILTER += allow class="Compilation Error in File" language=c # Misra2004:13.2: Tests of a value against zero should be made explicit, unless the operand is effectively Boolean # Misra2012:14.4: The controlling expression of an if statement and the controlling expression of an iteration-statement shall have essentially Boolean type # MisraC2023:14.4: The controlling expression of an if statement and the controlling expression of an iteration-statement shall have essentially Boolean type # MisraC2025:14.4: The controlling expression of an if statement and the controlling expression of an iteration-statement shall have essentially Boolean type WARNING_FILTER += allow class="Condition Is Not Boolean" language=c # Misra2012:22.16: All mutex objects locked by a thread shall be explicitly unlocked by the same thread # MisraC2023:22.16: All mutex objects locked by a thread shall be explicitly unlocked by the same thread # MisraC2025:22.16: All mutex objects locked by a thread shall be explicitly unlocked by the same thread WARNING_FILTER += allow class="Conflicting Lock Order" language=c # Misra2012:7.3: The lowercase character "l" shall not be used in a literal suffix # MisraC2023:7.3: The lowercase character "l" shall not be used in a literal suffix # MisraC2025:7.3: The lowercase character "l" shall not be used in a literal suffix WARNING_FILTER += allow class="Confusing Literal Suffix" language=c # Misra2004:14.5: The continue statement shall not be used WARNING_FILTER += allow class="Continue Statement" language=c # Misra2012:11.1: Conversions shall not be performed between a pointer to a function and any other type # MisraC2023:11.1: Conversions shall not be performed between a pointer to a function and any other type # MisraC2025:11.1: Conversions shall not be performed between a pointer to a function and any other type WARNING_FILTER += allow class="Conversion from Function Pointer" language=c # Misra2012:11.1: Conversions shall not be performed between a pointer to a function and any other type # MisraC2023:11.1: Conversions shall not be performed between a pointer to a function and any other type # MisraC2025:11.1: Conversions shall not be performed between a pointer to a function and any other type WARNING_FILTER += allow class="Conversion to Function Pointer" language=c # Misra2004:11.2: Conversions shall not be performed between a pointer to object and any type other than an integral type, another pointer to object type or a pointer to void # Misra2004:11.3: A cast should not be performed between a pointer type and an integral type # Misra2012:11.2: Conversions shall not be performed between a pointer to an incomplete type and any other type # MisraC2023:11.2: Conversions shall not be performed between a pointer to an incomplete type and any other type # MisraC2025:11.2: Conversions shall not be performed between a pointer to an incomplete type and any other type WARNING_FILTER += allow class="Conversion: Pointer to Incomplete" language=c # Misra2004:11.3: A cast should not be performed between a pointer type and an integral type # Misra2012:11.4: A conversion should not be performed between a pointer to object and an integer type # MisraC2023:11.4: A conversion should not be performed between a pointer to object and an integer type # MisraC2025:11.4: A conversion shall not be performed between a pointer to object and an arithmetic type WARNING_FILTER += allow class="Conversion: Pointer/Integer" language=c # Misra2004:11.2: Conversions shall not be performed between a pointer to object and any type other than an integral type, another pointer to object type or a pointer to void # Misra2012:11.5: A conversion should not be performed from pointer to void into pointer to object # MisraC2023:11.5: A conversion should not be performed from pointer to void into pointer to object # MisraC2025:11.5: A conversion should not be performed from pointer to void into pointer to object WARNING_FILTER += allow class="Conversion: Void Pointer to Object Pointer" language=c # Misra2004:11.1: Conversions shall not be performed between a pointer to a function and any type other than an integral type # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:11.1: Conversions shall not be performed between a pointer to a function and any other type # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:11.1: Conversions shall not be performed between a pointer to a function and any other type # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:11.1: Conversions shall not be performed between a pointer to a function and any other type # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Dangerous Function Cast" language=c # Misra2004:19.2: Non-standard characters should not occur in header file names in #include directives # Misra2012:20.2: The ', " or \ characters and the /* or // character sequences shall not occur in a header file name # MisraC2023:20.2: The ', " or \ characters and the /* or // character sequences shall not occur in a header file name # MisraC2025:20.2: The ', " or \ characters and the /* or // character sequences shall not occur in a header file name WARNING_FILTER += allow class="Dangerous Include File Name" language=c # Misra2012:D.5.1: There shall be no data races between threads # MisraC2023:D.5.1: There shall be no data races between threads # MisraC2025:D.5.1: There shall be no data races between threads WARNING_FILTER += allow class="Data Race" language=c # Misra2012:D.5.2: There shall be no deadlocks between threads # MisraC2023:D.5.2: There shall be no deadlocks between threads # MisraC2025:D.5.2: There shall be no deadlocks between threads # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Deadlock" language=c # Misra2012:18.7: Flexible array members shall not be declared # MisraC2023:18.7: Flexible array members shall not be declared # MisraC2025:18.7: Flexible array members shall not be declared WARNING_FILTER += allow class="Declaration of Flexible Array Member" language=c # Misra2004:20.2: The names of standard library macros, objects and functions shall not be reused # Misra2012:21.2: A reserved identifier or reserved macro name shall not be declared # MisraC2023:21.2: A reserved identifier or reserved macro name shall not be declared # MisraC2025:5.10: A reserved identifier or reserved macro name shall not be declared WARNING_FILTER += allow class="Declaration of Reserved Name" language=c # Misra2012:18.8: Variable-length array types shall not be used # MisraC2023:18.8: Variable-length arrays shall not be used # MisraC2025:18.8: Variable-length arrays shall not be used WARNING_FILTER += allow class="Declaration of Variable Length Array" language=c # Misra2012:2.8: A project should not contain unused object definitions # MisraC2023:2.8: A project should not contain unused object definitions # MisraC2025:2.8: A project should not contain unused object definitions WARNING_FILTER += allow class="Declared but Not Referenced" language=c # Misra2004:11.4: A cast should not be performed between a pointer to object type and a different pointer to object type WARNING_FILTER += allow class="Derived Class From Virtual Base" language=c # Misra2012:12.6: Structure and union members of atomic objects shall not be directly accessed # MisraC2023:12.6: Structure and union members of atomic objects shall not be directly accessed # MisraC2025:12.6: Structure and union members of atomic objects shall not be directly accessed # This check is enabled by default for the language(s) C # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Direct Access to Field of C Atomic Object" language=c # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Division By Zero" language=c # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Double Close" language=c # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Double Free" language=c # Misra2012:22.18: Non-recursive mutexes shall not be recursively locked # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:22.18: Non-recursive mutexes shall not be recursively locked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:22.18: Non-recursive mutexes shall not be recursively locked # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Double Lock" language=c # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Double Unlock" language=c # Misra2004:20.4: Dynamic heap memory allocation shall not be used # Misra2012:21.3: The memory allocation and deallocation functions of shall not be used # Misra2012:D.4.12: Dynamic memory allocation shall not be used # MisraC2023:21.3: The memory allocation and deallocation functions of shall not be used # MisraC2023:D.4.12: Dynamic memory allocation shall not be used # MisraC2025:21.3: The memory allocation and deallocation functions of shall not be used # MisraC2025:D.4.12: Dynamic memory allocation shall not be used WARNING_FILTER += allow class="Dynamic Allocation After Initialization" language=c # Misra2012:D.5.3: There shall be no dynamic thread creation # MisraC2023:D.5.3: There shall be no dynamic thread creation # MisraC2025:D.5.3: There shall be no dynamic thread creation WARNING_FILTER += allow class="Dynamic Thread Creation" language=c # Misra2004:16.1: Functions shall not be defined with variable numbers of arguments WARNING_FILTER += allow class="Ellipsis" language=c # Misra2012:22.12: Thread objects, thread synchronization objects, and thread-specific storage pointers shall only be accessed by the appropriate Standard Library functions # MisraC2023:22.12: Thread objects, thread synchronization objects, and thread-specific storage pointers shall only be accessed by the appropriate Standard Library functions # MisraC2025:22.12: Thread objects, thread synchronization objects, and thread-specific storage pointers shall only be accessed by the appropriate Standard Library functions WARNING_FILTER += allow class="Encapsulation Violation" language=c # Misra2012:23.7: A generic selection that is expanded from a macro should evaluate its argument only once # MisraC2023:23.7: A generic selection that is expanded from a macro should evaluate its argument only once # MisraC2025:23.7: A generic selection that is expanded from a macro should evaluate its argument only once WARNING_FILTER += allow class="Excessive Macro Parameter Evaluation in C Generic" language=c # Misra2012:1.4: Emergent language features shall not be used # Misra2012:2.2: A project shall not contain dead code # Misra2012:8.16: The alignment specification of zero should not appear in an object declaration # MisraC2023:1.4: Emergent language features shall not be used # MisraC2023:2.2: A project shall not contain dead code # MisraC2023:8.16: The alignment specification of zero should not appear in an object declaration # MisraC2025:1.4: Emergent language features shall not be used # MisraC2025:2.2: A project shall not contain dead code # MisraC2025:8.16: The alignment specification of zero should not appear in an object declaration WARNING_FILTER += allow class="Explicit Zero Alignment" language=c # Misra2004:10.1: The value of an expression of integer type shall not be implicitly converted to a different underlying type if: (a) it is not a conversion to a wider integer type of the same signedness, or (b) the expression is complex, or (c) the expression is not constant and is a function argument, or (d) the expression is not constant and is a return expression # Misra2004:10.2: The value of an expression of floating type shall not be implicitly converted to a different type if: (a) it is not a conversion to a wider floating type, or (b) the expression is complex, or (c) the expression is a function argument, or (d) the expression is a return expression # Misra2012:10.6: The value of a composite expression shall not be assigned to an object with wider essential type # MisraC2023:10.6: The value of a composite expression shall not be assigned to an object with wider essential type # MisraC2025:10.6: The value of a composite expression shall not be assigned to an object with wider essential type WARNING_FILTER += allow class="Expression Value Widened by Assignment" language=c # Misra2004:10.1: The value of an expression of integer type shall not be implicitly converted to a different underlying type if: (a) it is not a conversion to a wider integer type of the same signedness, or (b) the expression is complex, or (c) the expression is not constant and is a function argument, or (d) the expression is not constant and is a return expression # Misra2004:10.2: The value of an expression of floating type shall not be implicitly converted to a different type if: (a) it is not a conversion to a wider floating type, or (b) the expression is complex, or (c) the expression is a function argument, or (d) the expression is a return expression # Misra2012:10.7: If a composite expression is used as one operand of an operator in which the usual arithmetic conversions are performed then the other operand shall not have wider essential type # MisraC2023:10.7: If a composite expression is used as one operand of an operator in which the usual arithmetic conversions are performed then the other operand shall not have wider essential type # MisraC2025:10.7: If a composite expression is used as one operand of an operator in which the usual arithmetic conversions are performed then the other operand shall not have wider essential type WARNING_FILTER += allow class="Expression Value Widened by Other Operand" language=c # Misra2004:8.12: When an array is declared with external linkage, its size shall be stated explicitly or defined implicitly by initialisation # Misra2012:8.11: When an array with external linkage is declared, its size should be explicitly specified # MisraC2023:8.11: When an array with external linkage is declared, its size should be explicitly specified # MisraC2025:8.11: When an array with external linkage is declared, its size should be explicitly specified WARNING_FILTER += allow class="Extern Array Without Size" language=c # Misra2012:22.5: A pointer to a FILE object shall not be dereferenced # MisraC2023:22.5: A pointer to a FILE object shall not be dereferenced # MisraC2025:22.5: A pointer to a FILE object shall not be dereferenced WARNING_FILTER += allow class="FILE* Dereference" language=c # Misra2012:22.3: The same file shall not be open for read and write access at the same time on different streams # MisraC2023:22.3: The same file shall not be open for read and write access at the same time on different streams # MisraC2025:22.3: The same file shall not be open for read and write access at the same time on different streams # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="File Open for Both Read and Write" language=c # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Float Division By Zero" language=c # Misra2012:D.4.15: Evaluation of floating-point expressions shall not lead to the undetected generation of infinities and NaNs # MisraC2023:D.4.15: Evaluation of floating-point expressions shall not lead to the undetected generation of infinities and NaNs # MisraC2025:D.4.15: Evaluation of floating-point expressions shall not lead to the undetected generation of infinities and NaNs WARNING_FILTER += allow class="Float Multiplication Overflow" language=c # Misra2004:12.12: The underlying bit representations of floating-point values shall not be used WARNING_FILTER += allow class="Float Pointer Conversion" language=c # Misra2004:13.4: The controlling expression of a for statement shall not contain any objects of floating type # Misra2012:14.1: A loop counter shall not have essentially floating type # MisraC2023:14.1: A loop counter shall not have essentially floating type # MisraC2025:14.1: A loop counter shall not have essentially floating type WARNING_FILTER += allow class="Float-typed Loop Counter" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Floating Point Domain Error" language=c # Misra2004:13.3: Floating-point expressions shall not be tested for equality or inequality # Misra2012:10.1: Operands shall not be of an inappropriate essential type # MisraC2023:10.1: Operands shall not be of an inappropriate essential type # MisraC2025:10.1: Operands shall not be of an inappropriate essential type WARNING_FILTER += allow class="Floating Point Equality" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Floating Point Range Error" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Format String Injection" language=c # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Free Null Pointer" language=c # Misra2004:14.2: All non-null statements shall either (a) have at least one side-effect however executed, or (b) cause control flow to change # Misra2012:2.2: A project shall not contain dead code # MisraC2023:2.2: A project shall not contain dead code # MisraC2025:2.2: A project shall not contain dead code # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Function Call Has No Effect" language=c # Misra2004:8.5: There shall be no definitions of objects or functions in a header file WARNING_FILTER += allow class="Function Defined in Header File" language=c # Misra2004:11.1: Conversions shall not be performed between a pointer to a function and any type other than an integral type # Misra2004:11.2: Conversions shall not be performed between a pointer to object and any type other than an integral type, another pointer to object type or a pointer to void # Misra2004:11.3: A cast should not be performed between a pointer type and an integral type # Misra2012:11.1: Conversions shall not be performed between a pointer to a function and any other type # MisraC2023:11.1: Conversions shall not be performed between a pointer to a function and any other type # MisraC2025:11.1: Conversions shall not be performed between a pointer to a function and any other type WARNING_FILTER += allow class="Function Pointer Conversion" language=c # Misra2004:19.7: A function should be used in preference to a function-like macro # Misra2012:D.4.9: A function should be used in preference to a function-like macro where they are interchangeable # MisraC2023:D.4.9: A function should be used in preference to a function-like macro where they are interchangeable # MisraC2025:D.4.9: A function should be used in preference to a function-like macro where they are interchangeable WARNING_FILTER += allow class="Function-Like Macro" language=c # Misra2004:1.1: All code shall conform to ISO/IEC 9899:1990 "Programming languages C", amended and corrected by ISO/IEC 9899/COR1:1995, ISO/IEC 9899/AMD1:1995, and ISO/IEC 9899/COR2:1996 # Misra2004:2.2: Source code shall only use /* ... */ style comments # Misra2012:1.2: Language extensions should not be used # MisraC2023:1.2: Language extensions should not be used # MisraC2025:D.1.2: The use of language extensions should be minimized WARNING_FILTER += allow class="GNU Extension" language=c # Misra2004:1.1: All code shall conform to ISO/IEC 9899:1990 "Programming languages C", amended and corrected by ISO/IEC 9899/COR1:1995, ISO/IEC 9899/AMD1:1995, and ISO/IEC 9899/COR2:1996 # Misra2004:2.2: Source code shall only use /* ... */ style comments # Misra2012:1.2: Language extensions should not be used # MisraC2023:1.2: Language extensions should not be used # MisraC2025:D.1.2: The use of language extensions should be minimized WARNING_FILTER += allow class="GNU Typeof" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Gamma on Zero" language=c # Misra2004:16.4: The identifiers used in the declaration and definition of a function shall be identical # Misra2004:8.3: For each function parameter the type given in the declaration and definition shall be identical, and the return types shall also be identical # Misra2004:8.4: If objects or functions are declared more than once their types shall be compatible # Misra2012:8.3: All declarations of an object or function shall use the same names and type qualifiers # MisraC2023:8.3: All declarations of an object or function shall use the same names and type qualifiers # MisraC2025:8.3: All declarations of an object or function shall use the same names and type qualifiers WARNING_FILTER += allow class="Global Variable Declared with Different Types" language=c # Misra2004:14.4: The goto statement shall not be used # Misra2012:15.1: The goto statement should not be used # MisraC2023:15.1: The goto statement should not be used # MisraC2025:15.1: The goto statement should not be used WARNING_FILTER += allow class="Goto Statement" language=c # Misra2004:16.10: If a function returns error information, then that error information shall be tested # Misra2012:17.7: The value returned by a function having non-void return type shall be used # Misra2012:D.4.14: The validity of values received from external sources shall be checked # Misra2012:D.4.7: If a function returns error information, then that error information shall be tested # MisraC2023:17.7: The value returned by a function having non-void return type shall be used # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.7: If a function returns error information, then that error information shall be tested # MisraC2025:17.7: The value returned by a function having non-void return type shall be used # MisraC2025:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.7: If a function returns error information, then that error information shall be tested # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Ignored Return Value" language=c # Misra2004:16.9: A function identifier shall only be used with either a preceding &, or with a parenthesised parameter list, which may be empty # Misra2012:17.12: A function identifier should only be used with either a preceding &, or with a parenthesized parameter list # MisraC2023:17.12: A function identifier should only be used with either a preceding &, or with a parenthesized parameter list # MisraC2025:17.12: A function identifier should only be used with either a preceding &, or with a parenthesized parameter list WARNING_FILTER += allow class="Implicit Address of Function" language=c # Misra2004:8.1: Functions shall have prototype declarations and the prototype shall be visible at both the function definition and call # Misra2012:17.3: A function shall not be declared implicitly # MisraC2023:17.3: A function shall not be declared implicitly # MisraC2025:17.3: A function shall not be declared implicitly # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Implicit Function Declaration" language=c # Misra2012:23.5: A generic selection should not depend on implicit pointer type conversion # MisraC2023:23.5: A generic selection should not depend on implicit pointer type conversion # MisraC2025:23.5: A generic selection should not depend on implicit pointer type conversion WARNING_FILTER += allow class="Implicit Pointer Type Conversion in Selection of C Generic" language=c # Misra2004:8.2: Whenever an object or function is declared or defined, its type shall be explicitly stated # Misra2012:8.1: Types shall be explicitly specified # MisraC2023:8.1: Types shall be explicitly specified # MisraC2025:8.1: Types shall be explicitly specified # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Implicit int on main" language=c # Misra2012:21.22: All operand arguments to any type-generic macros declared in shall have an appropriate essential type # MisraC2023:21.22: All operand arguments to any type-generic macros declared in shall have an appropriate essential type # MisraC2025:21.22: All operand arguments to any type-generic macros declared in shall have an appropriate essential type WARNING_FILTER += allow class="Inappropriate Argument to Macro" language=c # Misra2012:7.5: The argument of an integer constant macro shall have an appropriate form # MisraC2023:7.5: The argument of an integer constant macro shall have an appropriate form # MisraC2025:7.5: The argument of an integer constant macro shall have an appropriate form WARNING_FILTER += allow class="Inappropriate Argument to Integer Constant Macro" language=c # Misra2012:21.16: The pointer arguments to the Standard Library function memcmp shall point to either a pointer type, an essentially signed type, an essentially unsigned type, an essentially Boolean type or an essentially enum type # MisraC2023:21.16: The pointer arguments to the Standard Library function memcmp shall point to either a pointer type, an essentially signed type, an essentially unsigned type, an essentially Boolean type or an essentially enum type # MisraC2025:21.16: The pointer arguments to the Standard Library function memcmp shall point to either a pointer type, an essentially signed type, an essentially unsigned type, an essentially Boolean type or an essentially enum type WARNING_FILTER += allow class="Inappropriate Argument to memcmp" language=c # Misra2004:10.1: The value of an expression of integer type shall not be implicitly converted to a different underlying type if: (a) it is not a conversion to a wider integer type of the same signedness, or (b) the expression is complex, or (c) the expression is not constant and is a function argument, or (d) the expression is not constant and is a return expression # Misra2004:10.2: The value of an expression of floating type shall not be implicitly converted to a different type if: (a) it is not a conversion to a wider floating type, or (b) the expression is complex, or (c) the expression is a function argument, or (d) the expression is a return expression # Misra2004:6.1: The plain char type shall be used only for storage and use of character values # Misra2004:6.2: signed and unsigned char type shall be used only for the storage and use of numeric values # Misra2012:10.3: The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category # MisraC2023:10.3: The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category # MisraC2025:10.3: The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category WARNING_FILTER += allow class="Inappropriate Assignment Type" language=c # Misra2012:23.4: A generic association shall list an appropriate type # MisraC2023:23.4: A generic association shall list an appropriate type # MisraC2025:23.4: A generic association shall list an appropriate type WARNING_FILTER += allow class="Inappropriate Association Type in C Generic" language=c # Misra2004:6.4: Bit fields shall only be defined to be of type unsigned int or signed int # Misra2012:6.1: Bit-fields shall only be declared with an appropriate type # MisraC2023:6.1: Bit-fields shall only be declared with an appropriate type # MisraC2025:6.1: Bit-fields shall only be declared with an appropriate type WARNING_FILTER += allow class="Inappropriate Bit-field Type" language=c # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:9.7: Atomic objects shall be appropriately initialized before being accessed # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:9.7: Atomic objects shall be appropriately initialized before being accessed # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:9.7: Atomic objects shall be appropriately initialized before being accessed # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Inappropriate C Atomic Initialization" language=c # Misra2012:10.5: The value of an expression should not be cast to an inappropriate essential type # MisraC2023:10.5: The value of an expression should not be cast to an inappropriate essential type # MisraC2025:10.5: The value of an expression should not be cast to an inappropriate essential type WARNING_FILTER += allow class="Inappropriate Cast Type" language=c # Misra2004:10.3: The value of a complex expression of integer type shall only be cast to a type of the same signedness that is no wider than the underlying type of the expression # Misra2004:10.4: The value of a complex expression of floating type shall only be cast to a floating type that is narrower or of the same size # Misra2012:10.8: The value of a composite expression shall not be cast to a different essential type category or a wider essential type # MisraC2023:10.8: The value of a composite expression shall not be cast to a different essential type category or a wider essential type # MisraC2025:10.8: The value of a composite expression shall not be cast to a different essential type category or a wider essential type WARNING_FILTER += allow class="Inappropriate Cast Type: Expression" language=c # Misra2004:6.1: The plain char type shall be used only for storage and use of character values # Misra2012:10.2: Expressions of essentially character type shall not be used inappropriately in addition and subtraction operations # MisraC2023:10.2: Expressions of essentially character type shall not be used inappropriately in addition and subtraction operations # MisraC2025:10.2: Expressions of essentially character type shall not be used inappropriately in addition and subtraction operations WARNING_FILTER += allow class="Inappropriate Character Arithmetic" language=c # "Inappropriate Include File Specification" is not enabled by this preset. # - All of its relevant categories are more closely related to other classes that are enabled by the preset. # - Misra2004:19.3 is better matched by "Malformed #include" # - Misra2012:20.3 is better matched by "Malformed #include" # - MisraC2023:20.3 is better matched by "Malformed #include" # - MisraC2025:20.3 is better matched by "Malformed #include" # Misra2004:10.1: The value of an expression of integer type shall not be implicitly converted to a different underlying type if: (a) it is not a conversion to a wider integer type of the same signedness, or (b) the expression is complex, or (c) the expression is not constant and is a function argument, or (d) the expression is not constant and is a return expression # Misra2004:10.2: The value of an expression of floating type shall not be implicitly converted to a different type if: (a) it is not a conversion to a wider floating type, or (b) the expression is complex, or (c) the expression is a function argument, or (d) the expression is a return expression # Misra2004:6.1: The plain char type shall be used only for storage and use of character values # Misra2004:6.2: signed and unsigned char type shall be used only for the storage and use of numeric values WARNING_FILTER += allow class="Inappropriate Numeric Assignment" language=c # Misra2004:12.6: The operands of logical operators (&&, || and !) should be effectively Boolean. Expressions that are effectively Boolean should not be used as operands to operators other than (&&, || , !, =, ==, != and ?:) # Misra2004:12.7: Bitwise operators shall not be applied to operands whose underlying type is signed # Misra2004:12.9: The unary minus operator shall not be applied to an expression whose underlying type is unsigned # Misra2004:6.1: The plain char type shall be used only for storage and use of character values # Misra2004:6.2: signed and unsigned char type shall be used only for the storage and use of numeric values # Misra2012:10.1: Operands shall not be of an inappropriate essential type # MisraC2023:10.1: Operands shall not be of an inappropriate essential type # MisraC2025:10.1: Operands shall not be of an inappropriate essential type WARNING_FILTER += allow class="Inappropriate Operand Type" language=c # Misra2012:23.6: The controlling expression of a generic selection shall have an essential type that matches its standard type # MisraC2023:23.6: The controlling expression of a generic selection shall have an essential type that matches its standard type # MisraC2025:23.6: The controlling expression of a generic selection shall have an essential type that matches its standard type WARNING_FILTER += allow class="Inappropriate Selection Type in C Generic" language=c # Misra2012:22.13: Thread objects, thread synchronization objects and thread-specific storage pointers shall have appropriate storage duration # MisraC2023:22.13: Thread objects, thread synchronization objects and thread-specific storage pointers shall have appropriate storage duration # MisraC2025:22.13: Thread objects, thread synchronization objects and thread-specific storage pointers shall have appropriate storage duration WARNING_FILTER += allow class="Inappropriate Storage Duration" language=c # Misra2004:20.5: The error indicator errno shall not be used # Misra2012:22.10: The value of errno shall only be tested when the last function to be called was an errno-setting-function # MisraC2023:22.10: The value of errno shall only be tested when the last function to be called was an errno-setting-function # MisraC2025:22.10: The value of errno shall only be tested when the last function to be called was an errno-setting-function WARNING_FILTER += allow class="Inappropriate Test of Error Code" language=c # Misra2004:19.15: Precautions shall be taken in order to prevent the contents of a header file being included twice # Misra2012:D.4.10: Precautions shall be taken in order to prevent the contents of a header file being included more than once # MisraC2023:D.4.10: Precautions shall be taken in order to prevent the contents of a header file being included more than once # MisraC2025:D.4.10: Precautions shall be taken in order to prevent the contents of a header file being included more than once WARNING_FILTER += allow class="Include File Without Guard" language=c # Misra2004:16.3: Identifiers shall be given for all of the parameters in a function prototype declaration # Misra2004:16.5: Functions with no parameters shall be declared and defined with the parameter list void # Misra2004:16.6: The number of arguments passed to a function shall match the number of parameters # Misra2004:8.1: Functions shall have prototype declarations and the prototype shall be visible at both the function definition and call # Misra2012:1.5: Obsolescent language features shall not be used # Misra2012:8.2: Function types shall be in prototype form with named parameters # MisraC2023:1.5: Obsolescent language features shall not be used # MisraC2023:8.2: Function types shall be in prototype form with named parameters # MisraC2025:1.5: Obsolescent language features shall not be used # MisraC2025:8.2: Function types shall be in prototype form with named parameters # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Incomplete Function Prototype" language=c # Misra2012:1.4: Emergent language features shall not be used # Misra2012:8.15: All declarations of an object with an explicit alignment specification shall specify the same alignment # MisraC2023:1.4: Emergent language features shall not be used # MisraC2023:8.15: All declarations of an object with an explicit alignment specification shall specify the same alignment # MisraC2025:1.4: Emergent language features shall not be used # MisraC2025:8.15: All declarations of an object with an explicit alignment specification shall specify the same alignment WARNING_FILTER += allow class="Inconsistent Alignment Specifications" language=c # Misra2012:9.6: An initializer using chained designators shall not contain initializers without designators # MisraC2023:9.6: An initializer using chained designators shall not contain initializers without designators # MisraC2025:9.6: An initializer using chained designators shall not contain initializers without designators WARNING_FILTER += allow class="Inconsistent Chained Designator Initialization" language=c # Misra2004:9.3: In an enumerator list, the "=" construct shall not be used to explicitly initialise members other than the first, unless all items are explicitly initialised # Misra2012:8.12: Within an enumerator list, the value of an implicitly-specified enumeration constant shall be unique # MisraC2023:8.12: Within an enumerator list, the value of an implicitly-specified enumeration constant shall be unique # MisraC2025:8.12: Within an enumerator list, the value of an implicitly-specified enumeration constant shall be unique WARNING_FILTER += allow class="Inconsistent Enumerator Initialization" language=c # Misra2004:16.4: The identifiers used in the declaration and definition of a function shall be identical # Misra2004:8.3: For each function parameter the type given in the declaration and definition shall be identical, and the return types shall also be identical # Misra2004:8.4: If objects or functions are declared more than once their types shall be compatible # Misra2012:8.3: All declarations of an object or function shall use the same names and type qualifiers # MisraC2023:8.3: All declarations of an object or function shall use the same names and type qualifiers # MisraC2025:8.3: All declarations of an object or function shall use the same names and type qualifiers WARNING_FILTER += allow class="Inconsistent Function Declarations" language=c # Misra2012:23.7: A generic selection that is expanded from a macro should evaluate its argument only once # MisraC2023:23.7: A generic selection that is expanded from a macro should evaluate its argument only once # MisraC2025:23.7: A generic selection that is expanded from a macro should evaluate its argument only once WARNING_FILTER += allow class="Inconsistent Macro Parameter Expansion in C Generic" language=c # Misra2004:16.4: The identifiers used in the declaration and definition of a function shall be identical # Misra2004:8.3: For each function parameter the type given in the declaration and definition shall be identical, and the return types shall also be identical # Misra2004:8.4: If objects or functions are declared more than once their types shall be compatible # Misra2012:8.3: All declarations of an object or function shall use the same names and type qualifiers # MisraC2023:8.3: All declarations of an object or function shall use the same names and type qualifiers # MisraC2025:8.3: All declarations of an object or function shall use the same names and type qualifiers WARNING_FILTER += allow class="Inconsistent Object Declarations" language=c # Misra2012:21.23: All operand arguments to any multi-argument type-generic macros declared in shall have the same standard type # MisraC2023:21.23: All operand arguments to any multi-argument type-generic macros declared in shall have the same standard type # MisraC2025:21.23: All operand arguments to any multi-argument type-generic macros declared in shall have the same standard type WARNING_FILTER += allow class="Inconsistent Types of Arguments to Macro" language=c # Misra2004:12.2: The value of an expression shall be the same under any order of evaluation that the standard permits # Misra2012:13.2: The value of an expression and its persistent side effects shall be the same under all permitted evaluation orders and shall be independent from thread interleaving # MisraC2023:13.2: The value of an expression and its persistent side effects shall be the same under all permitted evaluation orders and shall be independent from thread interleaving # MisraC2025:13.2: The value of an expression and its persistent side effects shall be the same under all permitted evaluation orders and shall be independent from thread interleaving WARNING_FILTER += allow class="Indeterminate Order of Evaluation" language=c # Misra2004:2.1: Assembly language shall be encapsulated and isolated # Misra2012:D.4.3: Assembly language shall be encapsulated and isolated # MisraC2023:D.4.3: Assembly language shall be encapsulated and isolated # MisraC2025:D.4.3: Assembly language shall be encapsulated and isolated WARNING_FILTER += allow class="Inline Assembly Code" language=c # Misra2012:8.10: An inline function shall be declared with the static storage class # MisraC2023:8.10: An inline function shall be declared with the static storage class # MisraC2025:8.10: An inline function shall be declared with the static storage class WARNING_FILTER += allow class="Inline Function Not static" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Integer Overflow of Allocation Size" language=c # Misra2012:20.13: A line whose first token is # shall be a valid preprocessing directive # MisraC2023:20.13: A line whose first token is # shall be a valid preprocessing directive # MisraC2025:20.13: A line whose first token is # shall be a valid preprocessing directive WARNING_FILTER += allow class="Invalid Preprocessor Directive" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="LDAP Injection" language=c # Misra2004:14.4: The goto statement shall not be used # Misra2012:15.3: Any label referenced by a goto statement shall be declared in the same block, or in any block enclosing the goto statement # MisraC2023:15.3: Any label referenced by a goto statement shall be declared in the same block, or in any block enclosing the goto statement # MisraC2025:15.3: Any label referenced by a goto statement shall be declared in the same block, or in any block enclosing the goto statement WARNING_FILTER += allow class="Label Not In Enclosing Block" language=c # Misra2012:22.1: All resources obtained dynamically by means of Standard Library functions shall be explicitly released # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:22.1: All resources obtained dynamically by means of Standard Library functions shall be explicitly released # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:22.1: All resources obtained dynamically by means of Standard Library functions shall be explicitly released # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Leak" language=c # Misra2004:5.7: No identifier name should be reused # Misra2012:5.8: Identifiers that define objects or functions with external linkage shall be unique # Misra2012:5.9: Identifiers that define objects or functions with internal linkage should be unique # MisraC2023:5.8: Identifiers that define objects or functions with external linkage shall be unique # MisraC2023:5.9: Identifiers that define objects or functions with internal linkage should be unique # MisraC2025:5.8: Identifiers that define objects or functions with external linkage shall be unique # MisraC2025:5.9: Identifiers that define objects or functions with internal linkage should be unique WARNING_FILTER += allow class="Library Function Override" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Library Injection" language=c # Misra2012:3.2: Line-splicing shall not be used in // comments # MisraC2023:3.2: Line-splicing shall not be used in // comments # MisraC2025:3.2: Line-splicing shall not be used in // comments WARNING_FILTER += allow class="Line Splicing in Comment" language=c # Misra2012:22.18: Non-recursive mutexes shall not be recursively locked # MisraC2023:22.18: Non-recursive mutexes shall not be recursively locked # MisraC2025:22.18: Non-recursive mutexes shall not be recursively locked WARNING_FILTER += allow class="Locked Twice" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Logarithm on Negative Value" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Logarithm on Zero" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="MAX_PATH Exceeded" language=c # Misra2004:19.13: The # and ## preprocessor operators should not be used # Misra2012:20.10: The # and ## preprocessor operators should not be used # Misra2012:20.12: A macro parameter used as an operand to the # or ## operators, which is itself subject to further macro replacement, shall only be used as an operand to these operators # MisraC2023:20.10: The # and ## preprocessor operators should not be used # MisraC2023:20.12: A macro parameter used as an operand to the # or ## operators, which is itself subject to further macro replacement, shall only be used as an operand to these operators # MisraC2025:20.10: The # and ## preprocessor operators should not be used # MisraC2025:20.12: A macro parameter used as an operand to the # or ## operators, which is itself subject to further macro replacement, shall only be used as an operand to these operators WARNING_FILTER += allow class="Macro Argument is both Mixed and Expanded" language=c # Misra2004:19.5: Macros shall not be #define'd or #undef'd within a block WARNING_FILTER += allow class="Macro Defined in Function Body" language=c # Misra2004:20.1: Reserved identifiers, macros and functions in the standard library, shall not be defined, redefined or undefined # Misra2012:1.5: Obsolescent language features shall not be used # Misra2012:21.1: #define and #undef shall not be used on a reserved identifier or reserved macro name # MisraC2023:1.5: Obsolescent language features shall not be used # MisraC2023:21.1: #define and #undef shall not be used on a reserved identifier or reserved macro name # MisraC2025:1.5: Obsolescent language features shall not be used # MisraC2025:20.15: #define and #undef shall not be used on a reserved identifier or reserved macro name WARNING_FILTER += allow class="Macro Definition of Reserved Name" language=c # Misra2004:19.4: C macros shall only expand to a braced initialiser, a constant, a string literal, a parenthesised expression, a type qualifier, a storage class specifier, or a do-whilezero construct # Misra2012:20.4: A macro shall not be defined with the same name as a keyword # MisraC2023:20.4: A macro shall not be defined with the same name as a keyword # MisraC2025:20.4: A macro shall not be defined with the same name as a keyword WARNING_FILTER += allow class="Macro Name is C Keyword" language=c # Misra2012:20.7: Expressions resulting from the expansion of macro parameters shall be enclosed in parentheses # MisraC2023:20.7: Expressions resulting from the expansion of macro parameters shall be enclosed in parentheses # MisraC2025:20.7: Expressions resulting from the expansion of macro parameters shall be appropriately delimited WARNING_FILTER += allow class="Macro Parameter Not Parenthesized" language=c # Misra2004:19.5: Macros shall not be #define'd or #undef'd within a block WARNING_FILTER += allow class="Macro Undefined in Function Body" language=c # Misra2004:19.6: #undef shall not be used # Misra2004:20.1: Reserved identifiers, macros and functions in the standard library, shall not be defined, redefined or undefined # Misra2012:20.5: #undef should not be used # Misra2012:21.1: #define and #undef shall not be used on a reserved identifier or reserved macro name # MisraC2023:20.5: #undef should not be used # MisraC2023:21.1: #define and #undef shall not be used on a reserved identifier or reserved macro name # MisraC2025:20.15: #define and #undef shall not be used on a reserved identifier or reserved macro name # MisraC2025:20.5: #undef should not be used WARNING_FILTER += allow class="Macro Undefinition of Reserved Name" language=c # Misra2004:19.13: The # and ## preprocessor operators should not be used # Misra2012:20.10: The # and ## preprocessor operators should not be used # MisraC2023:20.10: The # and ## preprocessor operators should not be used # MisraC2025:20.10: The # and ## preprocessor operators should not be used WARNING_FILTER += allow class="Macro Uses # Operator" language=c # Misra2004:19.13: The # and ## preprocessor operators should not be used # Misra2012:20.10: The # and ## preprocessor operators should not be used # Misra2012:20.12: A macro parameter used as an operand to the # or ## operators, which is itself subject to further macro replacement, shall only be used as an operand to these operators # MisraC2023:20.10: The # and ## preprocessor operators should not be used # MisraC2023:20.12: A macro parameter used as an operand to the # or ## operators, which is itself subject to further macro replacement, shall only be used as an operand to these operators # MisraC2025:20.10: The # and ## preprocessor operators should not be used # MisraC2025:20.12: A macro parameter used as an operand to the # or ## operators, which is itself subject to further macro replacement, shall only be used as an operand to these operators WARNING_FILTER += allow class="Macro Uses ## Operator" language=c # Misra2004:19.3: The #include directive shall be followed by either a or "filename" sequence # Misra2012:20.3: The #include directive shall be followed by either a or "filename" sequence # MisraC2023:20.3: The #include directive shall be followed by either a or "filename" sequence # MisraC2025:20.3: The #include directive shall be followed by either a or "filename" sequence WARNING_FILTER += allow class="Malformed #include" language=c # Misra2004:13.5: The three expressions of a for statement shall be concerned only with loop control # Misra2004:13.6: Numeric variables being used within a for loop for iteration counting shall not be modified in the body of the loop # Misra2012:14.2: A for loop shall be well-formed # MisraC2023:14.2: A for loop shall be well-formed # MisraC2025:14.2: A for loop shall be well-formed WARNING_FILTER += allow class="Malformed for-loop Condition" language=c # Misra2004:13.5: The three expressions of a for statement shall be concerned only with loop control # Misra2004:13.6: Numeric variables being used within a for loop for iteration counting shall not be modified in the body of the loop # Misra2012:14.2: A for loop shall be well-formed # MisraC2023:14.2: A for loop shall be well-formed # MisraC2025:14.2: A for loop shall be well-formed WARNING_FILTER += allow class="Malformed for-loop Initialization" language=c # Misra2012:14.2: A for loop shall be well-formed # MisraC2023:14.2: A for loop shall be well-formed # MisraC2025:14.2: A for loop shall be well-formed WARNING_FILTER += allow class="Malformed for-loop Step" language=c # Misra2004:15.0: The MISRA C switch syntax shall be used # Misra2012:16.1: All switch statements shall be well-formed # MisraC2023:16.1: All switch statements shall be well-formed # MisraC2025:16.1: All switch statements shall be well-formed WARNING_FILTER += allow class="Malformed switch Statement" language=c # Misra2004:1.1: All code shall conform to ISO/IEC 9899:1990 "Programming languages C", amended and corrected by ISO/IEC 9899/COR1:1995, ISO/IEC 9899/AMD1:1995, and ISO/IEC 9899/COR2:1996 # Misra2004:2.2: Source code shall only use /* ... */ style comments # Misra2012:1.2: Language extensions should not be used # MisraC2023:1.2: Language extensions should not be used # MisraC2025:D.1.2: The use of language extensions should be minimized WARNING_FILTER += allow class="Microsoft Extension" language=c # Misra2012:21.15: The pointer arguments to the Standard Library functions memcpy, memmove and memcmp shall be pointers to qualified or unqualified versions of compatible types # MisraC2023:21.15: The pointer arguments to the Standard Library functions memcpy, memmove and memcmp shall be pointers to qualified or unqualified versions of compatible types # MisraC2025:21.15: The pointer arguments to the Standard Library functions memcpy, memmove and memcmp shall be pointers to qualified or unqualified versions of compatible types WARNING_FILTER += allow class="Mismatched Argument Types" language=c # Misra2004:10.1: The value of an expression of integer type shall not be implicitly converted to a different underlying type if: (a) it is not a conversion to a wider integer type of the same signedness, or (b) the expression is complex, or (c) the expression is not constant and is a function argument, or (d) the expression is not constant and is a return expression # Misra2004:10.2: The value of an expression of floating type shall not be implicitly converted to a different type if: (a) it is not a conversion to a wider floating type, or (b) the expression is complex, or (c) the expression is a function argument, or (d) the expression is a return expression # Misra2004:6.1: The plain char type shall be used only for storage and use of character values # Misra2004:6.2: signed and unsigned char type shall be used only for the storage and use of numeric values # Misra2012:10.4: Both operands of an operator in which the usual arithmetic conversions are performed shall have the same essential type category # MisraC2023:10.4: Both operands of an operator in which the usual arithmetic conversions are performed shall have the same essential type category # MisraC2025:10.4: Both operands of an operator in which the usual arithmetic conversions are performed shall have the same essential type category WARNING_FILTER += allow class="Mismatched Operand Types" language=c # Misra2012:23.8: A default association shall appear as either the first or the last association of a generic selection # MisraC2023:23.8: A default association shall appear as either the first or the last association of a generic selection # MisraC2025:23.8: A default association shall appear as either the first or the last association of a generic selection WARNING_FILTER += allow class="Misplaced Default Association in C Generic" language=c # Misra2004:14.7: A function shall have a single point of exit at the end of the function # Misra2012:15.5: A function should have a single point of exit at the end # MisraC2023:15.5: A function should have a single point of exit at the end # MisraC2025:15.5: A function should have a single point of exit at the end WARNING_FILTER += allow class="Misplaced Return Statement" language=c # Misra2004:15.1: A switch label shall only be used when the most closely-enclosing compound statement is the body of a switch statement # Misra2012:16.2: A switch label shall only be used when the most closely-enclosing compound statement is the body of a switch statement # MisraC2023:16.2: A switch label shall only be used when the most closely-enclosing compound statement is the body of a switch statement # MisraC2025:16.2: A switch label shall only be used when the most closely-enclosing compound statement is the body of a switch statement WARNING_FILTER += allow class="Misplaced case" language=c # Misra2004:15.3: The final clause of a switch statement shall be the default clause # Misra2012:16.5: A default label shall appear as either the first or the last switch label of a switch statement # MisraC2023:16.5: A default label shall appear as either the first or the last switch label of a switch statement # MisraC2025:16.5: A default label shall appear as either the first or the last switch label of a switch statement WARNING_FILTER += allow class="Misplaced default" language=c # Misra2004:9.2: Braces shall be used to indicate and match the structure in the non-zero initialisation of arrays and structures # Misra2012:9.2: The initializer for an aggregate or union shall be enclosed in braces # MisraC2023:9.2: The initializer for an aggregate or union shall be enclosed in braces # MisraC2025:9.2: The initializer for an aggregate or union shall be enclosed in braces WARNING_FILTER += allow class="Missing Braces in Initialization" language=c # Misra2004:8.2: Whenever an object or function is declared or defined, its type shall be explicitly stated # Misra2012:8.1: Types shall be explicitly specified # MisraC2023:8.1: Types shall be explicitly specified # MisraC2025:8.1: Types shall be explicitly specified # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Missing Declaration Specifiers" language=c # Misra2004:8.8: An external object or function shall be declared in one and only one file # Misra2012:8.5: An external object or function shall be declared once in one and only one file # MisraC2023:8.5: An external object or function shall be declared once in one and only one file # MisraC2025:8.5: An external object or function shall be declared once in one and only one file WARNING_FILTER += allow class="Missing External Declaration" language=c # Misra2004:8.9: An identifier with external linkage shall have exactly one external definition # Misra2012:8.6: An identifier with external linkage shall have exactly one external definition # MisraC2023:8.6: An identifier with external linkage shall have exactly one external definition # MisraC2025:8.6: An identifier with external linkage shall have exactly one external definition WARNING_FILTER += allow class="Missing External Definition" language=c # Misra2004:14.10: All if . else if constructs shall be terminated with an else clause # Misra2012:15.7: All if ... else if constructs shall be terminated with an else statement # MisraC2023:15.7: All if ... else if constructs shall be terminated with an else statement # MisraC2025:15.7: All if ... else if constructs shall be terminated with an else statement WARNING_FILTER += allow class="Missing Final else" language=c # Misra2004:10.6: A "U" suffix shall be applied to all constants of unsigned type # Misra2012:7.2: A "u" or "U" suffix shall be applied to all integer constants that are represented in an unsigned type # MisraC2023:7.2: A "u" or "U" suffix shall be applied to all integer constants that are represented in an unsigned type # MisraC2025:7.2: A "u" or "U" suffix shall be applied to all integer constants that are represented in an unsigned type WARNING_FILTER += allow class="Missing Literal Suffix" language=c # Misra2012:22.17: No thread shall unlock a mutex or call cnd_wait() or cnd_timedwait() for a mutex it has not locked before # MisraC2023:22.17: No thread shall unlock a mutex or call cnd_wait() or cnd_timedwait() for a mutex it has not locked before # MisraC2025:22.17: No thread shall unlock a mutex or call cnd_wait() or cnd_timedwait() for a mutex it has not locked before WARNING_FILTER += allow class="Missing Lock Acquisition" language=c # Misra2012:22.16: All mutex objects locked by a thread shall be explicitly unlocked by the same thread # MisraC2023:22.16: All mutex objects locked by a thread shall be explicitly unlocked by the same thread # MisraC2025:22.16: All mutex objects locked by a thread shall be explicitly unlocked by the same thread WARNING_FILTER += allow class="Missing Lock Release" language=c # Misra2012:23.3: A generic selection should contain at least one non-default association # MisraC2023:23.3: A generic selection should contain at least one non-default association # MisraC2025:23.3: A generic selection should contain at least one non-default association WARNING_FILTER += allow class="Missing Non-default Association in C Generic" language=c # Misra2004:12.1: Limited dependence should be placed on C's operator precedence rules in expressions # Misra2012:12.1: The precedence of operators within expressions should be made explicit # MisraC2023:12.1: The precedence of operators within expressions should be made explicit # MisraC2025:12.1: The precedence of operators within expressions should be made explicit WARNING_FILTER += allow class="Missing Parentheses" language=c # Misra2004:16.8: All exit paths from a function with non-void return type shall have an explicit return statement with an expression # Misra2012:17.4: All exit paths from a function with non-void return type shall have an explicit return statement with an expression # MisraC2023:17.4: All exit paths from a function with non-void return type shall have an explicit return statement with an expression # MisraC2025:17.4: All exit paths from a function with non-void return type shall have an explicit return statement with an expression # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Missing Return Statement" language=c # Misra2004:16.8: All exit paths from a function with non-void return type shall have an explicit return statement with an expression # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Missing Return Value" language=c # Misra2004:16.10: If a function returns error information, then that error information shall be tested # Misra2012:22.9: The value of errno shall be tested against zero after calling an errno-setting-function # Misra2012:D.4.7: If a function returns error information, then that error information shall be tested # MisraC2023:22.9: The value of errno shall be tested against zero after calling an errno-setting-function # MisraC2023:D.4.7: If a function returns error information, then that error information shall be tested # MisraC2025:22.9: The value of errno shall be tested against zero after calling an errno-setting-function # MisraC2025:D.4.7: If a function returns error information, then that error information shall be tested WARNING_FILTER += allow class="Missing Test of Error Code" language=c # Misra2004:8.2: Whenever an object or function is declared or defined, its type shall be explicitly stated # Misra2012:8.1: Types shall be explicitly specified # MisraC2023:8.1: Types shall be explicitly specified # MisraC2025:8.1: Types shall be explicitly specified # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Missing Type Specifier" language=c # Misra2004:15.2: An unconditional break statement shall terminate every non-empty switch clause # Misra2012:16.3: An unconditional break statement shall terminate every switch-clause # MisraC2023:16.3: An unconditional break statement shall terminate every switch-clause # MisraC2025:16.3: Every switch-clause shall be appropriately terminated WARNING_FILTER += allow class="Missing break" language=c # Misra2004:15.3: The final clause of a switch statement shall be the default clause # Misra2012:16.4: Every switch statement shall have a default label # MisraC2023:16.4: Every switch statement shall have a default label # MisraC2025:16.4: Every switch statement shall have a default label WARNING_FILTER += allow class="Missing default" language=c # Misra2004:13.5: The three expressions of a for statement shall be concerned only with loop control # Misra2004:13.6: Numeric variables being used within a for loop for iteration counting shall not be modified in the body of the loop # Misra2012:14.2: A for loop shall be well-formed # MisraC2023:14.2: A for loop shall be well-formed # MisraC2025:14.2: A for loop shall be well-formed WARNING_FILTER += allow class="Missing for-loop Step" language=c # Misra2004:13.5: The three expressions of a for statement shall be concerned only with loop control # Misra2004:13.6: Numeric variables being used within a for loop for iteration counting shall not be modified in the body of the loop # Misra2012:14.2: A for loop shall be well-formed # MisraC2023:14.2: A for loop shall be well-formed # MisraC2025:14.2: A for loop shall be well-formed WARNING_FILTER += allow class="Missing for-loop Termination" language=c # Misra2012:17.11: A function that never returns should be declared with a _Noreturn function specifier # MisraC2023:17.11: A function that never returns should be declared with a _Noreturn function specifier # MisraC2025:17.11: A function that never returns should be declared with a _Noreturn function specifier WARNING_FILTER += allow class="Missing noreturn Specifier" language=c # Misra2004:2.1: Assembly language shall be encapsulated and isolated # Misra2012:D.4.3: Assembly language shall be encapsulated and isolated # MisraC2023:D.4.3: Assembly language shall be encapsulated and isolated # MisraC2025:D.4.3: Assembly language shall be encapsulated and isolated WARNING_FILTER += allow class="Mixed Assembly and Code" language=c # Misra2012:17.8: A function parameter should not be modified # MisraC2023:17.8: A function parameter should not be modified # MisraC2025:17.8: A function parameter should not be modified WARNING_FILTER += allow class="Modified Parameter" language=c # Misra2004:14.6: For any iteration statement there shall be at most one break statement used for loop termination # Misra2012:15.4: There should be no more than one break or goto statement used to terminate any iteration statement # MisraC2023:15.4: There should be no more than one break or goto statement used to terminate any iteration statement # MisraC2025:15.4: There should be no more than one break or goto statement used to terminate any iteration statement WARNING_FILTER += allow class="Multiple Abnormal Loop Exits" language=c # Misra2004:8.8: An external object or function shall be declared in one and only one file # Misra2012:8.5: An external object or function shall be declared once in one and only one file # MisraC2023:8.5: An external object or function shall be declared once in one and only one file # MisraC2025:8.5: An external object or function shall be declared once in one and only one file WARNING_FILTER += allow class="Multiple Declarations of a Global" language=c # Misra2004:8.8: An external object or function shall be declared in one and only one file # Misra2012:8.5: An external object or function shall be declared once in one and only one file # MisraC2023:8.5: An external object or function shall be declared once in one and only one file # MisraC2025:8.5: An external object or function shall be declared once in one and only one file WARNING_FILTER += allow class="Multiple External Declarations" language=c # Misra2004:8.9: An identifier with external linkage shall have exactly one external definition # Misra2012:8.6: An identifier with external linkage shall have exactly one external definition # MisraC2023:8.6: An identifier with external linkage shall have exactly one external definition # MisraC2025:8.6: An identifier with external linkage shall have exactly one external definition WARNING_FILTER += allow class="Multiple External Definitions" language=c # Misra2004:14.7: A function shall have a single point of exit at the end of the function # Misra2012:15.5: A function should have a single point of exit at the end # MisraC2023:15.5: A function should have a single point of exit at the end # MisraC2025:15.5: A function should have a single point of exit at the end WARNING_FILTER += allow class="Multiple Return Statements" language=c # Misra2012:21.18: The size_t argument passed to any function in shall have an appropriate value # MisraC2023:21.18: The size_t argument passed to any function in shall have an appropriate value # MisraC2025:21.18: The size_t argument passed to any function in shall have an appropriate value WARNING_FILTER += allow class="Multiplication Overflow of Size" language=c # Misra2012:21.13: Any value passed to a function in shall be representable as an unsigned char or be the value EOF # Misra2012:22.7: The macro EOF shall only be compared with the unmodified return value from any Standard Library function capable of returning EOF # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:21.13: Any value passed to a function in shall be representable as an unsigned char or be the value EOF # MisraC2023:22.7: The macro EOF shall only be compared with the unmodified return value from any Standard Library function capable of returning EOF # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:21.13: Any value passed to a function in shall be representable as an unsigned char or be the value EOF # MisraC2025:22.7: The macro EOF shall only be compared with the unmodified return value from any Standard Library function capable of returning EOF # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Negative Character Value" language=c # Misra2004:12.8: The right-hand operand of a shift operator shall lie between zero and one less than the width in bits of the underlying type of the left-hand operand # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:12.2: The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:12.2: The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:12.2: The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Negative Shift Amount" language=c # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Negative file descriptor" language=c # Misra2004:2.3: The character sequence /* shall not be used within a comment # Misra2012:3.1: The character sequences /* and // shall not be used within a comment # MisraC2023:3.1: The character sequences /* and // shall not be used within a comment # MisraC2025:3.1: The character sequences /* and // shall not be used within a comment # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Nested Comment" language=c # Misra2004:8.6: Functions shall be declared at file scope WARNING_FILTER += allow class="Nested Function Declaration" language=c # Misra2004:19.17: All #else, #elif and #endif preprocessor directives shall reside in the same file as the #if or #ifdef directive to which they are related # Misra2012:20.14: All #else, #elif and #endif preprocessor directives shall reside in the same file as the #if, #ifdef or #ifndef directive to which they are related # MisraC2023:20.14: All #else, #elif and #endif preprocessor directives shall reside in the same file as the #if, #ifdef or #ifndef directive to which they are related # MisraC2025:20.14: All #else, #elif and #endif preprocessor directives shall reside in the same file as the #if, #ifdef or #ifndef directive to which they are related WARNING_FILTER += allow class="No Matching #endif" language=c # Misra2004:19.17: All #else, #elif and #endif preprocessor directives shall reside in the same file as the #if or #ifdef directive to which they are related # Misra2012:20.14: All #else, #elif and #endif preprocessor directives shall reside in the same file as the #if, #ifdef or #ifndef directive to which they are related # MisraC2023:20.14: All #else, #elif and #endif preprocessor directives shall reside in the same file as the #if, #ifdef or #ifndef directive to which they are related # MisraC2025:20.14: All #else, #elif and #endif preprocessor directives shall reside in the same file as the #if, #ifdef or #ifndef directive to which they are related WARNING_FILTER += allow class="No Matching #if" language=c # Misra2004:8.1: Functions shall have prototype declarations and the prototype shall be visible at both the function definition and call # Misra2012:8.4: A compatible declaration shall be visible when an object or function with external linkage is defined # MisraC2023:8.4: A compatible declaration shall be visible when an object or function with external linkage is defined # MisraC2025:8.4: A compatible declaration shall be visible when an object or function with external linkage is defined WARNING_FILTER += allow class="No Previous Declaration" language=c # Misra2012:20.8: The controlling expression of a #if or #elif preprocessing directive shall evaluate to 0 or 1 # MisraC2023:20.8: The controlling expression of a #if or #elif preprocessing directive shall evaluate to 0 or 1 # MisraC2025:20.8: The controlling expression of a #if or #elif preprocessing directive shall evaluate to 0 or 1 WARNING_FILTER += allow class="Non-Boolean Preprocessor Expression" language=c # Misra2012:7.4: A string literal shall not be assigned to an object unless the object's type is "pointer to const-qualified char" # MisraC2023:7.4: A string literal shall not be assigned to an object unless the object's type is "pointer to const-qualified char" # MisraC2025:7.4: A string literal shall not be assigned to an object unless the object's type is "pointer to const-qualified char" WARNING_FILTER += allow class="Non-const String Literal" language=c # Misra2004:5.1: Identifiers (internal and external) shall not rely on the significance of more than 31 characters # Misra2012:5.1: External identifiers shall be distinct # MisraC2023:5.1: External identifiers shall be distinct # MisraC2025:5.1: External identifiers shall be distinct WARNING_FILTER += allow class="Non-distinct Identifiers: External Names" language=c # Misra2004:5.1: Identifiers (internal and external) shall not rely on the significance of more than 31 characters # Misra2012:5.4: Macro identifiers shall be distinct # MisraC2023:5.4: Macro identifiers shall be distinct # MisraC2025:5.4: Macro identifiers shall be distinct WARNING_FILTER += allow class="Non-distinct Identifiers: Macro/Macro" language=c # Misra2004:5.1: Identifiers (internal and external) shall not rely on the significance of more than 31 characters # Misra2012:5.5: Identifiers shall be distinct from macro names # MisraC2023:5.5: Identifiers shall be distinct from macro names # MisraC2025:5.5: Identifiers shall be distinct from macro names WARNING_FILTER += allow class="Non-distinct Identifiers: Macro/Other" language=c # Misra2004:5.1: Identifiers (internal and external) shall not rely on the significance of more than 31 characters # Misra2004:5.2: Identifiers in an inner scope shall not use the same name as an identifier in an outer scope, and therefore hide that identifier # Misra2012:5.3: An identifier declared in an inner scope shall not hide an identifier declared in an outer scope # MisraC2023:5.3: An identifier declared in an inner scope shall not hide an identifier declared in an outer scope # MisraC2025:5.3: An identifier declared in an inner scope shall not hide an identifier declared in an outer scope WARNING_FILTER += allow class="Non-distinct Identifiers: Nested Scope" language=c # Misra2004:5.1: Identifiers (internal and external) shall not rely on the significance of more than 31 characters # Misra2012:5.2: Identifiers declared in the same scope and name space shall be distinct # MisraC2023:5.2: Identifiers declared in the same scope and name space shall be distinct # MisraC2025:5.2: Identifiers declared in the same scope and name space shall be distinct WARNING_FILTER += allow class="Non-distinct Identifiers: Same Scope" language=c # Misra2004:5.5: No object or function identifier with static storage duration should be reused # Misra2012:5.8: Identifiers that define objects or functions with external linkage shall be unique # MisraC2023:5.8: Identifiers that define objects or functions with external linkage shall be unique # MisraC2025:5.8: Identifiers that define objects or functions with external linkage shall be unique WARNING_FILTER += allow class="Non-unique Identifiers: External Name" language=c # Misra2004:5.5: No object or function identifier with static storage duration should be reused # Misra2012:5.9: Identifiers that define objects or functions with internal linkage should be unique # MisraC2023:5.9: Identifiers that define objects or functions with internal linkage should be unique # MisraC2025:5.9: Identifiers that define objects or functions with internal linkage should be unique WARNING_FILTER += allow class="Non-unique Identifiers: Internal Name" language=c # Misra2004:5.4: A tag name shall be a unique identifier # Misra2012:5.7: A tag name shall be a unique identifier # MisraC2023:5.7: A tag name shall be a unique identifier # MisraC2025:5.7: A tag name shall be a unique identifier WARNING_FILTER += allow class="Non-unique Identifiers: Tag" language=c # Misra2004:5.3: A typedef name shall be a unique identifier # Misra2012:5.6: A typedef name shall be a unique identifier # MisraC2023:5.6: A typedef name shall be a unique identifier # MisraC2025:5.6: A typedef name shall be a unique identifier WARNING_FILTER += allow class="Non-unique Identifiers: Typedef" language=c # Misra2012:17.10: A function declared with a _Noreturn function specifier shall have void return type # MisraC2023:17.10: A function declared with a _Noreturn function specifier shall have void return type # MisraC2025:17.10: A function declared with a _Noreturn function specifier shall have void return type WARNING_FILTER += allow class="Non-void noreturn" language=c # Misra2004:16.10: If a function returns error information, then that error information shall be tested # Misra2004:20.5: The error indicator errno shall not be used # Misra2012:22.8: The value of errno shall be set to zero prior to a call to an errno-setting-function # Misra2012:D.4.7: If a function returns error information, then that error information shall be tested # MisraC2023:22.8: The value of errno shall be set to zero prior to a call to an errno-setting-function # MisraC2023:D.4.7: If a function returns error information, then that error information shall be tested # MisraC2025:22.8: The value of errno shall be set to zero prior to a call to an errno-setting-function # MisraC2025:D.4.7: If a function returns error information, then that error information shall be tested WARNING_FILTER += allow class="Non-zero Error Code" language=c # Misra2004:20.5: The error indicator errno shall not be used WARNING_FILTER += allow class="Non-zero Error Code Assignment" language=c # Misra2004:8.2: Whenever an object or function is declared or defined, its type shall be explicitly stated # Misra2012:8.1: Types shall be explicitly specified # MisraC2023:8.1: Types shall be explicitly specified # MisraC2025:8.1: Types shall be explicitly specified # This check is enabled by default for the language(s) C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Nonstandard Implicit Integer" language=c # Misra2012:1.1: The program shall contain no violations of the standard C syntax and constraints, and shall not exceed the implementation's translation limits # MisraC2023:1.1: The program shall contain no violations of the standard C syntax and constraints, and shall not exceed the implementation's translation limits # MisraC2025:1.1: The program shall contain no violations of the standard C syntax and constraints, and shall not exceed the implementation's translation limits WARNING_FILTER += allow class="Not All Warnings Are Enabled" language=c # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Null Pointer Dereference" language=c # Misra2004:8.5: There shall be no definitions of objects or functions in a header file WARNING_FILTER += allow class="Object Defined in Header File" language=c # Misra2004:7.1: Octal constants (other than zero) and octal escape sequences shall not be used # Misra2012:7.1: Octal constants shall not be used # MisraC2023:7.1: Octal constants shall not be used # MisraC2025:7.1: Octal constants shall not be used WARNING_FILTER += allow class="Octal Constant" language=c # Misra2012:9.4: An element of an object shall not be initialized more than once # MisraC2023:9.4: An element of an object shall not be initialized more than once # MisraC2025:9.4: An element of an object shall not be initialized more than once WARNING_FILTER += allow class="Over-initialized Element" language=c # Misra2004:18.2: An object shall not be assigned to an overlapping object # Misra2012:19.1: An object shall not be assigned or copied to an overlapping object # MisraC2023:19.1: An object shall not be assigned or copied to an overlapping object # MisraC2025:19.1: An object shall not be assigned or copied to an overlapping object # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Overlapping Memory Regions" language=c # Misra2004:8.2: Whenever an object or function is declared or defined, its type shall be explicitly stated # Misra2012:8.1: Types shall be explicitly specified # MisraC2023:8.1: Types shall be explicitly specified # MisraC2025:8.1: Types shall be explicitly specified # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Parameter Identifier List Needs Function Definition" language=c # Misra2004:9.2: Braces shall be used to indicate and match the structure in the non-zero initialisation of arrays and structures # Misra2012:9.3: Arrays shall not be partially initialized # MisraC2023:9.3: Arrays shall not be partially initialized # MisraC2025:9.3: Arrays shall not be partially initialized WARNING_FILTER += allow class="Partially Uninitialized Array" language=c # Misra2004:16.7: A pointer parameter in a function prototype should be declared as pointer to const if the pointer is not used to modify the addressed object # Misra2012:8.13: A pointer should point to a const-qualified type whenever possible # MisraC2023:8.13: A pointer should point to a const-qualified type whenever possible # MisraC2025:8.13: A pointer should point to a const-qualified type whenever possible WARNING_FILTER += allow class="Pointed-to Type Could Be const" language=c # Misra2004:17.1: Pointer arithmetic shall only be applied to pointers that address an array or array element # Misra2004:17.2: Pointer subtraction shall only be applied to pointers that address elements of the same array # Misra2004:17.4: Array indexing shall be the only allowed form of pointer arithmetic # Misra2012:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # Misra2012:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # Misra2012:18.4: The +, -, += and -= operators should not be applied to an expression of pointer type # MisraC2023:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2023:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2023:18.4: The +, -, += and -= operators should not be applied to an expression of pointer type # MisraC2025:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2025:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2025:18.4: The +, -, += and -= operators should not be applied to an expression of pointer type WARNING_FILTER += allow class="Pointer Arithmetic" language=c # Misra2004:17.1: Pointer arithmetic shall only be applied to pointers that address an array or array element # Misra2004:17.2: Pointer subtraction shall only be applied to pointers that address elements of the same array # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # Misra2012:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2023:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2025:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array WARNING_FILTER += allow class="Pointer Before Beginning of Object" language=c # Misra2004:11.3: A cast should not be performed between a pointer type and an integral type # Misra2012:11.4: A conversion should not be performed between a pointer to object and an integer type # MisraC2023:11.4: A conversion should not be performed between a pointer to object and an integer type # MisraC2025:11.4: A conversion shall not be performed between a pointer to object and an arithmetic type # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Pointer Conversion Loses Bits" language=c # Misra2004:11.3: A cast should not be performed between a pointer type and an integral type # Misra2012:11.4: A conversion should not be performed between a pointer to object and an integer type # MisraC2023:11.4: A conversion should not be performed between a pointer to object and an integer type # MisraC2025:11.4: A conversion shall not be performed between a pointer to object and an arithmetic type WARNING_FILTER += allow class="Pointer Conversion to Same Size Integer" language=c # Misra2004:17.1: Pointer arithmetic shall only be applied to pointers that address an array or array element # Misra2004:17.2: Pointer subtraction shall only be applied to pointers that address elements of the same array # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # Misra2012:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2023:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2025:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array WARNING_FILTER += allow class="Pointer Past End of Object" language=c # Misra2012:18.10: Pointers to variably-modified array types shall not be used # Misra2012:18.8: Variable-length array types shall not be used # MisraC2023:18.10: Pointers to variably-modified array types shall not be used # MisraC2025:18.10: Pointers to variably-modified array types shall not be used WARNING_FILTER += allow class="Pointer to Variably-modified Array Type" language=c # Misra2004:20.12: The time handling functions of library shall not be used # Misra2012:21.10: The Standard Library time and date functions shall not be used # MisraC2023:21.10: The Standard Library time and date functions shall not be used # MisraC2025:21.10: The Standard Library time and date functions shall not be used WARNING_FILTER += allow class="Potential Timebomb" language=c # Misra2004:19.9: Arguments to a function-like macro shall not contain tokens that look like preprocessing directives # Misra2012:20.6: Tokens that look like a preprocessing directive shall not occur within a macro argument # MisraC2023:20.6: Tokens that look like a preprocessing directive shall not occur within a macro argument # MisraC2025:20.6: Tokens that look like a preprocessing directive shall not occur within a macro argument WARNING_FILTER += allow class="Preprocessing Directives in Macro Argument" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Raises FE_INVALID" language=c # Misra2012:21.14: The Standard Library function memcmp shall not be used to compare null terminated strings # MisraC2023:21.14: The Standard Library function memcmp shall not be used to compare null terminated strings # MisraC2025:21.14: The Standard Library function memcmp shall not be used to compare null terminated strings # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Read Past Null Terminator" language=c # Misra2004:16.2: Functions shall not call themselves, either directly or indirectly # Misra2012:17.2: Functions shall not call themselves, either directly or indirectly # MisraC2023:17.2: Functions shall not call themselves, either directly or indirectly # MisraC2025:17.2: Functions shall not call themselves, either directly or indirectly WARNING_FILTER += allow class="Recursion" language=c # Misra2004:13.7: Boolean operations whose results are invariant shall not be permitted # Misra2012:14.3: Controlling expressions shall not be invariant # MisraC2023:14.3: Controlling expressions shall not be invariant # MisraC2025:14.3: Controlling expressions shall not be invariant # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Redundant Condition" language=c # Misra2012:8.14: The restrict type qualifier shall not be used # MisraC2023:8.14: The restrict type qualifier shall not be used # MisraC2025:8.14: The restrict type qualifier shall not be used WARNING_FILTER += allow class="Restrict Qualifier Used" language=c # Misra2012:18.6: The address of an object with automatic or thread-local storage shall not be copied to another object that persists after the first object has ceased to exist # MisraC2023:18.6: The address of an object with automatic or thread-local storage shall not be copied to another object that persists after the first object has ceased to exist # MisraC2025:18.6: The address of an object with automatic or thread-local storage shall not be copied to another object that persists after the first object has ceased to exist # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Return Pointer to Local" language=c # Misra2012:17.9: A function declared with a _Noreturn function specifier shall not return to its caller # MisraC2023:17.9: A function declared with a _Noreturn function specifier shall not return to its caller # MisraC2025:17.9: A function declared with a _Noreturn function specifier shall not return to its caller # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Return from noreturn" language=c # Misra2012:21.19: The pointers returned by the Standard Library functions localeconv, getenv, setlocale or, strerror shall only be used as if they have pointer to const-qualified type # MisraC2023:21.19: The pointers returned by the Standard Library functions localeconv, getenv, setlocale or, strerror shall only be used as if they have pointer to const-qualified type # MisraC2025:21.19: The pointers returned by the Standard Library functions localeconv, getenv, setlocale or strerror shall only be used as if they have pointer to const-qualified type WARNING_FILTER += allow class="Returned Pointer Not Treated as const" language=c # Misra2012:21.25: All memory synchronization operations shall be executed in sequentially consistent order # MisraC2023:21.25: All memory synchronization operations shall be executed in sequentially consistent order # MisraC2025:21.25: All memory synchronization operations shall be executed in sequentially consistent order WARNING_FILTER += allow class="Risky Atomic Memory Order" language=c # Misra2004:10.5: If the bitwise operators ~ and << are applied to an operand of underlying type unsigned char or unsigned short, the result shall be immediately cast to the underlying type of the operand WARNING_FILTER += allow class="Risky Integer Promotion" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="SQL Injection" language=c # Misra2004:8.10: All declarations and definitions of objects or functions at file scope shall have internal linkage unless external linkage is required # Misra2004:8.11: The static storage class specifier shall be used in definitions and declarations of objects and functions that have internal linkage # Misra2012:1.5: Obsolescent language features shall not be used # Misra2012:8.7: Functions and objects should not be defined with external linkage if they are referenced in only one translation unit # Misra2012:8.8: The static storage class specifier shall be used in all declarations of objects and functions that have internal linkage # MisraC2023:1.5: Obsolescent language features shall not be used # MisraC2023:8.7: Functions and objects should not be defined with external linkage if they are referenced in only one translation unit # MisraC2023:8.8: The static storage class specifier shall be used in all declarations of objects and functions that have internal linkage # MisraC2025:1.5: Obsolescent language features shall not be used # MisraC2025:8.7: Functions and objects should not be defined with external linkage if they are referenced in only one translation unit # MisraC2025:8.8: The static storage class specifier shall be used in all declarations of objects and functions that have internal linkage WARNING_FILTER += allow class="Scope Could Be File Static" language=c # Misra2004:8.10: All declarations and definitions of objects or functions at file scope shall have internal linkage unless external linkage is required # Misra2004:8.11: The static storage class specifier shall be used in definitions and declarations of objects and functions that have internal linkage # Misra2004:8.7: Objects shall be defined at block scope if they are only accessed from within a single function # Misra2012:8.7: Functions and objects should not be defined with external linkage if they are referenced in only one translation unit # Misra2012:8.8: The static storage class specifier shall be used in all declarations of objects and functions that have internal linkage # Misra2012:8.9: An object should be declared at block scope if its identifier only appears in a single function # MisraC2023:8.7: Functions and objects should not be defined with external linkage if they are referenced in only one translation unit # MisraC2023:8.8: The static storage class specifier shall be used in all declarations of objects and functions that have internal linkage # MisraC2023:8.9: An object should be declared at block scope if its identifier only appears in a single function # MisraC2025:8.7: Functions and objects should not be defined with external linkage if they are referenced in only one translation unit # MisraC2025:8.8: The static storage class specifier shall be used in all declarations of objects and functions that have internal linkage # MisraC2025:8.9: An object should be declared at block scope if its identifier only appears in a single function WARNING_FILTER += allow class="Scope Could Be Local Static" language=c # Misra2012:23.1: A generic selection should only be expanded from a macro # MisraC2023:23.1: A generic selection should only be expanded from a macro # MisraC2025:23.1: A generic selection should only be expanded from a macro WARNING_FILTER += allow class="Selection in C Generic not Expanded from Macro Parameters" language=c # Misra2004:12.8: The right-hand operand of a shift operator shall lie between zero and one less than the width in bits of the underlying type of the left-hand operand # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:12.2: The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:12.2: The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:12.2: The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Shift Amount Exceeds Bit Width" language=c # Misra2012:23.1: A generic selection should only be expanded from a macro # Misra2012:23.2: A generic selection that is not expanded from a macro shall not contain potential side effects in the controlling expression # MisraC2023:23.1: A generic selection should only be expanded from a macro # MisraC2023:23.2: A generic selection that is not expanded from a macro shall not contain potential side effects in the controlling expression # MisraC2025:23.1: A generic selection should only be expanded from a macro # MisraC2025:23.2: A generic selection that is not expanded from a macro shall not contain potential side effects in the controlling expression WARNING_FILTER += allow class="Side Effects in C Generic Selection" language=c # Misra2004:12.13: The increment (++) and decrement (--) operators should not be mixed with other operators in an expression # Misra2012:13.3: A full expression containing an increment (++) or decrement (--) operator should have no other potential side effects other than that caused by the increment or decrement operator # MisraC2023:13.3: A full expression containing an increment (++) or decrement (--) operator should have no other potential side effects other than that caused by the increment or decrement operator # MisraC2025:13.3: A full expression containing an increment (++) or decrement (--) operator should have no other potential side effects other than that caused by the increment or decrement operator WARNING_FILTER += allow class="Side Effects in Expression with Decrement" language=c # Misra2004:12.13: The increment (++) and decrement (--) operators should not be mixed with other operators in an expression # Misra2012:13.3: A full expression containing an increment (++) or decrement (--) operator should have no other potential side effects other than that caused by the increment or decrement operator # MisraC2023:13.3: A full expression containing an increment (++) or decrement (--) operator should have no other potential side effects other than that caused by the increment or decrement operator # MisraC2025:13.3: A full expression containing an increment (++) or decrement (--) operator should have no other potential side effects other than that caused by the increment or decrement operator WARNING_FILTER += allow class="Side Effects in Expression with Increment" language=c # Misra2012:13.1: Initializer lists shall not contain persistent side effects # MisraC2023:13.1: Initializer lists shall not contain persistent side effects # MisraC2025:13.1: Initializer lists shall not contain persistent side effects WARNING_FILTER += allow class="Side Effects in Initializer List" language=c # Misra2004:12.4: The right-hand operand of a logical && or || operator shall not contain side effects # Misra2012:13.5: The right hand operand of a logical && or || operator shall not contain persistent side effects # MisraC2023:13.5: The right hand operand of a logical && or || operator shall not contain persistent side effects # MisraC2025:13.5: The right hand operand of a logical && or || operator shall not contain persistent side effects WARNING_FILTER += allow class="Side Effects in Logical Operand" language=c # Misra2004:12.3: The sizeof operator shall not be used on expressions that contain side effects # Misra2012:13.6: The operand of the sizeof operator shall not contain any expression which has potential side effects # MisraC2023:13.6: The operand of the sizeof operator shall not contain any expression which has potential side effects # MisraC2025:13.6: The operand of the sizeof operator shall not contain any expression which has potential side effects WARNING_FILTER += allow class="Side Effects in sizeof" language=c # Misra2004:6.5: Bit fields of signed type shall be at least 2 bits long # Misra2012:6.2: Single-bit named bit fields shall not be of a signed type # MisraC2023:6.2: Single-bit named bit-fields shall not be of a signed type # MisraC2025:6.2: Single-bit named bit-fields shall not be of a signed type # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Signed One Bit Field" language=c # Misra2012:D.4.13: Functions which are designed to provide operations on a resource should be called in an appropriate sequence # MisraC2023:D.4.13: Functions which are designed to provide operations on a resource should be called in an appropriate sequence # MisraC2025:D.4.13: Functions which are designed to provide operations on a resource should be called in an appropriate sequence WARNING_FILTER += allow class="Socket In Wrong State" language=c # Misra2012:17.6: The declaration of an array parameter shall not contain the static keyword between the [ ] # MisraC2023:17.6: The declaration of an array parameter shall not contain the static keyword between the [ ] WARNING_FILTER += allow class="Static Array Parameter" language=c # Misra2012:21.18: The size_t argument passed to any function in shall have an appropriate value # MisraC2023:21.18: The size_t argument passed to any function in shall have an appropriate value # MisraC2025:21.18: The size_t argument passed to any function in shall have an appropriate value WARNING_FILTER += allow class="Subtraction Underflow of Size" language=c # Misra2004:17.2: Pointer subtraction shall only be applied to pointers that address elements of the same array # Misra2004:17.4: Array indexing shall be the only allowed form of pointer arithmetic # Misra2012:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2023:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2025:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Subtraction of Unrelated Pointers" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked WARNING_FILTER += allow class="Tainted Allocation Size" language=c # Misra2004:17.1: Pointer arithmetic shall only be applied to pointers that address an array or array element # Misra2004:17.2: Pointer subtraction shall only be applied to pointers that address elements of the same array # Misra2012:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # Misra2012:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2023:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2023:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2025:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2025:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Tainted Buffer Access" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked WARNING_FILTER += allow class="Tainted Configuration Setting" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Tainted Environment Variable" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked WARNING_FILTER += allow class="Tainted Filename" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked WARNING_FILTER += allow class="Tainted Network Address" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked WARNING_FILTER += allow class="Tainted Write" language=c # Misra2012:22.11: A thread that was previously either joined or detached shall not be subsequently joined nor detached # Misra2012:D.4.13: Functions which are designed to provide operations on a resource should be called in an appropriate sequence # MisraC2023:22.11: A thread that was previously either joined or detached shall not be subsequently joined nor detached # MisraC2023:D.4.13: Functions which are designed to provide operations on a resource should be called in an appropriate sequence # MisraC2025:22.11: A thread that was previously either joined or detached shall not be subsequently joined nor detached # MisraC2025:D.4.13: Functions which are designed to provide operations on a resource should be called in an appropriate sequence # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Thread is not Joinable" language=c # Misra2004:15.5: Every switch statement shall have at least one case clause # Misra2012:16.6: Every switch statement shall have at least two switch-clauses # MisraC2023:16.6: Every switch statement shall have at least two switch-clauses # MisraC2025:16.6: Every switch statement shall have at least two switch-clauses WARNING_FILTER += allow class="Too Few Cases in switch" language=c # Misra2012:1.4: Emergent language features shall not be used # Misra2012:8.17: At most one explicit alignment specifier should appear in an object declaration # MisraC2023:1.4: Emergent language features shall not be used # MisraC2023:8.17: At most one explicit alignment specifier should appear in an object declaration # MisraC2025:1.4: Emergent language features shall not be used # MisraC2025:8.17: At most one explicit alignment specifier should appear in an object declaration WARNING_FILTER += allow class="Too Many Alignment Specifiers" language=c # Misra2012:18.5: Declarations should contain no more than two levels of pointer nesting # MisraC2023:18.5: Declarations should contain no more than two levels of pointer nesting # MisraC2025:18.5: Declarations should contain no more than two levels of pointer nesting WARNING_FILTER += allow class="Too Much Indirection in Declaration" language=c # Misra2004:4.2: Trigraphs shall not be used # Misra2012:4.2: Trigraphs should not be used # MisraC2023:4.2: Trigraphs should not be used # MisraC2025:4.2: Trigraphs should not be used WARNING_FILTER += allow class="Trigraph" language=c # Misra2012:21.18: The size_t argument passed to any function in shall have an appropriate value # MisraC2023:21.18: The size_t argument passed to any function in shall have an appropriate value # MisraC2025:21.18: The size_t argument passed to any function in shall have an appropriate value WARNING_FILTER += allow class="Truncation of Size" language=c # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:22.2: A block of memory shall only be freed if it was allocated by means of a Standard Library function # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:22.2: A block of memory shall only be freed if it was allocated by means of a Standard Library function # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:22.2: A block of memory shall only be freed if it was allocated by means of a Standard Library function # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Type Mismatch" language=c # Misra2004:17.1: Pointer arithmetic shall only be applied to pointers that address an array or array element # Misra2004:17.2: Pointer subtraction shall only be applied to pointers that address elements of the same array # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # Misra2012:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2023:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2025:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Type Overrun" language=c # Misra2012:17.13: A function type shall not be type qualified # MisraC2023:17.13: A function type shall not be type qualified # MisraC2025:17.13: A function type shall not be type qualified # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Type Qualifier on Function Type" language=c # Misra2004:17.1: Pointer arithmetic shall only be applied to pointers that address an array or array element # Misra2004:17.2: Pointer subtraction shall only be applied to pointers that address elements of the same array # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # Misra2012:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2023:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand # MisraC2025:18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Type Underrun" language=c # Misra2012:D.4.5: Identifiers in the same name space with overlapping visibility should be typographically unambiguous # MisraC2023:D.4.5: Identifiers in the same name space with overlapping visibility should be typographically unambiguous # MisraC2025:D.4.5: Identifiers in the same name space with overlapping visibility should be typographically unambiguous WARNING_FILTER += allow class="Typographically Ambiguous Identifiers" language=c # Misra2004:8.2: Whenever an object or function is declared or defined, its type shall be explicitly stated # Misra2012:8.1: Types shall be explicitly specified # MisraC2023:8.1: Types shall be explicitly specified # MisraC2025:8.1: Types shall be explicitly specified # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Undeclared Parameter" language=c # Misra2004:19.11: All macro identifiers in preprocessor directives shall be defined before use, except in #ifdef and #ifndef preprocessor directives and the defined() operator # Misra2012:20.9: All identifiers used in the controlling expression of #if or #elif preprocessing directives shall be #define'd before evaluation # MisraC2023:20.9: All identifiers used in the controlling expression of #if or #elif preprocessing directives shall be #define'd before evaluation # MisraC2025:20.9: All identifiers used in the controlling expression of #if or #elif preprocessing directives shall be #define'd before evaluation # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Undefined Macro in #if" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Undefined Power of Zero" language=c # Misra2004:9.1: All automatic variables shall have been assigned a value before being used # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # Misra2012:9.1: The value of an object with automatic storage duration shall not be read before it has been set # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:9.1: The value of an object with automatic storage duration shall not be read before it has been set # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:9.1: The value of an object with automatic storage duration shall not be read before it has been set # MisraC2025:D.4.1: Run-time failures shall be minimized # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Uninitialized Variable" language=c # Misra2004:18.4: Unions shall not be used # Misra2012:19.2: The union keyword should not be used # MisraC2023:19.2: The union keyword should not be used # MisraC2025:19.2: The union keyword should not be used WARNING_FILTER += allow class="Union Type" language=c # Misra2004:4.1: Only those escape sequences that are defined in the ISO C standard shall be used # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Universal Character Name Names Invalid Code Point" language=c # Misra2004:14.1: There shall be no unreachable code # Misra2012:2.1: A project shall not contain unreachable code # MisraC2023:2.1: A project shall not contain unreachable code # MisraC2025:2.1: A project shall not contain unreachable code # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Unreachable Call" language=c # Misra2004:14.1: There shall be no unreachable code # Misra2012:2.1: A project shall not contain unreachable code # MisraC2023:2.1: A project shall not contain unreachable code # MisraC2025:2.1: A project shall not contain unreachable code # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Unreachable Computation" language=c # Misra2004:14.1: There shall be no unreachable code # Misra2012:2.1: A project shall not contain unreachable code # MisraC2023:2.1: A project shall not contain unreachable code # MisraC2025:2.1: A project shall not contain unreachable code # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Unreachable Conditional" language=c # Misra2004:14.1: There shall be no unreachable code # Misra2012:2.1: A project shall not contain unreachable code # MisraC2023:2.1: A project shall not contain unreachable code # MisraC2025:2.1: A project shall not contain unreachable code WARNING_FILTER += allow class="Unreachable Control Flow" language=c # Misra2004:14.1: There shall be no unreachable code # Misra2012:2.1: A project shall not contain unreachable code # MisraC2023:2.1: A project shall not contain unreachable code # MisraC2025:2.1: A project shall not contain unreachable code # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Unreachable Data Flow" language=c # Misra2012:21.18: The size_t argument passed to any function in shall have an appropriate value # MisraC2023:21.18: The size_t argument passed to any function in shall have an appropriate value # MisraC2025:21.18: The size_t argument passed to any function in shall have an appropriate value # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Unreasonable Size Argument" language=c # Misra2004:4.1: Only those escape sequences that are defined in the ISO C standard shall be used # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Unrecognized Character Escape" language=c # Misra2012:9.5: Where designated initializers are used to initialize an array object the size of the array shall be specified explicitly # MisraC2023:9.5: Where designated initializers are used to initialize an array object the size of the array shall be specified explicitly # MisraC2025:9.5: Where designated initializers are used to initialize an array object the size of the array shall be specified explicitly WARNING_FILTER += allow class="Unspecified Array Size with Designator Initialization" language=c # Misra2012:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2023:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC2025:1.3: There shall be no occurrence of undefined or critical unspecified behaviour # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Unterminated C String" language=c # Misra2012:4.1: Octal and hexadecimal escape sequences shall be terminated # MisraC2023:4.1: Octal and hexadecimal escape sequences shall be terminated # MisraC2025:4.1: Octal and hexadecimal escape sequences shall be terminated WARNING_FILTER += allow class="Unterminated Escape Sequence" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked WARNING_FILTER += allow class="Untrusted Library Load" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked WARNING_FILTER += allow class="Untrusted Network Host" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked WARNING_FILTER += allow class="Untrusted Network Port" language=c # Misra2012:D.4.14: The validity of values received from external sources shall be checked # MisraC2023:D.4.14: The validity of values received from external sources shall be checked # MisraC2025:D.4.14: The validity of values received from external sources shall be checked WARNING_FILTER += allow class="Untrusted Process Creation" language=c # Misra2012:2.6: A function should not contain unused label declarations # MisraC2023:2.6: A function should not contain unused label declarations # MisraC2025:2.6: A function should not contain unused label declarations WARNING_FILTER += allow class="Unused Label" language=c # Misra2012:2.5: A project should not contain unused macro definitions # MisraC2023:2.5: A project should not contain unused macro definitions # MisraC2025:2.5: A project should not contain unused macro definitions WARNING_FILTER += allow class="Unused Macro" language=c # Misra2012:2.7: A function should not contain unused parameters # MisraC2023:2.7: A function should not contain unused parameters # MisraC2025:2.7: A function should not contain unused parameters WARNING_FILTER += allow class="Unused Parameter" language=c # Misra2012:2.4: A project should not contain unused tag declarations # MisraC2023:2.4: A project should not contain unused tag declarations # MisraC2025:2.4: A project should not contain unused tag declarations WARNING_FILTER += allow class="Unused Tag" language=c # Misra2012:2.3: A project should not contain unused type declarations # MisraC2023:2.3: A project should not contain unused type declarations # MisraC2025:2.3: A project should not contain unused type declarations WARNING_FILTER += allow class="Unused Type" language=c # Misra2004:14.2: All non-null statements shall either (a) have at least one side-effect however executed, or (b) cause control flow to change # Misra2012:2.2: A project shall not contain dead code # MisraC2023:2.2: A project shall not contain dead code # MisraC2025:2.2: A project shall not contain dead code # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Unused Value" language=c # Misra2012:2.8: A project should not contain unused object definitions # MisraC2023:2.8: A project should not contain unused object definitions # MisraC2025:2.8: A project should not contain unused object definitions WARNING_FILTER += allow class="Unused Variable" language=c # Misra2012:22.6: The value of a pointer to a FILE shall not be used after the associated stream has been closed # MisraC2023:22.6: The value of a pointer to a FILE shall not be used after the associated stream has been closed # MisraC2025:22.6: The value of a pointer to a FILE shall not be used after the associated stream has been closed # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Use After Close" language=c # Misra2012:21.20: The pointer returned by the Standard Library functions asctime, ctime, gmtime, localtime, localeconv, getenv, setlocale or strerror shall not be used following a subsequent call to the same function # MisraC2023:21.20: The pointer returned by the Standard Library functions asctime, ctime, gmtime, localtime, localeconv, getenv, setlocale or strerror shall not be used following a subsequent call to the same function # MisraC2025:21.20: The pointer returned by the Standard Library functions asctime, ctime, gmtime, localtime, localeconv, getenv, setlocale or strerror shall not be used following a subsequent call to the same function # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Use After Free" language=c # Misra2004:3.4: All uses of the #pragma directive shall be documented and explained WARNING_FILTER += allow class="Use of #pragma" language=c # Misra2004:19.6: #undef shall not be used # Misra2012:20.5: #undef should not be used # MisraC2023:20.5: #undef should not be used # MisraC2025:20.5: #undef should not be used WARNING_FILTER += allow class="Use of #undef" language=c # Misra2012:21.12: The standard header file shall not be used # MisraC2023:21.12: The standard header file shall not be used # MisraC2025:21.12: The standard header file shall not be used WARNING_FILTER += allow class="Use of Exception Handling Function" language=c # Misra2004:20.7: The setjmp macro and the longjmp function shall not be used # Misra2012:21.4: The standard header file shall not be used # MisraC2023:21.4: The standard header file shall not be used # MisraC2025:21.4: The standard header file shall not be used WARNING_FILTER += allow class="Use of " language=c # Misra2004:20.8: The signal handling facilities of shall not be used # Misra2012:21.5: The standard header file shall not be used # MisraC2023:21.5: The standard header file shall not be used # MisraC2025:21.5: The standard header file shall not be used WARNING_FILTER += allow class="Use of " language=c # Misra2012:17.1: The standard header file shall not be used # MisraC2023:17.1: The standard header file shall not be used # MisraC2025:17.1: The standard header file shall not be used WARNING_FILTER += allow class="Use of Feature" language=c # Misra2012:7.6: The small integer variants of the minimum-width integer constant macros shall not be used # MisraC2023:7.6: The small integer variants of the minimum-width integer constant macros shall not be used # MisraC2025:7.6: The small integer variants of the minimum-width integer constant macros shall not be used WARNING_FILTER += allow class="Use of Small Integer Constant Macro" language=c # Misra2004:20.9: The input/output library shall not be used in production code # Misra2012:21.6: The Standard Library input/output functions shall not be used # MisraC2023:21.6: The Standard Library input/output functions shall not be used # MisraC2025:21.6: The Standard Library input/output functions shall not be used WARNING_FILTER += allow class="Use of Input/Output" language=c # Misra2004:20.9: The input/output library shall not be used in production code # Misra2012:21.6: The Standard Library input/output functions shall not be used # MisraC2023:21.6: The Standard Library input/output functions shall not be used # MisraC2025:21.6: The Standard Library input/output functions shall not be used WARNING_FILTER += allow class="Use of Input/Output Macro" language=c # Misra2004:20.4: Dynamic heap memory allocation shall not be used # Misra2012:21.3: The memory allocation and deallocation functions of shall not be used # MisraC2023:21.3: The memory allocation and deallocation functions of shall not be used # MisraC2025:21.3: The memory allocation and deallocation functions of shall not be used WARNING_FILTER += allow class="Use of Allocator/Deallocator" language=c # Misra2004:20.4: Dynamic heap memory allocation shall not be used # Misra2012:21.3: The memory allocation and deallocation functions of shall not be used # MisraC2023:21.3: The memory allocation and deallocation functions of shall not be used # MisraC2025:21.3: The memory allocation and deallocation functions of shall not be used WARNING_FILTER += allow class="Use of Allocator/Deallocator Macro" language=c # Misra2012:21.11: The standard header file should not be used # MisraC2023:21.11: The standard header file should not be used # MisraC2025:21.11: The standard header file should not be used WARNING_FILTER += allow class="Use of " language=c # Misra2004:20.12: The time handling functions of library shall not be used # Misra2012:21.10: The Standard Library time and date functions shall not be used # MisraC2023:21.10: The Standard Library time and date functions shall not be used # MisraC2025:21.10: The Standard Library time and date functions shall not be used WARNING_FILTER += allow class="Use of Time/Date Function" language=c # Misra2004:20.9: The input/output library shall not be used in production code # Misra2012:21.6: The Standard Library input/output functions shall not be used # MisraC2023:21.6: The Standard Library input/output functions shall not be used # MisraC2025:21.6: The Standard Library input/output functions shall not be used WARNING_FILTER += allow class="Use of Input/Output" language=c # Misra2004:20.9: The input/output library shall not be used in production code # Misra2012:21.6: The Standard Library input/output functions shall not be used # MisraC2023:21.6: The Standard Library input/output functions shall not be used # MisraC2025:21.6: The Standard Library input/output functions shall not be used WARNING_FILTER += allow class="Use of Input/Output Macro" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of Alignas" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of Alignof" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of C Atomic" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of C Generic" language=c # Misra2004:12.10: The comma operator shall not be used # Misra2012:12.3: The comma operator should not be used # MisraC2023:12.3: The comma operator should not be used # MisraC2025:12.3: The comma operator should not be used WARNING_FILTER += allow class="Use of Comma Operator" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of L_tmpnam_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of Noreturn" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of TMP_MAX_S" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of Thread Local" language=c # Misra2004:20.11: The library functions abort, exit, getenv and system from library shall not be used # Misra2012:21.8: The Standard Library termination functions of shall not be used # Misra2012:D.4.1: Run-time failures shall be minimized # MisraC2023:21.8: The Standard Library termination functions of shall not be used # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2025:21.8: The Standard Library termination functions of shall not be used # MisraC2025:D.4.1: Run-time failures shall be minimized WARNING_FILTER += allow class="Use of abort" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of abort_handler_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of asctime_s" language=c # Misra2004:20.10: The library functions atof, atoi and atol from library shall not be used # Misra2012:21.7: The atof, atoi, atol and atoll functions of shall not be used # MisraC2023:21.7: The atof, atoi, atol and atoll functions of shall not be used # MisraC2025:21.7: The Standard Library functions atof, atoi, atol and atoll of shall not be used WARNING_FILTER += allow class="Use of atof" language=c # Misra2004:20.10: The library functions atof, atoi and atol from library shall not be used # Misra2012:21.7: The atof, atoi, atol and atoll functions of shall not be used # MisraC2023:21.7: The atof, atoi, atol and atoll functions of shall not be used # MisraC2025:21.7: The Standard Library functions atof, atoi, atol and atoll of shall not be used WARNING_FILTER += allow class="Use of atoi" language=c # Misra2004:20.10: The library functions atof, atoi and atol from library shall not be used # Misra2012:21.7: The atof, atoi, atol and atoll functions of shall not be used # MisraC2023:21.7: The atof, atoi, atol and atoll functions of shall not be used # MisraC2025:21.7: The Standard Library functions atof, atoi, atol and atoll of shall not be used WARNING_FILTER += allow class="Use of atol" language=c # Misra2004:20.10: The library functions atof, atoi and atol from library shall not be used # Misra2012:21.7: The atof, atoi, atol and atoll functions of shall not be used # MisraC2023:21.7: The atof, atoi, atol and atoll functions of shall not be used # MisraC2025:21.7: The Standard Library functions atof, atoi, atol and atoll of shall not be used WARNING_FILTER += allow class="Use of atoll" language=c # Misra2012:21.9: The library functions bsearch and qsort of shall not be used # MisraC2023:21.9: The library functions bsearch and qsort of shall not be used # MisraC2025:21.9: The Standard Library functions bsearch and qsort of shall not be used WARNING_FILTER += allow class="Use of bsearch" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of bsearch_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of constraint_handler_t" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of ctime_s" language=c # Misra2004:20.11: The library functions abort, exit, getenv and system from library shall not be used # Misra2012:21.8: The Standard Library termination functions of shall not be used # MisraC2023:21.8: The Standard Library termination functions of shall not be used # MisraC2025:21.8: The Standard Library termination functions of shall not be used WARNING_FILTER += allow class="Use of exit" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of fopen_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of fprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of freopen_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of fscanf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of fwprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of fwscanf_s" language=c # Misra2004:20.11: The library functions abort, exit, getenv and system from library shall not be used # Misra2012:21.8: The Standard Library termination functions of shall not be used # MisraC2023:21.8: The Standard Library termination functions of shall not be used # MisraC2025:21.8: The Standard Library termination functions of shall not be used WARNING_FILTER += allow class="Use of getenv" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of getenv_s" language=c # Misra2012:1.5: Obsolescent language features shall not be used # MisraC2023:1.5: Obsolescent language features shall not be used # MisraC2025:1.5: Obsolescent language features shall not be used # This check is enabled by default for the language(s) C, C++, x86, x86_64 # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Use of gets" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of gets_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of gmtime_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of ignore_handler_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of localtime_s" language=c # Misra2004:20.7: The setjmp macro and the longjmp function shall not be used # Misra2012:21.4: The standard header file shall not be used # MisraC2023:21.4: The standard header file shall not be used # MisraC2025:21.4: The standard header file shall not be used WARNING_FILTER += allow class="Use of longjmp" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of mbsrtowcs_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of mbstowcs_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of memcpy_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of memmove_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of memset_s" language=c # Misra2004:20.6: The macro offsetof, in library , shall not be used WARNING_FILTER += allow class="Use of offsetof" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of printf_s" language=c # Misra2004:17.6: The address of an object with automatic storage shall not be assigned to another object that may persist after the first object has ceased to exist # Misra2012:18.6: The address of an object with automatic or thread-local storage shall not be copied to another object that persists after the first object has ceased to exist # MisraC2023:18.6: The address of an object with automatic or thread-local storage shall not be copied to another object that persists after the first object has ceased to exist # MisraC2025:18.6: The address of an object with automatic or thread-local storage shall not be copied to another object that persists after the first object has ceased to exist WARNING_FILTER += allow class="Use of putenv" language=c # Misra2012:21.9: The library functions bsearch and qsort of shall not be used # MisraC2023:21.9: The library functions bsearch and qsort of shall not be used # MisraC2025:21.9: The Standard Library functions bsearch and qsort of shall not be used WARNING_FILTER += allow class="Use of qsort" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of qsort_s" language=c # Misra2012:21.24: The random number generator functions of shall not be used # MisraC2023:21.24: The random number generator functions of shall not be used # MisraC2025:21.24: The random number generator functions of shall not be used WARNING_FILTER += allow class="Use of rand" language=c # Misra2004:20.4: Dynamic heap memory allocation shall not be used # Misra2012:21.3: The memory allocation and deallocation functions of shall not be used # Misra2012:D.4.12: Dynamic memory allocation shall not be used # MisraC2023:21.3: The memory allocation and deallocation functions of shall not be used # MisraC2023:D.4.12: Dynamic memory allocation shall not be used # MisraC2025:21.3: The memory allocation and deallocation functions of shall not be used # MisraC2025:D.4.12: Dynamic memory allocation shall not be used WARNING_FILTER += allow class="Use of realloc" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of scanf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of set_constraint_handler_s" language=c # Misra2004:20.7: The setjmp macro and the longjmp function shall not be used # Misra2012:21.4: The standard header file shall not be used # MisraC2023:21.4: The standard header file shall not be used # MisraC2025:21.4: The standard header file shall not be used WARNING_FILTER += allow class="Use of setjmp" language=c # Misra2012:21.19: The pointers returned by the Standard Library functions localeconv, getenv, setlocale or, strerror shall only be used as if they have pointer to const-qualified type # MisraC2023:21.19: The pointers returned by the Standard Library functions localeconv, getenv, setlocale or, strerror shall only be used as if they have pointer to const-qualified type # MisraC2025:21.19: The pointers returned by the Standard Library functions localeconv, getenv, setlocale or strerror shall only be used as if they have pointer to const-qualified type WARNING_FILTER += allow class="Use of setlocale" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of snprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of snwprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of sprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of sscanf_s" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strcat" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of strcat_s" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strchr" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strcmp" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strcoll" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strcpy" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of strcpy_s" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strcspn" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of strerror_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of strerrorlen_s" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strlen" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of strncat_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of strncpy_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of strnlen_s" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strpbrk" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strrchr" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strspn" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strstr" language=c # Misra2012:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2023:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters # MisraC2025:21.17: Use of the string handling functions from shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters WARNING_FILTER += allow class="Use of strtok" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of strtok_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of swprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of swscanf_s" language=c # Misra2004:20.11: The library functions abort, exit, getenv and system from library shall not be used # Misra2012:21.21: The Standard Library function system of shall not be used # MisraC2023:21.21: The Standard Library function system of shall not be used # MisraC2025:21.21: The Standard Library function system of shall not be used WARNING_FILTER += allow class="Use of system" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of tmpfile_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of tmpnam_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vfprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vfscanf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vfwprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vfwscanf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vscanf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vsnprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vsnwprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vsprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vsscanf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vswprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vswscanf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vwprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of vwscanf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wcrtomb_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wcscat_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wcscpy_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wcsncat_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wcsncpy_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wcsnlen_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wcsrtombs_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wcstok_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wcstombs_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wctomb_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wmemcpy_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wmemmove_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wprintf_s" language=c # Misra2012:1.4: Emergent language features shall not be used # MisraC2023:1.4: Emergent language features shall not be used # MisraC2025:1.4: Emergent language features shall not be used WARNING_FILTER += allow class="Use of wscanf_s" language=c # Misra2004:14.2: All non-null statements shall either (a) have at least one side-effect however executed, or (b) cause control flow to change # Misra2012:2.2: A project shall not contain dead code # MisraC2023:2.2: A project shall not contain dead code # MisraC2025:2.2: A project shall not contain dead code # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Useless Assignment" language=c # Misra2012:11.10: The _Atomic qualifier shall not be applied to the incomplete type void # MisraC2023:11.10: The _Atomic qualifier shall not be applied to the incomplete type void # MisraC2025:11.10: The _Atomic qualifier shall not be applied to the incomplete type void WARNING_FILTER += allow class="Void C Atomic" language=c # Misra2012:1.1: The program shall contain no violations of the standard C syntax and constraints, and shall not exceed the implementation's translation limits # MisraC2023:1.1: The program shall contain no violations of the standard C syntax and constraints, and shall not exceed the implementation's translation limits # MisraC2025:1.1: The program shall contain no violations of the standard C syntax and constraints, and shall not exceed the implementation's translation limits WARNING_FILTER += allow class="Warnings Not Treated As Errors" language=c # Misra2012:22.4: There shall be no attempt to write to a stream which has been opened as read-only # MisraC2023:22.4: There shall be no attempt to write to a stream which has been opened as read-only # MisraC2025:22.4: There shall be no attempt to write to a stream which has been opened as read-only WARNING_FILTER += allow class="Write to Read Only File" language=c # Misra2004:6.5: Bit fields of signed type shall be at least 2 bits long # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Zero Length Bit Field Must Be Unnamed" language=c # Misra2012:D.4.13: Functions which are designed to provide operations on a resource should be called in an appropriate sequence # MisraC2023:D.4.13: Functions which are designed to provide operations on a resource should be called in an appropriate sequence # MisraC2025:D.4.13: Functions which are designed to provide operations on a resource should be called in an appropriate sequence WARNING_FILTER += allow class="chroot without chdir" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="cosh on High Number" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="cosh on Low Number" language=c # Misra2012:12.5: The sizeof operator shall not have an operand which is a function parameter declared as "array of type" # MisraC2023:12.5: The sizeof operator shall not have an operand which is a function parameter declared as "array of type" # MisraC2025:12.5: The sizeof operator shall not have an operand which is a function parameter declared as "array of type" WARNING_FILTER += allow class="sizeof Array Parameter" language=c # Misra2004:20.3: The validity of values passed to library functions shall be checked # Misra2012:D.4.1: Run-time failures shall be minimized # Misra2012:D.4.11: The validity of values passed to library functions shall be checked # MisraC2023:D.4.1: Run-time failures shall be minimized # MisraC2023:D.4.11: The validity of values passed to library functions shall be checked # MisraC2025:D.4.1: Run-time failures shall be minimized # MisraC2025:D.4.11: The validity of values passed to library functions shall be checked # This check is enabled by default for the language(s) C, C++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="sqrt on Negative Value" language=c # # The remainder of this file was generated from template 'codesonar/presets/misra.conf.in' # WARNING_FILTER += discard class="Basic Numerical Type Used" line_contents=~\<(main|argc|argv)\>