libavformat/avidec.c:995: error: Integer Overflow L2
  ([0, 255] - 48):unsigned32.

libavformat/avidec.c:983:15: <LHS trace>
981.     /* Read the entries and sort them in each stream component. */
982.     for(i = 0; i < nb_index_entries; i++) {
983.         tag = get_le32(pb);
                   ^
984.         flags = get_le32(pb);
985.         pos = get_le32(pb);

libavformat/avidec.c:983:15: Call
981.     /* Read the entries and sort them in each stream component. */
982.     for(i = 0; i < nb_index_entries; i++) {
983.         tag = get_le32(pb);
                   ^
984.         flags = get_le32(pb);
985.         pos = get_le32(pb);

libavformat/aviobuf.c:498:11: Call
  496. {
  497.     unsigned int val;
  498.     val = get_le16(s);
                 ^
  499.     val |= get_le16(s) << 16;
  500.     return val;

libavformat/aviobuf.c:482:11: Call
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
                   ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:397:5: Assignment
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
      397.     return 0;
               ^
      398. }
      399. 

libavformat/aviobuf.c:482:5: Assignment
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:483:5: Assignment
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:484:5: Assignment
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:498:5: Assignment
  496. {
  497.     unsigned int val;
  498.     val = get_le16(s);
           ^
  499.     val |= get_le16(s) << 16;
  500.     return val;

libavformat/aviobuf.c:499:5: Assignment
  497.     unsigned int val;
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
           ^
  500.     return val;
  501. }

libavformat/aviobuf.c:500:5: Assignment
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
  500.     return val;
           ^
  501. }
  502. 

libavformat/avidec.c:983:9: Assignment
981.     /* Read the entries and sort them in each stream component. */
982.     for(i = 0; i < nb_index_entries; i++) {
983.         tag = get_le32(pb);
             ^
984.         flags = get_le32(pb);
985.         pos = get_le32(pb);

libavformat/avidec.c:995:9: Binary operation: ([0, 255] - 48):unsigned32
993.         pos += avi->movi_list;
994. 
995.         index = ((tag & 0xff) - '0') * 10;
             ^
996.         index += ((tag >> 8) & 0xff) - '0';
997.         if (index >= s->nb_streams)
