libavcodec/ffv1.c:794: error: Buffer Overrun L2
  Offset: [22, 62] Size: 32 by call to `put_symbol`.

libavcodec/ffv1.c:752:1: Array declaration
750. 
751. #if CONFIG_FFV1_ENCODER
752. static int write_extra_header(FFV1Context *f){
     ^
753.     RangeCoder * const c= &f->c;
754.     uint8_t state[CONTEXT_SIZE];

libavcodec/ffv1.c:794:21: Call
792.                 for(k=0; k<CONTEXT_SIZE; k++){
793.                     int pred= j ? f->initial_states[i][j-1][k] : 128;
794.                     put_symbol(c, state2[k], (int8_t)(f->initial_states[i][j][k]-pred), 1);
                         ^
795.                 }
796.             }

libavcodec/ffv1.c:325:1: Parameter `*state`
  323. }
  324. 
  325. static av_noinline void put_symbol(RangeCoder *c, uint8_t *state, int v, int is_signed){
       ^
  326.     put_symbol_inline(c, state, v, is_signed, NULL, NULL);
  327. }

libavcodec/ffv1.c:326:5: Call
  324. 
  325. static av_noinline void put_symbol(RangeCoder *c, uint8_t *state, int v, int is_signed){
  326.     put_symbol_inline(c, state, v, is_signed, NULL, NULL);
           ^
  327. }
  328. 

libavcodec/ffv1.c:278:1: Parameter `*state`
    276. }
    277. 
    278. 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]){
         ^
    279.     int i;
    280. 

libavcodec/ffv1.c:313:17: Call
    311. 
    312.             for(i=e-1; i>=0; i--){
    313.                 put_rac(c, state+22+FFMIN(i,9), (a>>i)&1); //22..31
                         ^
    314.             }
    315. 

libavcodec/rangecoder.h:85:1: <Length trace>
83. }
84. 
85. static inline void put_rac(RangeCoder *c, uint8_t *const state, int bit)
    ^
86. {
87.     int range1 = (c->range * (*state)) >> 8;

libavcodec/rangecoder.h:85:1: Parameter `*state`
      83. }
      84. 
      85. static inline void put_rac(RangeCoder *c, uint8_t *const state, int bit)
          ^
      86. {
      87.     int range1 = (c->range * (*state)) >> 8;

libavcodec/rangecoder.h:87:30: Array access: Offset: [22, 62] Size: 32 by call to `put_symbol` 
      85. static inline void put_rac(RangeCoder *c, uint8_t *const state, int bit)
      86. {
      87.     int range1 = (c->range * (*state)) >> 8;
                                       ^
      88. 
      89.     assert(*state);
