67 lines
2.5 KiB
Plaintext
67 lines
2.5 KiB
Plaintext
// MISRA C-2012 Rules
|
|
|
|
{
|
|
version : "2.0",
|
|
standard : "c2012",
|
|
title: "Coverity MISRA Configuration",
|
|
deviations : [
|
|
// Disable the following rules.
|
|
{
|
|
deviation: "Directive 4.5",
|
|
reason: "Allow names that MISRA considers ambiguous (such as enum IOT_MQTT_CONNECT and function IotMqtt_Connect)."
|
|
},
|
|
{
|
|
deviation: "Directive 4.8",
|
|
reason: "Allow inclusion of unused types. Header files for a specific port, which are needed by all files, may define types that are not used by a specific file."
|
|
},
|
|
{
|
|
deviation: "Directive 4.9",
|
|
reason: "Allow inclusion of function like macros. Logging is done using function like macros."
|
|
},
|
|
{
|
|
deviation: "Directive 4.12",
|
|
reason: "Allow use of malloc. This library uses malloc to create cryptographic objects."
|
|
},
|
|
{
|
|
deviation: "Rule 2.3",
|
|
reason: "Allow unused types. Some types are used by the application."
|
|
},
|
|
{
|
|
deviation: "Rule 2.4",
|
|
reason: "Allow unused tags. Some compilers warn if types are not tagged."
|
|
},
|
|
{
|
|
deviation: "Rule 2.5",
|
|
reason: "Allow unused macros. Library headers may define macros intended for the application's use, but not used by a specific file."
|
|
},
|
|
{
|
|
deviation: "Rule 3.1",
|
|
reason: "Allow nested comments. Documentation blocks contain comments for example code."
|
|
},
|
|
{
|
|
deviation: "Rule 8.7",
|
|
reason: "API functions are not used by library. They must be externally visible in order to be used by the application."
|
|
},
|
|
{
|
|
deviation: "Rule 8.13",
|
|
reason: "The PKCS #11 API is defined by the PKCS #11 header files distributed by OASIS. There are some parameters that could be const qualified in this implementation, but since the API cannot be modified, are not const qualified."
|
|
},
|
|
{
|
|
deviation: "Rule 11.5",
|
|
reason: "Allow casts from void *. Contexts are passed as void * and must be cast to the correct data type before use."
|
|
},
|
|
{
|
|
deviation: "Rule 21.1",
|
|
reason: "Allow use of all names."
|
|
},
|
|
{
|
|
deviation: "Rule 21.2",
|
|
reason: "Allow use of all names."
|
|
},
|
|
{
|
|
deviation: "Rule 21.3",
|
|
reason: "This library makes use of malloc. Allow use of malloc."
|
|
}
|
|
]
|
|
}
|