]>
Commit | Line | Data |
---|---|---|
c13b6b09 SH |
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 | */ |