MP4 reader: fix access beyond end of vector
No one guarantees us that the duration map size & number values really
sum to no more than the number of sample table entries in the
file. Therefore check the current sample table index against the sample
table's size before accessing the table.
Fixes the following test cases of #1780:
explorer:id:000011,sig:11,src:000001,op:flip1,pos:42
explorer:id:000012,sig:11,src:000001,op:flip1,pos:13438
explorer:id:000014,sig:11,src:000001,op:flip1,pos:13457
explorer:id:000030,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000031,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000032,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000063,sig:06,src:000001,op:arith8,pos:13794,val:-13
explorer:id:000083,sig:06,src:000005,op:flip1,pos:3
explorer:id:000097,sig:06,src:000005,op:flip1,pos:13730
explorer:id:000129,sig:06,src:000005,op:flip1,pos:13801
explorer:id:000144,sig:11,src:000005,op:flip2,pos:13866
explorer:id:000231,sig:11,src:000005,op:havoc,rep:16
explorer:id:000261,sig:11,src:000013,op:arith8,pos:13647,val:+7
explorer:id:000318,sig:11,src:000287,op:flip2,pos:13797
explorer:id:000323,sig:06,src:000314,op:flip1,pos:13731
explorer:id:000324,sig:06,src:000314,op:havoc,rep:64
explorer:id:000347,sig:06,src:000426,op:flip1,pos:13797
explorer:id:000353,sig:11,src:000426,op:flip1,pos:13823
explorer:id:000354,sig:11,src:000426,op:flip1,pos:13825
explorer:id:000357,sig:11,src:000426,op:flip2,pos:13825
explorer:id:000358,sig:06,src:000426,op:flip2,pos:13826
2016-09-06 19:59:37 +00:00
|
|
|
#!/usr/bin/ruby -w
|
|
|
|
|
|
|
|
# T_560segfaults_issue_1780_part_3
|
|
|
|
describe "mkvmerge / various test cases for segfaults collected in issue 1780 part 3"
|
|
|
|
|
2021-07-07 11:16:53 +00:00
|
|
|
skip_if $is_windows
|
|
|
|
|
MP4 reader: fix access beyond end of vector
No one guarantees us that the duration map size & number values really
sum to no more than the number of sample table entries in the
file. Therefore check the current sample table index against the sample
table's size before accessing the table.
Fixes the following test cases of #1780:
explorer:id:000011,sig:11,src:000001,op:flip1,pos:42
explorer:id:000012,sig:11,src:000001,op:flip1,pos:13438
explorer:id:000014,sig:11,src:000001,op:flip1,pos:13457
explorer:id:000030,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000031,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000032,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000063,sig:06,src:000001,op:arith8,pos:13794,val:-13
explorer:id:000083,sig:06,src:000005,op:flip1,pos:3
explorer:id:000097,sig:06,src:000005,op:flip1,pos:13730
explorer:id:000129,sig:06,src:000005,op:flip1,pos:13801
explorer:id:000144,sig:11,src:000005,op:flip2,pos:13866
explorer:id:000231,sig:11,src:000005,op:havoc,rep:16
explorer:id:000261,sig:11,src:000013,op:arith8,pos:13647,val:+7
explorer:id:000318,sig:11,src:000287,op:flip2,pos:13797
explorer:id:000323,sig:06,src:000314,op:flip1,pos:13731
explorer:id:000324,sig:06,src:000314,op:havoc,rep:64
explorer:id:000347,sig:06,src:000426,op:flip1,pos:13797
explorer:id:000353,sig:11,src:000426,op:flip1,pos:13823
explorer:id:000354,sig:11,src:000426,op:flip1,pos:13825
explorer:id:000357,sig:11,src:000426,op:flip2,pos:13825
explorer:id:000358,sig:06,src:000426,op:flip2,pos:13826
2016-09-06 19:59:37 +00:00
|
|
|
dir = "data/segfaults-assertions/issue-1780"
|
|
|
|
|
|
|
|
# "MP4 reader: fix access beyond end of vector"
|
2020-04-19 13:37:56 +00:00
|
|
|
|
|
|
|
exit_codes = {
|
|
|
|
'explorer:id:000097,sig:06,src:000005,op:flip1,pos:13730' => :warning,
|
|
|
|
'explorer:id:000261,sig:11,src:000013,op:arith8,pos:13647,val:+7' => :warning,
|
|
|
|
'explorer:id:000323,sig:06,src:000314,op:flip1,pos:13731' => :warning,
|
|
|
|
}
|
|
|
|
|
MP4 reader: fix access beyond end of vector
No one guarantees us that the duration map size & number values really
sum to no more than the number of sample table entries in the
file. Therefore check the current sample table index against the sample
table's size before accessing the table.
Fixes the following test cases of #1780:
explorer:id:000011,sig:11,src:000001,op:flip1,pos:42
explorer:id:000012,sig:11,src:000001,op:flip1,pos:13438
explorer:id:000014,sig:11,src:000001,op:flip1,pos:13457
explorer:id:000030,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000031,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000032,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000063,sig:06,src:000001,op:arith8,pos:13794,val:-13
explorer:id:000083,sig:06,src:000005,op:flip1,pos:3
explorer:id:000097,sig:06,src:000005,op:flip1,pos:13730
explorer:id:000129,sig:06,src:000005,op:flip1,pos:13801
explorer:id:000144,sig:11,src:000005,op:flip2,pos:13866
explorer:id:000231,sig:11,src:000005,op:havoc,rep:16
explorer:id:000261,sig:11,src:000013,op:arith8,pos:13647,val:+7
explorer:id:000318,sig:11,src:000287,op:flip2,pos:13797
explorer:id:000323,sig:06,src:000314,op:flip1,pos:13731
explorer:id:000324,sig:06,src:000314,op:havoc,rep:64
explorer:id:000347,sig:06,src:000426,op:flip1,pos:13797
explorer:id:000353,sig:11,src:000426,op:flip1,pos:13823
explorer:id:000354,sig:11,src:000426,op:flip1,pos:13825
explorer:id:000357,sig:11,src:000426,op:flip2,pos:13825
explorer:id:000358,sig:06,src:000426,op:flip2,pos:13826
2016-09-06 19:59:37 +00:00
|
|
|
%w{
|
|
|
|
explorer:id:000011,sig:11,src:000001,op:flip1,pos:42
|
|
|
|
explorer:id:000012,sig:11,src:000001,op:flip1,pos:13438
|
|
|
|
explorer:id:000014,sig:11,src:000001,op:flip1,pos:13457
|
|
|
|
explorer:id:000030,sig:11,src:000001,op:flip1,pos:13798
|
|
|
|
explorer:id:000031,sig:11,src:000001,op:flip1,pos:13798
|
|
|
|
explorer:id:000032,sig:11,src:000001,op:flip1,pos:13798
|
|
|
|
explorer:id:000063,sig:06,src:000001,op:arith8,pos:13794,val:-13
|
|
|
|
explorer:id:000083,sig:06,src:000005,op:flip1,pos:3
|
|
|
|
explorer:id:000097,sig:06,src:000005,op:flip1,pos:13730
|
|
|
|
explorer:id:000129,sig:06,src:000005,op:flip1,pos:13801
|
|
|
|
explorer:id:000144,sig:11,src:000005,op:flip2,pos:13866
|
|
|
|
explorer:id:000231,sig:11,src:000005,op:havoc,rep:16
|
|
|
|
explorer:id:000261,sig:11,src:000013,op:arith8,pos:13647,val:+7
|
|
|
|
explorer:id:000318,sig:11,src:000287,op:flip2,pos:13797
|
|
|
|
explorer:id:000324,sig:06,src:000314,op:havoc,rep:64
|
|
|
|
explorer:id:000347,sig:06,src:000426,op:flip1,pos:13797
|
|
|
|
explorer:id:000353,sig:11,src:000426,op:flip1,pos:13823
|
|
|
|
explorer:id:000354,sig:11,src:000426,op:flip1,pos:13825
|
|
|
|
explorer:id:000357,sig:11,src:000426,op:flip2,pos:13825
|
|
|
|
explorer:id:000358,sig:06,src:000426,op:flip2,pos:13826
|
|
|
|
}.each do |file|
|
2020-04-19 13:37:56 +00:00
|
|
|
test_merge "#{dir}/#{file}", :exit_code => exit_codes[file] || :ok
|
MP4 reader: fix access beyond end of vector
No one guarantees us that the duration map size & number values really
sum to no more than the number of sample table entries in the
file. Therefore check the current sample table index against the sample
table's size before accessing the table.
Fixes the following test cases of #1780:
explorer:id:000011,sig:11,src:000001,op:flip1,pos:42
explorer:id:000012,sig:11,src:000001,op:flip1,pos:13438
explorer:id:000014,sig:11,src:000001,op:flip1,pos:13457
explorer:id:000030,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000031,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000032,sig:11,src:000001,op:flip1,pos:13798
explorer:id:000063,sig:06,src:000001,op:arith8,pos:13794,val:-13
explorer:id:000083,sig:06,src:000005,op:flip1,pos:3
explorer:id:000097,sig:06,src:000005,op:flip1,pos:13730
explorer:id:000129,sig:06,src:000005,op:flip1,pos:13801
explorer:id:000144,sig:11,src:000005,op:flip2,pos:13866
explorer:id:000231,sig:11,src:000005,op:havoc,rep:16
explorer:id:000261,sig:11,src:000013,op:arith8,pos:13647,val:+7
explorer:id:000318,sig:11,src:000287,op:flip2,pos:13797
explorer:id:000323,sig:06,src:000314,op:flip1,pos:13731
explorer:id:000324,sig:06,src:000314,op:havoc,rep:64
explorer:id:000347,sig:06,src:000426,op:flip1,pos:13797
explorer:id:000353,sig:11,src:000426,op:flip1,pos:13823
explorer:id:000354,sig:11,src:000426,op:flip1,pos:13825
explorer:id:000357,sig:11,src:000426,op:flip2,pos:13825
explorer:id:000358,sig:06,src:000426,op:flip2,pos:13826
2016-09-06 19:59:37 +00:00
|
|
|
end
|
2016-09-07 14:45:40 +00:00
|
|
|
|
|
|
|
# The following files cause uninitialized memory to be written and
|
|
|
|
# consecutive tests to fail:
|
|
|
|
%w{
|
|
|
|
explorer:id:000323,sig:06,src:000314,op:flip1,pos:13731
|
|
|
|
}.each do |file|
|
2020-04-19 13:37:56 +00:00
|
|
|
test_merge "#{dir}/#{file}", :result_type => :exit_code_string, :exit_code => exit_codes[file] || :ok
|
2016-09-07 14:45:40 +00:00
|
|
|
end
|