]> git.sesse.net Git - ffmpeg/blob - libavformat/nutdec.c
oggspeexparse: fix array overread
[ffmpeg] / libavformat / nutdec.c
1 /*
2  * "NUT" Container Format demuxer
3  * Copyright (c) 2004-2006 Michael Niedermayer
4  * Copyright (c) 2003 Alex Beregszaszi
5  *
6  * This file is part of FFmpeg.
7  *
8  * FFmpeg is free software; you can redistribute it and/or
9  * modify it under the terms of the GNU Lesser General Public
10  * License as published by the Free Software Foundation; either
11  * version 2.1 of the License, or (at your option) any later version.
12  *
13  * FFmpeg is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
16  * Lesser General Public License for more details.
17  *
18  * You should have received a copy of the GNU Lesser General Public
19  * License along with FFmpeg; if not, write to the Free Software
20  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
21  */
22
23 #include "libavutil/avstring.h"
24 #include "libavutil/avassert.h"
25 #include "libavutil/bswap.h"
26 #include "libavutil/dict.h"
27 #include "libavutil/mathematics.h"
28 #include "libavutil/tree.h"
29 #include "avio_internal.h"
30 #include "nut.h"
31 #include "riff.h"
32
33 #define NUT_MAX_STREAMS 256    /* arbitrary sanity check value */
34
35 static int64_t nut_read_timestamp(AVFormatContext *s, int stream_index,
36                                   int64_t *pos_arg, int64_t pos_limit);
37
38 static int get_str(AVIOContext *bc, char *string, unsigned int maxlen)
39 {
40     unsigned int len = ffio_read_varlen(bc);
41
42     if (len && maxlen)
43         avio_read(bc, string, FFMIN(len, maxlen));
44     while (len > maxlen) {
45         avio_r8(bc);
46         len--;
47     }
48
49     if (maxlen)
50         string[FFMIN(len, maxlen - 1)] = 0;
51
52     if (maxlen == len)
53         return -1;
54     else
55         return 0;
56 }
57
58 static int64_t get_s(AVIOContext *bc)
59 {
60     int64_t v = ffio_read_varlen(bc) + 1;
61
62     if (v & 1)
63         return -(v >> 1);
64     else
65         return  (v >> 1);
66 }
67
68 static uint64_t get_fourcc(AVIOContext *bc)
69 {
70     unsigned int len = ffio_read_varlen(bc);
71
72     if (len == 2)
73         return avio_rl16(bc);
74     else if (len == 4)
75         return avio_rl32(bc);
76     else
77         return -1;
78 }
79
80 #ifdef TRACE
81 static inline uint64_t get_v_trace(AVIOContext *bc, const char *file,
82                                    const char *func, int line)
83 {
84     uint64_t v = ffio_read_varlen(bc);
85
86     av_log(NULL, AV_LOG_DEBUG, "get_v %5"PRId64" / %"PRIX64" in %s %s:%d\n",
87            v, v, file, func, line);
88     return v;
89 }
90
91 static inline int64_t get_s_trace(AVIOContext *bc, const char *file,
92                                   const char *func, int line)
93 {
94     int64_t v = get_s(bc);
95
96     av_log(NULL, AV_LOG_DEBUG, "get_s %5"PRId64" / %"PRIX64" in %s %s:%d\n",
97            v, v, file, func, line);
98     return v;
99 }
100
101 static inline uint64_t get_4cc_trace(AVIOContext *bc, char *file,
102                                     char *func, int line)
103 {
104     uint64_t v = get_fourcc(bc);
105
106     av_log(NULL, AV_LOG_DEBUG, "get_fourcc %5"PRId64" / %"PRIX64" in %s %s:%d\n",
107            v, v, file, func, line);
108     return v;
109 }
110 #define ffio_read_varlen(bc) get_v_trace(bc,  __FILE__, __PRETTY_FUNCTION__, __LINE__)
111 #define get_s(bc)            get_s_trace(bc,  __FILE__, __PRETTY_FUNCTION__, __LINE__)
112 #define get_fourcc(bc)       get_4cc_trace(bc, __FILE__, __PRETTY_FUNCTION__, __LINE__)
113 #endif
114
115 static int get_packetheader(NUTContext *nut, AVIOContext *bc,
116                             int calculate_checksum, uint64_t startcode)
117 {
118     int64_t size;
119 //    start = avio_tell(bc) - 8;
120
121     startcode = av_be2ne64(startcode);
122     startcode = ff_crc04C11DB7_update(0, (uint8_t*) &startcode, 8);
123
124     ffio_init_checksum(bc, ff_crc04C11DB7_update, startcode);
125     size = ffio_read_varlen(bc);
126     if (size > 4096)
127         avio_rb32(bc);
128     if (ffio_get_checksum(bc) && size > 4096)
129         return -1;
130
131     ffio_init_checksum(bc, calculate_checksum ? ff_crc04C11DB7_update : NULL, 0);
132
133     return size;
134 }
135
136 static uint64_t find_any_startcode(AVIOContext *bc, int64_t pos)
137 {
138     uint64_t state = 0;
139
140     if (pos >= 0)
141         /* Note, this may fail if the stream is not seekable, but that should
142          * not matter, as in this case we simply start where we currently are */
143         avio_seek(bc, pos, SEEK_SET);
144     while (!url_feof(bc)) {
145         state = (state << 8) | avio_r8(bc);
146         if ((state >> 56) != 'N')
147             continue;
148         switch (state) {
149         case MAIN_STARTCODE:
150         case STREAM_STARTCODE:
151         case SYNCPOINT_STARTCODE:
152         case INFO_STARTCODE:
153         case INDEX_STARTCODE:
154             return state;
155         }
156     }
157
158     return 0;
159 }
160
161 /**
162  * Find the given startcode.
163  * @param code the startcode
164  * @param pos the start position of the search, or -1 if the current position
165  * @return the position of the startcode or -1 if not found
166  */
167 static int64_t find_startcode(AVIOContext *bc, uint64_t code, int64_t pos)
168 {
169     for (;;) {
170         uint64_t startcode = find_any_startcode(bc, pos);
171         if (startcode == code)
172             return avio_tell(bc) - 8;
173         else if (startcode == 0)
174             return -1;
175         pos = -1;
176     }
177 }
178
179 static int nut_probe(AVProbeData *p)
180 {
181     int i;
182     uint64_t code = 0;
183
184     for (i = 0; i < p->buf_size; i++) {
185         code = (code << 8) | p->buf[i];
186         if (code == MAIN_STARTCODE)
187             return AVPROBE_SCORE_MAX;
188     }
189     return 0;
190 }
191
192 #define GET_V(dst, check)                                                     \
193     do {                                                                      \
194         tmp = ffio_read_varlen(bc);                                           \
195         if (!(check)) {                                                       \
196             av_log(s, AV_LOG_ERROR, "Error " #dst " is (%"PRId64")\n", tmp);  \
197             return -1;                                                        \
198         }                                                                     \
199         dst = tmp;                                                            \
200     } while (0)
201
202 static int skip_reserved(AVIOContext *bc, int64_t pos)
203 {
204     pos -= avio_tell(bc);
205     if (pos < 0) {
206         avio_seek(bc, pos, SEEK_CUR);
207         return -1;
208     } else {
209         while (pos--)
210             avio_r8(bc);
211         return 0;
212     }
213 }
214
215 static int decode_main_header(NUTContext *nut)
216 {
217     AVFormatContext *s = nut->avf;
218     AVIOContext *bc    = s->pb;
219     uint64_t tmp, end;
220     unsigned int stream_count;
221     int i, j, count;
222     int tmp_stream, tmp_mul, tmp_pts, tmp_size, tmp_res, tmp_head_idx;
223
224     end  = get_packetheader(nut, bc, 1, MAIN_STARTCODE);
225     end += avio_tell(bc);
226
227     GET_V(tmp, tmp >= 2 && tmp <= 3);
228     GET_V(stream_count, tmp > 0 && tmp <= NUT_MAX_STREAMS);
229
230     nut->max_distance = ffio_read_varlen(bc);
231     if (nut->max_distance > 65536) {
232         av_log(s, AV_LOG_DEBUG, "max_distance %d\n", nut->max_distance);
233         nut->max_distance = 65536;
234     }
235
236     GET_V(nut->time_base_count, tmp > 0 && tmp < INT_MAX / sizeof(AVRational));
237     nut->time_base = av_malloc(nut->time_base_count * sizeof(AVRational));
238
239     for (i = 0; i < nut->time_base_count; i++) {
240         GET_V(nut->time_base[i].num, tmp > 0 && tmp < (1ULL << 31));
241         GET_V(nut->time_base[i].den, tmp > 0 && tmp < (1ULL << 31));
242         if (av_gcd(nut->time_base[i].num, nut->time_base[i].den) != 1) {
243             av_log(s, AV_LOG_ERROR, "time base invalid\n");
244             return AVERROR_INVALIDDATA;
245         }
246     }
247     tmp_pts      = 0;
248     tmp_mul      = 1;
249     tmp_stream   = 0;
250     tmp_head_idx = 0;
251     for (i = 0; i < 256;) {
252         int tmp_flags  = ffio_read_varlen(bc);
253         int tmp_fields = ffio_read_varlen(bc);
254
255         if (tmp_fields > 0)
256             tmp_pts = get_s(bc);
257         if (tmp_fields > 1)
258             tmp_mul = ffio_read_varlen(bc);
259         if (tmp_fields > 2)
260             tmp_stream = ffio_read_varlen(bc);
261         if (tmp_fields > 3)
262             tmp_size = ffio_read_varlen(bc);
263         else
264             tmp_size = 0;
265         if (tmp_fields > 4)
266             tmp_res = ffio_read_varlen(bc);
267         else
268             tmp_res = 0;
269         if (tmp_fields > 5)
270             count = ffio_read_varlen(bc);
271         else
272             count = tmp_mul - tmp_size;
273         if (tmp_fields > 6)
274             get_s(bc);
275         if (tmp_fields > 7)
276             tmp_head_idx = ffio_read_varlen(bc);
277
278         while (tmp_fields-- > 8)
279             ffio_read_varlen(bc);
280
281         if (count == 0 || i + count > 256) {
282             av_log(s, AV_LOG_ERROR, "illegal count %d at %d\n", count, i);
283             return AVERROR_INVALIDDATA;
284         }
285         if (tmp_stream >= stream_count) {
286             av_log(s, AV_LOG_ERROR, "illegal stream number\n");
287             return AVERROR_INVALIDDATA;
288         }
289
290         for (j = 0; j < count; j++, i++) {
291             if (i == 'N') {
292                 nut->frame_code[i].flags = FLAG_INVALID;
293                 j--;
294                 continue;
295             }
296             nut->frame_code[i].flags          = tmp_flags;
297             nut->frame_code[i].pts_delta      = tmp_pts;
298             nut->frame_code[i].stream_id      = tmp_stream;
299             nut->frame_code[i].size_mul       = tmp_mul;
300             nut->frame_code[i].size_lsb       = tmp_size + j;
301             nut->frame_code[i].reserved_count = tmp_res;
302             nut->frame_code[i].header_idx     = tmp_head_idx;
303         }
304     }
305     av_assert0(nut->frame_code['N'].flags == FLAG_INVALID);
306
307     if (end > avio_tell(bc) + 4) {
308         int rem = 1024;
309         GET_V(nut->header_count, tmp < 128U);
310         nut->header_count++;
311         for (i = 1; i < nut->header_count; i++) {
312             uint8_t *hdr;
313             GET_V(nut->header_len[i], tmp > 0 && tmp < 256);
314             rem -= nut->header_len[i];
315             if (rem < 0) {
316                 av_log(s, AV_LOG_ERROR, "invalid elision header\n");
317                 return AVERROR_INVALIDDATA;
318             }
319             hdr = av_malloc(nut->header_len[i]);
320             if (!hdr)
321                 return AVERROR(ENOMEM);
322             avio_read(bc, hdr, nut->header_len[i]);
323             nut->header[i] = hdr;
324         }
325         av_assert0(nut->header_len[0] == 0);
326     }
327
328     if (skip_reserved(bc, end) || ffio_get_checksum(bc)) {
329         av_log(s, AV_LOG_ERROR, "main header checksum mismatch\n");
330         return AVERROR_INVALIDDATA;
331     }
332
333     nut->stream = av_mallocz(sizeof(StreamContext) * stream_count);
334     for (i = 0; i < stream_count; i++)
335         avformat_new_stream(s, NULL);
336
337     return 0;
338 }
339
340 static int decode_stream_header(NUTContext *nut)
341 {
342     AVFormatContext *s = nut->avf;
343     AVIOContext *bc    = s->pb;
344     StreamContext *stc;
345     int class, stream_id;
346     uint64_t tmp, end;
347     AVStream *st;
348
349     end  = get_packetheader(nut, bc, 1, STREAM_STARTCODE);
350     end += avio_tell(bc);
351
352     GET_V(stream_id, tmp < s->nb_streams && !nut->stream[tmp].time_base);
353     stc = &nut->stream[stream_id];
354     st  = s->streams[stream_id];
355     if (!st)
356         return AVERROR(ENOMEM);
357
358     class                = ffio_read_varlen(bc);
359     tmp                  = get_fourcc(bc);
360     st->codec->codec_tag = tmp;
361     switch (class) {
362     case 0:
363         st->codec->codec_type = AVMEDIA_TYPE_VIDEO;
364         st->codec->codec_id   = av_codec_get_id((const AVCodecTag * const []) {
365                                                     ff_nut_video_tags,
366                                                     ff_codec_bmp_tags,
367                                                     0
368                                                 },
369                                                 tmp);
370         break;
371     case 1:
372         st->codec->codec_type = AVMEDIA_TYPE_AUDIO;
373         st->codec->codec_id   = av_codec_get_id((const AVCodecTag * const []) {
374                                                     ff_nut_audio_tags,
375                                                     ff_codec_wav_tags,
376                                                     0
377                                                 },
378                                                 tmp);
379         break;
380     case 2:
381         st->codec->codec_type = AVMEDIA_TYPE_SUBTITLE;
382         st->codec->codec_id   = ff_codec_get_id(ff_nut_subtitle_tags, tmp);
383         break;
384     case 3:
385         st->codec->codec_type = AVMEDIA_TYPE_DATA;
386         st->codec->codec_id   = ff_codec_get_id(ff_nut_data_tags, tmp);
387         break;
388     default:
389         av_log(s, AV_LOG_ERROR, "unknown stream class (%d)\n", class);
390         return -1;
391     }
392     if (class < 3 && st->codec->codec_id == AV_CODEC_ID_NONE)
393         av_log(s, AV_LOG_ERROR,
394                "Unknown codec tag '0x%04x' for stream number %d\n",
395                (unsigned int) tmp, stream_id);
396
397     GET_V(stc->time_base_id, tmp < nut->time_base_count);
398     GET_V(stc->msb_pts_shift, tmp < 16);
399     stc->max_pts_distance = ffio_read_varlen(bc);
400     GET_V(stc->decode_delay, tmp < 1000); // sanity limit, raise this if Moore's law is true
401     st->codec->has_b_frames = stc->decode_delay;
402     ffio_read_varlen(bc); // stream flags
403
404     GET_V(st->codec->extradata_size, tmp < (1 << 30));
405     if (st->codec->extradata_size) {
406         st->codec->extradata = av_mallocz(st->codec->extradata_size +
407                                           FF_INPUT_BUFFER_PADDING_SIZE);
408         avio_read(bc, st->codec->extradata, st->codec->extradata_size);
409     }
410
411     if (st->codec->codec_type == AVMEDIA_TYPE_VIDEO) {
412         GET_V(st->codec->width,  tmp > 0);
413         GET_V(st->codec->height, tmp > 0);
414         st->sample_aspect_ratio.num = ffio_read_varlen(bc);
415         st->sample_aspect_ratio.den = ffio_read_varlen(bc);
416         if ((!st->sample_aspect_ratio.num) != (!st->sample_aspect_ratio.den)) {
417             av_log(s, AV_LOG_ERROR, "invalid aspect ratio %d/%d\n",
418                    st->sample_aspect_ratio.num, st->sample_aspect_ratio.den);
419             return -1;
420         }
421         ffio_read_varlen(bc); /* csp type */
422     } else if (st->codec->codec_type == AVMEDIA_TYPE_AUDIO) {
423         GET_V(st->codec->sample_rate, tmp > 0);
424         ffio_read_varlen(bc); // samplerate_den
425         GET_V(st->codec->channels, tmp > 0);
426     }
427     if (skip_reserved(bc, end) || ffio_get_checksum(bc)) {
428         av_log(s, AV_LOG_ERROR,
429                "stream header %d checksum mismatch\n", stream_id);
430         return -1;
431     }
432     stc->time_base = &nut->time_base[stc->time_base_id];
433     avpriv_set_pts_info(s->streams[stream_id], 63, stc->time_base->num,
434                         stc->time_base->den);
435     return 0;
436 }
437
438 static void set_disposition_bits(AVFormatContext *avf, char *value,
439                                  int stream_id)
440 {
441     int flag = 0, i;
442
443     for (i = 0; ff_nut_dispositions[i].flag; ++i)
444         if (!strcmp(ff_nut_dispositions[i].str, value))
445             flag = ff_nut_dispositions[i].flag;
446     if (!flag)
447         av_log(avf, AV_LOG_INFO, "unknown disposition type '%s'\n", value);
448     for (i = 0; i < avf->nb_streams; ++i)
449         if (stream_id == i || stream_id == -1)
450             avf->streams[i]->disposition |= flag;
451 }
452
453 static int decode_info_header(NUTContext *nut)
454 {
455     AVFormatContext *s = nut->avf;
456     AVIOContext *bc    = s->pb;
457     uint64_t tmp, chapter_start, chapter_len;
458     unsigned int stream_id_plus1, count;
459     int chapter_id, i;
460     int64_t value, end;
461     char name[256], str_value[1024], type_str[256];
462     const char *type;
463     AVChapter *chapter      = NULL;
464     AVStream *st            = NULL;
465     AVDictionary **metadata = NULL;
466
467     end  = get_packetheader(nut, bc, 1, INFO_STARTCODE);
468     end += avio_tell(bc);
469
470     GET_V(stream_id_plus1, tmp <= s->nb_streams);
471     chapter_id    = get_s(bc);
472     chapter_start = ffio_read_varlen(bc);
473     chapter_len   = ffio_read_varlen(bc);
474     count         = ffio_read_varlen(bc);
475
476     if (chapter_id && !stream_id_plus1) {
477         int64_t start = chapter_start / nut->time_base_count;
478         chapter = avpriv_new_chapter(s, chapter_id,
479                                      nut->time_base[chapter_start %
480                                                     nut->time_base_count],
481                                      start, start + chapter_len, NULL);
482         metadata = &chapter->metadata;
483     } else if (stream_id_plus1) {
484         st       = s->streams[stream_id_plus1 - 1];
485         metadata = &st->metadata;
486     } else
487         metadata = &s->metadata;
488
489     for (i = 0; i < count; i++) {
490         get_str(bc, name, sizeof(name));
491         value = get_s(bc);
492         if (value == -1) {
493             type = "UTF-8";
494             get_str(bc, str_value, sizeof(str_value));
495         } else if (value == -2) {
496             get_str(bc, type_str, sizeof(type_str));
497             type = type_str;
498             get_str(bc, str_value, sizeof(str_value));
499         } else if (value == -3) {
500             type  = "s";
501             value = get_s(bc);
502         } else if (value == -4) {
503             type  = "t";
504             value = ffio_read_varlen(bc);
505         } else if (value < -4) {
506             type = "r";
507             get_s(bc);
508         } else {
509             type = "v";
510         }
511
512         if (stream_id_plus1 > s->nb_streams) {
513             av_log(s, AV_LOG_ERROR, "invalid stream id for info packet\n");
514             continue;
515         }
516
517         if (!strcmp(type, "UTF-8")) {
518             if (chapter_id == 0 && !strcmp(name, "Disposition")) {
519                 set_disposition_bits(s, str_value, stream_id_plus1 - 1);
520                 continue;
521             }
522
523             if (stream_id_plus1 && !strcmp(name, "r_frame_rate")) {
524                 sscanf(str_value, "%d/%d", &st->r_frame_rate.num, &st->r_frame_rate.den);
525                 continue;
526             }
527
528             if (metadata && av_strcasecmp(name, "Uses") &&
529                 av_strcasecmp(name, "Depends") && av_strcasecmp(name, "Replaces"))
530                 av_dict_set(metadata, name, str_value, 0);
531         }
532     }
533
534     if (skip_reserved(bc, end) || ffio_get_checksum(bc)) {
535         av_log(s, AV_LOG_ERROR, "info header checksum mismatch\n");
536         return -1;
537     }
538     return 0;
539 }
540
541 static int decode_syncpoint(NUTContext *nut, int64_t *ts, int64_t *back_ptr)
542 {
543     AVFormatContext *s = nut->avf;
544     AVIOContext *bc    = s->pb;
545     int64_t end;
546     uint64_t tmp;
547
548     nut->last_syncpoint_pos = avio_tell(bc) - 8;
549
550     end  = get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);
551     end += avio_tell(bc);
552
553     tmp       = ffio_read_varlen(bc);
554     *back_ptr = nut->last_syncpoint_pos - 16 * ffio_read_varlen(bc);
555     if (*back_ptr < 0)
556         return -1;
557
558     ff_nut_reset_ts(nut, nut->time_base[tmp % nut->time_base_count],
559                     tmp / nut->time_base_count);
560
561     if (skip_reserved(bc, end) || ffio_get_checksum(bc)) {
562         av_log(s, AV_LOG_ERROR, "sync point checksum mismatch\n");
563         return -1;
564     }
565
566     *ts = tmp / nut->time_base_count *
567           av_q2d(nut->time_base[tmp % nut->time_base_count]) * AV_TIME_BASE;
568     ff_nut_add_sp(nut, nut->last_syncpoint_pos, *back_ptr, *ts);
569
570     return 0;
571 }
572
573 //FIXME calculate exactly, this is just a good approximation.
574 static int64_t find_duration(NUTContext *nut, int64_t filesize)
575 {
576     AVFormatContext *s = nut->avf;
577     int64_t duration = 0;
578
579     int64_t pos = FFMAX(0, filesize - 2*nut->max_distance);
580     for(;;){
581         int64_t ts = nut_read_timestamp(s, -1, &pos, INT64_MAX);
582         if(ts < 0)
583             break;
584         duration = FFMAX(duration, ts);
585         pos++;
586     }
587     if(duration > 0)
588         s->duration_estimation_method = AVFMT_DURATION_FROM_PTS;
589     return duration;
590 }
591
592 static int find_and_decode_index(NUTContext *nut)
593 {
594     AVFormatContext *s = nut->avf;
595     AVIOContext *bc    = s->pb;
596     uint64_t tmp, end;
597     int i, j, syncpoint_count;
598     int64_t filesize = avio_size(bc);
599     int64_t *syncpoints;
600     int8_t *has_keyframe;
601     int ret = -1;
602
603     if(filesize <= 0)
604         return -1;
605
606     avio_seek(bc, filesize - 12, SEEK_SET);
607     avio_seek(bc, filesize - avio_rb64(bc), SEEK_SET);
608     if (avio_rb64(bc) != INDEX_STARTCODE) {
609         av_log(s, AV_LOG_ERROR, "no index at the end\n");
610
611         if(s->duration<=0)
612             s->duration = find_duration(nut, filesize);
613         return -1;
614     }
615
616     end  = get_packetheader(nut, bc, 1, INDEX_STARTCODE);
617     end += avio_tell(bc);
618
619     ffio_read_varlen(bc); // max_pts
620     GET_V(syncpoint_count, tmp < INT_MAX / 8 && tmp > 0);
621     syncpoints   = av_malloc(sizeof(int64_t) *  syncpoint_count);
622     has_keyframe = av_malloc(sizeof(int8_t)  * (syncpoint_count + 1));
623     for (i = 0; i < syncpoint_count; i++) {
624         syncpoints[i] = ffio_read_varlen(bc);
625         if (syncpoints[i] <= 0)
626             goto fail;
627         if (i)
628             syncpoints[i] += syncpoints[i - 1];
629     }
630
631     for (i = 0; i < s->nb_streams; i++) {
632         int64_t last_pts = -1;
633         for (j = 0; j < syncpoint_count;) {
634             uint64_t x = ffio_read_varlen(bc);
635             int type   = x & 1;
636             int n      = j;
637             x >>= 1;
638             if (type) {
639                 int flag = x & 1;
640                 x >>= 1;
641                 if (n + x >= syncpoint_count + 1) {
642                     av_log(s, AV_LOG_ERROR, "index overflow A %d + %"PRIu64" >= %d\n", n, x, syncpoint_count + 1);
643                     goto fail;
644                 }
645                 while (x--)
646                     has_keyframe[n++] = flag;
647                 has_keyframe[n++] = !flag;
648             } else {
649                 while (x != 1) {
650                     if (n >= syncpoint_count + 1) {
651                         av_log(s, AV_LOG_ERROR, "index overflow B\n");
652                         goto fail;
653                     }
654                     has_keyframe[n++] = x & 1;
655                     x >>= 1;
656                 }
657             }
658             if (has_keyframe[0]) {
659                 av_log(s, AV_LOG_ERROR, "keyframe before first syncpoint in index\n");
660                 goto fail;
661             }
662             av_assert0(n <= syncpoint_count + 1);
663             for (; j < n && j < syncpoint_count; j++) {
664                 if (has_keyframe[j]) {
665                     uint64_t B, A = ffio_read_varlen(bc);
666                     if (!A) {
667                         A = ffio_read_varlen(bc);
668                         B = ffio_read_varlen(bc);
669                         // eor_pts[j][i] = last_pts + A + B
670                     } else
671                         B = 0;
672                     av_add_index_entry(s->streams[i], 16 * syncpoints[j - 1],
673                                        last_pts + A, 0, 0, AVINDEX_KEYFRAME);
674                     last_pts += A + B;
675                 }
676             }
677         }
678     }
679
680     if (skip_reserved(bc, end) || ffio_get_checksum(bc)) {
681         av_log(s, AV_LOG_ERROR, "index checksum mismatch\n");
682         goto fail;
683     }
684     ret = 0;
685
686 fail:
687     av_free(syncpoints);
688     av_free(has_keyframe);
689     return ret;
690 }
691
692 static int nut_read_header(AVFormatContext *s)
693 {
694     NUTContext *nut = s->priv_data;
695     AVIOContext *bc = s->pb;
696     int64_t pos;
697     int initialized_stream_count;
698
699     nut->avf = s;
700
701     /* main header */
702     pos = 0;
703     do {
704         pos = find_startcode(bc, MAIN_STARTCODE, pos) + 1;
705         if (pos < 0 + 1) {
706             av_log(s, AV_LOG_ERROR, "No main startcode found.\n");
707             return AVERROR_INVALIDDATA;
708         }
709     } while (decode_main_header(nut) < 0);
710
711     /* stream headers */
712     pos = 0;
713     for (initialized_stream_count = 0; initialized_stream_count < s->nb_streams;) {
714         pos = find_startcode(bc, STREAM_STARTCODE, pos) + 1;
715         if (pos < 0 + 1) {
716             av_log(s, AV_LOG_ERROR, "Not all stream headers found.\n");
717             return AVERROR_INVALIDDATA;
718         }
719         if (decode_stream_header(nut) >= 0)
720             initialized_stream_count++;
721     }
722
723     /* info headers */
724     pos = 0;
725     for (;;) {
726         uint64_t startcode = find_any_startcode(bc, pos);
727         pos = avio_tell(bc);
728
729         if (startcode == 0) {
730             av_log(s, AV_LOG_ERROR, "EOF before video frames\n");
731             return AVERROR_INVALIDDATA;
732         } else if (startcode == SYNCPOINT_STARTCODE) {
733             nut->next_startcode = startcode;
734             break;
735         } else if (startcode != INFO_STARTCODE) {
736             continue;
737         }
738
739         decode_info_header(nut);
740     }
741
742     s->data_offset = pos - 8;
743
744     if (bc->seekable) {
745         int64_t orig_pos = avio_tell(bc);
746         find_and_decode_index(nut);
747         avio_seek(bc, orig_pos, SEEK_SET);
748     }
749     av_assert0(nut->next_startcode == SYNCPOINT_STARTCODE);
750
751     ff_metadata_conv_ctx(s, NULL, ff_nut_metadata_conv);
752
753     return 0;
754 }
755
756 static int decode_frame_header(NUTContext *nut, int64_t *pts, int *stream_id,
757                                uint8_t *header_idx, int frame_code)
758 {
759     AVFormatContext *s = nut->avf;
760     AVIOContext *bc    = s->pb;
761     StreamContext *stc;
762     int size, flags, size_mul, pts_delta, i, reserved_count;
763     uint64_t tmp;
764
765     if (avio_tell(bc) > nut->last_syncpoint_pos + nut->max_distance) {
766         av_log(s, AV_LOG_ERROR,
767                "Last frame must have been damaged %"PRId64" > %"PRId64" + %d\n",
768                avio_tell(bc), nut->last_syncpoint_pos, nut->max_distance);
769         return AVERROR_INVALIDDATA;
770     }
771
772     flags          = nut->frame_code[frame_code].flags;
773     size_mul       = nut->frame_code[frame_code].size_mul;
774     size           = nut->frame_code[frame_code].size_lsb;
775     *stream_id     = nut->frame_code[frame_code].stream_id;
776     pts_delta      = nut->frame_code[frame_code].pts_delta;
777     reserved_count = nut->frame_code[frame_code].reserved_count;
778     *header_idx    = nut->frame_code[frame_code].header_idx;
779
780     if (flags & FLAG_INVALID)
781         return AVERROR_INVALIDDATA;
782     if (flags & FLAG_CODED)
783         flags ^= ffio_read_varlen(bc);
784     if (flags & FLAG_STREAM_ID) {
785         GET_V(*stream_id, tmp < s->nb_streams);
786     }
787     stc = &nut->stream[*stream_id];
788     if (flags & FLAG_CODED_PTS) {
789         int coded_pts = ffio_read_varlen(bc);
790         // FIXME check last_pts validity?
791         if (coded_pts < (1 << stc->msb_pts_shift)) {
792             *pts = ff_lsb2full(stc, coded_pts);
793         } else
794             *pts = coded_pts - (1LL << stc->msb_pts_shift);
795     } else
796         *pts = stc->last_pts + pts_delta;
797     if (flags & FLAG_SIZE_MSB)
798         size += size_mul * ffio_read_varlen(bc);
799     if (flags & FLAG_MATCH_TIME)
800         get_s(bc);
801     if (flags & FLAG_HEADER_IDX)
802         *header_idx = ffio_read_varlen(bc);
803     if (flags & FLAG_RESERVED)
804         reserved_count = ffio_read_varlen(bc);
805     for (i = 0; i < reserved_count; i++)
806         ffio_read_varlen(bc);
807
808     if (*header_idx >= (unsigned)nut->header_count) {
809         av_log(s, AV_LOG_ERROR, "header_idx invalid\n");
810         return AVERROR_INVALIDDATA;
811     }
812     if (size > 4096)
813         *header_idx = 0;
814     size -= nut->header_len[*header_idx];
815
816     if (flags & FLAG_CHECKSUM) {
817         avio_rb32(bc); // FIXME check this
818     } else if (size > 2 * nut->max_distance || FFABS(stc->last_pts - *pts) >
819                stc->max_pts_distance) {
820         av_log(s, AV_LOG_ERROR, "frame size > 2max_distance and no checksum\n");
821         return AVERROR_INVALIDDATA;
822     }
823
824     stc->last_pts   = *pts;
825     stc->last_flags = flags;
826
827     return size;
828 }
829
830 static int decode_frame(NUTContext *nut, AVPacket *pkt, int frame_code)
831 {
832     AVFormatContext *s = nut->avf;
833     AVIOContext *bc    = s->pb;
834     int size, stream_id, discard;
835     int64_t pts, last_IP_pts;
836     StreamContext *stc;
837     uint8_t header_idx;
838
839     size = decode_frame_header(nut, &pts, &stream_id, &header_idx, frame_code);
840     if (size < 0)
841         return size;
842
843     stc = &nut->stream[stream_id];
844
845     if (stc->last_flags & FLAG_KEY)
846         stc->skip_until_key_frame = 0;
847
848     discard     = s->streams[stream_id]->discard;
849     last_IP_pts = s->streams[stream_id]->last_IP_pts;
850     if ((discard >= AVDISCARD_NONKEY && !(stc->last_flags & FLAG_KEY)) ||
851         (discard >= AVDISCARD_BIDIR  && last_IP_pts != AV_NOPTS_VALUE &&
852          last_IP_pts > pts) ||
853         discard >= AVDISCARD_ALL ||
854         stc->skip_until_key_frame) {
855         avio_skip(bc, size);
856         return 1;
857     }
858
859     if (av_new_packet(pkt, size + nut->header_len[header_idx]) < 0)
860         return AVERROR(ENOMEM);
861     memcpy(pkt->data, nut->header[header_idx], nut->header_len[header_idx]);
862     pkt->pos = avio_tell(bc); // FIXME
863     avio_read(bc, pkt->data + nut->header_len[header_idx], size);
864
865     pkt->stream_index = stream_id;
866     if (stc->last_flags & FLAG_KEY)
867         pkt->flags |= AV_PKT_FLAG_KEY;
868     pkt->pts = pts;
869
870     return 0;
871 }
872
873 static int nut_read_packet(AVFormatContext *s, AVPacket *pkt)
874 {
875     NUTContext *nut = s->priv_data;
876     AVIOContext *bc = s->pb;
877     int i, frame_code = 0, ret, skip;
878     int64_t ts, back_ptr;
879
880     for (;;) {
881         int64_t pos  = avio_tell(bc);
882         uint64_t tmp = nut->next_startcode;
883         nut->next_startcode = 0;
884
885         if (tmp) {
886             pos -= 8;
887         } else {
888             frame_code = avio_r8(bc);
889             if (url_feof(bc))
890                 return -1;
891             if (frame_code == 'N') {
892                 tmp = frame_code;
893                 for (i = 1; i < 8; i++)
894                     tmp = (tmp << 8) + avio_r8(bc);
895             }
896         }
897         switch (tmp) {
898         case MAIN_STARTCODE:
899         case STREAM_STARTCODE:
900         case INDEX_STARTCODE:
901             skip = get_packetheader(nut, bc, 0, tmp);
902             avio_skip(bc, skip);
903             break;
904         case INFO_STARTCODE:
905             if (decode_info_header(nut) < 0)
906                 goto resync;
907             break;
908         case SYNCPOINT_STARTCODE:
909             if (decode_syncpoint(nut, &ts, &back_ptr) < 0)
910                 goto resync;
911             frame_code = avio_r8(bc);
912         case 0:
913             ret = decode_frame(nut, pkt, frame_code);
914             if (ret == 0)
915                 return 0;
916             else if (ret == 1) // OK but discard packet
917                 break;
918         default:
919 resync:
920             av_log(s, AV_LOG_DEBUG, "syncing from %"PRId64"\n", pos);
921             tmp = find_any_startcode(bc, nut->last_syncpoint_pos + 1);
922             if (tmp == 0)
923                 return AVERROR_INVALIDDATA;
924             av_log(s, AV_LOG_DEBUG, "sync\n");
925             nut->next_startcode = tmp;
926         }
927     }
928 }
929
930 static int64_t nut_read_timestamp(AVFormatContext *s, int stream_index,
931                                   int64_t *pos_arg, int64_t pos_limit)
932 {
933     NUTContext *nut = s->priv_data;
934     AVIOContext *bc = s->pb;
935     int64_t pos, pts, back_ptr;
936     av_log(s, AV_LOG_DEBUG, "read_timestamp(X,%d,%"PRId64",%"PRId64")\n",
937            stream_index, *pos_arg, pos_limit);
938
939     pos = *pos_arg;
940     do {
941         pos = find_startcode(bc, SYNCPOINT_STARTCODE, pos) + 1;
942         if (pos < 1) {
943             av_log(s, AV_LOG_ERROR, "read_timestamp failed.\n");
944             return AV_NOPTS_VALUE;
945         }
946     } while (decode_syncpoint(nut, &pts, &back_ptr) < 0);
947     *pos_arg = pos - 1;
948     av_assert0(nut->last_syncpoint_pos == *pos_arg);
949
950     av_log(s, AV_LOG_DEBUG, "return %"PRId64" %"PRId64"\n", pts, back_ptr);
951     if (stream_index == -2)
952         return back_ptr;
953     av_assert0(stream_index == -1);
954     return pts;
955 }
956
957 static int read_seek(AVFormatContext *s, int stream_index,
958                      int64_t pts, int flags)
959 {
960     NUTContext *nut    = s->priv_data;
961     AVStream *st       = s->streams[stream_index];
962     Syncpoint dummy    = { .ts = pts * av_q2d(st->time_base) * AV_TIME_BASE };
963     Syncpoint nopts_sp = { .ts = AV_NOPTS_VALUE, .back_ptr = AV_NOPTS_VALUE };
964     Syncpoint *sp, *next_node[2] = { &nopts_sp, &nopts_sp };
965     int64_t pos, pos2, ts;
966     int i;
967
968     if (st->index_entries) {
969         int index = av_index_search_timestamp(st, pts, flags);
970         if (index < 0)
971             index = av_index_search_timestamp(st, pts, flags ^ AVSEEK_FLAG_BACKWARD);
972         if (index < 0)
973             return -1;
974
975         pos2 = st->index_entries[index].pos;
976         ts   = st->index_entries[index].timestamp;
977     } else {
978         av_tree_find(nut->syncpoints, &dummy, (void *) ff_nut_sp_pts_cmp,
979                      (void **) next_node);
980         av_log(s, AV_LOG_DEBUG, "%"PRIu64"-%"PRIu64" %"PRId64"-%"PRId64"\n",
981                next_node[0]->pos, next_node[1]->pos, next_node[0]->ts,
982                next_node[1]->ts);
983         pos = ff_gen_search(s, -1, dummy.ts, next_node[0]->pos,
984                             next_node[1]->pos, next_node[1]->pos,
985                             next_node[0]->ts, next_node[1]->ts,
986                             AVSEEK_FLAG_BACKWARD, &ts, nut_read_timestamp);
987
988         if (!(flags & AVSEEK_FLAG_BACKWARD)) {
989             dummy.pos    = pos + 16;
990             next_node[1] = &nopts_sp;
991             av_tree_find(nut->syncpoints, &dummy, (void *) ff_nut_sp_pos_cmp,
992                          (void **) next_node);
993             pos2 = ff_gen_search(s, -2, dummy.pos, next_node[0]->pos,
994                                  next_node[1]->pos, next_node[1]->pos,
995                                  next_node[0]->back_ptr, next_node[1]->back_ptr,
996                                  flags, &ts, nut_read_timestamp);
997             if (pos2 >= 0)
998                 pos = pos2;
999             // FIXME dir but I think it does not matter
1000         }
1001         dummy.pos = pos;
1002         sp = av_tree_find(nut->syncpoints, &dummy, (void *) ff_nut_sp_pos_cmp,
1003                           NULL);
1004
1005         av_assert0(sp);
1006         pos2 = sp->back_ptr - 15;
1007     }
1008     av_log(NULL, AV_LOG_DEBUG, "SEEKTO: %"PRId64"\n", pos2);
1009     pos = find_startcode(s->pb, SYNCPOINT_STARTCODE, pos2);
1010     avio_seek(s->pb, pos, SEEK_SET);
1011     av_log(NULL, AV_LOG_DEBUG, "SP: %"PRId64"\n", pos);
1012     if (pos2 > pos || pos2 + 15 < pos)
1013         av_log(NULL, AV_LOG_ERROR, "no syncpoint at backptr pos\n");
1014     for (i = 0; i < s->nb_streams; i++)
1015         nut->stream[i].skip_until_key_frame = 1;
1016
1017     return 0;
1018 }
1019
1020 static int nut_read_close(AVFormatContext *s)
1021 {
1022     NUTContext *nut = s->priv_data;
1023     int i;
1024
1025     av_freep(&nut->time_base);
1026     av_freep(&nut->stream);
1027     ff_nut_free_sp(nut);
1028     for (i = 1; i < nut->header_count; i++)
1029         av_freep(&nut->header[i]);
1030
1031     return 0;
1032 }
1033
1034 AVInputFormat ff_nut_demuxer = {
1035     .name           = "nut",
1036     .long_name      = NULL_IF_CONFIG_SMALL("NUT"),
1037     .flags          = AVFMT_SEEK_TO_PTS,
1038     .priv_data_size = sizeof(NUTContext),
1039     .read_probe     = nut_probe,
1040     .read_header    = nut_read_header,
1041     .read_packet    = nut_read_packet,
1042     .read_close     = nut_read_close,
1043     .read_seek      = read_seek,
1044     .extensions     = "nut",
1045     .codec_tag      = ff_nut_codec_tags,
1046 };