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

libavformat/mpegts.c:935:27: <LHS trace>
933.     dprintf(ts->stream, "pcr_pid=0x%x\n", pcr_pid);
934. 
935.     program_info_length = get16(&p, p_end) & 0xfff;
                               ^
936.     if (program_info_length < 0)
937.         return;

libavformat/mpegts.c:935:27: Call
933.     dprintf(ts->stream, "pcr_pid=0x%x\n", pcr_pid);
934. 
935.     program_info_length = get16(&p, p_end) & 0xfff;
                               ^
936.     if (program_info_length < 0)
937.         return;

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

libavformat/mpegts.c:935:5: Assignment
933.     dprintf(ts->stream, "pcr_pid=0x%x\n", pcr_pid);
934. 
935.     program_info_length = get16(&p, p_end) & 0xfff;
         ^
936.     if (program_info_length < 0)
937.         return;

libavformat/mpegts.c:952:13: Binary operation: ([-1, min(4093, *section)] - 2):unsigned8
950.             get8(&p, p_end); // scope
951.             get8(&p, p_end); // label
952.             len -= 2;
                 ^
953.             mp4_read_iods(ts->stream, p, len, &mp4_es_id,
954.                           &mp4_dec_config_descr, &mp4_dec_config_descr_len);
