libavcodec/ffv1.c:857: error: Buffer Overrun L2
  Offset: [22, 62] (⇐ [22, 53] + [0, 9]) Size: 32 by call to `put_symbol`.

libavcodec/ffv1.c:815:1: Array declaration
813. 
814. #if CONFIG_FFV1_ENCODER
815. static int write_extra_header(FFV1Context *f){
     ^
816.     RangeCoder * const c= &f->c;
817.     uint8_t state[CONTEXT_SIZE];

libavcodec/ffv1.c:857:21: Call
855.                 for(k=0; k<CONTEXT_SIZE; k++){
856.                     int pred= j ? f->initial_states[i][j-1][k] : 128;
857.                     put_symbol(c, state2[k], (int8_t)(f->initial_states[i][j][k]-pred), 1);
                         ^
858.                 }
859.             }

libavcodec/ffv1.c:394:1: Parameter `*state`
  392. }
  393. 
  394. static void av_noinline put_symbol(RangeCoder *c, uint8_t *state, int v, int is_signed){
       ^
  395.     put_symbol_inline(c, state, v, is_signed, NULL, NULL);
  396. }

libavcodec/ffv1.c:395:5: Call
  393. 
  394. static void av_noinline put_symbol(RangeCoder *c, uint8_t *state, int v, int is_signed){
  395.     put_symbol_inline(c, state, v, is_signed, NULL, NULL);
           ^
  396. }
  397. 

libavcodec/ffv1.c:382:17: <Offset trace>
380. 
381.             for(i=e-1; i>=0; i--){
382.                 put_rac(c, state+22+FFMIN(i,9), (a>>i)&1); //22..31
                     ^
383.             }
384. 

libavcodec/ffv1.c:382:17: Assignment
    380. 
    381.             for(i=e-1; i>=0; i--){
    382.                 put_rac(c, state+22+FFMIN(i,9), (a>>i)&1); //22..31
                         ^
    383.             }
    384. 

libavcodec/ffv1.c:347:1: <Length trace>
345. }
346. 
347. static av_always_inline av_flatten void put_symbol_inline(RangeCoder *c, uint8_t *state, int v, int is_signed, uint64_t rc_stat[256][2], uint64_t rc_stat2[32][2]){
     ^
348.     int i;
349. 

libavcodec/ffv1.c:347:1: Parameter `*state`
    345. }
    346. 
    347. static av_always_inline av_flatten void put_symbol_inline(RangeCoder *c, uint8_t *state, int v, int is_signed, uint64_t rc_stat[256][2], uint64_t rc_stat2[32][2]){
         ^
    348.     int i;
    349. 

libavcodec/ffv1.c:382:17: Array access: Offset: [22, 62] (⇐ [22, 53] + [0, 9]) Size: 32 by call to `put_symbol` 
    380. 
    381.             for(i=e-1; i>=0; i--){
    382.                 put_rac(c, state+22+FFMIN(i,9), (a>>i)&1); //22..31
                         ^
    383.             }
    384. 
