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

libavcodec/wmaprodec.c:836:18: <Offset trace>
834. 
835.         if (idx == HUFF_VEC4_SIZE - 1) {
836.             for (i = 0; i < 4; i += 2) {
                      ^
837.                 idx = bitstream_read_vlc(&s->bc, vec2_vlc.table, VLCBITS, VEC2MAXDEPTH);
838.                 if (idx == HUFF_VEC2_SIZE - 1) {

libavcodec/wmaprodec.c:836:18: Assignment
834. 
835.         if (idx == HUFF_VEC4_SIZE - 1) {
836.             for (i = 0; i < 4; i += 2) {
                      ^
837.                 idx = bitstream_read_vlc(&s->bc, vec2_vlc.table, VLCBITS, VEC2MAXDEPTH);
838.                 if (idx == HUFF_VEC2_SIZE - 1) {

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

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

libavcodec/wmaprodec.c:847:21: Array access: Offset: [1, 4] Size: 4
845.                         v1 += ff_wma_get_large_val(&s->bc);
846.                     vals[i  ] = av_float2int(v0);
847.                     vals[i+1] = av_float2int(v1);
                         ^
848.                 } else {
849.                     vals[i]   = fval_tab[symbol_to_vec2[idx] >> 4 ];
