diff options
Diffstat (limited to 'roms/ipxe/contrib/coverity')
-rw-r--r-- | roms/ipxe/contrib/coverity/model.c | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/roms/ipxe/contrib/coverity/model.c b/roms/ipxe/contrib/coverity/model.c new file mode 100644 index 000000000..43bac58d8 --- /dev/null +++ b/roms/ipxe/contrib/coverity/model.c @@ -0,0 +1,29 @@ +/* + * Coverity modelling file + * + */ + +typedef long off_t; +typedef void * userptr_t; +typedef long long time_t; +struct tm; +typedef unsigned short wchar_t; +typedef void mbstate_t; +struct digest_algorithm; + +/* Inhibit use of built-in models for functions where Coverity's + * assumptions about the modelled function are incorrect for iPXE. + */ +char * strerror ( int errno ) { +} +void copy_from_user ( void *dest, userptr_t src, off_t src_off, size_t len ) { +} +time_t mktime ( struct tm *tm ) { +} +int getchar ( void ) { +} +size_t wcrtomb ( char *buf, wchar_t wc, mbstate_t *ps ) { +} +void hmac_init ( struct digest_algorithm *digest, void *digest_ctx, + void *key, size_t *key_len ) { +} |