/src/vlc/modules/demux/mkv/Ebml_parser.cpp
Line | Count | Source (jump to first uncovered line) |
1 | | |
2 | | /***************************************************************************** |
3 | | * EbmlParser for the matroska demuxer |
4 | | ***************************************************************************** |
5 | | * Copyright (C) 2003-2004 VLC authors and VideoLAN |
6 | | * |
7 | | * Authors: Laurent Aimar <fenrir@via.ecp.fr> |
8 | | * Steve Lhomme <steve.lhomme@free.fr> |
9 | | * |
10 | | * This program is free software; you can redistribute it and/or modify it |
11 | | * under the terms of the GNU Lesser General Public License as published by |
12 | | * the Free Software Foundation; either version 2.1 of the License, or |
13 | | * (at your option) any later version. |
14 | | * |
15 | | * This program is distributed in the hope that it will be useful, |
16 | | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
17 | | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
18 | | * GNU Lesser General Public License for more details. |
19 | | * |
20 | | * You should have received a copy of the GNU Lesser General Public License |
21 | | * along with this program; if not, write to the Free Software Foundation, |
22 | | * Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301, USA. |
23 | | *****************************************************************************/ |
24 | | |
25 | | #include "Ebml_parser.hpp" |
26 | | #include "stream_io_callback.hpp" |
27 | | |
28 | | namespace mkv { |
29 | | |
30 | | /***************************************************************************** |
31 | | * Ebml Stream parser |
32 | | *****************************************************************************/ |
33 | | EbmlParser::EbmlParser( matroska_iostream_c *es, EbmlElement *el_start, demux_t *p_demux ) : |
34 | 68 | p_demux( p_demux ), |
35 | 68 | m_es( es ), |
36 | 68 | mi_level( 1 ), |
37 | | m_got( NULL ), |
38 | 68 | mi_user_level( 1 ), |
39 | 68 | mb_keep( false ), |
40 | 68 | mb_dummy( var_InheritBool( p_demux, "mkv-use-dummy" ) ) |
41 | 68 | { |
42 | 68 | memset( m_el, 0, sizeof( *m_el ) * M_EL_MAXSIZE); |
43 | 68 | m_el[0] = el_start; |
44 | 68 | } |
45 | | |
46 | | EbmlParser::~EbmlParser( void ) |
47 | 68 | { |
48 | 68 | if( !mi_level ) |
49 | 21 | { |
50 | 21 | assert( !mb_keep ); |
51 | 21 | delete m_el[1]; |
52 | 21 | return; |
53 | 21 | } |
54 | | |
55 | 125 | for( int i = 1; i <= mi_level; i++ ) |
56 | 78 | { |
57 | 78 | if( !mb_keep ) |
58 | 78 | { |
59 | 78 | delete m_el[i]; |
60 | 78 | } |
61 | 78 | mb_keep = false; |
62 | 78 | } |
63 | 47 | } |
64 | | |
65 | | void EbmlParser::reconstruct( matroska_iostream_c* es, EbmlElement* el_start, demux_t* p_demux ) |
66 | 27 | { |
67 | 27 | this->~EbmlParser(); |
68 | | |
69 | 27 | new( static_cast<void*>( this ) ) EbmlParser( es, el_start, p_demux ); |
70 | 27 | } |
71 | | |
72 | | void EbmlParser::Up( void ) |
73 | 1.54k | { |
74 | 1.54k | if( mi_user_level == mi_level && m_el[mi_level] ) |
75 | 0 | { |
76 | 0 | msg_Warn( p_demux, "MKV/Ebml Parser: Up cannot escape itself" ); |
77 | 0 | } |
78 | | |
79 | 1.54k | mi_user_level--; |
80 | 1.54k | } |
81 | | |
82 | | void EbmlParser::Down( void ) |
83 | 1.55k | { |
84 | 1.55k | mi_user_level++; |
85 | 1.55k | mi_level++; |
86 | 1.55k | } |
87 | | |
88 | | void EbmlParser::Keep( void ) |
89 | 1.87k | { |
90 | 1.87k | mb_keep = true; |
91 | 1.87k | } |
92 | | |
93 | | void EbmlParser::Unkeep() |
94 | 22 | { |
95 | 22 | mb_keep = false; |
96 | 22 | } |
97 | | |
98 | | int EbmlParser::GetLevel( void ) const |
99 | 5.24k | { |
100 | 5.24k | return mi_user_level; |
101 | 5.24k | } |
102 | | |
103 | | void EbmlParser::Reset( demux_t *p_demux ) |
104 | 20 | { |
105 | 40 | while ( mi_level > 0) |
106 | 20 | { |
107 | 20 | delete m_el[mi_level]; |
108 | 20 | m_el[mi_level] = NULL; |
109 | 20 | mi_level--; |
110 | 20 | } |
111 | 20 | this->p_demux = p_demux; |
112 | 20 | mi_user_level = mi_level = 1; |
113 | | // a little faster and cleaner |
114 | 20 | m_es->I_O().setFilePointer( static_cast<EbmlMaster*>(m_el[0])->GetDataStart() ); |
115 | 20 | } |
116 | | |
117 | | |
118 | | static const EbmlSemanticContext & GetEbmlNoGlobal_Context(); |
119 | | static const EbmlSemanticContext EbmlNoGlobal_Context = EbmlSemanticContext(0, NULL, NULL, *GetEbmlNoGlobal_Context, NULL); |
120 | | static const EbmlSemanticContext & GetEbmlNoGlobal_Context() |
121 | 634 | { |
122 | 634 | return EbmlNoGlobal_Context; |
123 | 634 | } |
124 | | |
125 | | // the Segment Context should not allow Void or CRC32 elements to avoid lookup false alarm |
126 | | DEFINE_START_SEMANTIC(KaxSegmentVLC) |
127 | | DEFINE_SEMANTIC_ITEM(true, true, EbmlHead) |
128 | | DEFINE_SEMANTIC_ITEM(false, false, KaxSegment) |
129 | | DEFINE_END_SEMANTIC(KaxSegmentVLC) |
130 | | |
131 | | DEFINE_xxx_CONTEXT(KaxSegmentVLC,GetEbmlNoGlobal_Context) |
132 | | |
133 | | |
134 | | EbmlElement *EbmlParser::Get( bool allow_overshoot ) |
135 | 8.05k | { |
136 | 8.05k | int i_ulev = 0; |
137 | 8.05k | int n_call = 0; |
138 | 8.05k | EbmlElement *p_prev = NULL; |
139 | 8.05k | bool do_read = true; |
140 | | |
141 | 8.05k | if( mi_user_level != mi_level ) |
142 | 1.30k | { |
143 | 1.30k | return NULL; |
144 | 1.30k | } |
145 | 6.75k | if( m_got ) |
146 | 1.29k | { |
147 | 1.29k | EbmlElement *ret = m_got; |
148 | 1.29k | m_got = NULL; |
149 | | |
150 | 1.29k | return ret; |
151 | 1.29k | } |
152 | | |
153 | 6.69k | next: |
154 | 6.69k | p_prev = m_el[mi_level]; |
155 | 6.69k | if( p_prev ) |
156 | 5.03k | p_prev->SkipData( *m_es, EBML_CONTEXT(p_prev) ); |
157 | | |
158 | 6.69k | uint64_t i_max_read; |
159 | 6.69k | if (mi_level == 0) |
160 | 0 | i_max_read = UINT64_MAX; |
161 | 6.69k | else if (!m_el[mi_level-1]->IsFiniteSize()) |
162 | 30 | i_max_read = UINT64_MAX; |
163 | 6.66k | else if (!p_prev) |
164 | 1.63k | { |
165 | 1.63k | i_max_read = m_el[mi_level-1]->GetSize(); |
166 | 1.63k | if (i_max_read == 0) |
167 | 0 | { |
168 | | /* check if the parent still has data to read */ |
169 | 0 | if ( mi_level > 1 && m_el[mi_level-2]->IsFiniteSize() && |
170 | 0 | m_el[mi_level-1]->GetEndPosition() < m_el[mi_level-2]->GetEndPosition() ) |
171 | 0 | { |
172 | 0 | uint64_t top = m_el[mi_level-2]->GetEndPosition(); |
173 | 0 | uint64_t bom = m_el[mi_level-1]->GetEndPosition(); |
174 | 0 | i_max_read = top - bom; |
175 | 0 | } |
176 | 0 | } |
177 | 1.63k | } |
178 | 5.02k | else { |
179 | 5.02k | size_t size_lvl = mi_level; |
180 | 6.53k | while ( size_lvl && m_el[size_lvl-1]->IsFiniteSize() && m_el[size_lvl]->IsFiniteSize() && |
181 | 6.53k | m_el[size_lvl-1]->GetEndPosition() == m_el[size_lvl]->GetEndPosition() ) |
182 | 1.51k | size_lvl--; |
183 | 5.02k | if (size_lvl == 0 && !allow_overshoot) |
184 | 0 | { |
185 | 0 | i_ulev = mi_level; // trick to go all the way up |
186 | 0 | m_el[mi_level] = NULL; |
187 | 0 | do_read = false; |
188 | 0 | } |
189 | 5.02k | else if (size_lvl == 0 || !m_el[size_lvl-1]->IsFiniteSize() || !m_el[size_lvl]->IsFiniteSize() ) |
190 | 291 | i_max_read = UINT64_MAX; |
191 | 4.73k | else { |
192 | 4.73k | uint64_t top = m_el[size_lvl-1]->GetEndPosition(); |
193 | 4.73k | uint64_t bom = m_el[mi_level]->GetEndPosition(); |
194 | 4.73k | i_max_read = top - bom; |
195 | 4.73k | } |
196 | 5.02k | } |
197 | | |
198 | 6.69k | if (do_read) |
199 | 6.69k | { |
200 | | // If the parent is a segment, use the segment context when creating children |
201 | | // (to prolong their lifetime), otherwise just continue as normal |
202 | 6.69k | EbmlSemanticContext e_context = |
203 | 6.69k | EBML_CTX_MASTER( EBML_CONTEXT(m_el[mi_level - 1]) ) == EBML_CTX_MASTER( Context_KaxSegmentVLC ) |
204 | 6.69k | ? Context_KaxSegmentVLC |
205 | 6.69k | : EBML_CONTEXT(m_el[mi_level - 1]); |
206 | | |
207 | | /* Ignore unknown level 0 or 1 elements */ |
208 | 6.69k | m_el[mi_level] = unlikely(!i_max_read) ? NULL : |
209 | 6.69k | m_es->FindNextElement( e_context, |
210 | 6.69k | i_ulev, i_max_read, |
211 | 6.69k | ( mb_dummy | (mi_level > 1) ), 1 ); |
212 | | |
213 | 6.69k | if( m_el[mi_level] == NULL ) |
214 | 53 | { |
215 | 53 | if ( i_max_read != UINT64_MAX && !m_es->I_O().IsEOF() ) |
216 | 18 | { |
217 | 18 | msg_Dbg(p_demux, "found nothing, go up"); |
218 | 18 | i_ulev = 1; |
219 | 18 | } |
220 | 53 | } |
221 | 6.69k | } |
222 | | |
223 | 6.69k | if( i_ulev > 0 ) |
224 | 1.33k | { |
225 | 1.33k | if( p_prev ) |
226 | 1.33k | { |
227 | 1.33k | if( !mb_keep ) |
228 | 475 | { |
229 | 475 | delete p_prev; |
230 | 475 | p_prev = NULL; |
231 | 475 | } |
232 | 1.33k | mb_keep = false; |
233 | 1.33k | } |
234 | 2.85k | while( i_ulev > 0 ) |
235 | 1.54k | { |
236 | 1.54k | if( mi_level == 1 ) |
237 | 21 | { |
238 | 21 | mi_level = 0; |
239 | 21 | return NULL; |
240 | 21 | } |
241 | | |
242 | 1.52k | delete m_el[mi_level - 1]; |
243 | 1.52k | m_got = m_el[mi_level -1] = m_el[mi_level]; |
244 | 1.52k | m_el[mi_level] = NULL; |
245 | | |
246 | 1.52k | mi_level--; |
247 | 1.52k | i_ulev--; |
248 | 1.52k | } |
249 | 1.31k | return NULL; |
250 | 1.33k | } |
251 | 5.35k | else if( m_el[mi_level] == NULL ) |
252 | 35 | { |
253 | 35 | msg_Dbg( p_demux,"MKV/Ebml Parser: m_el[mi_level] == NULL" ); |
254 | | /* go back to the end of the parent */ |
255 | 35 | if( p_prev ) |
256 | 25 | p_prev->SkipData( *m_es, EBML_CONTEXT(p_prev) ); |
257 | 35 | } |
258 | 5.32k | else if( m_el[mi_level]->IsDummy() && !mb_dummy ) |
259 | 1.24k | { |
260 | 1.24k | bool b_bad_position = false; |
261 | | /* We got a dummy element but don't want those... |
262 | | * perform a sanity check */ |
263 | 1.24k | if( !mi_level ) |
264 | 0 | { |
265 | 0 | msg_Err(p_demux, "Got invalid lvl 0 element... Aborting"); |
266 | 0 | return NULL; |
267 | 0 | } |
268 | | |
269 | 1.24k | if( mi_level > 1 && |
270 | 1.24k | p_prev && p_prev->IsFiniteSize() && |
271 | 1.24k | p_prev->GetEndPosition() != m_el[mi_level]->GetElementPosition() ) |
272 | 491 | { |
273 | 491 | msg_Err( p_demux, "Dummy Element at unexpected position... corrupted file?" ); |
274 | 491 | b_bad_position = true; |
275 | 491 | } |
276 | | |
277 | 1.24k | if( n_call < M_EL_MAXSIZE && !b_bad_position && m_el[mi_level]->IsFiniteSize() && |
278 | 1.24k | ( !m_el[mi_level-1]->IsFiniteSize() || |
279 | 400 | m_el[mi_level]->GetEndPosition() <= m_el[mi_level-1]->GetEndPosition() ) ) |
280 | 395 | { |
281 | | /* The element fits inside its upper element */ |
282 | 395 | msg_Warn( p_demux, "Dummy element found %" PRIu64 "... skipping it", |
283 | 395 | m_el[mi_level]->GetElementPosition() ); |
284 | 395 | if( p_prev ) |
285 | 378 | { |
286 | 378 | if( !mb_keep ) |
287 | 372 | { |
288 | 372 | delete p_prev; |
289 | 372 | p_prev = NULL; |
290 | 372 | } |
291 | 378 | mb_keep = false; |
292 | 378 | } |
293 | 395 | n_call++; |
294 | 395 | goto next; |
295 | 395 | } |
296 | 850 | else |
297 | 850 | { |
298 | | /* Too large, misplaced or M_EL_MAXSIZE successive dummy elements */ |
299 | 850 | msg_Err( p_demux, |
300 | 850 | "Dummy element too large or misplaced at %" PRIu64 "... skipping to next upper element", |
301 | 850 | m_el[mi_level]->GetElementPosition() ); |
302 | | |
303 | 850 | if( mi_level >= 1 && |
304 | 850 | m_el[mi_level]->IsFiniteSize() && m_el[mi_level-1]->IsFiniteSize() && |
305 | 850 | m_el[mi_level]->GetElementPosition() >= m_el[mi_level-1]->GetEndPosition() ) |
306 | 6 | { |
307 | 6 | msg_Err(p_demux, "This element is outside its known parent... upping level"); |
308 | 6 | delete m_el[mi_level - 1]; |
309 | 6 | m_got = m_el[mi_level -1] = m_el[mi_level]; |
310 | 6 | m_el[mi_level] = NULL; |
311 | | |
312 | 6 | mi_level--; |
313 | 6 | return NULL; |
314 | 6 | } |
315 | | |
316 | 844 | if( p_prev ) |
317 | 844 | { |
318 | 844 | if( !mb_keep ) |
319 | 838 | { |
320 | 838 | delete p_prev; |
321 | 838 | p_prev = NULL; |
322 | 838 | } |
323 | 844 | mb_keep = false; |
324 | 844 | } |
325 | 844 | goto next; |
326 | 850 | } |
327 | 1.24k | } |
328 | | |
329 | 4.11k | if( p_prev ) |
330 | 2.48k | { |
331 | 2.48k | if( !mb_keep ) |
332 | 1.47k | { |
333 | 1.47k | delete p_prev; |
334 | 1.47k | } |
335 | 2.48k | mb_keep = false; |
336 | 2.48k | } |
337 | 4.11k | return m_el[mi_level]; |
338 | 6.69k | } |
339 | | |
340 | | bool EbmlParser::IsTopPresent( EbmlElement *el ) const |
341 | 3.59k | { |
342 | 7.18k | for( int i = 0; i < mi_level; i++ ) |
343 | 7.18k | { |
344 | 7.18k | if( m_el[i] && m_el[i] == el ) |
345 | 3.59k | return true; |
346 | 7.18k | } |
347 | 0 | return false; |
348 | 3.59k | } |
349 | | |
350 | | } // namespace |