Fixed findings

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-476): [#def1]
ffmpeg-7.1.1/libavcodec/get_bits.h:340:5: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘*s.gb.buffer_end’
ffmpeg-7.1.1/libavcodec/nellymoserdec.c:63:13: enter_function: entry to ‘nelly_decode_block’
ffmpeg-7.1.1/libavcodec/nellymoserdec.c:73:5: call_function: calling ‘init_get_bits’ from ‘nelly_decode_block’
ffmpeg-7.1.1/libavcodec/nellymoserdec.c:73:5: return_function: returning to ‘nelly_decode_block’ from ‘init_get_bits’
ffmpeg-7.1.1/libavcodec/nellymoserdec.c:77:31: call_function: calling ‘get_bits’ from ‘nelly_decode_block’
#  338|       OPEN_READER(re, s);
#  339|       av_assert2(n>0 && n<=25);
#  340|->     UPDATE_CACHE(re, s);
#  341|       tmp = SHOW_UBITS(re, s, n);
#  342|       LAST_SKIP_BITS(re, s, n);

Error: GCC_ANALYZER_WARNING (CWE-476): [#def2]
ffmpeg-7.1.1/libavcodec/get_bits.h:361:5: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘gb.buffer’
ffmpeg-7.1.1/libavcodec/g726.c:464:12: enter_function: entry to ‘g726_decode_frame’
ffmpeg-7.1.1/libavcodec/g726.c:478:8: branch_false: following ‘false’ branch...
ffmpeg-7.1.1/libavcodec/g726.c:480:5: branch_false: ...to here
ffmpeg-7.1.1/libavcodec/g726.c:482:5: call_function: calling ‘init_get_bits’ from ‘g726_decode_frame’
ffmpeg-7.1.1/libavcodec/g726.c:482:5: return_function: returning to ‘g726_decode_frame’ from ‘init_get_bits’
ffmpeg-7.1.1/libavcodec/g726.c:484:12: branch_true: following ‘true’ branch (when ‘out_samples != 0’)...
ffmpeg-7.1.1/libavcodec/g726.c:485:37: branch_true: ...to here
ffmpeg-7.1.1/libavcodec/g726.c:485:22: branch_true: following ‘true’ branch...
ffmpeg-7.1.1/libavcodec/g726.c:486:37: branch_true: ...to here
ffmpeg-7.1.1/libavcodec/g726.c:486:37: call_function: calling ‘get_bits_le’ from ‘g726_decode_frame’
#  359|       OPEN_READER(re, s);
#  360|       av_assert2(n>0 && n<=25);
#  361|->     UPDATE_CACHE_LE(re, s);
#  362|       tmp = SHOW_UBITS_LE(re, s, n);
#  363|       LAST_SKIP_BITS(re, s, n);

Error: GCC_ANALYZER_WARNING (CWE-476): [#def3]
ffmpeg-7.1.1/libavcodec/get_bits.h:658:5: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘gb.buffer’
ffmpeg-7.1.1/libavcodec/qdm2.c:1846:12: enter_function: entry to ‘qdm2_decode_frame’
ffmpeg-7.1.1/libavcodec/qdm2.c:1855:7: branch_false: following ‘false’ branch (when ‘buf’ is non-NULL)...
ffmpeg-7.1.1/libavcodec/qdm2.c:1857:19: branch_false: ...to here
ffmpeg-7.1.1/libavcodec/qdm2.c:1857:7: branch_false: following ‘false’ branch...
ffmpeg-7.1.1/libavcodec/qdm2.c:1861:30: branch_false: ...to here
ffmpeg-7.1.1/libavcodec/qdm2.c:1862:8: branch_false: following ‘false’ branch...
ffmpeg-7.1.1/libavcodec/qdm2.c:1864:5: branch_false: ...to here
ffmpeg-7.1.1/libavcodec/qdm2.c:1866:17: branch_true: following ‘true’ branch (when ‘i != 16’)...
ffmpeg-7.1.1/libavcodec/qdm2.c:1867:20: branch_true: ...to here
ffmpeg-7.1.1/libavcodec/qdm2.c:1867:20: call_function: calling ‘qdm2_decode’ from ‘qdm2_decode_frame’
#  656|   
#  657|       OPEN_READER(re, s);
#  658|->     UPDATE_CACHE(re, s);
#  659|   
#  660|       GET_VLC(code, re, s, table, bits, max_depth);

Scan Properties