More coverity modeling

This adds a few more UEFI functions to our coverity model, so we see a
few less false positives during scanning.  It also fixes an error in our
model for OpenSSL's OBJ_dup().

Signed-off-by: Peter Jones <pjones@redhat.com>

1 files changed, 21 insertions, 2 deletions

diff --git a/model.c b/model.c
index 50e3f0da..e122ba9c 100644
--- a/model.c
+++ b/model.c
@@ -8,16 +8,18 @@
 /* This is so vim's Syntastic checker won't yell about all these. */
 extern void __coverity_string_size_sanitize__(int);
 extern void __coverity_negative_sink__(int);
-extern void __coverity_alloc_nosize__(void);
+extern void *__coverity_alloc_nosize__(void);
+extern void __coverity_writeall0__(void *);
 extern void *__coverity_alloc__(int);
 extern void __coverity_sleep__();
 extern void __coverity_tainted_data_sanitize__(void *);
+extern void __coverity_free__(void *);
 #endif
 
 void *
 OBJ_dup(void *o)
 {
-	__coverity_alloc_nosize__();
+	return __coverity_alloc_nosize__();
 }
 
 int
@@ -133,4 +135,21 @@ AllocatePages(EFI_ALLOCATE_TYPE Type,
 	return EFI_OUT_OF_RESOURCES;
 }
 
+void *
+AllocateZeroPool(int sz)
+{
+	void *ptr;
+
+	__coverity_negative_sink__(sz);
+	ptr = __coverity_alloc__(sz);
+	__coverity_writeall0__(ptr);
+	return ptr;
+}
+
+void
+FreePool(void *ptr)
+{
+	__coverity_free__(ptr);
+}
+
 // vim:fenc=utf-8:tw=75