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

libavformat/nutdec.c:483:30: <LHS trace>
481.     int64_t end, tmp;
482. 
483.     nut->last_syncpoint_pos= url_ftell(bc)-8;
                                  ^
484. 
485.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/nutdec.c:483:30: Call
481.     int64_t end, tmp;
482. 
483.     nut->last_syncpoint_pos= url_ftell(bc)-8;
                                  ^
484. 
485.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/aviobuf.c:232:12: Call
  230. int64_t url_ftell(AVIOContext *s)
  231. {
  232.     return url_fseek(s, 0, SEEK_CUR);
                  ^
  233. }
  234. 

libavformat/aviobuf.c:175:9: Assignment
    173. 
    174.     if(!s)
    175.         return AVERROR(EINVAL);
                 ^
    176. 
    177.     pos = s->pos - (s->write_flag ? 0 : (s->buf_end - s->buffer));

libavformat/aviobuf.c:232:5: Assignment
  230. int64_t url_ftell(AVIOContext *s)
  231. {
  232.     return url_fseek(s, 0, SEEK_CUR);
           ^
  233. }
  234. 

libavformat/nutdec.c:483:5: Assignment
481.     int64_t end, tmp;
482. 
483.     nut->last_syncpoint_pos= url_ftell(bc)-8;
         ^
484. 
485.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/nutdec.c:489:45: <RHS trace>
487. 
488.     tmp= ff_get_v(bc);
489.     *back_ptr= nut->last_syncpoint_pos - 16*ff_get_v(bc);
                                                 ^
490.     if(*back_ptr < 0)
491.         return -1;

libavformat/nutdec.c:489:45: Call
487. 
488.     tmp= ff_get_v(bc);
489.     *back_ptr= nut->last_syncpoint_pos - 16*ff_get_v(bc);
                                                 ^
490.     if(*back_ptr < 0)
491.         return -1;

libavformat/aviobuf.c:652:5: Assignment
  650. 
  651. uint64_t ff_get_v(AVIOContext *bc){
  652.     uint64_t val = 0;
           ^
  653.     int tmp;
  654. 

libavformat/aviobuf.c:657:9: Assignment
  655.     do{
  656.         tmp = get_byte(bc);
  657.         val= (val<<7) + (tmp&127);
               ^
  658.     }while(tmp&128);
  659.     return val;

libavformat/aviobuf.c:659:5: Assignment
  657.         val= (val<<7) + (tmp&127);
  658.     }while(tmp&128);
  659.     return val;
           ^
  660. }
  661. 

libavformat/nutdec.c:489:5: Binary operation: ([-oo, -8] - [0, +oo]):unsigned64
487. 
488.     tmp= ff_get_v(bc);
489.     *back_ptr= nut->last_syncpoint_pos - 16*ff_get_v(bc);
         ^
490.     if(*back_ptr < 0)
491.         return -1;
