/src/vlc/modules/demux/mkv/Ebml_parser.cpp
Line | Count | Source |
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 | 5.64k | p_demux( p_demux ), |
35 | 5.64k | m_es( es ), |
36 | 5.64k | mi_level( 1 ), |
37 | 5.64k | m_got( NULL ), |
38 | 5.64k | mi_user_level( 1 ), |
39 | 5.64k | mb_keep( false ), |
40 | 5.64k | mb_dummy( var_InheritBool( p_demux, "mkv-use-dummy" ) ) |
41 | 5.64k | { |
42 | 5.64k | memset( m_el, 0, sizeof( *m_el ) * M_EL_MAXSIZE); |
43 | 5.64k | m_el[0] = el_start; |
44 | 5.64k | } |
45 | | |
46 | | EbmlParser::~EbmlParser( void ) |
47 | 5.64k | { |
48 | 5.64k | if( !mi_level ) |
49 | 2.20k | { |
50 | 2.20k | assert( !mb_keep ); |
51 | 2.20k | delete m_el[1]; |
52 | 2.20k | return; |
53 | 2.20k | } |
54 | | |
55 | 8.50k | for( int i = 1; i <= mi_level; i++ ) |
56 | 5.05k | { |
57 | 5.05k | if( !mb_keep ) |
58 | 5.04k | { |
59 | 5.04k | delete m_el[i]; |
60 | 5.04k | } |
61 | 5.05k | mb_keep = false; |
62 | 5.05k | } |
63 | 3.44k | } |
64 | | |
65 | | void EbmlParser::reconstruct( matroska_iostream_c* es, EbmlElement* el_start, demux_t* p_demux ) |
66 | 1.46k | { |
67 | 1.46k | this->~EbmlParser(); |
68 | | |
69 | 1.46k | new( static_cast<void*>( this ) ) EbmlParser( es, el_start, p_demux ); |
70 | 1.46k | } |
71 | | |
72 | | void EbmlParser::Up( void ) |
73 | 137k | { |
74 | 137k | if( mi_user_level == mi_level && m_el[mi_level] ) |
75 | 9 | { |
76 | 9 | msg_Warn( p_demux, "MKV/Ebml Parser: Up cannot escape itself" ); |
77 | 9 | } |
78 | | |
79 | 137k | mi_user_level--; |
80 | 137k | } |
81 | | |
82 | | void EbmlParser::Down( void ) |
83 | 138k | { |
84 | 138k | mi_user_level++; |
85 | 138k | mi_level++; |
86 | 138k | } |
87 | | |
88 | | void EbmlParser::Keep( void ) |
89 | 10.5k | { |
90 | 10.5k | mb_keep = true; |
91 | 10.5k | } |
92 | | |
93 | | void EbmlParser::Unkeep() |
94 | 4.44k | { |
95 | 4.44k | mb_keep = false; |
96 | 4.44k | } |
97 | | |
98 | | int EbmlParser::GetLevel( void ) const |
99 | 121k | { |
100 | 121k | return mi_user_level; |
101 | 121k | } |
102 | | |
103 | | void EbmlParser::Reset( demux_t *p_demux ) |
104 | 2.04k | { |
105 | 3.97k | while ( mi_level > 0) |
106 | 1.92k | { |
107 | 1.92k | delete m_el[mi_level]; |
108 | 1.92k | m_el[mi_level] = NULL; |
109 | 1.92k | mi_level--; |
110 | 1.92k | } |
111 | 2.04k | this->p_demux = p_demux; |
112 | 2.04k | mi_user_level = mi_level = 1; |
113 | | // a little faster and cleaner |
114 | 2.04k | m_es->I_O().setFilePointer( static_cast<EbmlMaster*>(m_el[0])->GetDataStart() ); |
115 | 2.04k | } |
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 | 0 | { |
122 | 0 | return EbmlNoGlobal_Context; |
123 | 0 | } |
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 | 588k | { |
136 | 588k | int i_ulev = 0; |
137 | 588k | int n_call = 0; |
138 | 588k | EbmlElement *p_prev = NULL; |
139 | 588k | bool do_read = true; |
140 | | |
141 | 588k | if( mi_user_level != mi_level ) |
142 | 42.5k | { |
143 | 42.5k | return NULL; |
144 | 42.5k | } |
145 | 546k | if( m_got ) |
146 | 91.8k | { |
147 | 91.8k | EbmlElement *ret = m_got; |
148 | 91.8k | m_got = NULL; |
149 | | |
150 | 91.8k | return ret; |
151 | 91.8k | } |
152 | | |
153 | 504k | next: |
154 | 504k | p_prev = m_el[mi_level]; |
155 | 504k | if( p_prev ) |
156 | 348k | p_prev->SkipData( *m_es, EBML_CONTEXT(p_prev) ); |
157 | | |
158 | 504k | uint64_t i_max_read; |
159 | 504k | if (mi_level == 0) |
160 | 0 | i_max_read = UINT64_MAX; |
161 | 504k | else if (!m_el[mi_level-1]->IsFiniteSize()) |
162 | 9.29k | i_max_read = UINT64_MAX; |
163 | 495k | else if (!p_prev) |
164 | 153k | { |
165 | 153k | i_max_read = m_el[mi_level-1]->GetSize(); |
166 | 153k | if (i_max_read == 0) |
167 | 791 | { |
168 | | /* check if the parent still has data to read */ |
169 | 791 | if ( mi_level > 1 && m_el[mi_level-2]->IsFiniteSize() && |
170 | 777 | m_el[mi_level-1]->GetEndPosition() < m_el[mi_level-2]->GetEndPosition() ) |
171 | 222 | { |
172 | 222 | uint64_t top = m_el[mi_level-2]->GetEndPosition(); |
173 | 222 | uint64_t bom = m_el[mi_level-1]->GetEndPosition(); |
174 | 222 | i_max_read = top - bom; |
175 | 222 | } |
176 | 791 | } |
177 | 153k | } |
178 | 341k | else { |
179 | 341k | size_t size_lvl = mi_level; |
180 | 447k | while ( size_lvl && m_el[size_lvl-1]->IsFiniteSize() && m_el[size_lvl]->IsFiniteSize() && |
181 | 446k | m_el[size_lvl-1]->GetEndPosition() == m_el[size_lvl]->GetEndPosition() ) |
182 | 105k | size_lvl--; |
183 | 341k | 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 | 341k | else if (size_lvl == 0 || !m_el[size_lvl-1]->IsFiniteSize() || !m_el[size_lvl]->IsFiniteSize() ) |
190 | 1.54k | i_max_read = UINT64_MAX; |
191 | 340k | else { |
192 | 340k | uint64_t top = m_el[size_lvl-1]->GetEndPosition(); |
193 | 340k | uint64_t bom = m_el[mi_level]->GetEndPosition(); |
194 | 340k | i_max_read = top - bom; |
195 | 340k | } |
196 | 341k | } |
197 | | |
198 | 504k | if (do_read) |
199 | 504k | { |
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 | 504k | EbmlSemanticContext e_context = |
203 | 504k | EBML_CTX_MASTER( EBML_CONTEXT(m_el[mi_level - 1]) ) == EBML_CTX_MASTER( Context_KaxSegmentVLC ) |
204 | 504k | ? Context_KaxSegmentVLC |
205 | 504k | : EBML_CONTEXT(m_el[mi_level - 1]); |
206 | | |
207 | | /* Ignore unknown level 0 or 1 elements */ |
208 | 504k | m_el[mi_level] = unlikely(!i_max_read) ? NULL : |
209 | 504k | m_es->FindNextElement( e_context, |
210 | 503k | i_ulev, i_max_read, |
211 | 503k | ( mb_dummy | (mi_level > 1) ), 1 ); |
212 | | |
213 | 504k | if( m_el[mi_level] == NULL ) |
214 | 14.3k | { |
215 | 14.3k | if ( i_max_read != UINT64_MAX && !m_es->I_O().IsEOF() ) |
216 | 11.8k | { |
217 | 11.8k | msg_Dbg(p_demux, "found nothing, go up"); |
218 | 11.8k | i_ulev = 1; |
219 | 11.8k | } |
220 | 14.3k | } |
221 | 504k | } |
222 | | |
223 | 504k | if( i_ulev > 0 ) |
224 | 102k | { |
225 | 102k | if( p_prev ) |
226 | 84.9k | { |
227 | 84.9k | if( !mb_keep ) |
228 | 82.1k | { |
229 | 82.1k | delete p_prev; |
230 | 82.1k | p_prev = NULL; |
231 | 82.1k | } |
232 | 84.9k | mb_keep = false; |
233 | 84.9k | } |
234 | 237k | while( i_ulev > 0 ) |
235 | 136k | { |
236 | 136k | if( mi_level == 1 ) |
237 | 2.31k | { |
238 | 2.31k | mi_level = 0; |
239 | 2.31k | return NULL; |
240 | 2.31k | } |
241 | | |
242 | 134k | delete m_el[mi_level - 1]; |
243 | 134k | m_got = m_el[mi_level -1] = m_el[mi_level]; |
244 | 134k | m_el[mi_level] = NULL; |
245 | | |
246 | 134k | mi_level--; |
247 | 134k | i_ulev--; |
248 | 134k | } |
249 | 100k | return NULL; |
250 | 102k | } |
251 | 401k | else if( m_el[mi_level] == NULL ) |
252 | 2.50k | { |
253 | 2.50k | msg_Dbg( p_demux,"MKV/Ebml Parser: m_el[mi_level] == NULL" ); |
254 | | /* go back to the end of the parent */ |
255 | 2.50k | if( p_prev ) |
256 | 1.93k | p_prev->SkipData( *m_es, EBML_CONTEXT(p_prev) ); |
257 | 2.50k | } |
258 | 398k | else if( m_el[mi_level]->IsDummy() && !mb_dummy ) |
259 | 52.5k | { |
260 | 52.5k | bool b_bad_position = false; |
261 | | /* We got a dummy element but don't want those... |
262 | | * perform a sanity check */ |
263 | 52.5k | 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 | 52.5k | if( mi_level > 1 && |
270 | 52.5k | p_prev && p_prev->IsFiniteSize() && |
271 | 47.2k | p_prev->GetEndPosition() != m_el[mi_level]->GetElementPosition() ) |
272 | 15.7k | { |
273 | 15.7k | msg_Err( p_demux, "Dummy Element at unexpected position... corrupted file?" ); |
274 | 15.7k | b_bad_position = true; |
275 | 15.7k | } |
276 | | |
277 | 52.5k | if( n_call < M_EL_MAXSIZE && !b_bad_position && m_el[mi_level]->IsFiniteSize() && |
278 | 22.4k | ( !m_el[mi_level-1]->IsFiniteSize() || |
279 | 18.6k | m_el[mi_level]->GetEndPosition() <= m_el[mi_level-1]->GetEndPosition() ) ) |
280 | 20.2k | { |
281 | | /* The element fits inside its upper element */ |
282 | 20.2k | msg_Warn( p_demux, "Dummy element found %" PRIu64 "... skipping it", |
283 | 20.2k | m_el[mi_level]->GetElementPosition() ); |
284 | 20.2k | if( p_prev ) |
285 | 15.2k | { |
286 | 15.2k | if( !mb_keep ) |
287 | 15.1k | { |
288 | 15.1k | delete p_prev; |
289 | 15.1k | p_prev = NULL; |
290 | 15.1k | } |
291 | 15.2k | mb_keep = false; |
292 | 15.2k | } |
293 | 20.2k | n_call++; |
294 | 20.2k | goto next; |
295 | 20.2k | } |
296 | 32.3k | else |
297 | 32.3k | { |
298 | | /* Too large, misplaced or M_EL_MAXSIZE successive dummy elements */ |
299 | 32.3k | msg_Err( p_demux, |
300 | 32.3k | "Dummy element too large or misplaced at %" PRIu64 "... skipping to next upper element", |
301 | 32.3k | m_el[mi_level]->GetElementPosition() ); |
302 | | |
303 | 32.3k | if( mi_level >= 1 && |
304 | 32.3k | m_el[mi_level]->IsFiniteSize() && m_el[mi_level-1]->IsFiniteSize() && |
305 | 31.9k | m_el[mi_level]->GetElementPosition() >= m_el[mi_level-1]->GetEndPosition() ) |
306 | 2.66k | { |
307 | 2.66k | msg_Err(p_demux, "This element is outside its known parent... upping level"); |
308 | 2.66k | delete m_el[mi_level - 1]; |
309 | 2.66k | m_got = m_el[mi_level -1] = m_el[mi_level]; |
310 | 2.66k | m_el[mi_level] = NULL; |
311 | | |
312 | 2.66k | mi_level--; |
313 | 2.66k | return NULL; |
314 | 2.66k | } |
315 | | |
316 | 29.7k | if( p_prev ) |
317 | 29.7k | { |
318 | 29.7k | if( !mb_keep ) |
319 | 29.5k | { |
320 | 29.5k | delete p_prev; |
321 | 29.5k | p_prev = NULL; |
322 | 29.5k | } |
323 | 29.7k | mb_keep = false; |
324 | 29.7k | } |
325 | 29.7k | goto next; |
326 | 32.3k | } |
327 | 52.5k | } |
328 | | |
329 | 348k | if( p_prev ) |
330 | 215k | { |
331 | 215k | if( !mb_keep ) |
332 | 208k | { |
333 | 208k | delete p_prev; |
334 | 208k | } |
335 | 215k | mb_keep = false; |
336 | 215k | } |
337 | 348k | return m_el[mi_level]; |
338 | 504k | } |
339 | | |
340 | | bool EbmlParser::IsTopPresent( EbmlElement *el ) const |
341 | 89.4k | { |
342 | 178k | for( int i = 0; i < mi_level; i++ ) |
343 | 178k | { |
344 | 178k | if( m_el[i] && m_el[i] == el ) |
345 | 89.4k | return true; |
346 | 178k | } |
347 | 0 | return false; |
348 | 89.4k | } |
349 | | |
350 | | } // namespace |