FFmpeg coverage

Directory: ../../../ffmpeg/
File: src/libavcodec/mpegvideo_parser.c
Date: 2025-10-13 18:02:31
Exec Total Coverage
Lines: 155 162 95.7%
Functions: 4 4 100.0%
Branches: 108 131 82.4%
Line Branch Exec Source
1 /*
2 * MPEG-1 / MPEG-2 video parser
3 * Copyright (c) 2000,2001 Fabrice Bellard
4 * Copyright (c) 2002-2004 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 #include "libavutil/avassert.h"
24 #include "decode.h"
25 #include "parser.h"
26 #include "mpeg12.h"
27 #include "mpeg12data.h"
28 #include "startcode.h"
29
30 struct MpvParseContext {
31 ParseContext pc;
32 AVRational frame_rate;
33 int progressive_sequence;
34 int width, height;
35 };
36
37 /**
38 * Find the end of the current frame in the bitstream.
39 * @return the position of the first byte of the next frame, or -1
40 */
41 54892 static int mpeg1_find_frame_end(ParseContext *pc, const uint8_t *buf,
42 int buf_size, AVCodecParserContext *s)
43 {
44 int i;
45 54892 uint32_t state = pc->state;
46
47 /* EOF considered as end of frame */
48
2/2
✓ Branch 0 taken 345 times.
✓ Branch 1 taken 54547 times.
 54892 if (buf_size == 0)
49 345 return 0;
50
51 /*
52 0 frame start -> 1/4
53 1 first_SEQEXT -> 0/2
54 2 first field start -> 3/0
55 3 second_SEQEXT -> 2/0
56 4 searching end
57 */
58
59
2/2
✓ Branch 0 taken 269825 times.
✓ Branch 1 taken 47740 times.
 317565 for (i = 0; i < buf_size; i++) {
60 av_assert1(pc->frame_start_found >= 0 && pc->frame_start_found <= 4);
61
2/2
✓ Branch 0 taken 27386 times.
✓ Branch 1 taken 242439 times.
 269825 if (pc->frame_start_found & 1) {
62
4/4
✓ Branch 0 taken 10940 times.
✓ Branch 1 taken 16446 times.
✓ Branch 2 taken 2717 times.
✓ Branch 3 taken 8223 times.
 27386 if (state == EXT_START_CODE && (buf[i] & 0xF0) != 0x80)
63 2717 pc->frame_start_found--;
64
2/2
✓ Branch 0 taken 8223 times.
✓ Branch 1 taken 16446 times.
 24669 else if (state == EXT_START_CODE + 2) {
65
2/2
✓ Branch 0 taken 4367 times.
✓ Branch 1 taken 3856 times.
 8223 if ((buf[i] & 3) == 3)
66 4367 pc->frame_start_found = 0;
67 else
68 3856 pc->frame_start_found = (pc->frame_start_found + 1) & 3;
69 }
70 27386 state++;
71 } else {
72 242439 i = avpriv_find_start_code(buf + i, buf + buf_size, &state) - buf - 1;
73
6/6
✓ Branch 0 taken 25919 times.
✓ Branch 1 taken 216520 times.
✓ Branch 2 taken 18686 times.
✓ Branch 3 taken 7233 times.
✓ Branch 4 taken 7253 times.
✓ Branch 5 taken 11433 times.
 242439 if (pc->frame_start_found == 0 && state >= SLICE_MIN_START_CODE && state <= SLICE_MAX_START_CODE) {
74 7253 i++;
75 7253 pc->frame_start_found = 4;
76 }
77
2/2
✓ Branch 0 taken 11 times.
✓ Branch 1 taken 242428 times.
 242439 if (state == SEQ_END_CODE) {
78 11 pc->frame_start_found = 0;
79 11 pc->state = -1;
80 11 return i + 1;
81 }
82
3/4
✓ Branch 0 taken 40618 times.
✓ Branch 1 taken 201810 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 40618 times.
 242428 if (pc->frame_start_found == 2 && state == SEQ_START_CODE)
83 ✗ pc->frame_start_found = 0;
84
4/4
✓ Branch 0 taken 59284 times.
✓ Branch 1 taken 183144 times.
✓ Branch 2 taken 10940 times.
✓ Branch 3 taken 48344 times.
 242428 if (pc->frame_start_found < 4 && state == EXT_START_CODE)
85 10940 pc->frame_start_found++;
86
4/4
✓ Branch 0 taken 183144 times.
✓ Branch 1 taken 59284 times.
✓ Branch 2 taken 143605 times.
✓ Branch 3 taken 39539 times.
 242428 if (pc->frame_start_found == 4 && (state & 0xFFFFFF00) == 0x100) {
87
4/4
✓ Branch 0 taken 137254 times.
✓ Branch 1 taken 6351 times.
✓ Branch 2 taken 445 times.
✓ Branch 3 taken 136809 times.
 143605 if (state < SLICE_MIN_START_CODE || state > SLICE_MAX_START_CODE) {
88 6796 pc->frame_start_found = 0;
89 6796 pc->state = -1;
90 6796 return i - 3;
91 }
92 }
93
5/6
✓ Branch 0 taken 10626 times.
✓ Branch 1 taken 225006 times.
✓ Branch 2 taken 10626 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 7232 times.
✓ Branch 5 taken 3394 times.
 235632 if (pc->frame_start_found == 0 && s && state == PICTURE_START_CODE) {
94 7232 ff_fetch_timestamp(s, i - 3, 1, i > 3);
95 }
96 }
97 }
98 47740 pc->state = state;
99 47740 return END_NOT_FOUND;
100 }
101
102 9859 static void mpegvideo_extract_headers(AVCodecParserContext *s,
103 AVCodecContext *avctx,
104 const uint8_t *buf, int buf_size)
105 {
106 9859 struct MpvParseContext *pc = s->priv_data;
107 9859 const uint8_t *buf_end = buf + buf_size;
108 int bytes_left;
109 9859 int did_set_size=0;
110 9859 int set_dim_ret = 0;
111 9859 int bit_rate = 0;
112 9859 int vbv_delay = 0;
113 9859 enum AVPixelFormat pix_fmt = AV_PIX_FMT_NONE;
114
115 // number of picture coding extensions (i.e. MPEG2 pictures)
116 // in this packet - should be 1 or 2
117 9859 int nb_pic_ext = 0;
118 // when there are two pictures in the packet this indicates
119 // which field is in the first of them
120 9859 int first_field = AV_FIELD_UNKNOWN;
121
122 //FIXME replace the crap with get_bits()
123
2/2
✓ Branch 0 taken 36525 times.
✓ Branch 1 taken 272 times.
 36797 while (buf < buf_end) {
124 36525 uint32_t start_code = -1;
125 36525 buf= avpriv_find_start_code(buf, buf_end, &start_code);
126 36525 bytes_left = buf_end - buf;
127
4/5
✓ Branch 0 taken 9560 times.
✓ Branch 1 taken 1985 times.
✓ Branch 2 taken 11639 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 13341 times.
 36525 switch(start_code) {
128 9560 case PICTURE_START_CODE:
129
1/2
✓ Branch 0 taken 9560 times.
✗ Branch 1 not taken.
 9560 if (bytes_left >= 2) {
130 9560 s->pict_type = (buf[1] >> 3) & 7;
131
1/2
✓ Branch 0 taken 9560 times.
✗ Branch 1 not taken.
 9560 if (bytes_left >= 4)
132 9560 vbv_delay = ((buf[1] & 0x07) << 13) | (buf[2] << 5) | (buf[3] >> 3);
133 }
134 9560 break;
135 1985 case SEQ_START_CODE:
136
1/2
✓ Branch 0 taken 1985 times.
✗ Branch 1 not taken.
 1985 if (bytes_left >= 7) {
137 int frame_rate_index;
138
139 1985 pc->width = (buf[0] << 4) | (buf[1] >> 4);
140 1985 pc->height = ((buf[1] & 0x0f) << 8) | buf[2];
141
6/8
✓ Branch 0 taken 1889 times.
✓ Branch 1 taken 96 times.
✓ Branch 2 taken 1889 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 1701 times.
✓ Branch 5 taken 188 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 1701 times.
 1985 if(!avctx->width || !avctx->height || !avctx->coded_width || !avctx->coded_height){
142 284 set_dim_ret = ff_set_dimensions(avctx, pc->width, pc->height);
143 284 did_set_size=1;
144 }
145 1985 pix_fmt = AV_PIX_FMT_YUV420P;
146 1985 frame_rate_index = buf[3] & 0xf;
147 1985 pc->frame_rate = avctx->framerate = ff_mpeg12_frame_rate_tab[frame_rate_index];
148 1985 bit_rate = (buf[4]<<10) | (buf[5]<<2) | (buf[6]>>6);
149 1985 avctx->codec_id = AV_CODEC_ID_MPEG1VIDEO;
150 }
151 1985 break;
152 11639 case EXT_START_CODE:
153
1/2
✓ Branch 0 taken 11639 times.
✗ Branch 1 not taken.
 11639 if (bytes_left >= 1) {
154
3/3
✓ Branch 0 taken 1846 times.
✓ Branch 1 taken 8688 times.
✓ Branch 2 taken 1105 times.
 11639 switch (buf[0] >> 4) { // ext_type
155 1846 case 0x1: /* sequence extension */
156
1/2
✓ Branch 0 taken 1846 times.
✗ Branch 1 not taken.
 1846 if (bytes_left >= 6) {
157 1846 int horiz_size_ext = ((buf[1] & 1) << 1) | (buf[2] >> 7);
158 1846 int vert_size_ext = (buf[2] >> 5) & 3;
159 1846 int bit_rate_ext = ((buf[2] & 0x1F)<<7) | (buf[3]>>1);
160 1846 int frame_rate_ext_n = (buf[5] >> 5) & 3;
161 1846 int frame_rate_ext_d = (buf[5] & 0x1f);
162 1846 pc->progressive_sequence = buf[1] & (1 << 3);
163 1846 avctx->has_b_frames= !(buf[5] >> 7);
164
165
2/4
✓ Branch 0 taken 791 times.
✓ Branch 1 taken 1055 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 1846 switch ((buf[1] >> 1) & 3) { // chroma_format
166 791 case 1: pix_fmt = AV_PIX_FMT_YUV420P; break;
167 1055 case 2: pix_fmt = AV_PIX_FMT_YUV422P; break;
168 ✗ case 3: pix_fmt = AV_PIX_FMT_YUV444P; break;
169 }
170
171 1846 pc->width = (pc->width & 0xFFF) | (horiz_size_ext << 12);
172 1846 pc->height = (pc->height& 0xFFF) | ( vert_size_ext << 12);
173 1846 bit_rate = (bit_rate&0x3FFFF) | (bit_rate_ext << 18);
174
2/2
✓ Branch 0 taken 265 times.
✓ Branch 1 taken 1581 times.
 1846 if(did_set_size)
175 265 set_dim_ret = ff_set_dimensions(avctx, pc->width, pc->height);
176 1846 avctx->framerate.num = pc->frame_rate.num * (frame_rate_ext_n + 1);
177 1846 avctx->framerate.den = pc->frame_rate.den * (frame_rate_ext_d + 1);
178 1846 avctx->codec_id = AV_CODEC_ID_MPEG2VIDEO;
179 }
180 1846 break;
181 8688 case 0x8: /* picture coding extension */
182
1/2
✓ Branch 0 taken 8688 times.
✗ Branch 1 not taken.
 8688 if (bytes_left >= 5) {
183 8688 int top_field_first = buf[3] & (1 << 7);
184 8688 int repeat_first_field = buf[3] & (1 << 1);
185 8688 int progressive_frame = buf[4] & (1 << 7);
186
187 /* check if we must repeat the frame */
188 8688 s->repeat_pict = 1;
189
2/2
✓ Branch 0 taken 9 times.
✓ Branch 1 taken 8679 times.
 8688 if (repeat_first_field) {
190
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 9 times.
 9 if (pc->progressive_sequence) {
191 ✗ if (top_field_first)
192 ✗ s->repeat_pict = 5;
193 else
194 ✗ s->repeat_pict = 3;
195
1/2
✓ Branch 0 taken 9 times.
✗ Branch 1 not taken.
 9 } else if (progressive_frame) {
196 9 s->repeat_pict = 2;
197 }
198 }
199
200
4/4
✓ Branch 0 taken 5875 times.
✓ Branch 1 taken 2813 times.
✓ Branch 2 taken 5601 times.
✓ Branch 3 taken 274 times.
 8688 if (!pc->progressive_sequence && !progressive_frame) {
201
2/2
✓ Branch 0 taken 2094 times.
✓ Branch 1 taken 3507 times.
 5601 if (top_field_first)
202 2094 s->field_order = AV_FIELD_TT;
203 else
204 3507 s->field_order = AV_FIELD_BB;
205 } else
206 3087 s->field_order = AV_FIELD_PROGRESSIVE;
207
208 8688 s->picture_structure = buf[2] & 3;
209
210
1/2
✓ Branch 0 taken 8688 times.
✗ Branch 1 not taken.
 8688 if (!nb_pic_ext) {
211 // remember parity of the first field for the case
212 // when there are 2 fields in packet
213
3/3
✓ Branch 0 taken 1934 times.
✓ Branch 1 taken 6 times.
✓ Branch 2 taken 6748 times.
 8688 switch (s->picture_structure) {
214 1934 case AV_PICTURE_STRUCTURE_BOTTOM_FIELD: first_field = AV_FIELD_BB; break;
215 6 case AV_PICTURE_STRUCTURE_TOP_FIELD: first_field = AV_FIELD_TT; break;
216 }
217 }
218
219 8688 nb_pic_ext++;
220 }
221 8688 break;
222 }
223 }
224 11639 break;
225 ✗ case -1:
226 9587 goto the_end;
227 13341 default:
228 /* we stop parsing when we encounter a slice. It ensures
229 that this function takes a negligible amount of time */
230
1/2
✓ Branch 0 taken 13341 times.
✗ Branch 1 not taken.
 13341 if (start_code >= SLICE_MIN_START_CODE &&
231
2/2
✓ Branch 0 taken 9587 times.
✓ Branch 1 taken 3754 times.
 13341 start_code <= SLICE_MAX_START_CODE)
232 9587 goto the_end;
233 3754 break;
234 }
235 }
236 272 the_end:
237
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 9859 times.
 9859 if (set_dim_ret < 0)
238 ✗ av_log(avctx, AV_LOG_ERROR, "Failed to set dimensions\n");
239
240
6/6
✓ Branch 0 taken 8957 times.
✓ Branch 1 taken 902 times.
✓ Branch 2 taken 1846 times.
✓ Branch 3 taken 7111 times.
✓ Branch 4 taken 1168 times.
✓ Branch 5 taken 678 times.
 9859 if (avctx->codec_id == AV_CODEC_ID_MPEG2VIDEO && bit_rate && bit_rate != 0x3FFFF) {
241 1168 avctx->rc_max_rate = 400LL*bit_rate;
242 }
243
2/2
✓ Branch 0 taken 1985 times.
✓ Branch 1 taken 7874 times.
 9859 if (bit_rate &&
244
5/6
✓ Branch 0 taken 139 times.
✓ Branch 1 taken 1846 times.
✓ Branch 2 taken 139 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 1064 times.
✓ Branch 5 taken 921 times.
 1985 ((avctx->codec_id == AV_CODEC_ID_MPEG1VIDEO && bit_rate != 0x3FFFF) || vbv_delay != 0xFFFF)) {
245 1064 avctx->bit_rate = 400LL*bit_rate;
246 }
247
248
2/2
✓ Branch 0 taken 1985 times.
✓ Branch 1 taken 7874 times.
 9859 if (pix_fmt != AV_PIX_FMT_NONE) {
249 1985 s->format = pix_fmt;
250 1985 s->width = pc->width;
251 1985 s->height = pc->height;
252 1985 s->coded_width = FFALIGN(pc->width, 16);
253 1985 s->coded_height = FFALIGN(pc->height, 16);
254 }
255
256
3/4
✓ Branch 0 taken 8957 times.
✓ Branch 1 taken 902 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 8957 times.
 9859 if (avctx->codec_id == AV_CODEC_ID_MPEG1VIDEO || nb_pic_ext > 1) {
257 902 s->repeat_pict = 1;
258 902 s->picture_structure = AV_PICTURE_STRUCTURE_FRAME;
259
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 902 times.
 902 s->field_order = nb_pic_ext > 1 ? first_field : AV_FIELD_PROGRESSIVE;
260 }
261 9859 }
262
263 57599 static int mpegvideo_parse(AVCodecParserContext *s,
264 AVCodecContext *avctx,
265 const uint8_t **poutbuf, int *poutbuf_size,
266 const uint8_t *buf, int buf_size)
267 {
268 57599 struct MpvParseContext *pc1 = s->priv_data;
269 57599 ParseContext *pc= &pc1->pc;
270 int next;
271
272
2/2
✓ Branch 0 taken 2707 times.
✓ Branch 1 taken 54892 times.
 57599 if(s->flags & PARSER_FLAG_COMPLETE_FRAMES){
273 2707 next= buf_size;
274 }else{
275 54892 next = mpeg1_find_frame_end(pc, buf, buf_size, s);
276
277
2/2
✓ Branch 1 taken 47740 times.
✓ Branch 2 taken 7152 times.
 54892 if (ff_combine_frame(pc, next, &buf, &buf_size) < 0) {
278 47740 *poutbuf = NULL;
279 47740 *poutbuf_size = 0;
280 47740 return buf_size;
281 }
282
283 }
284 /* we have a full frame : we just parse the first few MPEG headers
285 to have the full timing information. The time take by this
286 function should be negligible for uncorrupted streams */
287 9859 mpegvideo_extract_headers(s, avctx, buf, buf_size);
288 ff_dlog(NULL, "pict_type=%d frame_rate=%0.3f repeat_pict=%d\n",
289 s->pict_type, av_q2d(avctx->framerate), s->repeat_pict);
290
291 9859 *poutbuf = buf;
292 9859 *poutbuf_size = buf_size;
293 9859 return next;
294 }
295
296 685 static av_cold int mpegvideo_parse_init(AVCodecParserContext *s)
297 {
298 685 s->pict_type = AV_PICTURE_TYPE_NONE; // first frame might be partial
299 685 return 0;
300 }
301
302 const AVCodecParser ff_mpegvideo_parser = {
303 .codec_ids = { AV_CODEC_ID_MPEG1VIDEO, AV_CODEC_ID_MPEG2VIDEO },
304 .priv_data_size = sizeof(struct MpvParseContext),
305 .parser_init = mpegvideo_parse_init,
306 .parser_parse = mpegvideo_parse,
307 .parser_close = ff_parse_close,
308 };
309