lib/coverity_model.c

   1 /*
   2  * Coverity Scan model
   3  *
   4  * This is a modeling file for Coverity Scan. Modeling helps to avoid false
   5  * positives.
   6  *
   7  * - A model file can't import any header files.
   8  * - Therefore only some built-in primitives like int, char and void are
   9  *   available but not wchar_t, NULL etc.
  10  * - Modeling doesn't need full structs and typedefs. Rudimentary structs
  11  *   and similar types are sufficient.
  12  * - An uninitialized local pointer is not an error. It signifies that the
  13  *   variable could be either NULL or have some data.
  14  *
  15  * Coverity Scan doesn't pick up modifications automatically. The model file
  16  * must be uploaded by an admin.
  17  */