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

libavformat/avidec.c:872:15: <LHS trace>
870.     /* read the entries and sort them in each stream component */
871.     for(i = 0; i < nb_index_entries; i++) {
872.         tag = get_le32(pb);
                   ^
873.         flags = get_le32(pb);
874.         pos = get_le32(pb);

libavformat/avidec.c:872:15: Call
870.     /* read the entries and sort them in each stream component */
871.     for(i = 0; i < nb_index_entries; i++) {
872.         tag = get_le32(pb);
                   ^
873.         flags = get_le32(pb);
874.         pos = get_le32(pb);

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

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

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

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

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

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

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

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

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

libavformat/avidec.c:872:9: Assignment
870.     /* read the entries and sort them in each stream component */
871.     for(i = 0; i < nb_index_entries; i++) {
872.         tag = get_le32(pb);
             ^
873.         flags = get_le32(pb);
874.         pos = get_le32(pb);

libavformat/avidec.c:884:9: Binary operation: ([0, 255] - 48):unsigned32
882.         pos += avi->movi_list;
883. 
884.         index = ((tag & 0xff) - '0') * 10;
             ^
885.         index += ((tag >> 8) & 0xff) - '0';
886.         if (index >= s->nb_streams)
