add copy of Coverity models.c file

diff --git a/util/models.c b/util/models.c
new file mode 100644 (file)
index 0000000..d170686
--- /dev/null
+++ b/util/models.c
@@ -0,0 +1,83 @@
+/*
+ * Provide a simple memory management model for lib/isc/mem.c
+ * which hides all the internal storage and memory filling.
+ */
+
+#define FLARG , const char * file, unsigned int line
+#define FLARG_PASS , file, line
+
+int condition;
+void *isc__mem_get(void *mem, unsigned int size FLARG) {
+       if (!mem) __coverity_panic__();
+        __coverity_negative_sink__(size);
+        if (condition)
+                return (0);
+        return (__coverity_alloc__(size));
+}
+
+void isc__mem_put(void *mem, void *ptr, unsigned int size FLARG) {
+       if (!mem) __coverity_panic__();
+        __coverity_free__(ptr);
+}
+
+void isc__mem_putanddetach(void *mem, void *ptr, unsigned int size FLARG) {
+       if (!mem) __coverity_panic__();
+        __coverity_free__(ptr);
+}
+
+void *isc__mem_allocate(void *mem, unsigned int size FLARG) {
+       if (!mem) __coverity_panic__();
+        __coverity_negative_sink__(size);
+        if (condition)
+                return (0);
+        return (__coverity_alloc__(size));
+}
+
+void *memcpy(void *s1, const void *s2, size_t n);
+
+void * isc__mem_reallocate(void *mem, void *ptr, size_t size FLARG) {
+        char *p = (char *)0;
+        size_t l;
+
+        if (!mem) __coverity_panic__();
+        if (size > 0) {
+                p = isc__mem_allocate(mem, size FLARG_PASS);
+                if (p && ptr) {
+                       l = (l > size) ? size : l;
+                        memcpy(p, ptr, l);
+                        __coverity_free__(ptr);
+                }
+        } else if (ptr)
+                __coverity_free__(ptr);
+        return (p);
+}
+
+void isc__mem_free(void *mem, void *ptr FLARG) {
+       if (!mem) __coverity_panic__();
+        __coverity_free__(ptr);
+}
+
+unsigned int strlen(const char*);
+
+void *isc__mem_strdup(void *mem, char *s FLARG) {
+        void *d;
+       if (!mem) __coverity_panic__();
+        if (condition)
+                return (0);
+        d = __coverity_alloc__(strlen(s) + 1);
+        __coverity_writeall__(d);
+        return (d);
+}
+
+void *isc__mempool_get(void *mem FLARG) {
+        unsigned int size;
+       if (!mem) __coverity_panic__();
+        if (condition)
+                return (0);
+        return (__coverity_alloc__(size));
+}
+
+void isc__mempool_put(void *mem, void *ptr FLARG) {
+       if (!mem) __coverity_panic__();
+        __coverity_free__(ptr);
+}