libavcodec/wmaprodec.c:817: error: Buffer Overrun L2
  Offset: [1, 4] Size: 4.

libavcodec/wmaprodec.c:806:18: <Offset trace>
804. 
805.         if (idx == HUFF_VEC4_SIZE - 1) {
806.             for (i = 0; i < 4; i += 2) {
                      ^
807.                 idx = get_vlc2(&s->gb, vec2_vlc.table, VLCBITS, VEC2MAXDEPTH);
808.                 if (idx == HUFF_VEC2_SIZE - 1) {

libavcodec/wmaprodec.c:806:18: Assignment
804. 
805.         if (idx == HUFF_VEC4_SIZE - 1) {
806.             for (i = 0; i < 4; i += 2) {
                      ^
807.                 idx = get_vlc2(&s->gb, vec2_vlc.table, VLCBITS, VEC2MAXDEPTH);
808.                 if (idx == HUFF_VEC2_SIZE - 1) {

libavcodec/wmaprodec.c:763:1: <Length trace>
761.  *@return 0 on success, < 0 in case of bitstream errors
762.  */
763. static int decode_coeffs(WMAProDecodeCtx *s, int c)
     ^
764. {
765.     /* Integers 0..15 as single-precision floats.  The table saves a

libavcodec/wmaprodec.c:763:1: Array declaration
761.  *@return 0 on success, < 0 in case of bitstream errors
762.  */
763. static int decode_coeffs(WMAProDecodeCtx *s, int c)
     ^
764. {
765.     /* Integers 0..15 as single-precision floats.  The table saves a

libavcodec/wmaprodec.c:817:21: Array access: Offset: [1, 4] Size: 4
815.                         v1 += ff_wma_get_large_val(&s->gb);
816.                     ((float*)vals)[i  ] = v0;
817.                     ((float*)vals)[i+1] = v1;
                         ^
818.                 } else {
819.                     vals[i]   = fval_tab[symbol_to_vec2[idx] >> 4 ];
