h264_refs: make sure not to write over the bounds of the default ref list

Fixes invalid writes.
Found-by: Mateusz "j00ru" Jurczyk and Gynvael Coldwind
CC:libav-stable@libav.org
This commit is contained in:
Anton Khirnov 2013-11-15 19:06:23 +01:00
parent fa515c2088
commit 4d388c0cd0
1 changed files with 17 additions and 10 deletions

View File

@ -67,21 +67,22 @@ static int split_field_copy(Picture *dest, Picture *src, int parity, int id_add)
return match; return match;
} }
static int build_def_list(Picture *def, Picture **in, int len, int is_long, int sel) static int build_def_list(Picture *def, int def_len,
Picture **in, int len, int is_long, int sel)
{ {
int i[2] = { 0 }; int i[2] = { 0 };
int index = 0; int index = 0;
while (i[0] < len || i[1] < len) { while ((i[0] < len || i[1] < len) && index < def_len) {
while (i[0] < len && !(in[i[0]] && (in[i[0]]->reference & sel))) while (i[0] < len && !(in[i[0]] && (in[i[0]]->reference & sel)))
i[0]++; i[0]++;
while (i[1] < len && !(in[i[1]] && (in[i[1]]->reference & (sel ^ 3)))) while (i[1] < len && !(in[i[1]] && (in[i[1]]->reference & (sel ^ 3))))
i[1]++; i[1]++;
if (i[0] < len) { if (i[0] < len && index < def_len) {
in[i[0]]->pic_id = is_long ? i[0] : in[i[0]]->frame_num; in[i[0]]->pic_id = is_long ? i[0] : in[i[0]]->frame_num;
split_field_copy(&def[index++], in[i[0]++], sel, 1); split_field_copy(&def[index++], in[i[0]++], sel, 1);
} }
if (i[1] < len) { if (i[1] < len && index < def_len) {
in[i[1]]->pic_id = is_long ? i[1] : in[i[1]]->frame_num; in[i[1]]->pic_id = is_long ? i[1] : in[i[1]]->frame_num;
split_field_copy(&def[index++], in[i[1]++], sel ^ 3, 0); split_field_copy(&def[index++], in[i[1]++], sel ^ 3, 0);
} }
@ -130,9 +131,12 @@ int ff_h264_fill_default_ref_list(H264Context *h)
len = add_sorted(sorted, h->short_ref, h->short_ref_count, cur_poc, 1 ^ list); len = add_sorted(sorted, h->short_ref, h->short_ref_count, cur_poc, 1 ^ list);
len += add_sorted(sorted + len, h->short_ref, h->short_ref_count, cur_poc, 0 ^ list); len += add_sorted(sorted + len, h->short_ref, h->short_ref_count, cur_poc, 0 ^ list);
assert(len <= 32); assert(len <= 32);
len = build_def_list(h->default_ref_list[list], sorted, len, 0, h->picture_structure);
len += build_def_list(h->default_ref_list[list] + len, h->long_ref, 16, 1, h->picture_structure); len = build_def_list(h->default_ref_list[list], FF_ARRAY_ELEMS(h->default_ref_list[0]),
assert(len <= 32); sorted, len, 0, h->picture_structure);
len += build_def_list(h->default_ref_list[list] + len,
FF_ARRAY_ELEMS(h->default_ref_list[0]) - len,
h->long_ref, 16, 1, h->picture_structure);
if (len < h->ref_count[list]) if (len < h->ref_count[list])
memset(&h->default_ref_list[list][len], 0, sizeof(Picture) * (h->ref_count[list] - len)); memset(&h->default_ref_list[list][len], 0, sizeof(Picture) * (h->ref_count[list] - len));
@ -151,9 +155,12 @@ int ff_h264_fill_default_ref_list(H264Context *h)
} }
} }
} else { } else {
len = build_def_list(h->default_ref_list[0], h->short_ref, h->short_ref_count, 0, h->picture_structure); len = build_def_list(h->default_ref_list[0], FF_ARRAY_ELEMS(h->default_ref_list[0]),
len += build_def_list(h->default_ref_list[0] + len, h-> long_ref, 16, 1, h->picture_structure); h->short_ref, h->short_ref_count, 0, h->picture_structure);
assert(len <= 32); len += build_def_list(h->default_ref_list[0] + len,
FF_ARRAY_ELEMS(h->default_ref_list[0]) - len,
h-> long_ref, 16, 1, h->picture_structure);
if (len < h->ref_count[0]) if (len < h->ref_count[0])
memset(&h->default_ref_list[0][len], 0, sizeof(Picture) * (h->ref_count[0] - len)); memset(&h->default_ref_list[0][len], 0, sizeof(Picture) * (h->ref_count[0] - len));
} }