[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>
ipxe · Mar 22, 2017 · 65a3518 · 65a3518
1 parent f032556
commit 65a3518
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/contrib/coverity/model.c b/contrib/coverity/model.c
@@ -0,0 +1,21 @@
+/*
+ * Coverity modelling file
+ *
+ */
+
+typedef long off_t;
+typedef void * userptr_t;
+typedef long long time_t;
+struct tm;
+
+/* 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 ) {
+}