[coverity] Override assumptions about wcrtomb() and hmac_init()

2019-08-17T16:18:54+00:00

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

[coverity] Add Coverity user model

2017-03-22T14:46:03+00:00

Add a trivial model file to prevent Coverity from making various incorrect assumptions about functions where the iPXE behaviour diverges from POSIX or Linux norms. Signed-off-by: Michael Brown

openslx-ng/ipxe.git/contrib/coverity, branch openslx

[coverity] Override assumptions about wcrtomb() and hmac_init()

[coverity] Add Coverity user model