From 5eb68520635d895bbd878abf29fdb66872cbe00e Mon Sep 17 00:00:00 2001 From: Philip Langdale Date: Sun, 27 Nov 2016 11:16:18 -0800 Subject: tools/coverity: Add models for av_mallocz and av_free This should deal with some false positives, but might lead to more of them depending on whether it realises that av_freep() wraps av_free() or not. --- tools/coverity.c | 28 +++++++++++++++++++++++++--- 1 file changed, 25 insertions(+), 3 deletions(-) (limited to 'tools/coverity.c') diff --git a/tools/coverity.c b/tools/coverity.c index 80fc1c2..3cc248c 100644 --- a/tools/coverity.c +++ b/tools/coverity.c @@ -35,8 +35,30 @@ void *av_malloc(size_t size) { int has_memory; __coverity_negative_sink__(size); - if(has_memory) - return __coverity_alloc__(size); - else + if (has_memory) { + void *ptr = __coverity_alloc__(size); + __coverity_mark_as_uninitialized_buffer__(ptr); + __coverity_mark_as_afm_allocated__(ptr, "av_free"); + return ptr; + } else { return 0; + } +} + +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 *av_free(void *ptr) { + __coverity_free__(ptr); + __coverity_mark_as_afm_freed__(ptr, "av_free"); } -- cgit v1.1