From c13b6b097ab38b346271ce5ef802a0372dcbf78d Mon Sep 17 00:00:00 2001 From: Stephen Hemminger Date: Wed, 30 Dec 2015 18:06:12 -0800 Subject: [PATCH] add coverity model file Track any coverity overrides for this project. Signed-off-by: Stephen Hemminger --- lib/coverity_model.c | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 lib/coverity_model.c diff --git a/lib/coverity_model.c b/lib/coverity_model.c new file mode 100644 index 000000000..c89630206 --- /dev/null +++ b/lib/coverity_model.c @@ -0,0 +1,19 @@ +/* + * Coverity Scan model + * + * This is a modeling file for Coverity Scan. Modeling helps to avoid false + * positives. + * + * - A model file can't import any header files. + * - Therefore only some built-in primitives like int, char and void are + * available but not wchar_t, NULL etc. + * - Modeling doesn't need full structs and typedefs. Rudimentary structs + * and similar types are sufficient. + * - An uninitialized local pointer is not an error. It signifies that the + * variable could be either NULL or have some data. + * + * Coverity Scan doesn't pick up modifications automatically. The model file + * must be uploaded by an admin. + */ + + -- 2.47.2