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:246:12: Call
  244. int64_t url_ftell(AVIOContext *s)
  245. {
  246.     return avio_seek(s, 0, SEEK_CUR);
                  ^
  247. }
  248. 

libavformat/aviobuf.c:187:9: Assignment
    185. 
    186.     if(!s)
    187.         return AVERROR(EINVAL);
                 ^
    188. 
    189.     pos = s->pos - (s->write_flag ? 0 : (s->buf_end - s->buffer));

libavformat/aviobuf.c:246:5: Assignment
  244. int64_t url_ftell(AVIOContext *s)
  245. {
  246.     return avio_seek(s, 0, SEEK_CUR);
           ^
  247. }
  248. 

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:739:5: Assignment
  737. 
  738. uint64_t ff_get_v(AVIOContext *bc){
  739.     uint64_t val = 0;
           ^
  740.     int tmp;
  741. 

libavformat/aviobuf.c:744:9: Assignment
  742.     do{
  743.         tmp = avio_r8(bc);
  744.         val= (val<<7) + (tmp&127);
               ^
  745.     }while(tmp&128);
  746.     return val;

libavformat/aviobuf.c:746:5: Assignment
  744.         val= (val<<7) + (tmp&127);
  745.     }while(tmp&128);
  746.     return val;
           ^
  747. }
  748. 

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;
