models.c revision 0c27b3fe77ac1d5094ba3521e8142d9e7973133f
/*
* Copyright (C) 2015, 2016 Internet Systems Consortium, Inc. ("ISC")
*
* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
*/
/*
* Provide a simple memory management model for lib/isc/mem.c
* which hides all the internal storage and memory filling.
*
* See https://scan.coverity.com/models
*/
#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);
}