FFmpeg coverage

Directory: ../../../ffmpeg/
File: src/libavcodec/ffv1dec.c
Date: 2022-01-22 23:30:28
Exec Total Coverage
Lines: 373 661 56.4%
Branches: 239 543 44.0%
Line Branch Exec Source
1 /*
2 * FFV1 decoder
3 *
4 * Copyright (c) 2003-2013 Michael Niedermayer <michaelni@gmx.at>
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 /**
24 * @file
25 * FF Video Codec 1 (a lossless codec) decoder
26 */
27
28 #include "libavutil/avassert.h"
29 #include "libavutil/crc.h"
30 #include "libavutil/opt.h"
31 #include "libavutil/imgutils.h"
32 #include "libavutil/pixdesc.h"
33 #include "avcodec.h"
34 #include "internal.h"
35 #include "get_bits.h"
36 #include "rangecoder.h"
37 #include "golomb.h"
38 #include "mathops.h"
39 #include "ffv1.h"
40
41 128300018 static inline av_flatten int get_symbol_inline(RangeCoder *c, uint8_t *state,
42 int is_signed)
43 {
44
2/2
✓ Branch 1 taken 55511052 times.
✓ Branch 2 taken 72788966 times.
 128300018 if (get_rac(c, state + 0))
45 55511052 return 0;
46 else {
47 int i, e;
48 unsigned a;
49 72788966 e = 0;
50
4/4
✓ Branch 0 taken 533453625 times.
✓ Branch 1 taken 45940109 times.
✓ Branch 3 taken 506604768 times.
✓ Branch 4 taken 72788966 times.
 579393734 while (get_rac(c, state + 1 + FFMIN(e, 9))) { // 1..10
51 506604768 e++;
52
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 506604768 times.
 506604768 if (e > 31)
53 ✗ return AVERROR_INVALIDDATA;
54 }
55
56 72788966 a = 1;
57
2/2
✓ Branch 0 taken 506604768 times.
✓ Branch 1 taken 72788966 times.
 579393734 for (i = e - 1; i >= 0; i--)
58
2/2
✓ Branch 0 taken 486090871 times.
✓ Branch 1 taken 20513897 times.
 506604768 a += a + get_rac(c, state + 22 + FFMIN(i, 9)); // 22..31
59
60
6/6
✓ Branch 0 taken 72771726 times.
✓ Branch 1 taken 17240 times.
✓ Branch 2 taken 61369334 times.
✓ Branch 3 taken 11402392 times.
✓ Branch 5 taken 35975272 times.
✓ Branch 6 taken 36796454 times.
 72788966 e = -(is_signed && get_rac(c, state + 11 + FFMIN(e, 10))); // 11..21
61 72788966 return (a ^ e) - e;
62 }
63 }
64
65 54278 static av_noinline int get_symbol(RangeCoder *c, uint8_t *state, int is_signed)
66 {
67 54278 return get_symbol_inline(c, state, is_signed);
68 }
69
70 113342102 static inline int get_vlc_symbol(GetBitContext *gb, VlcState *const state,
71 int bits)
72 {
73 int k, i, v, ret;
74
75 113342102 i = state->count;
76 113342102 k = 0;
77
2/2
✓ Branch 0 taken 188397450 times.
✓ Branch 1 taken 113342102 times.
 301739552 while (i < state->error_sum) { // FIXME: optimize
78 188397450 k++;
79 188397450 i += i;
80 }
81
82 113342102 v = get_sr_golomb(gb, k, 12, bits);
83 ff_dlog(NULL, "v:%d bias:%d error:%d drift:%d count:%d k:%d",
84 v, state->bias, state->error_sum, state->drift, state->count, k);
85
86 113342102 v ^= ((2 * state->drift + state->count) >> 31);
87
88 113342102 ret = fold(v + state->bias, bits);
89
90 113342102 update_vlc_state(state, v);
91
92 113342102 return ret;
93 }
94
95 3134664 static int is_input_end(FFV1Context *s)
96 {
97
2/2
✓ Branch 0 taken 1666008 times.
✓ Branch 1 taken 1468656 times.
 3134664 if (s->ac != AC_GOLOMB_RICE) {
98 1666008 RangeCoder *const c = &s->c;
99
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1666008 times.
 1666008 if (c->overread > MAX_OVERREAD)
100 ✗ return AVERROR_INVALIDDATA;
101 } else {
102
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 1468656 times.
 1468656 if (get_bits_left(&s->gb) < 1)
103 ✗ return AVERROR_INVALIDDATA;
104 }
105 3134664 return 0;
106 }
107
108 #define TYPE int16_t
109 #define RENAME(name) name
110 #include "ffv1dec_template.c"
111 #undef TYPE
112 #undef RENAME
113
114 #define TYPE int32_t
115 #define RENAME(name) name ## 32
116 #include "ffv1dec_template.c"
117
118 10440 static int decode_plane(FFV1Context *s, uint8_t *src,
119 int w, int h, int stride, int plane_index,
120 int pixel_stride)
121 {
122 int x, y;
123 int16_t *sample[2];
124 10440 sample[0] = s->sample_buffer + 3;
125 10440 sample[1] = s->sample_buffer + w + 6 + 3;
126
127 10440 s->run_index = 0;
128
129 10440 memset(s->sample_buffer, 0, 2 * (w + 6) * sizeof(*s->sample_buffer));
130
131
2/2
✓ Branch 0 taken 1017756 times.
✓ Branch 1 taken 10440 times.
 1028196 for (y = 0; y < h; y++) {
132 1017756 int16_t *temp = sample[0]; // FIXME: try a normal buffer
133
134 1017756 sample[0] = sample[1];
135 1017756 sample[1] = temp;
136
137 1017756 sample[1][-1] = sample[0][0];
138 1017756 sample[0][w] = sample[0][w - 1];
139
140
2/2
✓ Branch 0 taken 459540 times.
✓ Branch 1 taken 558216 times.
 1017756 if (s->avctx->bits_per_raw_sample <= 8) {
141 459540 int ret = decode_line(s, w, sample, plane_index, 8);
142
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 459540 times.
 459540 if (ret < 0)
143 ✗ return ret;
144
2/2
✓ Branch 0 taken 70221882 times.
✓ Branch 1 taken 459540 times.
 70681422 for (x = 0; x < w; x++)
145 70221882 src[x*pixel_stride + stride * y] = sample[1][x];
146 } else {
147 558216 int ret = decode_line(s, w, sample, plane_index, s->avctx->bits_per_raw_sample);
148
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 558216 times.
 558216 if (ret < 0)
149 ✗ return ret;
150
1/2
✓ Branch 0 taken 558216 times.
✗ Branch 1 not taken.
 558216 if (s->packed_at_lsb) {
151
2/2
✓ Branch 0 taken 81537288 times.
✓ Branch 1 taken 558216 times.
 82095504 for (x = 0; x < w; x++) {
152 81537288 ((uint16_t*)(src + stride*y))[x*pixel_stride] = sample[1][x];
153 }
154 } else {
155 ✗ for (x = 0; x < w; x++) {
156 ✗ ((uint16_t*)(src + stride*y))[x*pixel_stride] = sample[1][x] << (16 - s->avctx->bits_per_raw_sample) | ((uint16_t **)sample)[1][x] >> (2 * s->avctx->bits_per_raw_sample - 16);
157 }
158 }
159 }
160 }
161 10440 return 0;
162 }
163
164 4908 static int decode_slice_header(const FFV1Context *f, FFV1Context *fs)
165 {
166 4908 RangeCoder *c = &fs->c;
167 uint8_t state[CONTEXT_SIZE];
168 unsigned ps, i, context_count;
169 4908 memset(state, 128, sizeof(state));
170
171
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 4908 times.
 4908 av_assert0(f->version > 2);
172
173 4908 fs->slice_x = get_symbol(c, state, 0) * f->width ;
174 4908 fs->slice_y = get_symbol(c, state, 0) * f->height;
175 4908 fs->slice_width = (get_symbol(c, state, 0) + 1) * f->width + fs->slice_x;
176 4908 fs->slice_height = (get_symbol(c, state, 0) + 1) * f->height + fs->slice_y;
177
178 4908 fs->slice_x /= f->num_h_slices;
179 4908 fs->slice_y /= f->num_v_slices;
180 4908 fs->slice_width = fs->slice_width /f->num_h_slices - fs->slice_x;
181 4908 fs->slice_height = fs->slice_height/f->num_v_slices - fs->slice_y;
182
2/4
✓ Branch 0 taken 4908 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 4908 times.
 4908 if ((unsigned)fs->slice_width > f->width || (unsigned)fs->slice_height > f->height)
183 ✗ return -1;
184
1/2
✓ Branch 0 taken 4908 times.
✗ Branch 1 not taken.
 4908 if ( (unsigned)fs->slice_x + (uint64_t)fs->slice_width > f->width
185
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 4908 times.
 4908 || (unsigned)fs->slice_y + (uint64_t)fs->slice_height > f->height)
186 ✗ return -1;
187
188
2/2
✓ Branch 0 taken 9816 times.
✓ Branch 1 taken 4908 times.
 14724 for (i = 0; i < f->plane_count; i++) {
189 9816 PlaneContext * const p = &fs->plane[i];
190 9816 int idx = get_symbol(c, state, 0);
191
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 9816 times.
 9816 if (idx >= (unsigned)f->quant_table_count) {
192 ✗ av_log(f->avctx, AV_LOG_ERROR, "quant_table_index out of range\n");
193 ✗ return -1;
194 }
195 9816 p->quant_table_index = idx;
196 9816 memcpy(p->quant_table, f->quant_tables[idx], sizeof(p->quant_table));
197 9816 context_count = f->context_count[idx];
198
199
2/2
✓ Branch 0 taken 408 times.
✓ Branch 1 taken 9408 times.
 9816 if (p->context_count < context_count) {
200 408 av_freep(&p->state);
201 408 av_freep(&p->vlc_state);
202 }
203 9816 p->context_count = context_count;
204 }
205
206 4908 ps = get_symbol(c, state, 0);
207
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 4908 times.
 4908 if (ps == 1) {
208 ✗ f->cur->interlaced_frame = 1;
209 ✗ f->cur->top_field_first = 1;
210
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 4908 times.
 4908 } else if (ps == 2) {
211 ✗ f->cur->interlaced_frame = 1;
212 ✗ f->cur->top_field_first = 0;
213
1/2
✓ Branch 0 taken 4908 times.
✗ Branch 1 not taken.
 4908 } else if (ps == 3) {
214 4908 f->cur->interlaced_frame = 0;
215 }
216 4908 f->cur->sample_aspect_ratio.num = get_symbol(c, state, 0);
217 4908 f->cur->sample_aspect_ratio.den = get_symbol(c, state, 0);
218
219
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 4908 times.
 4908 if (av_image_check_sar(f->width, f->height,
220 4908 f->cur->sample_aspect_ratio) < 0) {
221 ✗ av_log(f->avctx, AV_LOG_WARNING, "ignoring invalid SAR: %u/%u\n",
222 ✗ f->cur->sample_aspect_ratio.num,
223 ✗ f->cur->sample_aspect_ratio.den);
224 ✗ f->cur->sample_aspect_ratio = (AVRational){ 0, 1 };
225 }
226
227
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 4908 times.
 4908 if (fs->version > 3) {
228 ✗ fs->slice_reset_contexts = get_rac(c, state);
229 ✗ fs->slice_coding_mode = get_symbol(c, state, 0);
230 ✗ if (fs->slice_coding_mode != 1) {
231 ✗ fs->slice_rct_by_coef = get_symbol(c, state, 0);
232 ✗ fs->slice_rct_ry_coef = get_symbol(c, state, 0);
233 ✗ if ((uint64_t)fs->slice_rct_by_coef + (uint64_t)fs->slice_rct_ry_coef > 4) {
234 ✗ av_log(f->avctx, AV_LOG_ERROR, "slice_rct_y_coef out of range\n");
235 ✗ return AVERROR_INVALIDDATA;
236 }
237 }
238 }
239
240 4908 return 0;
241 }
242
243 5112 static int decode_slice(AVCodecContext *c, void *arg)
244 {
245 5112 FFV1Context *fs = *(void **)arg;
246 5112 FFV1Context *f = fs->avctx->priv_data;
247 int width, height, x, y, ret;
248 5112 const int ps = av_pix_fmt_desc_get(c->pix_fmt)->comp[0].step;
249 5112 AVFrame * const p = f->cur;
250 int i, si;
251
252
2/2
✓ Branch 0 taken 7362 times.
✓ Branch 1 taken 5112 times.
 12474 for( si=0; fs != f->slice_context[si]; si ++)
253 ;
254
255
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 5112 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 5112 if(f->fsrc && !p->key_frame)
256 ✗ ff_thread_await_progress(&f->last_picture, si, 0);
257
258
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 5112 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 5112 if(f->fsrc && !p->key_frame) {
259 ✗ FFV1Context *fssrc = f->fsrc->slice_context[si];
260 ✗ FFV1Context *fsdst = f->slice_context[si];
261 av_assert1(fsdst->plane_count == fssrc->plane_count);
262 av_assert1(fsdst == fs);
263
264 ✗ if (!p->key_frame)
265 ✗ fsdst->slice_damaged |= fssrc->slice_damaged;
266
267 ✗ for (i = 0; i < f->plane_count; i++) {
268 ✗ PlaneContext *psrc = &fssrc->plane[i];
269 ✗ PlaneContext *pdst = &fsdst->plane[i];
270
271 ✗ av_free(pdst->state);
272 ✗ av_free(pdst->vlc_state);
273 ✗ memcpy(pdst, psrc, sizeof(*pdst));
274 ✗ pdst->state = NULL;
275 ✗ pdst->vlc_state = NULL;
276
277 ✗ if (fssrc->ac) {
278 ✗ pdst->state = av_malloc_array(CONTEXT_SIZE, psrc->context_count);
279 ✗ memcpy(pdst->state, psrc->state, CONTEXT_SIZE * psrc->context_count);
280 } else {
281 ✗ pdst->vlc_state = av_malloc_array(sizeof(*pdst->vlc_state), psrc->context_count);
282 ✗ memcpy(pdst->vlc_state, psrc->vlc_state, sizeof(*pdst->vlc_state) * psrc->context_count);
283 }
284 }
285 }
286
287 5112 fs->slice_rct_by_coef = 1;
288 5112 fs->slice_rct_ry_coef = 1;
289
290
2/2
✓ Branch 0 taken 4908 times.
✓ Branch 1 taken 204 times.
 5112 if (f->version > 2) {
291
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 4908 times.
 4908 if (ff_ffv1_init_slice_state(f, fs) < 0)
292 ✗ return AVERROR(ENOMEM);
293
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 4908 times.
 4908 if (decode_slice_header(f, fs) < 0) {
294 ✗ fs->slice_x = fs->slice_y = fs->slice_height = fs->slice_width = 0;
295 ✗ fs->slice_damaged = 1;
296 ✗ return AVERROR_INVALIDDATA;
297 }
298 }
299
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 5112 times.
 5112 if ((ret = ff_ffv1_init_slice_state(f, fs)) < 0)
300 ✗ return ret;
301
3/4
✓ Branch 0 taken 4500 times.
✓ Branch 1 taken 612 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 4500 times.
 5112 if (f->cur->key_frame || fs->slice_reset_contexts)
302 612 ff_ffv1_clear_slice_state(f, fs);
303
304 5112 width = fs->slice_width;
305 5112 height = fs->slice_height;
306 5112 x = fs->slice_x;
307 5112 y = fs->slice_y;
308
309
2/2
✓ Branch 0 taken 2656 times.
✓ Branch 1 taken 2456 times.
 5112 if (fs->ac == AC_GOLOMB_RICE) {
310
4/6
✓ Branch 0 taken 2452 times.
✓ Branch 1 taken 204 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 2452 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 204 times.
 2656 if (f->version == 3 && f->micro_version > 1 || f->version > 3)
311 2452 get_rac(&fs->c, (uint8_t[]) { 129 });
312
4/6
✓ Branch 0 taken 204 times.
✓ Branch 1 taken 2452 times.
✓ Branch 2 taken 204 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 204 times.
✗ Branch 5 not taken.
 2656 fs->ac_byte_count = f->version > 2 || (!x && !y) ? fs->c.bytestream - fs->c.bytestream_start - 1 : 0;
313 2656 init_get_bits(&fs->gb,
314 2656 fs->c.bytestream_start + fs->ac_byte_count,
315 2656 (fs->c.bytestream_end - fs->c.bytestream_start - fs->ac_byte_count) * 8);
316 }
317
318 av_assert1(width && height);
319
3/6
✓ Branch 0 taken 3480 times.
✓ Branch 1 taken 1632 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 3480 times.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
 8592 if (f->colorspace == 0 && (f->chroma_planes || !fs->transparency)) {
320 3480 const int chroma_width = AV_CEIL_RSHIFT(width, f->chroma_h_shift);
321 3480 const int chroma_height = AV_CEIL_RSHIFT(height, f->chroma_v_shift);
322 3480 const int cx = x >> f->chroma_h_shift;
323 3480 const int cy = y >> f->chroma_v_shift;
324 3480 decode_plane(fs, p->data[0] + ps*x + y*p->linesize[0], width, height, p->linesize[0], 0, 1);
325
326
1/2
✓ Branch 0 taken 3480 times.
✗ Branch 1 not taken.
 3480 if (f->chroma_planes) {
327 3480 decode_plane(fs, p->data[1] + ps*cx+cy*p->linesize[1], chroma_width, chroma_height, p->linesize[1], 1, 1);
328 3480 decode_plane(fs, p->data[2] + ps*cx+cy*p->linesize[2], chroma_width, chroma_height, p->linesize[2], 1, 1);
329 }
330
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 3480 times.
 3480 if (fs->transparency)
331 ✗ decode_plane(fs, p->data[3] + ps*x + y*p->linesize[3], width, height, p->linesize[3], (f->version >= 4 && !f->chroma_planes) ? 1 : 2, 1);
332
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1632 times.
 1632 } else if (f->colorspace == 0) {
333 ✗ decode_plane(fs, p->data[0] + ps*x + y*p->linesize[0] , width, height, p->linesize[0], 0, 2);
334 ✗ decode_plane(fs, p->data[0] + ps*x + y*p->linesize[0] + 1, width, height, p->linesize[0], 1, 2);
335
2/2
✓ Branch 0 taken 816 times.
✓ Branch 1 taken 816 times.
 1632 } else if (f->use32bit) {
336 816 uint8_t *planes[4] = { p->data[0] + ps * x + y * p->linesize[0],
337 816 p->data[1] + ps * x + y * p->linesize[1],
338 816 p->data[2] + ps * x + y * p->linesize[2],
339 816 p->data[3] + ps * x + y * p->linesize[3] };
340 816 decode_rgb_frame32(fs, planes, width, height, p->linesize);
341 } else {
342 816 uint8_t *planes[4] = { p->data[0] + ps * x + y * p->linesize[0],
343 816 p->data[1] + ps * x + y * p->linesize[1],
344 816 p->data[2] + ps * x + y * p->linesize[2],
345 816 p->data[3] + ps * x + y * p->linesize[3] };
346 816 decode_rgb_frame(fs, planes, width, height, p->linesize);
347 }
348
3/4
✓ Branch 0 taken 2456 times.
✓ Branch 1 taken 2656 times.
✓ Branch 2 taken 2456 times.
✗ Branch 3 not taken.
 5112 if (fs->ac != AC_GOLOMB_RICE && f->version > 2) {
349 int v;
350 2456 get_rac(&fs->c, (uint8_t[]) { 129 });
351 2456 v = fs->c.bytestream_end - fs->c.bytestream - 2 - 5*f->ec;
352
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 2456 times.
 2456 if (v) {
353 ✗ av_log(f->avctx, AV_LOG_ERROR, "bytestream end mismatching by %d\n", v);
354 ✗ fs->slice_damaged = 1;
355 }
356 }
357
358 5112 emms_c();
359
360 5112 ff_thread_report_progress(&f->picture, si, 0);
361
362 5112 return 0;
363 }
364
365 640 static int read_quant_table(RangeCoder *c, int16_t *quant_table, int scale)
366 {
367 int v;
368 640 int i = 0;
369 uint8_t state[CONTEXT_SIZE];
370
371 640 memset(state, 128, sizeof(state));
372
373
2/2
✓ Branch 0 taken 2477 times.
✓ Branch 1 taken 640 times.
 3117 for (v = 0; i < 128; v++) {
374 2477 unsigned len = get_symbol(c, state, 0) + 1U;
375
376
2/4
✓ Branch 0 taken 2477 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 2477 times.
 2477 if (len > 128 - i || !len)
377 ✗ return AVERROR_INVALIDDATA;
378
379
2/2
✓ Branch 0 taken 81920 times.
✓ Branch 1 taken 2477 times.
 84397 while (len--) {
380 81920 quant_table[i] = scale * v;
381 81920 i++;
382 }
383 }
384
385
2/2
✓ Branch 0 taken 81280 times.
✓ Branch 1 taken 640 times.
 81920 for (i = 1; i < 128; i++)
386 81280 quant_table[256 - i] = -quant_table[i];
387 640 quant_table[128] = -quant_table[127];
388
389 640 return 2 * v - 1;
390 }
391
392 128 static int read_quant_tables(RangeCoder *c,
393 int16_t quant_table[MAX_CONTEXT_INPUTS][256])
394 {
395 int i;
396 128 int context_count = 1;
397
398
2/2
✓ Branch 0 taken 640 times.
✓ Branch 1 taken 128 times.
 768 for (i = 0; i < 5; i++) {
399 640 int ret = read_quant_table(c, quant_table[i], context_count);
400
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 640 times.
 640 if (ret < 0)
401 ✗ return ret;
402 640 context_count *= ret;
403
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 640 times.
 640 if (context_count > 32768U) {
404 ✗ return AVERROR_INVALIDDATA;
405 }
406 }
407 128 return (context_count + 1) / 2;
408 }
409
410 52 static int read_extra_header(FFV1Context *f)
411 {
412 52 RangeCoder *const c = &f->c;
413 uint8_t state[CONTEXT_SIZE];
414 int i, j, k, ret;
415 uint8_t state2[32][CONTEXT_SIZE];
416 52 unsigned crc = 0;
417
418 52 memset(state2, 128, sizeof(state2));
419 52 memset(state, 128, sizeof(state));
420
421 52 ff_init_range_decoder(c, f->avctx->extradata, f->avctx->extradata_size);
422 52 ff_build_rac_states(c, 0.05 * (1LL << 32), 256 - 8);
423
424 52 f->version = get_symbol(c, state, 0);
425
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 52 times.
 52 if (f->version < 2) {
426 ✗ av_log(f->avctx, AV_LOG_ERROR, "Invalid version in global header\n");
427 ✗ return AVERROR_INVALIDDATA;
428 }
429
1/2
✓ Branch 0 taken 52 times.
✗ Branch 1 not taken.
 52 if (f->version > 2) {
430 52 c->bytestream_end -= 4;
431 52 f->micro_version = get_symbol(c, state, 0);
432
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 52 times.
 52 if (f->micro_version < 0)
433 ✗ return AVERROR_INVALIDDATA;
434 }
435 52 f->ac = get_symbol(c, state, 0);
436
437
2/2
✓ Branch 0 taken 27 times.
✓ Branch 1 taken 25 times.
 52 if (f->ac == AC_RANGE_CUSTOM_TAB) {
438
2/2
✓ Branch 0 taken 6885 times.
✓ Branch 1 taken 27 times.
 6912 for (i = 1; i < 256; i++)
439 6885 f->state_transition[i] = get_symbol(c, state, 1) + c->one_state[i];
440 }
441
442 52 f->colorspace = get_symbol(c, state, 0); //YUV cs type
443 52 f->avctx->bits_per_raw_sample = get_symbol(c, state, 0);
444 52 f->chroma_planes = get_rac(c, state);
445 52 f->chroma_h_shift = get_symbol(c, state, 0);
446 52 f->chroma_v_shift = get_symbol(c, state, 0);
447 52 f->transparency = get_rac(c, state);
448
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 52 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 52 f->plane_count = 1 + (f->chroma_planes || f->version<4) + f->transparency;
449 52 f->num_h_slices = 1 + get_symbol(c, state, 0);
450 52 f->num_v_slices = 1 + get_symbol(c, state, 0);
451
452
2/4
✓ Branch 0 taken 52 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 52 times.
 52 if (f->chroma_h_shift > 4U || f->chroma_v_shift > 4U) {
453 ✗ av_log(f->avctx, AV_LOG_ERROR, "chroma shift parameters %d %d are invalid\n",
454 f->chroma_h_shift, f->chroma_v_shift);
455 ✗ return AVERROR_INVALIDDATA;
456 }
457
458
2/4
✓ Branch 0 taken 52 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 52 times.
✗ Branch 3 not taken.
 52 if (f->num_h_slices > (unsigned)f->width || !f->num_h_slices ||
459
2/4
✓ Branch 0 taken 52 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 52 times.
 52 f->num_v_slices > (unsigned)f->height || !f->num_v_slices
460 ) {
461 ✗ av_log(f->avctx, AV_LOG_ERROR, "slice count invalid\n");
462 ✗ return AVERROR_INVALIDDATA;
463 }
464
465 52 f->quant_table_count = get_symbol(c, state, 0);
466
2/4
✓ Branch 0 taken 52 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 52 times.
 52 if (f->quant_table_count > (unsigned)MAX_QUANT_TABLES || !f->quant_table_count) {
467 ✗ av_log(f->avctx, AV_LOG_ERROR, "quant table count %d is invalid\n", f->quant_table_count);
468 ✗ f->quant_table_count = 0;
469 ✗ return AVERROR_INVALIDDATA;
470 }
471
472
2/2
✓ Branch 0 taken 104 times.
✓ Branch 1 taken 52 times.
 156 for (i = 0; i < f->quant_table_count; i++) {
473 104 f->context_count[i] = read_quant_tables(c, f->quant_tables[i]);
474
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 104 times.
 104 if (f->context_count[i] < 0) {
475 ✗ av_log(f->avctx, AV_LOG_ERROR, "read_quant_table error\n");
476 ✗ return AVERROR_INVALIDDATA;
477 }
478 }
479
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 52 times.
 52 if ((ret = ff_ffv1_allocate_initial_states(f)) < 0)
480 ✗ return ret;
481
482
2/2
✓ Branch 0 taken 104 times.
✓ Branch 1 taken 52 times.
 156 for (i = 0; i < f->quant_table_count; i++)
483
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 104 times.
 104 if (get_rac(c, state)) {
484 ✗ for (j = 0; j < f->context_count[i]; j++)
485 ✗ for (k = 0; k < CONTEXT_SIZE; k++) {
486 ✗ int pred = j ? f->initial_states[i][j - 1][k] : 128;
487 ✗ f->initial_states[i][j][k] =
488 ✗ (pred + get_symbol(c, state2[k], 1)) & 0xFF;
489 }
490 }
491
492
1/2
✓ Branch 0 taken 52 times.
✗ Branch 1 not taken.
 52 if (f->version > 2) {
493 52 f->ec = get_symbol(c, state, 0);
494
1/2
✓ Branch 0 taken 52 times.
✗ Branch 1 not taken.
 52 if (f->micro_version > 2)
495 52 f->intra = get_symbol(c, state, 0);
496 }
497
498
1/2
✓ Branch 0 taken 52 times.
✗ Branch 1 not taken.
 52 if (f->version > 2) {
499 unsigned v;
500 104 v = av_crc(av_crc_get_table(AV_CRC_32_IEEE), 0,
501 52 f->avctx->extradata, f->avctx->extradata_size);
502
2/4
✓ Branch 0 taken 52 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 52 times.
 52 if (v || f->avctx->extradata_size < 4) {
503 ✗ av_log(f->avctx, AV_LOG_ERROR, "CRC mismatch %X!\n", v);
504 ✗ return AVERROR_INVALIDDATA;
505 }
506 52 crc = AV_RB32(f->avctx->extradata + f->avctx->extradata_size - 4);
507 }
508
509
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 52 times.
 52 if (f->avctx->debug & FF_DEBUG_PICT_INFO)
510 ✗ av_log(f->avctx, AV_LOG_DEBUG,
511 "global: ver:%d.%d, coder:%d, colorspace: %d bpr:%d chroma:%d(%d:%d), alpha:%d slices:%dx%d qtabs:%d ec:%d intra:%d CRC:0x%08X\n",
512 f->version, f->micro_version,
513 f->ac,
514 f->colorspace,
515 ✗ f->avctx->bits_per_raw_sample,
516 f->chroma_planes, f->chroma_h_shift, f->chroma_v_shift,
517 f->transparency,
518 f->num_h_slices, f->num_v_slices,
519 f->quant_table_count,
520 f->ec,
521 f->intra,
522 crc
523 );
524 52 return 0;
525 }
526
527 171 static int read_header(FFV1Context *f)
528 {
529 uint8_t state[CONTEXT_SIZE];
530 171 int i, j, context_count = -1; //-1 to avoid warning
531 171 RangeCoder *const c = &f->slice_context[0]->c;
532
533 171 memset(state, 128, sizeof(state));
534
535
2/2
✓ Branch 0 taken 24 times.
✓ Branch 1 taken 147 times.
 171 if (f->version < 2) {
536 int chroma_planes, chroma_h_shift, chroma_v_shift, transparency, colorspace, bits_per_raw_sample;
537 24 unsigned v= get_symbol(c, state, 0);
538
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
 24 if (v >= 2) {
539 ✗ av_log(f->avctx, AV_LOG_ERROR, "invalid version %d in ver01 header\n", v);
540 ✗ return AVERROR_INVALIDDATA;
541 }
542 24 f->version = v;
543 24 f->ac = get_symbol(c, state, 0);
544
545
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
 24 if (f->ac == AC_RANGE_CUSTOM_TAB) {
546 ✗ for (i = 1; i < 256; i++) {
547 ✗ int st = get_symbol(c, state, 1) + c->one_state[i];
548 ✗ if (st < 1 || st > 255) {
549 ✗ av_log(f->avctx, AV_LOG_ERROR, "invalid state transition %d\n", st);
550 ✗ return AVERROR_INVALIDDATA;
551 }
552 ✗ f->state_transition[i] = st;
553 }
554 }
555
556 24 colorspace = get_symbol(c, state, 0); //YUV cs type
557
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
 24 bits_per_raw_sample = f->version > 0 ? get_symbol(c, state, 0) : f->avctx->bits_per_raw_sample;
558 24 chroma_planes = get_rac(c, state);
559 24 chroma_h_shift = get_symbol(c, state, 0);
560 24 chroma_v_shift = get_symbol(c, state, 0);
561 24 transparency = get_rac(c, state);
562
2/4
✓ Branch 0 taken 24 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 24 times.
 24 if (colorspace == 0 && f->avctx->skip_alpha)
563 ✗ transparency = 0;
564
565
2/2
✓ Branch 0 taken 16 times.
✓ Branch 1 taken 8 times.
 24 if (f->plane_count) {
566
1/2
✓ Branch 0 taken 16 times.
✗ Branch 1 not taken.
 16 if (colorspace != f->colorspace ||
567
1/2
✓ Branch 0 taken 16 times.
✗ Branch 1 not taken.
 16 bits_per_raw_sample != f->avctx->bits_per_raw_sample ||
568
1/2
✓ Branch 0 taken 16 times.
✗ Branch 1 not taken.
 16 chroma_planes != f->chroma_planes ||
569
1/2
✓ Branch 0 taken 16 times.
✗ Branch 1 not taken.
 16 chroma_h_shift != f->chroma_h_shift ||
570
1/2
✓ Branch 0 taken 16 times.
✗ Branch 1 not taken.
 16 chroma_v_shift != f->chroma_v_shift ||
571
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 16 times.
 16 transparency != f->transparency) {
572 ✗ av_log(f->avctx, AV_LOG_ERROR, "Invalid change of global parameters\n");
573 ✗ return AVERROR_INVALIDDATA;
574 }
575 }
576
577
2/4
✓ Branch 0 taken 24 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 24 times.
 24 if (chroma_h_shift > 4U || chroma_v_shift > 4U) {
578 ✗ av_log(f->avctx, AV_LOG_ERROR, "chroma shift parameters %d %d are invalid\n",
579 chroma_h_shift, chroma_v_shift);
580 ✗ return AVERROR_INVALIDDATA;
581 }
582
583 24 f->colorspace = colorspace;
584 24 f->avctx->bits_per_raw_sample = bits_per_raw_sample;
585 24 f->chroma_planes = chroma_planes;
586 24 f->chroma_h_shift = chroma_h_shift;
587 24 f->chroma_v_shift = chroma_v_shift;
588 24 f->transparency = transparency;
589
590 24 f->plane_count = 2 + f->transparency;
591 }
592
593
2/2
✓ Branch 0 taken 123 times.
✓ Branch 1 taken 48 times.
 171 if (f->colorspace == 0) {
594
2/4
✓ Branch 0 taken 123 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 123 times.
 123 if (!f->transparency && !f->chroma_planes) {
595 ✗ if (f->avctx->bits_per_raw_sample <= 8)
596 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GRAY8;
597 ✗ else if (f->avctx->bits_per_raw_sample == 9) {
598 ✗ f->packed_at_lsb = 1;
599 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GRAY9;
600 ✗ } else if (f->avctx->bits_per_raw_sample == 10) {
601 ✗ f->packed_at_lsb = 1;
602 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GRAY10;
603 ✗ } else if (f->avctx->bits_per_raw_sample == 12) {
604 ✗ f->packed_at_lsb = 1;
605 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GRAY12;
606 ✗ } else if (f->avctx->bits_per_raw_sample == 16) {
607 ✗ f->packed_at_lsb = 1;
608 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GRAY16;
609 ✗ } else if (f->avctx->bits_per_raw_sample < 16) {
610 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GRAY16;
611 } else
612 ✗ return AVERROR(ENOSYS);
613
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 123 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 123 } else if (f->transparency && !f->chroma_planes) {
614 ✗ if (f->avctx->bits_per_raw_sample <= 8)
615 ✗ f->avctx->pix_fmt = AV_PIX_FMT_YA8;
616 else
617 ✗ return AVERROR(ENOSYS);
618
3/4
✓ Branch 0 taken 73 times.
✓ Branch 1 taken 50 times.
✓ Branch 2 taken 73 times.
✗ Branch 3 not taken.
 123 } else if (f->avctx->bits_per_raw_sample<=8 && !f->transparency) {
619
1/7
✗ Branch 0 not taken.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 73 times.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
 73 switch(16 * f->chroma_h_shift + f->chroma_v_shift) {
620 ✗ case 0x00: f->avctx->pix_fmt = AV_PIX_FMT_YUV444P; break;
621 ✗ case 0x01: f->avctx->pix_fmt = AV_PIX_FMT_YUV440P; break;
622 ✗ case 0x10: f->avctx->pix_fmt = AV_PIX_FMT_YUV422P; break;
623 73 case 0x11: f->avctx->pix_fmt = AV_PIX_FMT_YUV420P; break;
624 ✗ case 0x20: f->avctx->pix_fmt = AV_PIX_FMT_YUV411P; break;
625 ✗ case 0x22: f->avctx->pix_fmt = AV_PIX_FMT_YUV410P; break;
626 }
627
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 50 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 50 } else if (f->avctx->bits_per_raw_sample <= 8 && f->transparency) {
628 ✗ switch(16*f->chroma_h_shift + f->chroma_v_shift) {
629 ✗ case 0x00: f->avctx->pix_fmt = AV_PIX_FMT_YUVA444P; break;
630 ✗ case 0x10: f->avctx->pix_fmt = AV_PIX_FMT_YUVA422P; break;
631 ✗ case 0x11: f->avctx->pix_fmt = AV_PIX_FMT_YUVA420P; break;
632 }
633
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 50 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 50 } else if (f->avctx->bits_per_raw_sample == 9 && !f->transparency) {
634 ✗ f->packed_at_lsb = 1;
635 ✗ switch(16 * f->chroma_h_shift + f->chroma_v_shift) {
636 ✗ case 0x00: f->avctx->pix_fmt = AV_PIX_FMT_YUV444P9; break;
637 ✗ case 0x10: f->avctx->pix_fmt = AV_PIX_FMT_YUV422P9; break;
638 ✗ case 0x11: f->avctx->pix_fmt = AV_PIX_FMT_YUV420P9; break;
639 }
640
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 50 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 50 } else if (f->avctx->bits_per_raw_sample == 9 && f->transparency) {
641 ✗ f->packed_at_lsb = 1;
642 ✗ switch(16 * f->chroma_h_shift + f->chroma_v_shift) {
643 ✗ case 0x00: f->avctx->pix_fmt = AV_PIX_FMT_YUVA444P9; break;
644 ✗ case 0x10: f->avctx->pix_fmt = AV_PIX_FMT_YUVA422P9; break;
645 ✗ case 0x11: f->avctx->pix_fmt = AV_PIX_FMT_YUVA420P9; break;
646 }
647
3/4
✓ Branch 0 taken 26 times.
✓ Branch 1 taken 24 times.
✓ Branch 2 taken 26 times.
✗ Branch 3 not taken.
 50 } else if (f->avctx->bits_per_raw_sample == 10 && !f->transparency) {
648 26 f->packed_at_lsb = 1;
649
1/5
✗ Branch 0 not taken.
✗ Branch 1 not taken.
✓ Branch 2 taken 26 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
 26 switch(16 * f->chroma_h_shift + f->chroma_v_shift) {
650 ✗ case 0x00: f->avctx->pix_fmt = AV_PIX_FMT_YUV444P10; break;
651 ✗ case 0x01: f->avctx->pix_fmt = AV_PIX_FMT_YUV440P10; break;
652 26 case 0x10: f->avctx->pix_fmt = AV_PIX_FMT_YUV422P10; break;
653 ✗ case 0x11: f->avctx->pix_fmt = AV_PIX_FMT_YUV420P10; break;
654 }
655
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 } else if (f->avctx->bits_per_raw_sample == 10 && f->transparency) {
656 ✗ f->packed_at_lsb = 1;
657 ✗ switch(16 * f->chroma_h_shift + f->chroma_v_shift) {
658 ✗ case 0x00: f->avctx->pix_fmt = AV_PIX_FMT_YUVA444P10; break;
659 ✗ case 0x10: f->avctx->pix_fmt = AV_PIX_FMT_YUVA422P10; break;
660 ✗ case 0x11: f->avctx->pix_fmt = AV_PIX_FMT_YUVA420P10; break;
661 }
662
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 } else if (f->avctx->bits_per_raw_sample == 12 && !f->transparency) {
663 ✗ f->packed_at_lsb = 1;
664 ✗ switch(16 * f->chroma_h_shift + f->chroma_v_shift) {
665 ✗ case 0x00: f->avctx->pix_fmt = AV_PIX_FMT_YUV444P12; break;
666 ✗ case 0x01: f->avctx->pix_fmt = AV_PIX_FMT_YUV440P12; break;
667 ✗ case 0x10: f->avctx->pix_fmt = AV_PIX_FMT_YUV422P12; break;
668 ✗ case 0x11: f->avctx->pix_fmt = AV_PIX_FMT_YUV420P12; break;
669 }
670
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 } else if (f->avctx->bits_per_raw_sample == 14 && !f->transparency) {
671 ✗ f->packed_at_lsb = 1;
672 ✗ switch(16 * f->chroma_h_shift + f->chroma_v_shift) {
673 ✗ case 0x00: f->avctx->pix_fmt = AV_PIX_FMT_YUV444P14; break;
674 ✗ case 0x10: f->avctx->pix_fmt = AV_PIX_FMT_YUV422P14; break;
675 ✗ case 0x11: f->avctx->pix_fmt = AV_PIX_FMT_YUV420P14; break;
676 }
677
2/4
✓ Branch 0 taken 24 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 24 times.
✗ Branch 3 not taken.
 24 } else if (f->avctx->bits_per_raw_sample == 16 && !f->transparency){
678 24 f->packed_at_lsb = 1;
679
1/4
✓ Branch 0 taken 24 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 switch(16 * f->chroma_h_shift + f->chroma_v_shift) {
680 24 case 0x00: f->avctx->pix_fmt = AV_PIX_FMT_YUV444P16; break;
681 ✗ case 0x10: f->avctx->pix_fmt = AV_PIX_FMT_YUV422P16; break;
682 ✗ case 0x11: f->avctx->pix_fmt = AV_PIX_FMT_YUV420P16; break;
683 }
684 ✗ } else if (f->avctx->bits_per_raw_sample == 16 && f->transparency){
685 ✗ f->packed_at_lsb = 1;
686 ✗ switch(16 * f->chroma_h_shift + f->chroma_v_shift) {
687 ✗ case 0x00: f->avctx->pix_fmt = AV_PIX_FMT_YUVA444P16; break;
688 ✗ case 0x10: f->avctx->pix_fmt = AV_PIX_FMT_YUVA422P16; break;
689 ✗ case 0x11: f->avctx->pix_fmt = AV_PIX_FMT_YUVA420P16; break;
690 }
691 }
692
1/2
✓ Branch 0 taken 48 times.
✗ Branch 1 not taken.
 48 } else if (f->colorspace == 1) {
693
2/4
✓ Branch 0 taken 48 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 48 times.
 48 if (f->chroma_h_shift || f->chroma_v_shift) {
694 ✗ av_log(f->avctx, AV_LOG_ERROR,
695 "chroma subsampling not supported in this colorspace\n");
696 ✗ return AVERROR(ENOSYS);
697 }
698
3/4
✓ Branch 0 taken 24 times.
✓ Branch 1 taken 24 times.
✓ Branch 2 taken 24 times.
✗ Branch 3 not taken.
 48 if ( f->avctx->bits_per_raw_sample <= 8 && !f->transparency)
699 24 f->avctx->pix_fmt = AV_PIX_FMT_0RGB32;
700
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 else if (f->avctx->bits_per_raw_sample <= 8 && f->transparency)
701 ✗ f->avctx->pix_fmt = AV_PIX_FMT_RGB32;
702
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 else if (f->avctx->bits_per_raw_sample == 9 && !f->transparency)
703 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GBRP9;
704
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 else if (f->avctx->bits_per_raw_sample == 10 && !f->transparency)
705 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GBRP10;
706
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 else if (f->avctx->bits_per_raw_sample == 10 && f->transparency)
707 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GBRAP10;
708
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 else if (f->avctx->bits_per_raw_sample == 12 && !f->transparency)
709 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GBRP12;
710
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 else if (f->avctx->bits_per_raw_sample == 12 && f->transparency)
711 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GBRAP12;
712
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 24 else if (f->avctx->bits_per_raw_sample == 14 && !f->transparency)
713 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GBRP14;
714
2/4
✓ Branch 0 taken 24 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 24 times.
✗ Branch 3 not taken.
 24 else if (f->avctx->bits_per_raw_sample == 16 && !f->transparency) {
715 24 f->avctx->pix_fmt = AV_PIX_FMT_GBRP16;
716 24 f->use32bit = 1;
717 }
718 ✗ else if (f->avctx->bits_per_raw_sample == 16 && f->transparency) {
719 ✗ f->avctx->pix_fmt = AV_PIX_FMT_GBRAP16;
720 ✗ f->use32bit = 1;
721 }
722 } else {
723 ✗ av_log(f->avctx, AV_LOG_ERROR, "colorspace not supported\n");
724 ✗ return AVERROR(ENOSYS);
725 }
726
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 171 times.
 171 if (f->avctx->pix_fmt == AV_PIX_FMT_NONE) {
727 ✗ av_log(f->avctx, AV_LOG_ERROR, "format not supported\n");
728 ✗ return AVERROR(ENOSYS);
729 }
730
731 ff_dlog(f->avctx, "%d %d %d\n",
732 f->chroma_h_shift, f->chroma_v_shift, f->avctx->pix_fmt);
733
2/2
✓ Branch 0 taken 24 times.
✓ Branch 1 taken 147 times.
 171 if (f->version < 2) {
734 24 context_count = read_quant_tables(c, f->quant_table);
735
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 24 times.
 24 if (context_count < 0) {
736 ✗ av_log(f->avctx, AV_LOG_ERROR, "read_quant_table error\n");
737 ✗ return AVERROR_INVALIDDATA;
738 }
739 24 f->slice_count = f->max_slice_count;
740
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 147 times.
 147 } else if (f->version < 3) {
741 ✗ f->slice_count = get_symbol(c, state, 0);
742 } else {
743 147 const uint8_t *p = c->bytestream_end;
744 147 for (f->slice_count = 0;
745
4/6
✓ Branch 0 taken 735 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 735 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 588 times.
✓ Branch 5 taken 147 times.
 735 f->slice_count < MAX_SLICES && 3 + 5*!!f->ec < p - c->bytestream_start;
746 588 f->slice_count++) {
747
1/2
✓ Branch 0 taken 588 times.
✗ Branch 1 not taken.
 588 int trailer = 3 + 5*!!f->ec;
748 588 int size = AV_RB24(p-trailer);
749
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 588 times.
 588 if (size + trailer > p - c->bytestream_start)
750 ✗ break;
751 588 p -= size + trailer;
752 }
753 }
754
3/6
✓ Branch 0 taken 171 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 171 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
✓ Branch 5 taken 171 times.
 171 if (f->slice_count > (unsigned)MAX_SLICES || f->slice_count <= 0 || f->slice_count > f->max_slice_count) {
755 ✗ av_log(f->avctx, AV_LOG_ERROR, "slice count %d is invalid (max=%d)\n", f->slice_count, f->max_slice_count);
756 ✗ return AVERROR_INVALIDDATA;
757 }
758
759
2/2
✓ Branch 0 taken 612 times.
✓ Branch 1 taken 171 times.
 783 for (j = 0; j < f->slice_count; j++) {
760 612 FFV1Context *fs = f->slice_context[j];
761 612 fs->ac = f->ac;
762 612 fs->packed_at_lsb = f->packed_at_lsb;
763
764 612 fs->slice_damaged = 0;
765
766
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 612 times.
 612 if (f->version == 2) {
767 ✗ fs->slice_x = get_symbol(c, state, 0) * f->width ;
768 ✗ fs->slice_y = get_symbol(c, state, 0) * f->height;
769 ✗ fs->slice_width = (get_symbol(c, state, 0) + 1) * f->width + fs->slice_x;
770 ✗ fs->slice_height = (get_symbol(c, state, 0) + 1) * f->height + fs->slice_y;
771
772 ✗ fs->slice_x /= f->num_h_slices;
773 ✗ fs->slice_y /= f->num_v_slices;
774 ✗ fs->slice_width = fs->slice_width / f->num_h_slices - fs->slice_x;
775 ✗ fs->slice_height = fs->slice_height / f->num_v_slices - fs->slice_y;
776 ✗ if ((unsigned)fs->slice_width > f->width ||
777 ✗ (unsigned)fs->slice_height > f->height)
778 ✗ return AVERROR_INVALIDDATA;
779 ✗ if ( (unsigned)fs->slice_x + (uint64_t)fs->slice_width > f->width
780 ✗ || (unsigned)fs->slice_y + (uint64_t)fs->slice_height > f->height)
781 ✗ return AVERROR_INVALIDDATA;
782 }
783
784
2/2
✓ Branch 0 taken 1224 times.
✓ Branch 1 taken 612 times.
 1836 for (i = 0; i < f->plane_count; i++) {
785 1224 PlaneContext *const p = &fs->plane[i];
786
787
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1224 times.
 1224 if (f->version == 2) {
788 ✗ int idx = get_symbol(c, state, 0);
789 ✗ if (idx >= (unsigned)f->quant_table_count) {
790 ✗ av_log(f->avctx, AV_LOG_ERROR,
791 "quant_table_index out of range\n");
792 ✗ return AVERROR_INVALIDDATA;
793 }
794 ✗ p->quant_table_index = idx;
795 ✗ memcpy(p->quant_table, f->quant_tables[idx],
796 sizeof(p->quant_table));
797 ✗ context_count = f->context_count[idx];
798 } else {
799 1224 memcpy(p->quant_table, f->quant_table, sizeof(p->quant_table));
800 }
801
802
2/2
✓ Branch 0 taken 48 times.
✓ Branch 1 taken 1176 times.
 1224 if (f->version <= 2) {
803
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 48 times.
 48 av_assert0(context_count >= 0);
804
2/2
✓ Branch 0 taken 16 times.
✓ Branch 1 taken 32 times.
 48 if (p->context_count < context_count) {
805 16 av_freep(&p->state);
806 16 av_freep(&p->vlc_state);
807 }
808 48 p->context_count = context_count;
809 }
810 }
811 }
812 171 return 0;
813 }
814
815 60 static av_cold int decode_init(AVCodecContext *avctx)
816 {
817 60 FFV1Context *f = avctx->priv_data;
818 int ret;
819
820
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 60 times.
 60 if ((ret = ff_ffv1_common_init(avctx)) < 0)
821 ✗ return ret;
822
823
3/4
✓ Branch 0 taken 52 times.
✓ Branch 1 taken 8 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 52 times.
 60 if (avctx->extradata_size > 0 && (ret = read_extra_header(f)) < 0)
824 ✗ return ret;
825
826
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 60 times.
 60 if ((ret = ff_ffv1_init_slice_contexts(f)) < 0)
827 ✗ return ret;
828
829 60 return 0;
830 }
831
832 1431 static int decode_frame(AVCodecContext *avctx, void *data, int *got_frame, AVPacket *avpkt)
833 {
834 1431 uint8_t *buf = avpkt->data;
835 1431 int buf_size = avpkt->size;
836 1431 FFV1Context *f = avctx->priv_data;
837 1431 RangeCoder *const c = &f->slice_context[0]->c;
838 int i, ret;
839 1431 uint8_t keystate = 128;
840 uint8_t *buf_p;
841 AVFrame *p;
842
843
1/2
✓ Branch 0 taken 1431 times.
✗ Branch 1 not taken.
 1431 if (f->last_picture.f)
844 1431 ff_thread_release_buffer(avctx, &f->last_picture);
845 1431 FFSWAP(ThreadFrame, f->picture, f->last_picture);
846
847 1431 f->cur = p = f->picture.f;
848
849
3/4
✓ Branch 0 taken 204 times.
✓ Branch 1 taken 1227 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 204 times.
 1431 if (f->version < 3 && avctx->field_order > AV_FIELD_PROGRESSIVE) {
850 /* we have interlaced material flagged in container */
851 ✗ p->interlaced_frame = 1;
852 ✗ if (avctx->field_order == AV_FIELD_TT || avctx->field_order == AV_FIELD_TB)
853 ✗ p->top_field_first = 1;
854 }
855
856 1431 f->avctx = avctx;
857 1431 ff_init_range_decoder(c, buf, buf_size);
858 1431 ff_build_rac_states(c, 0.05 * (1LL << 32), 256 - 8);
859
860 1431 p->pict_type = AV_PICTURE_TYPE_I; //FIXME I vs. P
861
2/2
✓ Branch 1 taken 171 times.
✓ Branch 2 taken 1260 times.
 1431 if (get_rac(c, &keystate)) {
862 171 p->key_frame = 1;
863 171 f->key_frame_ok = 0;
864
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 171 times.
 171 if ((ret = read_header(f)) < 0)
865 ✗ return ret;
866 171 f->key_frame_ok = 1;
867 } else {
868
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1260 times.
 1260 if (!f->key_frame_ok) {
869 ✗ av_log(avctx, AV_LOG_ERROR,
870 "Cannot decode non-keyframe without valid keyframe\n");
871 ✗ return AVERROR_INVALIDDATA;
872 }
873 1260 p->key_frame = 0;
874 }
875
876
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 1431 times.
 1431 if ((ret = ff_thread_get_buffer(avctx, &f->picture, AV_GET_BUFFER_FLAG_REF)) < 0)
877 ✗ return ret;
878
879
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1431 times.
 1431 if (avctx->debug & FF_DEBUG_PICT_INFO)
880 ✗ av_log(avctx, AV_LOG_DEBUG, "ver:%d keyframe:%d coder:%d ec:%d slices:%d bps:%d\n",
881 ✗ f->version, p->key_frame, f->ac, f->ec, f->slice_count, f->avctx->bits_per_raw_sample);
882
883 1431 ff_thread_finish_setup(avctx);
884
885 1431 buf_p = buf + buf_size;
886
2/2
✓ Branch 0 taken 5112 times.
✓ Branch 1 taken 1431 times.
 6543 for (i = f->slice_count - 1; i >= 0; i--) {
887 5112 FFV1Context *fs = f->slice_context[i];
888
2/2
✓ Branch 0 taken 4908 times.
✓ Branch 1 taken 204 times.
 5112 int trailer = 3 + 5*!!f->ec;
889 int v;
890
891
4/4
✓ Branch 0 taken 1431 times.
✓ Branch 1 taken 3681 times.
✓ Branch 2 taken 1227 times.
✓ Branch 3 taken 204 times.
 5112 if (i || f->version > 2) {
892
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 4908 times.
 4908 if (trailer > buf_p - buf) v = INT_MAX;
893 4908 else v = AV_RB24(buf_p-trailer) + trailer;
894 204 } else v = buf_p - c->bytestream_start;
895
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 5112 times.
 5112 if (buf_p - c->bytestream_start < v) {
896 ✗ av_log(avctx, AV_LOG_ERROR, "Slice pointer chain broken\n");
897 ✗ ff_thread_report_progress(&f->picture, INT_MAX, 0);
898 ✗ return AVERROR_INVALIDDATA;
899 }
900 5112 buf_p -= v;
901
902
2/2
✓ Branch 0 taken 4908 times.
✓ Branch 1 taken 204 times.
 5112 if (f->ec) {
903 4908 unsigned crc = av_crc(av_crc_get_table(AV_CRC_32_IEEE), 0, buf_p, v);
904
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 4908 times.
 4908 if (crc) {
905 ✗ int64_t ts = avpkt->pts != AV_NOPTS_VALUE ? avpkt->pts : avpkt->dts;
906 ✗ av_log(f->avctx, AV_LOG_ERROR, "slice CRC mismatch %X!", crc);
907 ✗ if (ts != AV_NOPTS_VALUE && avctx->pkt_timebase.num) {
908 ✗ av_log(f->avctx, AV_LOG_ERROR, "at %f seconds\n", ts*av_q2d(avctx->pkt_timebase));
909 ✗ } else if (ts != AV_NOPTS_VALUE) {
910 ✗ av_log(f->avctx, AV_LOG_ERROR, "at %"PRId64"\n", ts);
911 } else {
912 ✗ av_log(f->avctx, AV_LOG_ERROR, "\n");
913 }
914 ✗ fs->slice_damaged = 1;
915 }
916
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 4908 times.
 4908 if (avctx->debug & FF_DEBUG_PICT_INFO) {
917 ✗ av_log(avctx, AV_LOG_DEBUG, "slice %d, CRC: 0x%08"PRIX32"\n", i, AV_RB32(buf_p + v - 4));
918 }
919 }
920
921
2/2
✓ Branch 0 taken 3681 times.
✓ Branch 1 taken 1431 times.
 5112 if (i) {
922 3681 ff_init_range_decoder(&fs->c, buf_p, v);
923 } else
924 1431 fs->c.bytestream_end = buf_p + v;
925
926 5112 fs->avctx = avctx;
927 }
928
929 1431 avctx->execute(avctx,
930 decode_slice,
931 1431 &f->slice_context[0],
932 NULL,
933 f->slice_count,
934 sizeof(void*));
935
936
2/2
✓ Branch 0 taken 5112 times.
✓ Branch 1 taken 1431 times.
 6543 for (i = f->slice_count - 1; i >= 0; i--) {
937 5112 FFV1Context *fs = f->slice_context[i];
938 int j;
939
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 5112 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 5112 if (fs->slice_damaged && f->last_picture.f->data[0]) {
940 ✗ const AVPixFmtDescriptor *desc = av_pix_fmt_desc_get(avctx->pix_fmt);
941 const uint8_t *src[4];
942 uint8_t *dst[4];
943 ✗ ff_thread_await_progress(&f->last_picture, INT_MAX, 0);
944 ✗ for (j = 0; j < desc->nb_components; j++) {
945 ✗ int pixshift = desc->comp[j].depth > 8;
946 ✗ int sh = (j == 1 || j == 2) ? f->chroma_h_shift : 0;
947 ✗ int sv = (j == 1 || j == 2) ? f->chroma_v_shift : 0;
948 ✗ dst[j] = p->data[j] + p->linesize[j] *
949 ✗ (fs->slice_y >> sv) + ((fs->slice_x >> sh) << pixshift);
950 ✗ src[j] = f->last_picture.f->data[j] + f->last_picture.f->linesize[j] *
951 ✗ (fs->slice_y >> sv) + ((fs->slice_x >> sh) << pixshift);
952
953 }
954 ✗ if (desc->flags & AV_PIX_FMT_FLAG_PAL) {
955 ✗ dst[1] = p->data[1];
956 ✗ src[1] = f->last_picture.f->data[1];
957 }
958 ✗ av_image_copy(dst, p->linesize, src,
959 ✗ f->last_picture.f->linesize,
960 avctx->pix_fmt,
961 fs->slice_width,
962 fs->slice_height);
963 }
964 }
965 1431 ff_thread_report_progress(&f->picture, INT_MAX, 0);
966
967
1/2
✓ Branch 0 taken 1431 times.
✗ Branch 1 not taken.
 1431 if (f->last_picture.f)
968 1431 ff_thread_release_buffer(avctx, &f->last_picture);
969
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 1431 times.
 1431 if ((ret = av_frame_ref(data, f->picture.f)) < 0)
970 ✗ return ret;
971
972 1431 *got_frame = 1;
973
974 1431 return buf_size;
975 }
976
977 ✗ static void copy_fields(FFV1Context *fsdst, const FFV1Context *fssrc,
978 const FFV1Context *fsrc)
979 {
980 ✗ fsdst->version = fsrc->version;
981 ✗ fsdst->micro_version = fsrc->micro_version;
982 ✗ fsdst->chroma_planes = fsrc->chroma_planes;
983 ✗ fsdst->chroma_h_shift = fsrc->chroma_h_shift;
984 ✗ fsdst->chroma_v_shift = fsrc->chroma_v_shift;
985 ✗ fsdst->transparency = fsrc->transparency;
986 ✗ fsdst->plane_count = fsrc->plane_count;
987 ✗ fsdst->ac = fsrc->ac;
988 ✗ fsdst->colorspace = fsrc->colorspace;
989
990 ✗ fsdst->ec = fsrc->ec;
991 ✗ fsdst->intra = fsrc->intra;
992 ✗ fsdst->slice_damaged = fssrc->slice_damaged;
993 ✗ fsdst->key_frame_ok = fsrc->key_frame_ok;
994
995 ✗ fsdst->packed_at_lsb = fsrc->packed_at_lsb;
996 ✗ fsdst->slice_count = fsrc->slice_count;
997 ✗ if (fsrc->version<3){
998 ✗ fsdst->slice_x = fssrc->slice_x;
999 ✗ fsdst->slice_y = fssrc->slice_y;
1000 ✗ fsdst->slice_width = fssrc->slice_width;
1001 ✗ fsdst->slice_height = fssrc->slice_height;
1002 }
1003 }
1004
1005 #if HAVE_THREADS
1006 ✗ static int update_thread_context(AVCodecContext *dst, const AVCodecContext *src)
1007 {
1008 ✗ FFV1Context *fsrc = src->priv_data;
1009 ✗ FFV1Context *fdst = dst->priv_data;
1010 int i, ret;
1011
1012 ✗ if (dst == src)
1013 ✗ return 0;
1014
1015 {
1016 ✗ ThreadFrame picture = fdst->picture, last_picture = fdst->last_picture;
1017 uint8_t (*initial_states[MAX_QUANT_TABLES])[32];
1018 struct FFV1Context *slice_context[MAX_SLICES];
1019 ✗ memcpy(initial_states, fdst->initial_states, sizeof(fdst->initial_states));
1020 ✗ memcpy(slice_context, fdst->slice_context , sizeof(fdst->slice_context));
1021
1022 ✗ memcpy(fdst, fsrc, sizeof(*fdst));
1023 ✗ memcpy(fdst->initial_states, initial_states, sizeof(fdst->initial_states));
1024 ✗ memcpy(fdst->slice_context, slice_context , sizeof(fdst->slice_context));
1025 ✗ fdst->picture = picture;
1026 ✗ fdst->last_picture = last_picture;
1027 ✗ for (i = 0; i<fdst->num_h_slices * fdst->num_v_slices; i++) {
1028 ✗ FFV1Context *fssrc = fsrc->slice_context[i];
1029 ✗ FFV1Context *fsdst = fdst->slice_context[i];
1030 ✗ copy_fields(fsdst, fssrc, fsrc);
1031 }
1032 ✗ av_assert0(!fdst->plane[0].state);
1033 ✗ av_assert0(!fdst->sample_buffer);
1034 }
1035
1036 av_assert1(fdst->max_slice_count == fsrc->max_slice_count);
1037
1038
1039 ✗ ff_thread_release_buffer(dst, &fdst->picture);
1040 ✗ if (fsrc->picture.f->data[0]) {
1041 ✗ if ((ret = ff_thread_ref_frame(&fdst->picture, &fsrc->picture)) < 0)
1042 ✗ return ret;
1043 }
1044
1045 ✗ fdst->fsrc = fsrc;
1046
1047 ✗ return 0;
1048 }
1049 #endif
1050
1051 const AVCodec ff_ffv1_decoder = {
1052 .name = "ffv1",
1053 .long_name = NULL_IF_CONFIG_SMALL("FFmpeg video codec #1"),
1054 .type = AVMEDIA_TYPE_VIDEO,
1055 .id = AV_CODEC_ID_FFV1,
1056 .priv_data_size = sizeof(FFV1Context),
1057 .init = decode_init,
1058 .close = ff_ffv1_close,
1059 .decode = decode_frame,
1060 .update_thread_context = ONLY_IF_THREADS_ENABLED(update_thread_context),
1061 .capabilities = AV_CODEC_CAP_DR1 /*| AV_CODEC_CAP_DRAW_HORIZ_BAND*/ |
1062 AV_CODEC_CAP_FRAME_THREADS | AV_CODEC_CAP_SLICE_THREADS,
1063 .caps_internal = FF_CODEC_CAP_INIT_THREADSAFE | FF_CODEC_CAP_INIT_CLEANUP |
1064 FF_CODEC_CAP_ALLOCATE_PROGRESS,
1065 };
1066