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

libavcodec/vp8.c:802:29: <Offset trace>
800.                     }
801.                 } else {    // DCT_CAT3 and up
802.                     int a = vp56_rac_get_prob(&c, token_prob[8]);
                                 ^
803.                     int b = vp56_rac_get_prob(&c, token_prob[9+a]);
804.                     int cat = (a<<1) + b;

libavcodec/vp8.c:802:29: Call
800.                     }
801.                 } else {    // DCT_CAT3 and up
802.                     int a = vp56_rac_get_prob(&c, token_prob[8]);
                                 ^
803.                     int b = vp56_rac_get_prob(&c, token_prob[9+a]);
804.                     int cat = (a<<1) + b;

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

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

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

libavcodec/vp8.c:802:21: Assignment
800.                     }
801.                 } else {    // DCT_CAT3 and up
802.                     int a = vp56_rac_get_prob(&c, token_prob[8]);
                         ^
803.                     int b = vp56_rac_get_prob(&c, token_prob[9+a]);
804.                     int cat = (a<<1) + b;

libavcodec/vp8.c:763:1: <Length trace>
761.  *         otherwise, the index of the last coeff decoded plus one
762.  */
763. static int decode_block_coeffs_internal(VP56RangeCoder *r, int16_t block[16],
     ^
764.                                         uint8_t probs[16][3][NUM_DCT_TOKENS-1],
765.                                         int i, uint8_t *token_prob, int16_t qmul[2])

libavcodec/vp8.c:763:1: Parameter `*token_prob`
761.  *         otherwise, the index of the last coeff decoded plus one
762.  */
763. static int decode_block_coeffs_internal(VP56RangeCoder *r, int16_t block[16],
     ^
764.                                         uint8_t probs[16][3][NUM_DCT_TOKENS-1],
765.                                         int i, uint8_t *token_prob, int16_t qmul[2])

libavcodec/vp8.c:803:51: Array access: Offset: [9, 10] Size: 3
801.                 } else {    // DCT_CAT3 and up
802.                     int a = vp56_rac_get_prob(&c, token_prob[8]);
803.                     int b = vp56_rac_get_prob(&c, token_prob[9+a]);
                                                       ^
804.                     int cat = (a<<1) + b;
805.                     coeff  = 3 + (8<<cat);
