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