-
Notifications
You must be signed in to change notification settings - Fork 102
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update CMakeList to optionally build UT/Coverity;
Update coverity configuraion.
- Loading branch information
1 parent
7b68936
commit aad2323
Showing
2 changed files
with
81 additions
and
72 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,43 +1,40 @@ | ||
// MISRA C-2012 Rules | ||
|
||
{ | ||
version : "2.0", | ||
standard : "c2012", | ||
title: "Coverity MISRA Configuration", | ||
deviations : [ | ||
// Disable the following rules. | ||
{ | ||
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." | ||
}, | ||
"version" : "2.0", | ||
"standard" : "c2012", | ||
"title": "Coverity MISRA Configuration", | ||
"deviations" : [ | ||
{ | ||
deviation: "Directive 4.9", | ||
reason: "Allow inclusion of function like macros. Logging is done using function like macros." | ||
"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: "Rule 2.3", | ||
reason: "Allow unused types. Library headers may define types intended for the application's use, but not used within the library files." | ||
"deviation": "Directive 4.9", | ||
"reason": "Allow inclusion of function like macros. Logging is done using function like macros." | ||
}, | ||
{ | ||
deviation: "Rule 2.4", | ||
reason: "Allow unused tags. Some compilers warn if types are not tagged." | ||
"deviation": "Rule 2.3", | ||
"reason": "Allow unused types. Library headers may define types intended for the application's use, but not used within the library files." | ||
}, | ||
{ | ||
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 2.4", | ||
"reason": "Allow unused tags. Some compilers warn if types are not tagged." | ||
}, | ||
{ | ||
deviation: "Rule 3.1", | ||
reason: "Allow nested comments. Documentation blocks contain comments for example code." | ||
"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 8.7", | ||
reason: "API functions are not used by the library outside of the files they are defined; however, they must be externally visible in order to be used by an application." | ||
"deviation": "Rule 3.1", | ||
"reason": "Allow nested comments. Documentation blocks contain comments for example code." | ||
}, | ||
{ | ||
deviation: "Rule 11.5", | ||
reason: "Allow casts from `void *`. The payload buffers are stored as `void *` and are cast to various types for use in functions." | ||
"deviation": "Rule 8.7", | ||
"reason": "API functions are not used by the library outside of the files they are defined; however, they must be externally visible in order to be used by an application." | ||
}, | ||
{ | ||
"deviation": "Rule 11.5", | ||
"reason": "Allow casts from `void *`. The payload buffers are stored as `void *` and are cast to various types for use in functions." | ||
} | ||
] | ||
} | ||
|