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

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:244:5: Assignment
  242. int64_t url_ftell(AVIOContext *s)
  243. {
  244.     return url_fseek(s, 0, SEEK_CUR);
           ^
  245. }
  246. 

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:722:5: Assignment
  720. 
  721. uint64_t ff_get_v(AVIOContext *bc){
  722.     uint64_t val = 0;
           ^
  723.     int tmp;
  724. 

libavformat/aviobuf.c:727:9: Assignment
  725.     do{
  726.         tmp = avio_r8(bc);
  727.         val= (val<<7) + (tmp&127);
               ^
  728.     }while(tmp&128);
  729.     return val;

libavformat/aviobuf.c:729:5: Assignment
  727.         val= (val<<7) + (tmp&127);
  728.     }while(tmp&128);
  729.     return val;
           ^
  730. }
  731. 

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;
