Global Settings
As configured, ECLAIR will:
Consider, unless specified otherwise, as having argument pointee with index 1 or more with non-const type never read before being written for any call.
-default_call_properties+="pointee_read(1..=never)","pointee_write(1..=always)","taken()"
Consider, unless specified otherwise, as having argument pointee with index 1 or more with non-const type always written before return for any call.
-default_call_properties+="pointee_read(1..=never)","pointee_write(1..=always)","taken()"
Consider, unless specified otherwise, as never taking any address arguments for any call.
-default_call_properties+="pointee_read(1..=never)","pointee_write(1..=always)","taken()"
As configured, ECLAIR will:
Set the project name to `qpc_8.0.3_MC4'.
-project_name=qpc_8.0.3_MC4
As configured, ECLAIR will:
Set the project root directory to `/home/devel/qpc_8.0.3/'.
-project_root=getenv("PROJECT_ROOT")
The examples are not meant to comply with MISRA-C:2004.
As configured, ECLAIR will:
Add tag `justified' to a report where every area is an area where every location is a location in a file whose canonical pathname matches the regex `^examples/.*$'.
-reports+={justified,"all_area(all_loc(^examples/.*$))"}
The examples are not meant to comply with MISRA-C:2012.
As configured, ECLAIR will:
Hide a report where every area is an area where every location is a location in a file whose canonical pathname matches the regex `^examples/.*$'.
-reports+={hide,"all_area(all_loc(^examples/.*$))"}
Service B.ECL: Reports unused ECL configurations
As configured, ECLAIR will:
Enable the service.
-enable=B.ECL
Service B.EXPLAIN: Explain user configuration
As configured, ECLAIR will:
Enable the service.
-enable=B.EXPLAIN
Service B.REPORT.ECB: Output reports in ECB format
As configured, ECLAIR will:
Show up to 10 levels of macro expansions in report areas.
-config=B.REPORT.ECB,macros=10
As configured, ECLAIR will:
Write the reports output to file `/home/devel/qpc_8.0.3/ECLAIR/FRAME.@FRAME@.ecb'.
-config=B.REPORT.ECB,output=getenv("ECB_OUTPUT")
As configured, ECLAIR will:
Show the preprocessed source for report areas with macro expansions.
-config=B.REPORT.ECB,preprocessed=show
As configured, ECLAIR will:
Enable the service.
-enable=B.REPORT.ECB
Service MC4.D1.1: Any implementation-defined behaviour on which the output of the program depends shall be documented and understood
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D1.2: The use of language extensions should be minimized
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D2.1: All source files shall compile without any compilation errors
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D3.1: All code shall be traceable to documented requirements
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.1: Run-time failures shall be minimized
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.2: All usage of assembly language should be documented
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.3: Assembly language shall be encapsulated and isolated
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.4: Sections of code should not be "commented out"
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.5: Identifiers in the same name space with overlapping visibility should be typographically unambiguous
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.6: typedefs that indicate size and signedness should be used in place of the basic numerical types
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.7: If a function returns error information, then that error information shall be tested
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.8: If a pointer to a structure or union is never dereferenced within a translation unit, then the implementation of the object should be hidden
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.9: A function should be used in preference to a function-like macro where they are interchangeable
From Section 5.10, page 22 of AN_QP-C_MISRA.pdf.
As configured, ECLAIR will:
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `Q_ROM_BYTE', `QFsm_ctor', `QFsm_state', `QHsm_ctor', `QHsm_state', `Q_IGNORED', `Q_HANDLED', `Q_UNHANDLED', `Q_TRAN', `Q_SUPER', `Q_STATE_CAST' or `Q_EVT_CAST'.
-config=MC4.D4.9,reports+={justified,"any_area(any_loc(any_exp(macro(name(Q_ROM_BYTE||QFsm_ctor||QFsm_state||QHsm_ctor||QHsm_state||Q_IGNORED||Q_HANDLED||Q_UNHANDLED||Q_TRAN||Q_SUPER||Q_STATE_CAST||Q_EVT_CAST)))))"}
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `QF_INT_DISABLE', `QF_INT_ENABLE', `QF_CRIT_ENTRY', `QF_CRIT_EXIT', `QF_TICK', `QF_PUBLISH', `QF_MPOOL_EL', `QACTIVE_POST' or `Q_NEW'.
-config=MC4.D4.9,reports+={justified,"any_area(any_loc(any_exp(macro(name(QF_INT_DISABLE||QF_INT_ENABLE||QF_CRIT_ENTRY||QF_CRIT_EXIT||QF_TICK||QF_PUBLISH||QF_MPOOL_EL||QACTIVE_POST||Q_NEW)))))"}
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `QACTIVE_EQUEUE_WAIT_', `QACTIVE_EQUEUE_SIGNAL_', `QACTIVE_EQUEUE_ONEMPTY_', `QF_EPOOL_INIT_', `QF_EPOOL_EVENT_SIZE_', `QF_EPOOL_GET_', `QF_EPOOL_PUT_', `QF_ACTIVE_CTOR_', `QF_ACTIVE_INIT_' or `QF_ACTIVE_DISPATCH_'.
-config=MC4.D4.9,reports+={justified,"any_area(any_loc(any_exp(macro(name(QACTIVE_EQUEUE_WAIT_||QACTIVE_EQUEUE_SIGNAL_||QACTIVE_EQUEUE_ONEMPTY_||QF_EPOOL_INIT_||QF_EPOOL_EVENT_SIZE_||QF_EPOOL_GET_||QF_EPOOL_PUT_||QF_ACTIVE_CTOR_||QF_ACTIVE_INIT_||QF_ACTIVE_DISPATCH_)))))"}
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `QK_ISR_ENTRY', `QK_ISR_EXIT', `QK_EXT_SAVE', `QK_EXT_RESTORE' or `QK_TLS'.
-config=MC4.D4.9,reports+={justified,"any_area(any_loc(any_exp(macro(name(QK_ISR_ENTRY||QK_ISR_EXIT||QK_EXT_SAVE||QK_EXT_RESTORE||QK_TLS)))))"}
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `QS_I8', `QS_U8', `QS_I16', `QS_U16', `QS_I32', `QS_I64', `QS_U32', `QS_F32', `QS_F64', `QS_U64', `QS_U32_HEX', `QS_STR', `QS_OBJ', `QS_FUN', `QS_SIG_DICTIONARY', `QS_OBJ_DICTIONARY', `QS_FUN_DICTIONARY', `QS_USR_DICTIONARY', `QS_ASSERTION', `QS_FLUSH', `QS_STR_ROM', `QS_MEM' or `QS_SIG'.
-config=MC4.D4.9,reports+={justified,"any_area(any_loc(any_exp(macro(name(QS_I8||QS_U8||QS_I16||QS_U16||QS_I32||QS_I64||QS_U32||QS_F32||QS_F64||QS_U64||QS_U32_HEX||QS_STR||QS_OBJ||QS_FUN||QS_SIG_DICTIONARY||QS_OBJ_DICTIONARY||QS_FUN_DICTIONARY||QS_USR_DICTIONARY||QS_ASSERTION||QS_FLUSH||QS_STR_ROM||QS_MEM||QS_SIG)))))"}
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.10: Precautions shall be taken in order to prevent the contents of a header file being included more than once
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.11: The validity of values passed to library functions shall be checked
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.12: Dynamic memory allocation shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.13: Functions which are designed to provide operations on a resource should be called in an appropriate sequence
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.14: The validity of values received from external sources shall be checked
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D4.15: Evaluation of floating-point expressions shall not lead to the undetected generation of infinities and NaNs
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D5.1: There shall be no data races between threads
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D5.2: There shall be no deadlocks between threads
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.D5.3: There shall be no dynamic thread creation
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R1.1: The program shall contain no violations of the standard C syntax and constraints, and shall not exceed the implementation's translation limits
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R1.3: There shall be no occurrence of undefined or critical unspecified behaviour
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R1.4: Emergent language features shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R1.5: Obsolescent language features shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R2.1: A project shall not contain unreachable code
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R2.2: A project shall not contain dead code
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R2.3: A project should not contain unused type declarations
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R2.4: A project should not contain unused tag declarations
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R2.5: A project should not contain unused macro definitions
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R2.6: A function should not contain unused label declarations
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R2.7: A function should not contain unused parameters
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R2.8: A project should not contain unused object definitions
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R3.1: The character sequences `/*' and `//' shall not be used within a comment
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R3.2: Line-splicing shall not be used in `//' comments
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R4.1: Octal and hexadecimal escape sequences shall be terminated
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R4.2: Trigraphs should not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R5.1: External identifiers shall be distinct
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R5.2: Identifiers declared in the same scope and name space shall be distinct
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R5.3: An identifier declared in an inner scope shall not hide an identifier declared in an outer scope
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R5.4: Macro identifiers shall be distinct
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R5.5: Identifiers shall be distinct from macro names
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R5.6: A `typedef' name shall be a unique identifier
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R5.7: A tag name shall be a unique identifier
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R5.8: Identifiers that define objects or functions with external linkage shall be unique
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R5.9: Identifiers that define objects or functions with internal linkage should be unique
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R5.10: A reserved identifier or reserved macro name shall not be declared
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R6.1: Bit-fields shall only be declared with an appropriate type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R6.2: Single-bit named bit fields shall not be of a signed type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R6.3: A bit field shall not be declared as a member of a union
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R7.1: Octal constants shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R7.2: A `u' or `U' suffix shall be applied to all integer constants that are represented in an unsigned type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R7.3: The lowercase character `l' shall not be used in a literal suffix
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R7.4: A string literal shall not be assigned to an object unless the object's type is "pointer to `const'-qualified `char'"
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R7.5: The argument of an integer constant macro shall have an appropriate form
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R7.6: The small integer variants of the minimum-width integer constant macros shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.1: Types shall be explicitly specified
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.2: Function types shall be in prototype form with named parameters
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.3: All declarations of an object or function shall use the same names and type qualifiers
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.4: A compatible declaration shall be visible when an object or function with external linkage is defined
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.5: An external object or function shall be declared once in one and only one file
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.6: An identifier with external linkage shall have exactly one external definition
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.7: Functions and objects should not be defined with external linkage if they are referenced in only one translation unit
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.8: The `static' storage class specifier shall be used in all declarations of objects and functions that have internal linkage
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.9: An object should be declared at block scope if its identifier only appears in a single function
From Section 5.1, page 21 of AN_QP-C_MISRA.pdf.
As configured, ECLAIR will:
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `Q_DEFINE_THIS_MODULE' or `Q_DEFINE_THIS_FILE'.
-config=MC4.R8.9,reports+={justified,"any_area(any_loc(any_exp(macro(name(Q_DEFINE_THIS_MODULE||Q_DEFINE_THIS_FILE)))))"}
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.10: An inline function shall be declared with the `static' storage class
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.11: When an array with external linkage is declared, its size should be explicitly specified
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.12: Within an enumerator list, the value of an implicitly-specified enumeration constant shall be unique
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.13: A pointer should point to a `const'-qualified type whenever possible
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.14: The `restrict' type qualifier shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.15: All declarations of an object with an explicit alignment specification shall specify the same alignment
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.16: The alignment specification of zero should not appear in an object declaration
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.17: At most one explicit alignment specifier should appear in an object declaration
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.18: There shall be no tentative definitions in a header file
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R8.19: There shall be no external declarations in a source file
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R9.1: The value of an object with automatic storage duration shall not be read before it has been set
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R9.2: The initializer for an aggregate or union shall be enclosed in braces
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R9.3: Arrays shall not be partially initialized
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R9.4: An element of an object shall not be initialized more than once
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R9.5: Where designated initializers are used to initialize an array object the size of the array shall be specified explicitly
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R9.6: An initializer using chained designators shall not contain initializers without designators
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R9.7: Atomic objects shall be appropriately initialized before being accessed
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R10.1: Operands shall not be of an inappropriate essential type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R10.2: Expressions of essentially character type shall not be used inappropriately in addition and subtraction operations
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R10.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R10.4: Both operands of an operator in which the usual arithmetic conversions are performed shall have the same essential type category
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R10.5: The value of an expression should not be cast to an inappropriate essential type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R10.6: The value of a composite expression shall not be assigned to an object with wider essential type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R10.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R10.8: The value of a composite expression shall not be cast to a different essential type category or a wider essential type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R11.1: Conversions shall not be performed between a pointer to a function and any other type
From Section 6.1, page 23 of AN_QP-C_MISRA.pdf.
As configured, ECLAIR will:
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `Q_TRAN', `Q_SUPER' or `Q_STATE_CAST'.
-config=MC4.R11.1,reports+={justified,"any_area(any_loc(any_exp(macro(name(Q_TRAN||Q_SUPER||Q_STATE_CAST)))))"}
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R11.2: Conversions shall not be performed between a pointer to an incomplete type and any other type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R11.3: A conversion shall not be performed between a pointer to object type and a pointer to a different object type
As configured, ECLAIR will:
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `Q_TRAN', `Q_SUPER', `Q_STATE_CAST' or `Q_EVENT_CAST'.
-config=MC4.R11.3,reports+={justified,"any_area(any_loc(any_exp(macro(name(Q_TRAN||Q_SUPER||Q_STATE_CAST||Q_EVENT_CAST)))))"}
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `Q_NEW'.
-config=MC4.R11.3,reports+={justified,"any_area(any_loc(any_exp(macro(name(Q_NEW)))))"}
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R11.4: A conversion shall not be performed between a pointer to object and an arithmetic type
From footnote 2 on page 13 of AN_QP-C_MISRA.pdf.
As configured, ECLAIR will:
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `Q_UINT2PTR_CAST'.
-config=MC4.R11.4,reports+={justified,"any_area(any_loc(any_exp(macro(name(Q_UINT2PTR_CAST)))))"}
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R11.5: A conversion should not be performed from pointer to `void' into pointer to object
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R11.6: A cast shall not be performed between pointer to `void' and an arithmetic type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R11.8: A conversion shall not remove any `const', `volatile' or `_Atomic' qualification from the type pointed to by a pointer
From Section 5.3, page 21 of AN_QP-C_MISRA.pdf.
As configured, ECLAIR will:
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `QF_EVT_REF_CTR_INC_', `QF_EVT_REF_CTR_DEC_' or `QF_EPOOL_PUT_'.
-config=MC4.R11.8,reports+={justified,"any_area(any_loc(any_exp(macro(name(QF_EVT_REF_CTR_INC_||QF_EVT_REF_CTR_DEC_||QF_EPOOL_PUT_)))))"}
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R11.9: The macro `NULL' shall be the only permitted form of integer null pointer constant
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R11.10: The `_Atomic' qualifier shall not be applied to the incomplete type `void'
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R11.11: Pointers shall not be implicitly compared to `NULL'
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R12.1: The precedence of operators within expressions should be made explicit
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R12.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R12.3: The comma operator should not be used
From Section 6.1, page 23 of AN_QP-C_MISRA.pdf.
As configured, ECLAIR will:
Add tag `justified' to a report where at least one area is an area where at least one location is a location where an element in its expansion chain is a location expanded from a macro whose name is `Q_TRAN' or `Q_SUPER'.
-config=MC4.R12.3,reports+={justified,"any_area(any_loc(any_exp(macro(name(Q_TRAN||Q_SUPER)))))"}
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R12.4: Evaluation of constant expressions should not lead to unsigned integer wrap-around
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R12.5: The `sizeof' operator shall not have an operand which is a function parameter declared as "array of type"
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R12.6: Structure and union members of atomic objects shall not be directly accessed
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R13.1: Initializer lists shall not contain persistent side effects
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R13.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R13.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R13.4: The result of an assignment operator should not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R13.5: The right hand operand of a logical `&&' or `||' operator shall not contain persistent side effects
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R13.6: The operand of the `sizeof' operator shall not contain any expression which has potential side effects
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R14.1: A loop counter shall not have essentially floating type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R14.2: A `for' loop shall be well-formed
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R14.3: Controlling expressions shall not be invariant
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R14.4: The controlling expression of an `if' statement and the controlling expression of an iteration-statement shall have essentially Boolean type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R15.1: The `goto' statement should not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R15.2: The `goto' statement shall jump to a label declared later in the same function
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R15.3: Any label referenced by a `goto' statement shall be declared in the same block, or in any block enclosing the `goto' statement
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R15.4: There should be no more than one `break' or `goto' statement used to terminate any iteration statement
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R15.5: A function should have a single point of exit at the end
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R15.6: The body of an iteration-statement or a selection-statement shall be a compound-statement
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R15.7: All `if ... else if' constructs shall be terminated with an `else' statement
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R16.1: All `switch' statements shall be well-formed
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R16.2: A switch label shall only be used when the most closely-enclosing compound statement is the body of a `switch' statement
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R16.3: An unconditional `break' statement shall terminate every switch-clause
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R16.4: Every `switch' statement shall have a `default' label
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R16.5: A `default' label shall appear as either the first or the last switch label of a `switch' statement
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R16.6: Every `switch' statement shall have at least two switch-clauses
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R16.7: A switch-expression shall not have essentially Boolean type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.1: The features of `<stdarg.h>' shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.2: Functions shall not call themselves, either directly or indirectly
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.3: A function shall not be declared implicitly
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.4: All exit paths from a function with non-`void' return type shall have an explicit `return' statement with an expression
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.5: The function argument corresponding to a parameter declared to have an array type shall have an appropriate number of elements
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.7: The value returned by a function having non-void return type shall be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.8: A function parameter should not be modified
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.9: A function declared with a `_Noreturn' function specifier shall not return to its caller
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.10: A function declared with a `_Noreturn' function specifier shall have void return type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.11: A function that never returns should be declared with a `_Noreturn' function specifier
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.12: A function identifier should only be used with either a preceding `&', or with a parenthesized parameter list
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R17.13: A function type shall not be type qualified
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R18.3: The relational operators `>', `>=', `<' and `<=' shall not be applied to expressions of pointer type except where they point into the same object
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R18.4: The `+', `-', `+=' and `-=' operators should not be applied to an expression of pointer type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R18.5: Declarations should contain no more than two levels of pointer nesting
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R18.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R18.7: Flexible array members shall not be declared
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R18.8: Variable-length arrays shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R18.9: An object with temporary lifetime shall not undergo array-to-pointer conversion
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R18.10: Pointers to variably-modified array types shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R19.1: An object shall not be assigned or copied to an overlapping object
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R19.2: The `union' keyword should not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R19.3: A `union' member shall not be read unless it has been previously set
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.1: `#include' directives should only be preceded by preprocessor directives or comments
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.2: The `'', `"' or `\' characters and the `/*' or `//' character sequences shall not occur in a header file name
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.3: The `#include' directive shall be followed by either a `<filename>' or `"filename"' sequence
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.4: A macro shall not be defined with the same name as a keyword
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.5: `#undef' should not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.6: Tokens that look like a preprocessing directive shall not occur within a macro argument
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.7: Expressions resulting from the expansion of macro parameters shall be enclosed in parentheses
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.8: The controlling expression of a `#if' or `#elif' preprocessing directive shall evaluate to 0 or 1
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.9: All identifiers used in the controlling expression of `#if' or `#elif' preprocessing directives shall be #define'd before evaluation
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.10: The `#' and `##' preprocessor operators should not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.11: A macro parameter immediately following a `#' operator shall not immediately be followed by a `##' operator
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.13: A line whose first token is `#' shall be a valid preprocessing directive
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R20.15: `#define' and `#undef' shall not be used on a reserved identifier or reserved macro name
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.3: The memory allocation and deallocation functions of `<stdlib.h>' shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.4: The standard header file `<setjmp.h>' shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.5: The standard header file `<signal.h>' shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.6: The Standard Library input/output functions shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.7: The Standard Library functions `atof', `atoi', `atol' and `atoll' of `<stdlib.h>' shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.8: The Standard Library termination functions of `<stdlib.h>' shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.9: The Standard Library functions `bsearch' and `qsort' of `<stdlib.h>' shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.10: The Standard Library time and date functions shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.11: The standard header file `<tgmath.h>' should not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.12: The standard header file `<fenv.h>' shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.13: Any value passed to a function in `<ctype.h>' shall be representable as an unsigned char or be the value `EOF'
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.14: The Standard Library function `memcmp' shall not be used to compare null terminated strings
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.15: The pointer arguments to the Standard Library functions `memcpy', `memmove' and `memcmp' shall be pointers to qualified or unqualified versions of compatible types
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.17: Use of the string handling functions from `<string.h>' shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.18: The `size_t' argument passed to any function in `<string.h>' shall have an appropriate value
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.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
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.21: The Standard Library function `system' of `<stdlib.h>' shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.22: All operand arguments to any type-generic macros declared in `<tgmath.h>' shall have an appropriate essential type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.23: All operand arguments to any multi-argument type-generic macros declared in `<tgmath.h>' shall have the same standard type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.24: The random number generator functions of `<stdlib.h>' shall not be used
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.25: All memory synchronization operations shall be executed in sequentially consistent order
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R21.26: The Standard Library function mtx_timedlock() shall only be invoked on mutex objects of appropriate mutex type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.1: All resources obtained dynamically by means of Standard Library functions shall be explicitly released
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.2: A block of memory shall only be freed if it was allocated by means of a Standard Library function
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.3: The same file shall not be open for read and write access at the same time on different streams
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.4: There shall be no attempt to write to a stream which has been opened as read-only
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.5: A pointer to a `FILE' object shall not be dereferenced
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.6: The value of a pointer to a `FILE' shall not be used after the associated stream has been closed
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.7: The macro `EOF' shall only be compared with the unmodified return value from any Standard Library function capable of returning `EOF'
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.8: The value of `errno' shall be set to zero prior to a call to an errno-setting-function
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.9: The value of `errno' shall be tested against zero after calling an errno-setting-function
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.10: The value of `errno' shall only be tested when the last function to be called was an errno-setting-function
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.11: A thread that was previously either joined or detached shall not be subsequently joined nor detached
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.12: Thread objects, thread synchronization objects, and thread-specific storage pointers shall only be accessed by the appropriate Standard Library functions
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.13: Thread objects, thread synchronization objects and thread-specific storage pointers shall have appropriate storage duration
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.14: Thread synchronization objects shall be initialized before being accessed
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.15: Thread synchronization objects and thread-specific storage pointers shall not be destroyed until after all threads accessing them have terminated
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.16: All mutex objects locked by a thread shall be explicitly unlocked by the same thread
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.17: No thread shall unlock a mutex or call cnd_wait() or cnd_timedwait() for a mutex it has not locked before
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.18: Non-recursive mutexes shall not be recursively locked
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.19: A condition variable shall be associated with at most one mutex object
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R22.20: Thread-specific storage pointers shall be created before being accessed
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R23.1: A generic selection should only be expanded from a macro
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R23.2: A generic selection that is not expanded from a macro shall not contain potential side effects in the controlling expression
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R23.3: A generic selection should contain at least one non-default association
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R23.4: A generic association shall list an appropriate type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R23.5: A generic selection should not depend on implicit pointer type conversion
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R23.6: The controlling expression of a generic selection shall have an essential type that matches its standard type
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R23.7: A generic selection that is expanded from a macro should evaluate its argument only once
As configured, ECLAIR will:
Enable the service.
-enable=MC4
Service MC4.R23.8: A default association shall appear as either the first or the last association of a generic selection
As configured, ECLAIR will:
Enable the service.
-enable=MC4