void *av_mallocz(size_t size) { int has_memory; __coverity_negative_sink__(size); if (has_memory) { void *ptr = __coverity_alloc__(size); __coverity_writeall0__(ptr); __coverity_mark_as_afm_allocated__(ptr, "av_free"); return ptr; } else { return 0; } }
void *g_malloc0_n(size_t nmemb, size_t size) { size_t sz; void *ptr; __coverity_negative_sink__(nmemb); __coverity_negative_sink__(size); sz = nmemb * size; ptr = __coverity_alloc__(sz); __coverity_writeall0__(ptr); __coverity_mark_as_afm_allocated__(ptr, "g_free"); return ptr; }
char *g_strconcat(const char *s, ...) { char *s; /* * Can't model: last argument must be null, the others * null-terminated strings */ s = __coverity_alloc_nosize__(); __coverity_writeall__(s); __coverity_mark_as_afm_allocated__(s, "g_free"); return s; }
char *g_strdup_printf(const char *format, ...) { char ch, *s; size_t len; __coverity_string_null_sink__(format); __coverity_string_size_sink__(format); ch = *format; s = __coverity_alloc_nosize__(); __coverity_writeall__(s); __coverity_mark_as_afm_allocated__(s, "g_free"); return s; }
char *g_strdup(const char *s) { char *dup; size_t i; if (!s) { return NULL; } __coverity_string_null_sink__(s); __coverity_string_size_sink__(s); dup = __coverity_alloc_nosize__(); __coverity_mark_as_afm_allocated__(dup, "g_free"); for (i = 0; (dup[i] = s[i]); i++) ; return dup; }
void *g_realloc_n(void *ptr, size_t nmemb, size_t size) { size_t sz; __coverity_negative_sink__(nmemb); __coverity_negative_sink__(size); sz = nmemb * size; __coverity_escape__(ptr); ptr = __coverity_alloc__(sz); /* * Memory beyond the old size isn't actually initialized. Can't * model that. See Coverity's realloc() model */ __coverity_writeall__(ptr); __coverity_mark_as_afm_allocated__(ptr, "g_free"); return ptr; }
hid_t H5Dget_type(hid_t dataset_id) { hid_t id = __coverity_alloc__(10); __coverity_mark_as_afm_allocated__(id, "H5Tclose"); return id; }
hid_t H5Dopen(hid_t file_id, const char *name, hid_t dapl_id) { hid_t id = __coverity_alloc__(10); __coverity_mark_as_afm_allocated__(id, "H5Dclose"); return id; }
hid_t H5Rdereference(hid_t dataset, H5R_type_t ref_type, const void *ref) { hid_t id = __coverity_alloc__(10); __coverity_mark_as_afm_allocated__(id, "H5Dclose"); return id; }
hid_t H5Aget_space(hid_t attr_id) { hid_t id = __coverity_alloc__(10); __coverity_mark_as_afm_allocated__(id, "H5Sclose"); return id; }
hid_t H5Acreate2(hid_t loc_id, const char *attr_name, hid_t type_id, hid_t space_id, hid_t acpl_id, hid_t aapl_id) { hid_t id = __coverity_alloc__(10); __coverity_mark_as_afm_allocated__(id, "H5Aclose"); return id; }
hid_t H5Aopen_by_name(hid_t loc_id, const char *obj_name, const char *attr_name, hid_t aapl_id, hid_t lapl_id) { hid_t id = __coverity_alloc__(10); __coverity_mark_as_afm_allocated__(id, "H5Aclose"); return id; }