libavcodec/ffv1.c:267: error: Buffer Overrun L2
  Offset: [1, 256] Size: 256.

libavcodec/ffv1.c:264:22: <Offset trace>
262.             for (k = 0; k < 256; k++) {
263.                 double newocc[256] = { 0 };
264.                 for (m = 0; m < 256; m++)
                          ^
265.                     if (occ[m]) {
266.                         len -= occ[m] *     (p  * l2tab[m] +

libavcodec/ffv1.c:264:22: Assignment
262.             for (k = 0; k < 256; k++) {
263.                 double newocc[256] = { 0 };
264.                 for (m = 0; m < 256; m++)
                          ^
265.                     if (occ[m]) {
266.                         len -= occ[m] *     (p  * l2tab[m] +

libavcodec/ffv1.c:242:1: <Length trace>
240. }
241. 
242. static void find_best_state(uint8_t best_state[256][256],
     ^
243.                             const uint8_t one_state[256])
244. {

libavcodec/ffv1.c:242:1: Array declaration
240. }
241. 
242. static void find_best_state(uint8_t best_state[256][256],
     ^
243.                             const uint8_t one_state[256])
244. {

libavcodec/ffv1.c:267:51: Array access: Offset: [1, 256] Size: 256
265.                     if (occ[m]) {
266.                         len -= occ[m] *     (p  * l2tab[m] +
267.                                         (1 - p) * l2tab[256 - m]);
                                                       ^
268.                     }
269.                 if (len < best_len[k]) {
