]> git.ipfire.org Git - thirdparty/ipxe.git/commit
projects / thirdparty / ipxe.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f032556) | patch
[coverity] Add Coverity user model
authorMichael Brown <mcb30@ipxe.org>
Wed, 22 Mar 2017 14:46:03 +0000 (16:46 +0200)
committerMichael Brown <mcb30@ipxe.org>
Wed, 22 Mar 2017 14:46:03 +0000 (16:46 +0200)
commit65a3518013ec9ae97c9eb824cb89452111f8a7c0
treea6686da2f0cb00ea73c745ea219c0aa410e69607tree
parentf032556b15f13a7884d3fc0ccc4d54c2a390d4e9commit | diff
[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>
contrib/coverity/model.c [new file with mode: 0644] blob
Mirror of https://github.com/ipxe/ipxe.git