iproute2/lib/coverity_model.c
<<
>>
Prefs
   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 */
  18