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

libavcodec/ffv1enc.c:427:1: Array declaration
425. }
426. 
427. static int write_extradata(FFV1Context *f)
     ^
428. {
429.     RangeCoder *const c = &f->c;

libavcodec/ffv1enc.c:478:21: Call
476.                 for (k = 0; k < CONTEXT_SIZE; k++) {
477.                     int pred = j ? f->initial_states[i][j - 1][k] : 128;
478.                     put_symbol(c, state2[k],
                         ^
479.                                (int8_t)(f->initial_states[i][j][k] - pred), 1);
480.                 }

libavcodec/ffv1enc.c:133:1: Parameter `*state`
  131. }
  132. 
  133. static av_noinline void put_symbol(RangeCoder *c, uint8_t *state,
       ^
  134.                                    int v, int is_signed)
  135. {

libavcodec/ffv1enc.c:136:5: Call
  134.                                    int v, int is_signed)
  135. {
  136.     put_symbol_inline(c, state, v, is_signed, NULL, NULL);
           ^
  137. }
  138. 

libavcodec/ffv1enc.c:85:1: Parameter `*state`
    83. }
    84. 
    85. static av_always_inline av_flatten void put_symbol_inline(RangeCoder *c,
        ^
    86.                                                           uint8_t *state, int v,
    87.                                                           int is_signed,

libavcodec/ffv1enc.c:122:17: Call
    120. 
    121.             for (i = e - 1; i >= 0; i--)
    122.                 put_rac(c, state + 22 + FFMIN(i, 9), (a >> i) & 1);  // 22..31
                         ^
    123. 
    124.             if (is_signed)

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);
