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

libavcodec/wmaprodec.c:796:18: <Offset trace>
794. 
795.         if (idx == HUFF_VEC4_SIZE - 1) {
796.             for (i = 0; i < 4; i += 2) {
                      ^
797.                 idx = get_vlc2(&s->gb, vec2_vlc.table, VLCBITS, VEC2MAXDEPTH);
798.                 if (idx == HUFF_VEC2_SIZE - 1) {

libavcodec/wmaprodec.c:796:18: Assignment
794. 
795.         if (idx == HUFF_VEC4_SIZE - 1) {
796.             for (i = 0; i < 4; i += 2) {
                      ^
797.                 idx = get_vlc2(&s->gb, vec2_vlc.table, VLCBITS, VEC2MAXDEPTH);
798.                 if (idx == HUFF_VEC2_SIZE - 1) {

libavcodec/wmaprodec.c:762:1: <Length trace>
760.  *@return 0 on success, < 0 in case of bitstream errors
761.  */
762. static int decode_coeffs(WMAProDecodeCtx *s, int c)
     ^
763. {
764.     int vlctable;

libavcodec/wmaprodec.c:762:1: Array declaration
760.  *@return 0 on success, < 0 in case of bitstream errors
761.  */
762. static int decode_coeffs(WMAProDecodeCtx *s, int c)
     ^
763. {
764.     int vlctable;

libavcodec/wmaprodec.c:802:21: Array access: Offset: [1, 4] Size: 4
800.                     if (vals[i] == HUFF_VEC1_SIZE - 1)
801.                         vals[i] += ff_wma_get_large_val(&s->gb);
802.                     vals[i+1] = get_vlc2(&s->gb, vec1_vlc.table, VLCBITS, VEC1MAXDEPTH);
                         ^
803.                     if (vals[i+1] == HUFF_VEC1_SIZE - 1)
804.                         vals[i+1] += ff_wma_get_large_val(&s->gb);
