libavcodec/vp8.c:855: error: Buffer Overrun L1
  Offset: [9, 10] Size: 3.

libavcodec/vp8.c:854:29: <Offset trace>
852.                     }
853.                 } else {    // DCT_CAT3 and up
854.                     int a = vp56_rac_get_prob(c, token_prob[8]);
                                 ^
855.                     int b = vp56_rac_get_prob(c, token_prob[9+a]);
856.                     int cat = (a<<1) + b;

libavcodec/vp8.c:854:29: Call
852.                     }
853.                 } else {    // DCT_CAT3 and up
854.                     int a = vp56_rac_get_prob(c, token_prob[8]);
                                 ^
855.                     int b = vp56_rac_get_prob(c, token_prob[9+a]);
856.                     int cat = (a<<1) + b;

libavcodec/vp56.h:222:15: Assignment
  220.     unsigned int low = 1 + (((c->high - 1) * prob) >> 8);
  221.     unsigned int low_shift = low << 8;
  222.     int bit = code_word >= low_shift;
                     ^
  223. 
  224.     c->high = bit ? c->high - low : low;

libavcodec/vp56.h:222:5: Assignment
  220.     unsigned int low = 1 + (((c->high - 1) * prob) >> 8);
  221.     unsigned int low_shift = low << 8;
  222.     int bit = code_word >= low_shift;
           ^
  223. 
  224.     c->high = bit ? c->high - low : low;

libavcodec/vp56.h:227:5: Assignment
  225.     c->code_word = bit ? code_word - low_shift : code_word;
  226. 
  227.     return bit;
           ^
  228. }
  229. #endif

libavcodec/vp8.c:854:21: Assignment
852.                     }
853.                 } else {    // DCT_CAT3 and up
854.                     int a = vp56_rac_get_prob(c, token_prob[8]);
                         ^
855.                     int b = vp56_rac_get_prob(c, token_prob[9+a]);
856.                     int cat = (a<<1) + b;

libavcodec/vp8.c:814:1: <Length trace>
812.  *         otherwise, the index of the last coeff decoded plus one
813.  */
814. static int decode_block_coeffs(VP56RangeCoder *c, DCTELEM block[16],
     ^
815.                                uint8_t probs[8][3][NUM_DCT_TOKENS-1],
816.                                int i, int zero_nhood, int16_t qmul[2])

libavcodec/vp8.c:814:1: Parameter `(*probs)[*]`
812.  *         otherwise, the index of the last coeff decoded plus one
813.  */
814. static int decode_block_coeffs(VP56RangeCoder *c, DCTELEM block[16],
     ^
815.                                uint8_t probs[8][3][NUM_DCT_TOKENS-1],
816.                                int i, int zero_nhood, int16_t qmul[2])

libavcodec/vp8.c:818:5: Assignment
816.                                int i, int zero_nhood, int16_t qmul[2])
817. {
818.     uint8_t *token_prob = probs[i][zero_nhood];
         ^
819.     int nonzero = 0;
820.     int coeff;

libavcodec/vp8.c:855:50: Array access: Offset: [9, 10] Size: 3
853.                 } else {    // DCT_CAT3 and up
854.                     int a = vp56_rac_get_prob(c, token_prob[8]);
855.                     int b = vp56_rac_get_prob(c, token_prob[9+a]);
                                                      ^
856.                     int cat = (a<<1) + b;
857.                     coeff  = 3 + (8<<cat);
