# This file was generated from template 'codesonar\presets\misrac++2023.conf.in' # # This conf file configures CodeSonar to generate warnings for various # MISRA C++:2023 rules. # Configuration settings required by one or more MISRA checks. SCOPE_CHECK_SUGGESTS_LOCAL_STATIC = Yes BOOL_TYPES += bool,true,false # Explicitly enable all warning classes that correspond to one or more # MISRA C++:2023 rules, for C++ compilation units. # # (If any of these classes is already enabled for C compilation # units, it will remain enabled.) # # - Some of the the MISRA-related classes are enabled by default, but # others are not. Classes that are enabled by default are indicated with a # comment directly above the WARNING_FILTER setting. # - If you also want to enable a class for C compilation units, # delete "language=c++" from the corresponding WARNING_FILTER setting. # # 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 # MisraC++2023:19.3.2: A macro parameter immediately following a # operator shall not immediately be followed by a ## operator WARNING_FILTER += allow class="## Follows # Operator" language=c++ # MisraC++2023:5.7.1: The character sequence /* shall not be used within a C-style comment WARNING_FILTER += allow class="/* in Comment" language=c++ # MisraC++2023:8.20.1: An unsigned arithmetic operation with constant operands should not wrap WARNING_FILTER += allow class="Addition Overflow of Allocation Size" language=c++ # MisraC++2023:8.20.1: An unsigned arithmetic operation with constant operands should not wrap WARNING_FILTER += allow class="Addition Overflow of Size" language=c++ # MisraC++2023:10.3.1: There shall be no unnamed namespaces in header files WARNING_FILTER += allow class="Anonymous Namespace in Header File" language=c++ # MisraC++2023:7.11.2: An array passed as a function argument shall not decay to a pointer WARNING_FILTER += allow class="Array to Pointer Decay" language=c++ # MisraC++2023:10.4.1: The asm declaration shall not be used WARNING_FILTER += allow class="Assembly Pragma" language=c++ # MisraC++2023:8.18.2: The result of an assignment operator should not be used WARNING_FILTER += allow class="Assignment Result in Expression" language=c++ # MisraC++2023:9.6.1: The goto statement should not be used # MisraC++2023:9.6.3: The goto statement shall jump to a label declared later in the function body WARNING_FILTER += allow class="Backwards goto" language=c++ # MisraC++2023:6.9.2: The names of the standard signed integer types and standard unsigned integer types should not be used WARNING_FILTER += allow class="Basic Numerical Type Used" language=c++ # MisraC++2023:12.2.1: Bit fields should not be declared WARNING_FILTER += allow class="Bit-field Signedness Not Explicit" language=c++ # MisraC++2023:12.2.1: Bit fields should not be declared # MisraC++2023:12.2.3: A named bit-field with signed integer type shall not have a length of one bit WARNING_FILTER += allow class="Bit-field Too Short" language=c++ # MisraC++2023:12.2.1: Bit fields should not be declared WARNING_FILTER += allow class="Bit-field in Union" language=c++ # MisraC++2023:9.3.1: 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++ # MisraC++2023:4.1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC++2023:8.7.1: Pointer arithmetic shall not form an invalid pointer # 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++ # MisraC++2023:8.2.2: C-style casts and functional notation casts shall not be used WARNING_FILTER += allow class="C-style Cast" language=c++ # MisraC++2023:8.2.1: A virtual base class shall only be cast to a derived class by means of dynamic_cast # MisraC++2023:8.20.1: An unsigned arithmetic operation with constant operands should not wrap # 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++ # MisraC++2023:8.2.3: A cast shall not remove any const or volatile qualification from the type accessed via a pointer or by reference WARNING_FILTER += allow class="Cast Removes const Qualifier" language=c++ # MisraC++2023:8.2.3: A cast shall not remove any const or volatile qualification from the type accessed via a pointer or by reference WARNING_FILTER += allow class="Cast Removes volatile Qualifier" language=c++ # MisraC++2023:8.2.5: reinterpret_cast shall not be used WARNING_FILTER += allow class="Cast: Object Pointers" language=c++ # MisraC++2023:8.2.1: A virtual base class shall only be cast to a derived class by means of dynamic_cast # MisraC++2023:8.2.5: reinterpret_cast shall not be used WARNING_FILTER += allow class="Cast: Virtual Base to Derived" language=c++ # MisraC++2023:19.0.3: #include directives should only be preceded by preprocessor directives or comments WARNING_FILTER += allow class="Code Before #include" language=c++ # MisraC++2023:7.0.5: Integral promotion and the usual arithmetic conversions shall not change the signedness or the type category of an operand # MisraC++2023:8.20.1: An unsigned arithmetic operation with constant operands should not wrap # 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++ # MisraC++2023:7.11.1: nullptr shall be the only form of the null-pointer-constant WARNING_FILTER += allow class="Coercion: Integer Constant to Pointer" language=c++ # MisraC++2023:5.7.2: Sections of code should not be "commented out" WARNING_FILTER += allow class="Commented-out Code" language=c++ # MisraC++2023:8.9.1: The built-in relational operators >, >=, < and <= shall not be applied to objects of pointer type, except where they point to 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="Comparison of Unrelated Pointers" language=c++ # MisraC++2023:5.13.5: The lowercase form of "L" shall not be used as the first character in a literal suffix WARNING_FILTER += allow class="Confusing Literal Suffix" language=c++ # MisraC++2023:16.5.1: The logical AND and logical OR operators shall not be overloaded # MisraC++2023:16.5.2: The address-of operator shall not be overloaded WARNING_FILTER += allow class="Confusing Operator Overload" language=c++ # MisraC++2023:8.2.4: Casts shall not be performed between a pointer to a function and any other type WARNING_FILTER += allow class="Conversion from Function Pointer" language=c++ # MisraC++2023:7.11.3: A conversion from function type to pointer-to-function type shall only occur in appropriate contexts # MisraC++2023:8.2.4: Casts shall not be performed between a pointer to a function and any other type WARNING_FILTER += allow class="Conversion to Function Pointer" language=c++ # MisraC++2023:8.2.6: An object with integral, enumerated, or pointer to void type shall not be converted to an object with pointer type # MisraC++2023:8.2.7: A cast should not convert a pointer type to an integral type WARNING_FILTER += allow class="Conversion: Pointer/Integer" language=c++ # MisraC++2023:8.2.6: An object with integral, enumerated, or pointer to void type shall not be converted to an object with pointer type WARNING_FILTER += allow class="Conversion: Void Pointer to Object Pointer" language=c++ # MisraC++2023:4.1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC++2023:8.2.2: C-style casts and functional notation casts shall not 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="Dangerous Function Cast" language=c++ # MisraC++2023:19.2.3: 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++ # MisraC++2023:4.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++ # MisraC++2023:21.6.2: Dynamic memory shall be managed automatically WARNING_FILTER += allow class="Dynamic Allocation After Initialization" language=c++ # MisraC++2023:8.2.11: An argument passed via ellipsis shall have an appropriate type WARNING_FILTER += allow class="Ellipsis" language=c++ # MisraC++2023:6.0.2: When an array with external linkage is declared, its size should be explicitly specified WARNING_FILTER += allow class="Extern Array Without Size" language=c++ # MisraC++2023:4.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++ # It may remain in effect even if the following line is commented out. WARNING_FILTER += allow class="Float Division By Zero" language=c++ # MisraC++2023:0.3.1: Floating-point arithmetic should be used appropriately WARNING_FILTER += allow class="Float Multiplication Overflow" language=c++ # MisraC++2023:9.5.1: Legacy for statements should be simple WARNING_FILTER += allow class="Float-typed Loop Counter" language=c++ # MisraC++2023:6.2.1: The one-definition rule shall not be violated # MisraC++2023:6.2.4: A header file shall not contain definitions of functions or objects that are non-inline and have external linkage WARNING_FILTER += allow class="Function Defined in Header File" language=c++ # MisraC++2023:19.0.2: Function-like macros shall not be defined WARNING_FILTER += allow class="Function-Like Macro" language=c++ # MisraC++2023:6.2.2: All declarations of a variable or function shall have the same type WARNING_FILTER += allow class="Global Variable Declared with Different Types" language=c++ # MisraC++2023:9.6.1: The goto statement should not be used WARNING_FILTER += allow class="Goto Statement" language=c++ # MisraC++2023:0.1.2: The value returned by a function shall 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="Ignored Return Value" language=c++ # MisraC++2023:15.0.2: User-provided copy and move member functions of a class should have appropriate signatures WARNING_FILTER += allow class="Implicit Constructor Shadowing" language=c++ # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Implicit Function Declaration" language=c++ # MisraC++2023:13.1.1: Classes should not be inherited virtually WARNING_FILTER += allow class="Implicit Inheritance from Stateful Virtual Base" language=c++ # MisraC++2023:8.1.2: Variables should be captured explicitly in a non-transient lambda WARNING_FILTER += allow class="Implicit Lambda Capture" language=c++ # MisraC++2023:12.2.2: A bit-field shall have an appropriate type WARNING_FILTER += allow class="Inappropriate Bit-field Type" language=c++ # MisraC++2023:7.0.3: The numerical value of a character shall not be used WARNING_FILTER += allow class="Inappropriate Character Arithmetic" language=c++ # MisraC++2023:13.3.4: A comparison of a potentially virtual pointer to member shall only be with nullptr WARNING_FILTER += allow class="Inappropriate Comparison of Virtual Member Function" language=c++ # MisraC++2023:6.0.3: The only declarations in the global namespace shall be main, namespace declarations and extern "C" declarations WARNING_FILTER += allow class="Inappropriate Declaration in Global Namespace" 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. # - MisraC++2023:19.2.2 is better matched by "Malformed #include" # MisraC++2023:7.0.3: The numerical value of a character shall not be used # MisraC++2023:7.0.4: The operands of bitwise operators and shift operators shall be appropriate # MisraC++2023:8.3.1: The built-in unary - operator should not be applied to an expression of unsigned type WARNING_FILTER += allow class="Inappropriate Operand Type" language=c++ # MisraC++2023:10.1.2: Volatile qualification shall be used appropriately WARNING_FILTER += allow class="Inappropriate Volatile Declaration" language=c++ # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Incomplete Function Prototype" language=c++ # MisraC++2023:11.6.3: Within an enumerator list, the value of an implicitly-specified enumeration constant shall be unique WARNING_FILTER += allow class="Inconsistent Enumerator Initialization" language=c++ # MisraC++2023:13.3.3: The parameters in all declarations or overrides of a function shall either be unnamed or have identical names # MisraC++2023:6.2.2: All declarations of a variable or function shall have the same type # MisraC++2023:6.9.1: The same type aliases shall be used in all declarations and re- declarations of the same entity WARNING_FILTER += allow class="Inconsistent Function Declarations" language=c++ # MisraC++2023:6.2.2: All declarations of a variable or function shall have the same type # MisraC++2023:6.9.1: The same type aliases shall be used in all declarations and re- declarations of the same entity WARNING_FILTER += allow class="Inconsistent Object Declarations" language=c++ # MisraC++2023:4.6.1: Operations on a memory location shall be sequenced appropriately WARNING_FILTER += allow class="Indeterminate Order of Evaluation" language=c++ # MisraC++2023:10.4.1: The asm declaration shall not be used WARNING_FILTER += allow class="Inline Assembly Code" language=c++ # MisraC++2023:30.0.2: Reads and writes on the same file stream shall be separated by a positioning operation # 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="Input After Output Without Positioning" language=c++ # MisraC++2023:19.0.1: A line whose first token is # shall be a valid preprocessing directive WARNING_FILTER += allow class="Invalid Preprocessor Directive" language=c++ # MisraC++2023:9.6.2: A goto statement shall reference a label in a surrounding block WARNING_FILTER += allow class="Label Not In Enclosing Block" language=c++ # MisraC++2023:5.7.3: Line-splicing shall not be used in // comments WARNING_FILTER += allow class="Line Splicing in Comment" language=c++ # MisraC++2023:19.3.1: The # and ## preprocessor operators should not be used # MisraC++2023:19.3.3: The argument to a mixed-use macro parameter shall not be subject to further expansion WARNING_FILTER += allow class="Macro Argument is both Mixed and Expanded" language=c++ # MisraC++2023:19.3.4: Parentheses shall be used to ensure macro arguments are expanded appropriately WARNING_FILTER += allow class="Macro Parameter Not Parenthesized" language=c++ # MisraC++2023:19.3.1: The # and ## preprocessor operators should not be used WARNING_FILTER += allow class="Macro Uses # Operator" language=c++ # MisraC++2023:19.3.1: The # and ## preprocessor operators should not be used WARNING_FILTER += allow class="Macro Uses ## Operator" language=c++ # MisraC++2023:19.2.2: The #include directive shall be followed by either a or "filename" sequence WARNING_FILTER += allow class="Malformed #include" language=c++ # MisraC++2023:9.5.1: Legacy for statements should be simple WARNING_FILTER += allow class="Malformed for-loop Condition" language=c++ # MisraC++2023:9.5.1: Legacy for statements should be simple WARNING_FILTER += allow class="Malformed for-loop Initialization" language=c++ # MisraC++2023:9.5.1: Legacy for statements should be simple WARNING_FILTER += allow class="Malformed for-loop Step" language=c++ # MisraC++2023:9.4.2: The structure of a switch statement shall be appropriate WARNING_FILTER += allow class="Malformed switch Statement" language=c++ # MisraC++2023:13.3.2: Parameters in an overriding virtual function shall not introduce different default arguments WARNING_FILTER += allow class="Method Default Value Mismatch" language=c++ # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Mismatched Operand Types" language=c++ # MisraC++2023:9.4.2: The structure of a switch statement shall be appropriate WARNING_FILTER += allow class="Misplaced case" language=c++ # MisraC++2023:9.4.2: The structure of a switch statement shall be appropriate WARNING_FILTER += allow class="Misplaced default" language=c++ # MisraC++2023:6.2.1: The one-definition rule shall not be violated WARNING_FILTER += allow class="Missing External Definition" language=c++ # MisraC++2023:9.4.1: All if ... else if constructs shall be terminated with an else statement WARNING_FILTER += allow class="Missing Final else" language=c++ # MisraC++2023:5.13.4: Unsigned integer literals shall be appropriately suffixed WARNING_FILTER += allow class="Missing Literal Suffix" language=c++ # MisraC++2023:8.0.1: Parentheses should be used to make the meaning of an expression appropriately explicit WARNING_FILTER += allow class="Missing Parentheses" language=c++ # MisraC++2023:4.1.2: Deprecated features should not be used # MisraC++2023:9.6.5: A function with non-void return type shall return a value on all paths # 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++ # MisraC++2023:9.4.2: The structure of a switch statement shall be appropriate WARNING_FILTER += allow class="Missing break" language=c++ # MisraC++2023:9.4.2: The structure of a switch statement shall be appropriate WARNING_FILTER += allow class="Missing default" language=c++ # MisraC++2023:9.5.1: Legacy for statements should be simple WARNING_FILTER += allow class="Missing for-loop Step" language=c++ # MisraC++2023:9.5.1: Legacy for statements should be simple WARNING_FILTER += allow class="Missing for-loop Termination" language=c++ # MisraC++2023:10.4.1: The asm declaration shall not be used WARNING_FILTER += allow class="Mixed Assembly and Code" language=c++ # MisraC++2023:10.0.1: A declaration shall not declare more than one variable or member variable WARNING_FILTER += allow class="Multiple Declarations On Line" language=c++ # MisraC++2023:6.2.1: The one-definition rule shall not be violated # MisraC++2023:6.2.3: The source code used to implement an entity shall appear only once WARNING_FILTER += allow class="Multiple External Definitions" language=c++ # MisraC++2023:8.20.1: An unsigned arithmetic operation with constant operands should not wrap WARNING_FILTER += allow class="Multiplication Overflow of Allocation Size" language=c++ # MisraC++2023:8.20.1: An unsigned arithmetic operation with constant operands should not wrap WARNING_FILTER += allow class="Multiplication Overflow of Size" language=c++ # MisraC++2023:4.1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC++2023:7.0.4: The operands of bitwise operators and shift operators shall be appropriate # 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++ # MisraC++2023:6.0.1: Block scope declarations shall not be visually ambiguous WARNING_FILTER += allow class="Nested Function Declaration" language=c++ # MisraC++2023:19.1.2: 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++ # MisraC++2023:19.1.2: 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++ # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Non-const String Literal" language=c++ # MisraC++2023:6.4.1: A variable declared in an inner scope shall not hide a variable declared in an outer scope WARNING_FILTER += allow class="Non-distinct Identifiers: Nested Scope" language=c++ # MisraC++2023:4.1.1: A program shall conform to ISO/IEC 14882:2017 (C++17) WARNING_FILTER += allow class="Not All Warnings Are Enabled" language=c++ # MisraC++2023:4.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="Null Pointer Dereference" language=c++ # MisraC++2023:6.2.1: The one-definition rule shall not be violated # MisraC++2023:6.2.4: A header file shall not contain definitions of functions or objects that are non-inline and have external linkage WARNING_FILTER += allow class="Object Defined in Header File" language=c++ # MisraC++2023:18.3.2: An exception of class type shall be caught by const reference or reference # 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="Object Slicing" language=c++ # MisraC++2023:5.13.3: Octal constants shall not be used WARNING_FILTER += allow class="Octal Constant" language=c++ # MisraC++2023:30.0.2: Reads and writes on the same file stream shall be separated by a positioning operation # 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="Output After Input Without Positioning" language=c++ # MisraC++2023:8.18.1: An object or sub-object must not be 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++ # MisraC++2023:6.4.2: Derived classes shall not conceal functions that are inherited from their bases WARNING_FILTER += allow class="Override of Non-Virtual Method" language=c++ # MisraC++2023:11.6.1: All variables should be initialized WARNING_FILTER += allow class="Partially Uninitialized Aggregate" language=c++ # MisraC++2023:11.6.1: All variables should be initialized WARNING_FILTER += allow class="Partially Uninitialized Array" language=c++ # MisraC++2023:10.1.1: The target type of a pointer or lvalue reference parameter should be const-qualified appropriately WARNING_FILTER += allow class="Pointed-to Type Could Be const" language=c++ # MisraC++2023:8.7.1: Pointer arithmetic shall not form an invalid pointer WARNING_FILTER += allow class="Pointer Arithmetic" language=c++ # MisraC++2023:4.1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC++2023:8.7.1: Pointer arithmetic shall not form an invalid pointer WARNING_FILTER += allow class="Pointer Before Beginning of Object" language=c++ # MisraC++2023:4.1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC++2023:8.7.1: Pointer arithmetic shall not form an invalid pointer WARNING_FILTER += allow class="Pointer Past End of Object" language=c++ # MisraC++2023:19.3.5: 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++ # MisraC++2023:8.2.10: Functions shall not call themselves, either directly or indirectly WARNING_FILTER += allow class="Recursion" language=c++ # MisraC++2023:0.0.1: A function shall not contain unreachable statements # MisraC++2023:0.0.2: Controlling expressions should 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++ # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Register Keyword" language=c++ # MisraC++2023:6.8.2: A function must not return a reference or a pointer to a local variable with automatic storage duration # 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++ # MisraC++2023:9.6.4: A function declared with the [[noreturn]] attribute shall not return # 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++ # MisraC++2023:7.0.4: The operands of bitwise operators and shift operators shall be appropriate WARNING_FILTER += allow class="Risky Integer Promotion" language=c++ # MisraC++2023:4.1.3: There shall be no occurrence of undefined or critical unspecified behaviour # MisraC++2023:7.0.4: The operands of bitwise operators and shift operators shall be appropriate # 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++ # MisraC++2023:8.14.1: 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++ # MisraC++2023:8.20.1: An unsigned arithmetic operation with constant operands should not wrap WARNING_FILTER += allow class="Subtraction Underflow of Allocation Size" language=c++ # MisraC++2023:8.20.1: An unsigned arithmetic operation with constant operands should not wrap WARNING_FILTER += allow class="Subtraction Underflow of Size" language=c++ # MisraC++2023:8.7.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++ # MisraC++2023:11.3.2: The declaration of objects should contain no more than two levels of pointer indirection WARNING_FILTER += allow class="Too Much Indirection in Declaration" language=c++ # MisraC++2023:5.0.1: Trigraph-like sequences should not be used WARNING_FILTER += allow class="Trigraph" language=c++ # MisraC++2023:19.1.3: All identifiers used in the controlling expression of #if or #elif preprocessing directives shall be #define'd at the point of evaluation WARNING_FILTER += allow class="Undefined Macro in #if" language=c++ # MisraC++2023:11.6.2: The value of an object shall not be read before it has been set # 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++ # MisraC++2023:12.3.1: The union keyword shall not be used WARNING_FILTER += allow class="Union Type" language=c++ # MisraC++2023:0.0.1: A function shall not contain unreachable statements # 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++ # MisraC++2023:4.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++ # MisraC++2023:5.13.2: Octal and hexadecimal escape sequences shall be terminated WARNING_FILTER += allow class="Unterminated Escape Sequence" language=c++ # MisraC++2023:0.2.2: Any named function parameter shall be used at least once WARNING_FILTER += allow class="Unused Parameter" language=c++ # MisraC++2023:0.2.3: Types with limited visibility should be used at least once WARNING_FILTER += allow class="Unused Type" language=c++ # MisraC++2023:0.1.1: A value should not be unnecessarily written to a local 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="Unused Value" language=c++ # MisraC++2023:0.2.1: Variables with limited visibility should be used at least once WARNING_FILTER += allow class="Unused Variable" language=c++ # MisraC++2023:6.8.1: An object shall not be accessed outside of its lifetime # 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++ # MisraC++2023:6.8.1: An object shall not be accessed outside of its lifetime # 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++ # MisraC++2023:19.6.1: The #pragma directive and the _Pragma operator should not be used WARNING_FILTER += allow class="Use of #pragma" language=c++ # MisraC++2023:19.0.4: #undef should only be used for macros defined previously in the same file WARNING_FILTER += allow class="Use of #undef" language=c++ # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Use of Exception Handling Function" language=c++ # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Use of " language=c++ # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Use of " language=c++ # MisraC++2023:21.10.1: The features of shall not be used # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Use of Feature" language=c++ # MisraC++2023:30.0.1: The C Library input/output functions shall not be used # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Use of Input/Output" language=c++ # MisraC++2023:4.1.2: Deprecated features should not be used WARNING_FILTER += allow class="Use of Input/Output Macro" language=c++ # MisraC++2023:21.6.1: Dynamic memory shall not be used # MisraC++2023:21.6.2: Dynamic memory shall be managed automatically WARNING_FILTER += allow class="Use of Allocator/Deallocator" language=c++ # MisraC++2023:21.6.1: Dynamic memory shall not be used # MisraC++2023:21.6.2: Dynamic memory shall be managed automatically WARNING_FILTER += allow class="Use of Allocator/Deallocator Macro" language=c++ # MisraC++2023:30.0.1: The C Library input/output functions shall not be used WARNING_FILTER += allow class="Use of Input/Output" language=c++ # MisraC++2023:30.0.1: The C Library input/output functions shall not be used WARNING_FILTER += allow class="Use of Input/Output Macro" language=c++ # MisraC++2023:8.19.1: The comma operator should not be used WARNING_FILTER += allow class="Use of Comma Operator" language=c++ # MisraC++2023:7.11.1: nullptr shall be the only form of the null-pointer-constant WARNING_FILTER += allow class="Use of NULL" language=c++ # MisraC++2023:18.5.2: Program-terminating functions should not be used WARNING_FILTER += allow class="Use of abort" language=c++ # MisraC++2023:21.2.1: The library functions atof, atoi, atol and atoll from shall not be used WARNING_FILTER += allow class="Use of atof" language=c++ # MisraC++2023:21.2.1: The library functions atof, atoi, atol and atoll from shall not be used WARNING_FILTER += allow class="Use of atoi" language=c++ # MisraC++2023:21.2.1: The library functions atof, atoi, atol and atoll from shall not be used WARNING_FILTER += allow class="Use of atol" language=c++ # MisraC++2023:21.2.1: The library functions atof, atoi, atol and atoll from shall not be used WARNING_FILTER += allow class="Use of atoll" language=c++ # MisraC++2023:18.5.2: Program-terminating functions should not be used WARNING_FILTER += allow class="Use of exit" language=c++ # MisraC++2023:30.0.1: The C Library input/output functions 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++ # MisraC++2023:21.10.2: The standard header file shall not be used WARNING_FILTER += allow class="Use of longjmp" language=c++ # MisraC++2023:24.5.2: The C++ Standard Library functions memcpy, memmove and memcmp from shall not be used WARNING_FILTER += allow class="Use of memcmp" language=c++ # MisraC++2023:21.2.4: The macro offsetof shall not be used WARNING_FILTER += allow class="Use of offsetof" language=c++ # MisraC++2023:6.8.3: An assignment operator shall not assign the address of an object with automatic storage duration to an object with a greater lifetime WARNING_FILTER += allow class="Use of putenv" language=c++ # MisraC++2023:21.10.2: The standard header file shall not be used WARNING_FILTER += allow class="Use of setjmp" language=c++ # MisraC++2023:25.5.1: The setlocale and std::locale::global functions shall not be called WARNING_FILTER += allow class="Use of setlocale" language=c++ # MisraC++2023:21.10.3: The facilities provided by the standard header file shall not be used WARNING_FILTER += allow class="Use of signal" language=c++ # MisraC++2023:25.5.1: The setlocale and std::locale::global functions shall not be called WARNING_FILTER += allow class="Use of std::locale::global" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strcat" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strchr" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strcmp" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strcoll" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strcpy" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strcspn" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strlen" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strpbrk" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strspn" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strstr" language=c++ # MisraC++2023:21.2.2: The string handling functions from , , and shall not be used WARNING_FILTER += allow class="Use of strtok" language=c++ # MisraC++2023:21.2.3: The Standard Library function system of shall not be used WARNING_FILTER += allow class="Use of system" language=c++ # MisraC++2023:18.1.2: An empty throw shall only occur within the compound-statement of a catch handler WARNING_FILTER += allow class="Use of throw" language=c++ # MisraC++2023:13.1.1: Classes should not be inherited virtually WARNING_FILTER += allow class="Virtual Base Class" language=c++ # MisraC++2023:13.1.1: Classes should not be inherited virtually WARNING_FILTER += allow class="Virtual Base Class not In Diamond" language=c++ # MisraC++2023:15.1.1: An object's dynamic type shall not be used from within its constructor or destructor # 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="Virtual Call in Constructor" language=c++ # MisraC++2023:15.1.1: An object's dynamic type shall not be used from within its constructor or destructor # 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="Virtual Call in Destructor" language=c++ # MisraC++2023:13.1.1: Classes should not be inherited virtually # MisraC++2023:13.1.2: An accessible base class shall not be both virtual and non-virtual in the same hierarchy WARNING_FILTER += allow class="Virtual and Non-Virtual Base Class" language=c++ # MisraC++2023:4.1.1: A program shall conform to ISO/IEC 14882:2017 (C++17) WARNING_FILTER += allow class="Warnings Not Treated As Errors" language=c++ # # The remainder of this file was generated from template 'codesonar\presets\misrac++2023.conf.in' # WARNING_FILTER += discard class="Basic Numerical Type Used" line_contents=~\<(main|argc|argv)\>