Stephen Hemminger | c13b6b0 | 2015-12-30 18:06:12 -0800 | [diff] [blame] | 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 | */ |