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

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

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

libavcodec/bitstream.h:758:1: start of procedure init_get_bits()
  756.  * @param bit_size the size of the buffer in bits
  757.  */
  758. static inline void init_get_bits(GetBitContext *s,
       ^
  759.                    const uint8_t *buffer, int bit_size)
  760. {

libavcodec/bitstream.h:761:5: 
  759.                    const uint8_t *buffer, int bit_size)
  760. {
  761.     int buffer_size= (bit_size+7)>>3;
           ^
  762.     if(buffer_size < 0 || bit_size < 0) {
  763.         buffer_size = bit_size = 0;

libavcodec/bitstream.h:762:8: Taking true branch
  760. {
  761.     int buffer_size= (bit_size+7)>>3;
  762.     if(buffer_size < 0 || bit_size < 0) {
              ^
  763.         buffer_size = bit_size = 0;
  764.         buffer = NULL;

libavcodec/bitstream.h:763:9: 
  761.     int buffer_size= (bit_size+7)>>3;
  762.     if(buffer_size < 0 || bit_size < 0) {
  763.         buffer_size = bit_size = 0;
               ^
  764.         buffer = NULL;
  765.     }

libavcodec/bitstream.h:764:9: 
  762.     if(buffer_size < 0 || bit_size < 0) {
  763.         buffer_size = bit_size = 0;
  764.         buffer = NULL;
               ^
  765.     }
  766. 

libavcodec/bitstream.h:767:5: 
  765.     }
  766. 
  767.     s->buffer= buffer;
           ^
  768.     s->size_in_bits= bit_size;
  769.     s->buffer_end= buffer + buffer_size;

libavcodec/bitstream.h:768:5: 
  766. 
  767.     s->buffer= buffer;
  768.     s->size_in_bits= bit_size;
           ^
  769.     s->buffer_end= buffer + buffer_size;
  770. #ifdef ALT_BITSTREAM_READER

libavcodec/bitstream.h:769:5: 
  767.     s->buffer= buffer;
  768.     s->size_in_bits= bit_size;
  769.     s->buffer_end= buffer + buffer_size;
           ^
  770. #ifdef ALT_BITSTREAM_READER
  771.     s->index=0;

libavcodec/bitstream.h:771:5: 
  769.     s->buffer_end= buffer + buffer_size;
  770. #ifdef ALT_BITSTREAM_READER
  771.     s->index=0;
           ^
  772. #elif defined LIBMPEG2_BITSTREAM_READER
  773.     s->buffer_ptr = (uint8_t*)((intptr_t)buffer&(~1));

libavcodec/bitstream.h:781:1: return from a call to init_get_bits
  779.     skip_bits_long(s, 0);
  780. #endif
  781. }
       ^
  782. 
  783. static inline void align_get_bits(GetBitContext *s)

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

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

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

libavcodec/bitstream.h:717:1: start of procedure get_bits_long()
    715.  * reads 0-32 bits.
    716.  */
    717. static inline unsigned int get_bits_long(GetBitContext *s, int n){
         ^
    718.     if(n<=17) return get_bits(s, n);
    719.     else{

libavcodec/bitstream.h:718:8: Taking false branch
    716.  */
    717. static inline unsigned int get_bits_long(GetBitContext *s, int n){
    718.     if(n<=17) return get_bits(s, n);
                ^
    719.     else{
    720. #ifdef ALT_BITSTREAM_READER_LE

libavcodec/bitstream.h:724:9: 
    722.         return ret | (get_bits(s, n-16) << 16);
    723. #else
    724.         int ret= get_bits(s, 16) << (n-16);
                 ^
    725.         return ret | get_bits(s, n-16);
    726. #endif

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

libavcodec/bitstream.h:657:5: 
      655. static inline unsigned int get_bits(GetBitContext *s, int n){
      656.     register int tmp;
      657.     OPEN_READER(re, s)
               ^
      658.     UPDATE_CACHE(re, s)
      659.     tmp= SHOW_UBITS(re, s, n);

libavcodec/bitstream.h:658:5: 
      656.     register int tmp;
      657.     OPEN_READER(re, s)
      658.     UPDATE_CACHE(re, s)
               ^
      659.     tmp= SHOW_UBITS(re, s, n);
      660.     LAST_SKIP_BITS(re, s, n)

libavcodec/bitstream.h:659:5: 
      657.     OPEN_READER(re, s)
      658.     UPDATE_CACHE(re, s)
      659.     tmp= SHOW_UBITS(re, s, n);
               ^
      660.     LAST_SKIP_BITS(re, s, n)
      661.     CLOSE_READER(re, s)

libavcodec/bitstream.h:660:5: 
      658.     UPDATE_CACHE(re, s)
      659.     tmp= SHOW_UBITS(re, s, n);
      660.     LAST_SKIP_BITS(re, s, n)
               ^
      661.     CLOSE_READER(re, s)
      662.     return tmp;

libavcodec/bitstream.h:661:5: 
      659.     tmp= SHOW_UBITS(re, s, n);
      660.     LAST_SKIP_BITS(re, s, n)
      661.     CLOSE_READER(re, s)
               ^
      662.     return tmp;
      663. }

libavcodec/bitstream.h:662:5: 
      660.     LAST_SKIP_BITS(re, s, n)
      661.     CLOSE_READER(re, s)
      662.     return tmp;
               ^
      663. }
      664. 

libavcodec/bitstream.h:663:1: return from a call to get_bits
      661.     CLOSE_READER(re, s)
      662.     return tmp;
      663. }
           ^
      664. 
      665. /**

libavcodec/bitstream.h:725:9: 
    723. #else
    724.         int ret= get_bits(s, 16) << (n-16);
    725.         return ret | get_bits(s, n-16);
                 ^
    726. #endif
    727.     }

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

libavcodec/bitstream.h:657:5: 
      655. static inline unsigned int get_bits(GetBitContext *s, int n){
      656.     register int tmp;
      657.     OPEN_READER(re, s)
               ^
      658.     UPDATE_CACHE(re, s)
      659.     tmp= SHOW_UBITS(re, s, n);

libavcodec/bitstream.h:658:5: 
      656.     register int tmp;
      657.     OPEN_READER(re, s)
      658.     UPDATE_CACHE(re, s)
               ^
      659.     tmp= SHOW_UBITS(re, s, n);
      660.     LAST_SKIP_BITS(re, s, n)
