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

libavformat/avidec.c:1126:15: <LHS trace>
1124.     /* Read the entries and sort them in each stream component. */
1125.     for(i = 0; i < nb_index_entries; i++) {
1126.         tag = avio_rl32(pb);
                    ^
1127.         flags = avio_rl32(pb);
1128.         pos = avio_rl32(pb);

libavformat/avidec.c:1126:15: Call
1124.     /* Read the entries and sort them in each stream component. */
1125.     for(i = 0; i < nb_index_entries; i++) {
1126.         tag = avio_rl32(pb);
                    ^
1127.         flags = avio_rl32(pb);
1128.         pos = avio_rl32(pb);

libavformat/aviobuf.c:625:11: Call
  623. {
  624.     unsigned int val;
  625.     val = avio_rl16(s);
                 ^
  626.     val |= avio_rl16(s) << 16;
  627.     return val;

libavformat/aviobuf.c:609:11: Call
    607. {
    608.     unsigned int val;
    609.     val = avio_r8(s);
                   ^
    610.     val |= avio_r8(s) << 8;
    611.     return val;

libavformat/aviobuf.c:524:5: Assignment
      522.     if (s->buf_ptr < s->buf_end)
      523.         return *s->buf_ptr++;
      524.     return 0;
               ^
      525. }
      526. 

libavformat/aviobuf.c:609:5: Assignment
    607. {
    608.     unsigned int val;
    609.     val = avio_r8(s);
             ^
    610.     val |= avio_r8(s) << 8;
    611.     return val;

libavformat/aviobuf.c:610:5: Assignment
    608.     unsigned int val;
    609.     val = avio_r8(s);
    610.     val |= avio_r8(s) << 8;
             ^
    611.     return val;
    612. }

libavformat/aviobuf.c:611:5: Assignment
    609.     val = avio_r8(s);
    610.     val |= avio_r8(s) << 8;
    611.     return val;
             ^
    612. }
    613. 

libavformat/aviobuf.c:625:5: Assignment
  623. {
  624.     unsigned int val;
  625.     val = avio_rl16(s);
           ^
  626.     val |= avio_rl16(s) << 16;
  627.     return val;

libavformat/aviobuf.c:626:5: Assignment
  624.     unsigned int val;
  625.     val = avio_rl16(s);
  626.     val |= avio_rl16(s) << 16;
           ^
  627.     return val;
  628. }

libavformat/aviobuf.c:627:5: Assignment
  625.     val = avio_rl16(s);
  626.     val |= avio_rl16(s) << 16;
  627.     return val;
           ^
  628. }
  629. 

libavformat/avidec.c:1126:9: Assignment
1124.     /* Read the entries and sort them in each stream component. */
1125.     for(i = 0; i < nb_index_entries; i++) {
1126.         tag = avio_rl32(pb);
              ^
1127.         flags = avio_rl32(pb);
1128.         pos = avio_rl32(pb);

libavformat/avidec.c:1138:9: Binary operation: ([0, 255] - 48):unsigned32
1136.         pos += avi->movi_list;
1137. 
1138.         index = ((tag & 0xff) - '0') * 10;
              ^
1139.         index += ((tag >> 8) & 0xff) - '0';
1140.         if (index >= s->nb_streams)
