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

libavformat/avidec.c:880:15: <LHS trace>
878.     /* Read the entries and sort them in each stream component. */
879.     for(i = 0; i < nb_index_entries; i++) {
880.         tag = get_le32(pb);
                   ^
881.         flags = get_le32(pb);
882.         pos = get_le32(pb);

libavformat/avidec.c:880:15: Call
878.     /* Read the entries and sort them in each stream component. */
879.     for(i = 0; i < nb_index_entries; i++) {
880.         tag = get_le32(pb);
                   ^
881.         flags = get_le32(pb);
882.         pos = get_le32(pb);

libavformat/aviobuf.c:447:11: Call
  445. {
  446.     unsigned int val;
  447.     val = get_le16(s);
                 ^
  448.     val |= get_le16(s) << 16;
  449.     return val;

libavformat/aviobuf.c:431:11: Call
    429. {
    430.     unsigned int val;
    431.     val = get_byte(s);
                   ^
    432.     val |= get_byte(s) << 8;
    433.     return val;

libavformat/aviobuf.c:349:13: Assignment
      347.             return *s->buf_ptr++;
      348.         else
      349.             return 0;
                       ^
      350.     }
      351. }

libavformat/aviobuf.c:431:5: Assignment
    429. {
    430.     unsigned int val;
    431.     val = get_byte(s);
             ^
    432.     val |= get_byte(s) << 8;
    433.     return val;

libavformat/aviobuf.c:432:5: Assignment
    430.     unsigned int val;
    431.     val = get_byte(s);
    432.     val |= get_byte(s) << 8;
             ^
    433.     return val;
    434. }

libavformat/aviobuf.c:433:5: Assignment
    431.     val = get_byte(s);
    432.     val |= get_byte(s) << 8;
    433.     return val;
             ^
    434. }
    435. 

libavformat/aviobuf.c:447:5: Assignment
  445. {
  446.     unsigned int val;
  447.     val = get_le16(s);
           ^
  448.     val |= get_le16(s) << 16;
  449.     return val;

libavformat/aviobuf.c:448:5: Assignment
  446.     unsigned int val;
  447.     val = get_le16(s);
  448.     val |= get_le16(s) << 16;
           ^
  449.     return val;
  450. }

libavformat/aviobuf.c:449:5: Assignment
  447.     val = get_le16(s);
  448.     val |= get_le16(s) << 16;
  449.     return val;
           ^
  450. }
  451. 

libavformat/avidec.c:880:9: Assignment
878.     /* Read the entries and sort them in each stream component. */
879.     for(i = 0; i < nb_index_entries; i++) {
880.         tag = get_le32(pb);
             ^
881.         flags = get_le32(pb);
882.         pos = get_le32(pb);

libavformat/avidec.c:892:9: Binary operation: ([0, 255] - 48):unsigned32
890.         pos += avi->movi_list;
891. 
892.         index = ((tag & 0xff) - '0') * 10;
             ^
893.         index += ((tag >> 8) & 0xff) - '0';
894.         if (index >= s->nb_streams)
