libavformat/mpegts.c:1030: error: Integer Overflow L2
  ([-1, min(4093, `*section`)] - 2):unsigned8.

libavformat/mpegts.c:1013:27: <LHS trace>
1011.     av_dlog(ts->stream, "pcr_pid=0x%x\n", pcr_pid);
1012. 
1013.     program_info_length = get16(&p, p_end) & 0xfff;
                                ^
1014.     if (program_info_length < 0)
1015.         return;

libavformat/mpegts.c:1013:27: Call
1011.     av_dlog(ts->stream, "pcr_pid=0x%x\n", pcr_pid);
1012. 
1013.     program_info_length = get16(&p, p_end) & 0xfff;
                                ^
1014.     if (program_info_length < 0)
1015.         return;

libavformat/mpegts.c:430:9: Assignment
  428.     p = *pp;
  429.     if ((p + 1) >= p_end)
  430.         return -1;
               ^
  431.     c = AV_RB16(p);
  432.     p += 2;

libavformat/mpegts.c:1013:5: Assignment
1011.     av_dlog(ts->stream, "pcr_pid=0x%x\n", pcr_pid);
1012. 
1013.     program_info_length = get16(&p, p_end) & 0xfff;
          ^
1014.     if (program_info_length < 0)
1015.         return;

libavformat/mpegts.c:1030:13: Binary operation: ([-1, min(4093, *section)] - 2):unsigned8
1028.             get8(&p, p_end); // scope
1029.             get8(&p, p_end); // label
1030.             len -= 2;
                  ^
1031.             mp4_read_iods(ts->stream, p, len, &mp4_es_id,
1032.                           &mp4_dec_config_descr, &mp4_dec_config_descr_len);
