libavcodec/shorten.c:194: error: Null Dereference
  pointer `&hb->buffer` last assigned on line 193 could be null and is dereferenced by call to `get_le32()` at line 194, column 9.

libavcodec/shorten.c:186:1: start of procedure decode_wave_header()
184. }
185. 
186. static int decode_wave_header(AVCodecContext *avctx, uint8_t *header, int header_size)
     ^
187. {
188.     GetBitContext hb;

libavcodec/shorten.c:193:5: 
191.     short wave_format;
192. 
193.     init_get_bits(&hb, header, header_size*8);
         ^
194.     if (get_le32(&hb) != MKTAG('R','I','F','F')) {
195.         av_log(avctx, AV_LOG_ERROR, "missing RIFF tag\n");

libavcodec/bitstream.h:719:1: start of procedure init_get_bits()
  717.  * @param bit_size the size of the buffer in bits
  718.  */
  719. static inline void init_get_bits(GetBitContext *s,
       ^
  720.                    const uint8_t *buffer, int bit_size)
  721. {

libavcodec/bitstream.h:722:5: 
  720.                    const uint8_t *buffer, int bit_size)
  721. {
  722.     int buffer_size= (bit_size+7)>>3;
           ^
  723.     if(buffer_size < 0 || bit_size < 0) {
  724.         buffer_size = bit_size = 0;

libavcodec/bitstream.h:723:8: Taking true branch
  721. {
  722.     int buffer_size= (bit_size+7)>>3;
  723.     if(buffer_size < 0 || bit_size < 0) {
              ^
  724.         buffer_size = bit_size = 0;
  725.         buffer = NULL;

libavcodec/bitstream.h:724:9: 
  722.     int buffer_size= (bit_size+7)>>3;
  723.     if(buffer_size < 0 || bit_size < 0) {
  724.         buffer_size = bit_size = 0;
               ^
  725.         buffer = NULL;
  726.     }

libavcodec/bitstream.h:725:9: 
  723.     if(buffer_size < 0 || bit_size < 0) {
  724.         buffer_size = bit_size = 0;
  725.         buffer = NULL;
               ^
  726.     }
  727. 

libavcodec/bitstream.h:728:5: 
  726.     }
  727. 
  728.     s->buffer= buffer;
           ^
  729.     s->size_in_bits= bit_size;
  730.     s->buffer_end= buffer + buffer_size;

libavcodec/bitstream.h:729:5: 
  727. 
  728.     s->buffer= buffer;
  729.     s->size_in_bits= bit_size;
           ^
  730.     s->buffer_end= buffer + buffer_size;
  731. #ifdef ALT_BITSTREAM_READER

libavcodec/bitstream.h:730:5: 
  728.     s->buffer= buffer;
  729.     s->size_in_bits= bit_size;
  730.     s->buffer_end= buffer + buffer_size;
           ^
  731. #ifdef ALT_BITSTREAM_READER
  732.     s->index=0;

libavcodec/bitstream.h:732:5: 
  730.     s->buffer_end= buffer + buffer_size;
  731. #ifdef ALT_BITSTREAM_READER
  732.     s->index=0;
           ^
  733. #elif defined LIBMPEG2_BITSTREAM_READER
  734.     s->buffer_ptr = (uint8_t*)((intptr_t)buffer&(~1));

libavcodec/bitstream.h:742:1: return from a call to init_get_bits
  740.     skip_bits_long(s, 0);
  741. #endif
  742. }
       ^
  743. 
  744. static inline void align_get_bits(GetBitContext *s)

libavcodec/shorten.c:194:9: 
192. 
193.     init_get_bits(&hb, header, header_size*8);
194.     if (get_le32(&hb) != MKTAG('R','I','F','F')) {
             ^
195.         av_log(avctx, AV_LOG_ERROR, "missing RIFF tag\n");
196.         return -1;

libavcodec/shorten.c:176:1: start of procedure get_le32()
  174. }
  175. 
  176. static inline int get_le32(GetBitContext *gb)
       ^
  177. {
  178.     return bswap_32(get_bits_long(gb, 32));

libavcodec/shorten.c:178:12: 
  176. static inline int get_le32(GetBitContext *gb)
  177. {
  178.     return bswap_32(get_bits_long(gb, 32));
                  ^
  179. }
  180. 

libavcodec/bitstream.h:678:1: start of procedure get_bits_long()
    676.  * reads 0-32 bits.
    677.  */
    678. static inline unsigned int get_bits_long(GetBitContext *s, int n){
         ^
    679.     if(n<=17) return get_bits(s, n);
    680.     else{

libavcodec/bitstream.h:679:8: Taking false branch
    677.  */
    678. static inline unsigned int get_bits_long(GetBitContext *s, int n){
    679.     if(n<=17) return get_bits(s, n);
                ^
    680.     else{
    681. #ifdef ALT_BITSTREAM_READER_LE

libavcodec/bitstream.h:685:9: 
    683.         return ret | (get_bits(s, n-16) << 16);
    684. #else
    685.         int ret= get_bits(s, 16) << (n-16);
                 ^
    686.         return ret | get_bits(s, n-16);
    687. #endif

libavcodec/bitstream.h:616:1: start of procedure get_bits()
      614.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
      615.  */
      616. static inline unsigned int get_bits(GetBitContext *s, int n){
           ^
      617.     register int tmp;
      618.     OPEN_READER(re, s)

libavcodec/bitstream.h:618:5: 
      616. static inline unsigned int get_bits(GetBitContext *s, int n){
      617.     register int tmp;
      618.     OPEN_READER(re, s)
               ^
      619.     UPDATE_CACHE(re, s)
      620.     tmp= SHOW_UBITS(re, s, n);

libavcodec/bitstream.h:619:5: 
      617.     register int tmp;
      618.     OPEN_READER(re, s)
      619.     UPDATE_CACHE(re, s)
               ^
      620.     tmp= SHOW_UBITS(re, s, n);
      621.     LAST_SKIP_BITS(re, s, n)

libavcodec/bitstream.h:620:5: 
      618.     OPEN_READER(re, s)
      619.     UPDATE_CACHE(re, s)
      620.     tmp= SHOW_UBITS(re, s, n);
               ^
      621.     LAST_SKIP_BITS(re, s, n)
      622.     CLOSE_READER(re, s)

libavcodec/bitstream.h:621:5: 
      619.     UPDATE_CACHE(re, s)
      620.     tmp= SHOW_UBITS(re, s, n);
      621.     LAST_SKIP_BITS(re, s, n)
               ^
      622.     CLOSE_READER(re, s)
      623.     return tmp;

libavcodec/bitstream.h:622:5: 
      620.     tmp= SHOW_UBITS(re, s, n);
      621.     LAST_SKIP_BITS(re, s, n)
      622.     CLOSE_READER(re, s)
               ^
      623.     return tmp;
      624. }

libavcodec/bitstream.h:623:5: 
      621.     LAST_SKIP_BITS(re, s, n)
      622.     CLOSE_READER(re, s)
      623.     return tmp;
               ^
      624. }
      625. 

libavcodec/bitstream.h:624:1: return from a call to get_bits
      622.     CLOSE_READER(re, s)
      623.     return tmp;
      624. }
           ^
      625. 
      626. /**

libavcodec/bitstream.h:686:9: 
    684. #else
    685.         int ret= get_bits(s, 16) << (n-16);
    686.         return ret | get_bits(s, n-16);
                 ^
    687. #endif
    688.     }

libavcodec/bitstream.h:616:1: start of procedure get_bits()
      614.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
      615.  */
      616. static inline unsigned int get_bits(GetBitContext *s, int n){
           ^
      617.     register int tmp;
      618.     OPEN_READER(re, s)

libavcodec/bitstream.h:618:5: 
      616. static inline unsigned int get_bits(GetBitContext *s, int n){
      617.     register int tmp;
      618.     OPEN_READER(re, s)
               ^
      619.     UPDATE_CACHE(re, s)
      620.     tmp= SHOW_UBITS(re, s, n);

libavcodec/bitstream.h:619:5: 
      617.     register int tmp;
      618.     OPEN_READER(re, s)
      619.     UPDATE_CACHE(re, s)
               ^
      620.     tmp= SHOW_UBITS(re, s, n);
      621.     LAST_SKIP_BITS(re, s, n)
