opengnsys_ipxe

Commit Graph

Author	SHA1	Message	Date
Michael Brown	a5c41483d2	[coverity] Override assumptions about wcrtomb() and hmac_init() 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>	2019-08-17 17:18:54 +01:00
Michael Brown	65a3518013	[coverity] Add Coverity user model 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 <mcb30@ipxe.org>	2017-03-22 16:46:03 +02:00

Author

SHA1

Message

Date

Michael Brown

a5c41483d2

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

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>

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

Michael Brown

65a3518013

[coverity] Add Coverity user model

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 <mcb30@ipxe.org>

2017-03-22 16:46:03 +02:00

2 Commits (33cb56cf1b7a7138542fe18fd86898fdca2e8f0a)