libavcodec/wma.c:391: error: Buffer Overrun L3
  Offset: [1, +oo] Size: [0, +oo] by call to `init_coef_vlc`.

libavcodec/wma.c:389:5: Call
387.     s->coef_vlcs[0]= &coef_vlcs[coef_vlc_table * 2    ];
388.     s->coef_vlcs[1]= &coef_vlcs[coef_vlc_table * 2 + 1];
389.     init_coef_vlc(&s->coef_vlc[0], &s->run_table[0], &s->level_table[0], &s->int_table[0],
         ^
390.                   s->coef_vlcs[0]);
391.     init_coef_vlc(&s->coef_vlc[1], &s->run_table[1], &s->level_table[1], &s->int_table[1],

libavcodec/wma.c:43:5: Call
  41.     int i, l, j, k, level;
  42. 
  43.     init_vlc(vlc, VLCBITS, n, table_bits, 1, 1, table_codes, 4, 4, 0);
          ^
  44. 
  45.     run_table   = av_malloc(n * sizeof(uint16_t));

libavcodec/bitstream.c:272:1: Parameter `vlc->table_allocated`
    270.    with av_free_static(), 0 if free_vlc() will be used.
    271. */
    272. int init_vlc_sparse(VLC *vlc, int nb_bits, int nb_codes,
         ^
    273.              const void *bits, int bits_wrap, int bits_size,
    274.              const void *codes, int codes_wrap, int codes_size,

libavcodec/wma.c:391:5: Call
389.     init_coef_vlc(&s->coef_vlc[0], &s->run_table[0], &s->level_table[0], &s->int_table[0],
390.                   s->coef_vlcs[0]);
391.     init_coef_vlc(&s->coef_vlc[1], &s->run_table[1], &s->level_table[1], &s->int_table[1],
         ^
392.                   s->coef_vlcs[1]);
393. 

libavcodec/wma.c:31:1: Parameter `vlc_table->n`
  29. /* XXX: use same run/length optimization as mpeg decoders */
  30. //FIXME maybe split decode / encode or pass flag
  31. static void init_coef_vlc(VLC *vlc, uint16_t **prun_table,
      ^
  32.                           float **plevel_table, uint16_t **pint_table,
  33.                           const CoefVLCTable *vlc_table)

libavcodec/wma.c:35:5: Assignment
  33.                           const CoefVLCTable *vlc_table)
  34. {
  35.     int n = vlc_table->n;
          ^
  36.     const uint8_t  *table_bits   = vlc_table->huffbits;
  37.     const uint32_t *table_codes  = vlc_table->huffcodes;

libavcodec/wma.c:43:5: Call
  41.     int i, l, j, k, level;
  42. 
  43.     init_vlc(vlc, VLCBITS, n, table_bits, 1, 1, table_codes, 4, 4, 0);
          ^
  44. 
  45.     run_table   = av_malloc(n * sizeof(uint16_t));

libavcodec/bitstream.c:272:1: Parameter `nb_codes`
    270.    with av_free_static(), 0 if free_vlc() will be used.
    271. */
    272. int init_vlc_sparse(VLC *vlc, int nb_bits, int nb_codes,
         ^
    273.              const void *bits, int bits_wrap, int bits_size,
    274.              const void *codes, int codes_wrap, int codes_size,

libavcodec/bitstream.c:278:17: Array declaration
    276.              int flags)
    277. {
    278.     VLCcode buf[nb_codes];
                         ^
    279.     int i, j;
    280. 

libavcodec/bitstream.c:322:9: Call
    320.     nb_codes = j;
    321. 
    322.     if (build_table(vlc, nb_bits, nb_codes, buf, flags) < 0) {
                 ^
    323.         av_freep(&vlc->table);
    324.         return -1;

libavcodec/bitstream.c:155:1: <Offset trace>
153.  *                       Sorting by VLCcode.code is sufficient, though not necessary.
154.  */
155. static int build_table(VLC *vlc, int table_nb_bits, int nb_codes,
     ^
156.                        VLCcode *codes, int flags)
157. {

libavcodec/bitstream.c:155:1: Parameter `nb_codes`
      153.  *                       Sorting by VLCcode.code is sufficient, though not necessary.
      154.  */
      155. static int build_table(VLC *vlc, int table_nb_bits, int nb_codes,
           ^
      156.                        VLCcode *codes, int flags)
      157. {

libavcodec/bitstream.c:155:1: <Length trace>
153.  *                       Sorting by VLCcode.code is sufficient, though not necessary.
154.  */
155. static int build_table(VLC *vlc, int table_nb_bits, int nb_codes,
     ^
156.                        VLCcode *codes, int flags)
157. {

libavcodec/bitstream.c:155:1: Parameter `*codes`
      153.  *                       Sorting by VLCcode.code is sufficient, though not necessary.
      154.  */
      155. static int build_table(VLC *vlc, int table_nb_bits, int nb_codes,
           ^
      156.                        VLCcode *codes, int flags)
      157. {

libavcodec/bitstream.c:216:21: Array access: Offset: [1, +oo] Size: [0, +oo] by call to `init_coef_vlc` 
      214.             codes[i].code = code << table_nb_bits;
      215.             for (k = i+1; k < nb_codes; k++) {
      216.                 n = codes[k].bits - table_nb_bits;
                               ^
      217.                 if (n <= 0)
      218.                     break;
