mirror of
https://github.com/ipxe/ipxe.git
synced 2024-11-21 16:38:39 -06:00
a5c41483d2
Newer versions of Coverity use built-in models for wcrtomb() and hmac_init() that are capable of returning errors, and reports defects due to code failing to check for these errors. The actual iPXE implementations are simpler than Coverity's models and can never return errors, so these defects are false positives. Fix by overriding Coverity's built-in models for these functions. Signed-off-by: Michael Brown <mcb30@ipxe.org>
30 lines
679 B
C
30 lines
679 B
C
/*
|
|
* 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 ) {
|
|
}
|