libavformat/nutdec.c:478: error: Integer Overflow L1
  ([-oo, -8] - [0, +oo]):unsigned64.

libavformat/nutdec.c:472:30: <LHS trace>
470.     int64_t end, tmp;
471. 
472.     nut->last_syncpoint_pos= url_ftell(bc)-8;
                                  ^
473. 
474.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/nutdec.c:472:30: Call
470.     int64_t end, tmp;
471. 
472.     nut->last_syncpoint_pos= url_ftell(bc)-8;
                                  ^
473. 
474.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/aviobuf.c:186:12: Call
  184. int64_t url_ftell(ByteIOContext *s)
  185. {
  186.     return url_fseek(s, 0, SEEK_CUR);
                  ^
  187. }
  188. 

libavformat/aviobuf.c:134:9: Assignment
    132. 
    133.     if(!s)
    134.         return AVERROR(EINVAL);
                 ^
    135. 
    136.     pos = s->pos - (s->write_flag ? 0 : (s->buf_end - s->buffer));

libavformat/aviobuf.c:186:5: Assignment
  184. int64_t url_ftell(ByteIOContext *s)
  185. {
  186.     return url_fseek(s, 0, SEEK_CUR);
           ^
  187. }
  188. 

libavformat/nutdec.c:472:5: Assignment
470.     int64_t end, tmp;
471. 
472.     nut->last_syncpoint_pos= url_ftell(bc)-8;
         ^
473. 
474.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/nutdec.c:478:45: <RHS trace>
476. 
477.     tmp= ff_get_v(bc);
478.     *back_ptr= nut->last_syncpoint_pos - 16*ff_get_v(bc);
                                                 ^
479.     if(*back_ptr < 0)
480.         return -1;

libavformat/nutdec.c:478:45: Call
476. 
477.     tmp= ff_get_v(bc);
478.     *back_ptr= nut->last_syncpoint_pos - 16*ff_get_v(bc);
                                                 ^
479.     if(*back_ptr < 0)
480.         return -1;

libavformat/aviobuf.c:506:5: Assignment
  504. 
  505. uint64_t ff_get_v(ByteIOContext *bc){
  506.     uint64_t val = 0;
           ^
  507.     int tmp;
  508. 

libavformat/aviobuf.c:511:9: Assignment
  509.     do{
  510.         tmp = get_byte(bc);
  511.         val= (val<<7) + (tmp&127);
               ^
  512.     }while(tmp&128);
  513.     return val;

libavformat/aviobuf.c:513:5: Assignment
  511.         val= (val<<7) + (tmp&127);
  512.     }while(tmp&128);
  513.     return val;
           ^
  514. }
  515. 

libavformat/nutdec.c:478:5: Binary operation: ([-oo, -8] - [0, +oo]):unsigned64
476. 
477.     tmp= ff_get_v(bc);
478.     *back_ptr= nut->last_syncpoint_pos - 16*ff_get_v(bc);
         ^
479.     if(*back_ptr < 0)
480.         return -1;
