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