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

libavformat/nutdec.c:459:30: <LHS trace>
457.     int64_t end, tmp;
458. 
459.     nut->last_syncpoint_pos= url_ftell(bc)-8;
                                  ^
460. 
461.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/nutdec.c:459:30: Call
457.     int64_t end, tmp;
458. 
459.     nut->last_syncpoint_pos= url_ftell(bc)-8;
                                  ^
460. 
461.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

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

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

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

libavformat/nutdec.c:459:5: Assignment
457.     int64_t end, tmp;
458. 
459.     nut->last_syncpoint_pos= url_ftell(bc)-8;
         ^
460. 
461.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/nutdec.c:465:45: <RHS trace>
463. 
464.     tmp= ff_get_v(bc);
465.     *back_ptr= nut->last_syncpoint_pos - 16*ff_get_v(bc);
                                                 ^
466.     if(*back_ptr < 0)
467.         return -1;

libavformat/nutdec.c:465:45: Call
463. 
464.     tmp= ff_get_v(bc);
465.     *back_ptr= nut->last_syncpoint_pos - 16*ff_get_v(bc);
                                                 ^
466.     if(*back_ptr < 0)
467.         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:465:5: Binary operation: ([-oo, -8] - [0, +oo]):unsigned64
463. 
464.     tmp= ff_get_v(bc);
465.     *back_ptr= nut->last_syncpoint_pos - 16*ff_get_v(bc);
         ^
466.     if(*back_ptr < 0)
467.         return -1;
