libavcodec/h264dec.c:883: error: Integer Overflow L2
  ([8, 2147483648] + [8, 2147483648]):signed32 by call to `decode_nal_units`.

libavcodec/h264dec.c:883:17: Call
881.     }
882. 
883.     buf_index = decode_nal_units(h, buf, buf_size);
                     ^
884.     if (buf_index < 0)
885.         return AVERROR_INVALIDDATA;

libavcodec/h264dec.c:670:11: Call
  668.     }
  669. 
  670.     ret = ff_h2645_packet_split(&h->pkt, buf, buf_size, avctx, h->is_avc,
                 ^
  671.                                 h->nal_length_size, avctx->codec_id);
  672.     if (ret < 0) {

libavcodec/h2645_parse.c:260:15: Call
    258.         nal->size_bits = get_bit_length(nal, skip_trailing_zeros);
    259. 
    260.         ret = init_get_bits(&nal->gb, nal->data, nal->size_bits);
                       ^
    261.         if (ret < 0)
    262.             return ret;

libavcodec/get_bits.h:362:1: Parameter `bit_size`
      360.  * @return 0 on success, AVERROR_INVALIDDATA if the buffer_size would overflow.
      361.  */
      362. static inline int init_get_bits(GetBitContext *s, const uint8_t *buffer,
           ^
      363.                                 int bit_size)
      364. {

libavcodec/get_bits.h:379:5: Assignment
      377.     s->size_in_bits       = bit_size;
      378. #if !UNCHECKED_BITSTREAM_READER
      379.     s->size_in_bits_plus8 = bit_size + 8;
               ^
      380. #endif
      381.     s->buffer_end         = buffer + buffer_size;

libavcodec/h264dec.c:883:17: Call
881.     }
882. 
883.     buf_index = decode_nal_units(h, buf, buf_size);
                     ^
884.     if (buf_index < 0)
885.         return AVERROR_INVALIDDATA;

libavcodec/h264dec.c:656:1: Parameter `*h->cur_pic.qscale_table`
  654. }
  655. 
  656. static int decode_nal_units(H264Context *h, const uint8_t *buf, int buf_size)
       ^
  657. {
  658.     AVCodecContext *const avctx = h->avctx;

libavcodec/h264dec.c:762:19: Call
  760. 
  761.         if (context_count == h->nb_slice_ctx) {
  762.             ret = ff_h264_execute_decode_slices(h, context_count);
                         ^
  763.             if (ret < 0 && (h->avctx->err_recognition & AV_EF_EXPLODE))
  764.                 goto end;

libavcodec/h264_slice.c:2324:1: Parameter `*h->cur_pic.qscale_table`
    2322.  * @param context_count number of contexts to execute
    2323.  */
    2324. int ff_h264_execute_decode_slices(H264Context *h, unsigned context_count)
          ^
    2325. {
    2326.     AVCodecContext *const avctx = h->avctx;

libavcodec/h264_slice.c:2383:21: Call
    2381.                 for (j = sl->resync_mb_y; j < y_end; j += 1 + FIELD_OR_MBAFF_PICTURE(h)) {
    2382.                     sl->mb_y = j;
    2383.                     loop_filter(h, sl, j > sl->resync_mb_y ? 0 : sl->resync_mb_x,
                              ^
    2384.                                 j == y_end - 1 ? x_end : h->mb_width);
    2385.                 }

libavcodec/h264_slice.c:2000:1: Parameter `*h->cur_pic.qscale_table`
      1998. }
      1999. 
      2000. static void loop_filter(const H264Context *h, H264SliceContext *sl, int start_x, int end_x)
            ^
      2001. {
      2002.     uint8_t *dest_y, *dest_cb, *dest_cr;

libavcodec/h264_slice.c:2049:21: Call
      2047.                 backup_mb_border(h, sl, dest_y, dest_cb, dest_cr, linesize,
      2048.                                  uvlinesize, 0);
      2049.                 if (fill_filter_caches(h, sl, mb_type))
                                ^
      2050.                     continue;
      2051.                 sl->chroma_qp[0] = get_chroma_qp(h->ps.pps, 0, h->cur_pic.qscale_table[mb_xy]);

libavcodec/h264_slice.c:1858:1: <LHS trace>
1856.  * @return non zero if the loop filter can be skipped
1857.  */
1858. static int fill_filter_caches(const H264Context *h, H264SliceContext *sl, int mb_type)
      ^
1859. {
1860.     const int mb_xy = sl->mb_xy;

libavcodec/h264_slice.c:1858:1: Parameter `sl->qp_thresh`
        1856.  * @return non zero if the loop filter can be skipped
        1857.  */
        1858. static int fill_filter_caches(const H264Context *h, H264SliceContext *sl, int mb_type)
              ^
        1859. {
        1860.     const int mb_xy = sl->mb_xy;

libavcodec/h264_slice.c:1891:9: Assignment
        1889.          * This is a conservative estimate: could also check beta_offset
        1890.          * and more accurate chroma_qp. */
        1891.         int qp_thresh = sl->qp_thresh; // FIXME strictly we should store qp_thresh for each mb of a slice
                      ^
        1892.         int qp        = h->cur_pic.qscale_table[mb_xy];
        1893.         if (qp <= qp_thresh &&

libavcodec/h264_slice.c:1858:1: <RHS trace>
1856.  * @return non zero if the loop filter can be skipped
1857.  */
1858. static int fill_filter_caches(const H264Context *h, H264SliceContext *sl, int mb_type)
      ^
1859. {
1860.     const int mb_xy = sl->mb_xy;

libavcodec/h264_slice.c:1858:1: Parameter `*h->cur_pic.qscale_table`
        1856.  * @return non zero if the loop filter can be skipped
        1857.  */
        1858. static int fill_filter_caches(const H264Context *h, H264SliceContext *sl, int mb_type)
              ^
        1859. {
        1860.     const int mb_xy = sl->mb_xy;

libavcodec/h264_slice.c:1895:14: Binary operation: ([8, 2147483648] + [8, 2147483648]):signed32 by call to `decode_nal_units` 
        1893.         if (qp <= qp_thresh &&
        1894.             (left_xy[LTOP] < 0 ||
        1895.              ((qp + h->cur_pic.qscale_table[left_xy[LTOP]] + 1) >> 1) <= qp_thresh) &&
                           ^
        1896.             (top_xy < 0 ||
        1897.              ((qp + h->cur_pic.qscale_table[top_xy] + 1) >> 1) <= qp_thresh)) {
