/src/qpdf/libqpdf/QPDFParser.cc
Line | Count | Source |
1 | | #include <qpdf/QPDFParser.hh> |
2 | | |
3 | | #include <qpdf/QPDF.hh> |
4 | | #include <qpdf/QPDFObjGen.hh> |
5 | | #include <qpdf/QPDFObjectHandle.hh> |
6 | | #include <qpdf/QPDFObject_private.hh> |
7 | | #include <qpdf/QPDFTokenizer_private.hh> |
8 | | #include <qpdf/QTC.hh> |
9 | | #include <qpdf/QUtil.hh> |
10 | | |
11 | | #include <memory> |
12 | | |
13 | | using namespace std::literals; |
14 | | using namespace qpdf; |
15 | | |
16 | | using ObjectPtr = std::shared_ptr<QPDFObject>; |
17 | | |
18 | | static uint32_t const& max_nesting{global::Limits::parser_max_nesting()}; |
19 | | |
20 | | // The ParseGuard class allows QPDFParser to detect re-entrant parsing. It also provides |
21 | | // special access to allow the parser to create unresolved objects and dangling references. |
22 | | class QPDF::Doc::ParseGuard |
23 | | { |
24 | | public: |
25 | | ParseGuard(QPDF* qpdf) : |
26 | 972k | objects(qpdf ? &qpdf->m->objects : nullptr) |
27 | 972k | { |
28 | 972k | if (objects) { |
29 | 972k | objects->inParse(true); |
30 | 972k | } |
31 | 972k | } |
32 | | |
33 | | static std::shared_ptr<QPDFObject> |
34 | | getObject(QPDF* qpdf, int id, int gen, bool parse_pdf) |
35 | 452k | { |
36 | 452k | return qpdf->m->objects.getObjectForParser(id, gen, parse_pdf); |
37 | 452k | } |
38 | | |
39 | | ~ParseGuard() |
40 | 972k | { |
41 | 972k | if (objects) { |
42 | 972k | objects->inParse(false); |
43 | 972k | } |
44 | 972k | } |
45 | | QPDF::Doc::Objects* objects; |
46 | | }; |
47 | | |
48 | | using ParseGuard = QPDF::Doc::ParseGuard; |
49 | | |
50 | | QPDFObjectHandle |
51 | | QPDFParser::parse(InputSource& input, std::string const& object_description, QPDF* context) |
52 | 0 | { |
53 | 0 | qpdf::Tokenizer tokenizer; |
54 | 0 | if (auto result = QPDFParser( |
55 | 0 | input, |
56 | 0 | make_description(input.getName(), object_description), |
57 | 0 | object_description, |
58 | 0 | tokenizer, |
59 | 0 | nullptr, |
60 | 0 | context, |
61 | 0 | false) |
62 | 0 | .parse()) { |
63 | 0 | return result; |
64 | 0 | } |
65 | 0 | return {QPDFObject::create<QPDF_Null>()}; |
66 | 0 | } |
67 | | |
68 | | QPDFObjectHandle |
69 | | QPDFParser::parse_content( |
70 | | InputSource& input, |
71 | | std::shared_ptr<QPDFObject::Description> sp_description, |
72 | | qpdf::Tokenizer& tokenizer, |
73 | | QPDF* context) |
74 | 793k | { |
75 | 793k | static const std::string content("content"); // GCC12 - make constexpr |
76 | 793k | auto p = QPDFParser( |
77 | 793k | input, |
78 | 793k | std::move(sp_description), |
79 | 793k | content, |
80 | 793k | tokenizer, |
81 | 793k | nullptr, |
82 | 793k | context, |
83 | 793k | true, |
84 | 793k | 0, |
85 | 793k | 0, |
86 | 793k | context && context->doc().reconstructed_xref()); |
87 | 793k | auto result = p.parse(true); |
88 | 793k | if (result || p.empty_) { |
89 | | // In content stream mode, leave object uninitialized to indicate EOF |
90 | 777k | return result; |
91 | 777k | } |
92 | 16.1k | return {QPDFObject::create<QPDF_Null>()}; |
93 | 793k | } |
94 | | |
95 | | QPDFObjectHandle |
96 | | QPDFParser::parse( |
97 | | InputSource& input, |
98 | | std::string const& object_description, |
99 | | QPDFTokenizer& tokenizer, |
100 | | bool& empty, |
101 | | QPDFObjectHandle::StringDecrypter* decrypter, |
102 | | QPDF* context) |
103 | 0 | { |
104 | | // ABI: This parse overload is only used by the deprecated QPDFObjectHandle::parse. It is the |
105 | | // only user of the 'empty' member. When removing this overload also remove 'empty'. |
106 | 0 | auto p = QPDFParser( |
107 | 0 | input, |
108 | 0 | make_description(input.getName(), object_description), |
109 | 0 | object_description, |
110 | 0 | *tokenizer.m, |
111 | 0 | decrypter, |
112 | 0 | context, |
113 | 0 | false); |
114 | 0 | auto result = p.parse(); |
115 | 0 | empty = p.empty_; |
116 | 0 | if (result) { |
117 | 0 | return result; |
118 | 0 | } |
119 | 0 | return {QPDFObject::create<QPDF_Null>()}; |
120 | 0 | } |
121 | | |
122 | | QPDFObjectHandle |
123 | | QPDFParser::parse( |
124 | | InputSource& input, |
125 | | std::string const& object_description, |
126 | | qpdf::Tokenizer& tokenizer, |
127 | | QPDFObjectHandle::StringDecrypter* decrypter, |
128 | | QPDF& context, |
129 | | bool sanity_checks) |
130 | 155k | { |
131 | 155k | return QPDFParser( |
132 | 155k | input, |
133 | 155k | make_description(input.getName(), object_description), |
134 | 155k | object_description, |
135 | 155k | tokenizer, |
136 | 155k | decrypter, |
137 | 155k | &context, |
138 | 155k | true, |
139 | 155k | 0, |
140 | 155k | 0, |
141 | 155k | sanity_checks) |
142 | 155k | .parse(); |
143 | 155k | } |
144 | | |
145 | | QPDFObjectHandle |
146 | | QPDFParser::parse( |
147 | | is::OffsetBuffer& input, int stream_id, int obj_id, qpdf::Tokenizer& tokenizer, QPDF& context) |
148 | 23.1k | { |
149 | 23.1k | return QPDFParser( |
150 | 23.1k | input, |
151 | 23.1k | std::make_shared<QPDFObject::Description>( |
152 | 23.1k | QPDFObject::ObjStreamDescr(stream_id, obj_id)), |
153 | 23.1k | "", |
154 | 23.1k | tokenizer, |
155 | 23.1k | nullptr, |
156 | 23.1k | &context, |
157 | 23.1k | true, |
158 | 23.1k | stream_id, |
159 | 23.1k | obj_id) |
160 | 23.1k | .parse(); |
161 | 23.1k | } |
162 | | |
163 | | QPDFObjectHandle |
164 | | QPDFParser::parse(bool content_stream) |
165 | 972k | { |
166 | 972k | try { |
167 | 972k | return parse_first(content_stream); |
168 | 972k | } catch (Error&) { |
169 | 8.06k | return {}; |
170 | 8.06k | } catch (QPDFExc& e) { |
171 | 3.66k | throw e; |
172 | 3.66k | } catch (std::logic_error& e) { |
173 | 1 | throw e; |
174 | 1.69k | } catch (std::exception& e) { |
175 | 1.69k | warn("treating object as null because of error during parsing: "s + e.what()); |
176 | 1.69k | return {}; |
177 | 1.69k | } |
178 | 972k | } |
179 | | |
180 | | QPDFObjectHandle |
181 | | QPDFParser::parse_first(bool content_stream) |
182 | 972k | { |
183 | | // This method must take care not to resolve any objects. Don't check the type of any object |
184 | | // without first ensuring that it is a direct object. Otherwise, doing so may have the side |
185 | | // effect of reading the object and changing the file pointer. If you do this, it will cause a |
186 | | // logic error to be thrown from QPDF::inParse(). |
187 | | |
188 | 972k | QPDF::Doc::ParseGuard pg(context); |
189 | 972k | start = input.tell(); |
190 | 972k | if (!tokenizer.nextToken(input, object_description)) { |
191 | 10.0k | warn(tokenizer.getErrorMessage()); |
192 | 10.0k | } |
193 | | |
194 | 972k | switch (tokenizer.getType()) { |
195 | 4.70k | case QPDFTokenizer::tt_eof: |
196 | 4.70k | if (content_stream) { |
197 | | // In content stream mode, leave object uninitialized to indicate EOF |
198 | 3.88k | empty_ = true; |
199 | 3.88k | return {}; |
200 | 3.88k | } |
201 | 819 | warn("unexpected EOF"); |
202 | 819 | return {}; |
203 | | |
204 | 9.90k | case QPDFTokenizer::tt_bad: |
205 | 9.90k | return {}; |
206 | | |
207 | 761 | case QPDFTokenizer::tt_brace_open: |
208 | 1.93k | case QPDFTokenizer::tt_brace_close: |
209 | 1.93k | warn("treating unexpected brace token as null"); |
210 | 1.93k | return {}; |
211 | | |
212 | 3.47k | case QPDFTokenizer::tt_array_close: |
213 | 3.47k | warn("treating unexpected array close token as null"); |
214 | 3.47k | return {}; |
215 | | |
216 | 855 | case QPDFTokenizer::tt_dict_close: |
217 | 855 | warn("unexpected dictionary close token"); |
218 | 855 | return {}; |
219 | | |
220 | 14.9k | case QPDFTokenizer::tt_array_open: |
221 | 164k | case QPDFTokenizer::tt_dict_open: |
222 | 164k | stack.clear(); |
223 | 164k | stack.emplace_back( |
224 | 164k | input, |
225 | 164k | (tokenizer.getType() == QPDFTokenizer::tt_array_open) ? st_array : st_dictionary_key); |
226 | 164k | frame = &stack.back(); |
227 | 164k | return parseRemainder(content_stream); |
228 | | |
229 | 1.49k | case QPDFTokenizer::tt_bool: |
230 | 1.49k | return withDescription<QPDF_Bool>(tokenizer.getValue() == "true"); |
231 | | |
232 | 312 | case QPDFTokenizer::tt_null: |
233 | 312 | return {QPDFObject::create<QPDF_Null>()}; |
234 | | |
235 | 176k | case QPDFTokenizer::tt_integer: |
236 | 176k | return withDescription<QPDF_Integer>(QUtil::string_to_ll(tokenizer.getValue().c_str())); |
237 | | |
238 | 94.0k | case QPDFTokenizer::tt_real: |
239 | 94.0k | return withDescription<QPDF_Real>(tokenizer.getValue()); |
240 | | |
241 | 86.7k | case QPDFTokenizer::tt_name: |
242 | 86.7k | return withDescription<QPDF_Name>(tokenizer.getValue()); |
243 | | |
244 | 419k | case QPDFTokenizer::tt_word: |
245 | 419k | { |
246 | 419k | auto const& value = tokenizer.getValue(); |
247 | 419k | if (content_stream) { |
248 | 412k | return withDescription<QPDF_Operator>(value); |
249 | 412k | } else if (value == "endobj") { |
250 | | // We just saw endobj without having read anything. Nothing in the PDF spec appears |
251 | | // to allow empty objects, but they have been encountered in actual PDF files and |
252 | | // Adobe Reader appears to ignore them. Treat this as a null and do not move the |
253 | | // input source's offset. |
254 | 158 | empty_ = true; |
255 | 158 | input.seek(input.getLastOffset(), SEEK_SET); |
256 | 158 | if (!content_stream) { |
257 | 158 | warn("empty object treated as null"); |
258 | 158 | } |
259 | 158 | return {}; |
260 | 7.10k | } else { |
261 | 7.10k | warn("unknown token while reading object; treating as string"); |
262 | 7.10k | return withDescription<QPDF_String>(value); |
263 | 7.10k | } |
264 | 419k | } |
265 | | |
266 | 7.31k | case QPDFTokenizer::tt_string: |
267 | 7.31k | if (decrypter) { |
268 | 280 | std::string s{tokenizer.getValue()}; |
269 | 280 | decrypter->decryptString(s); |
270 | 280 | return withDescription<QPDF_String>(s); |
271 | 7.03k | } else { |
272 | 7.03k | return withDescription<QPDF_String>(tokenizer.getValue()); |
273 | 7.03k | } |
274 | | |
275 | 0 | default: |
276 | 0 | warn("treating unknown token type as null while reading object"); |
277 | 0 | return {}; |
278 | 972k | } |
279 | 972k | } |
280 | | |
281 | | QPDFObjectHandle |
282 | | QPDFParser::parseRemainder(bool content_stream) |
283 | 164k | { |
284 | | // This method must take care not to resolve any objects. Don't check the type of any object |
285 | | // without first ensuring that it is a direct object. Otherwise, doing so may have the side |
286 | | // effect of reading the object and changing the file pointer. If you do this, it will cause a |
287 | | // logic error to be thrown from QPDF::inParse(). |
288 | | |
289 | 164k | bad_count = 0; |
290 | 164k | bool b_contents = false; |
291 | | |
292 | 8.52M | while (true) { |
293 | 8.51M | if (!tokenizer.nextToken(input, object_description)) { |
294 | 49.9k | warn(tokenizer.getErrorMessage()); |
295 | 49.9k | } |
296 | 8.51M | ++good_count; // optimistically |
297 | | |
298 | 8.51M | if (int_count != 0) { |
299 | | // Special handling of indirect references. Treat integer tokens as part of an indirect |
300 | | // reference until proven otherwise. |
301 | 3.51M | if (tokenizer.getType() == QPDFTokenizer::tt_integer) { |
302 | 2.77M | if (++int_count > 2) { |
303 | | // Process the oldest buffered integer. |
304 | 2.23M | addInt(int_count); |
305 | 2.23M | } |
306 | 2.77M | last_offset_buffer[int_count % 2] = input.getLastOffset(); |
307 | 2.77M | int_buffer[int_count % 2] = QUtil::string_to_ll(tokenizer.getValue().c_str()); |
308 | 2.77M | continue; |
309 | | |
310 | 2.77M | } else if ( |
311 | 742k | int_count >= 2 && tokenizer.getType() == QPDFTokenizer::tt_word && |
312 | 479k | tokenizer.getValue() == "R") { |
313 | 455k | if (!context) { |
314 | 0 | throw std::logic_error( |
315 | 0 | "QPDFParser::parse called without context on an object with indirect " |
316 | 0 | "references"); |
317 | 0 | } |
318 | 455k | auto id = QIntC::to_int(int_buffer[(int_count - 1) % 2]); |
319 | 455k | auto gen = QIntC::to_int(int_buffer[(int_count) % 2]); |
320 | 455k | if (!(id < 1 || gen < 0 || gen >= 65535)) { |
321 | 452k | add(ParseGuard::getObject(context, id, gen, parse_pdf)); |
322 | 452k | } else { |
323 | 3.23k | add_bad_null( |
324 | 3.23k | "treating bad indirect reference (" + std::to_string(id) + " " + |
325 | 3.23k | std::to_string(gen) + " R) as null"); |
326 | 3.23k | } |
327 | 455k | int_count = 0; |
328 | 455k | continue; |
329 | | |
330 | 455k | } else if (int_count > 0) { |
331 | | // Process the buffered integers before processing the current token. |
332 | 286k | if (int_count > 1) { |
333 | 85.4k | addInt(int_count - 1); |
334 | 85.4k | } |
335 | 286k | addInt(int_count); |
336 | 286k | int_count = 0; |
337 | 286k | } |
338 | 3.51M | } |
339 | | |
340 | 5.28M | switch (tokenizer.getType()) { |
341 | 7.89k | case QPDFTokenizer::tt_eof: |
342 | 7.89k | warn("parse error while reading object"); |
343 | 7.89k | if (content_stream) { |
344 | | // In content stream mode, leave object uninitialized to indicate EOF |
345 | 235 | return {}; |
346 | 235 | } |
347 | 7.66k | warn("unexpected EOF"); |
348 | 7.66k | return {}; |
349 | | |
350 | 42.9k | case QPDFTokenizer::tt_bad: |
351 | 42.9k | check_too_many_bad_tokens(); |
352 | 42.9k | addNull(); |
353 | 42.9k | continue; |
354 | | |
355 | 3.92k | case QPDFTokenizer::tt_brace_open: |
356 | 5.82k | case QPDFTokenizer::tt_brace_close: |
357 | 5.82k | add_bad_null("treating unexpected brace token as null"); |
358 | 5.82k | continue; |
359 | | |
360 | 167k | case QPDFTokenizer::tt_array_close: |
361 | 167k | if (frame->state == st_array) { |
362 | 164k | auto object = frame->null_count > 100 |
363 | 164k | ? QPDFObject::create<QPDF_Array>(std::move(frame->olist), true) |
364 | 164k | : QPDFObject::create<QPDF_Array>(std::move(frame->olist)); |
365 | 164k | setDescription(object, frame->offset - 1); |
366 | | // The `offset` points to the next of "[". Set the rewind offset to point to the |
367 | | // beginning of "[". This has been explicitly tested with whitespace surrounding the |
368 | | // array start delimiter. getLastOffset points to the array end token and therefore |
369 | | // can't be used here. |
370 | 164k | if (stack.size() <= 1) { |
371 | 8.09k | return object; |
372 | 8.09k | } |
373 | 156k | stack.pop_back(); |
374 | 156k | frame = &stack.back(); |
375 | 156k | add(std::move(object)); |
376 | 156k | } else { |
377 | 2.81k | if (sanity_checks) { |
378 | | // During sanity checks, assume nesting of containers is corrupt and object is |
379 | | // unusable. |
380 | 2.33k | warn("unexpected array close token; giving up on reading object"); |
381 | 2.33k | return {}; |
382 | 2.33k | } |
383 | 480 | add_bad_null("treating unexpected array close token as null"); |
384 | 480 | } |
385 | 156k | continue; |
386 | | |
387 | 221k | case QPDFTokenizer::tt_dict_close: |
388 | 221k | if (frame->state <= st_dictionary_value) { |
389 | | // Attempt to recover more or less gracefully from invalid dictionaries. |
390 | 218k | auto& dict = frame->dict; |
391 | | |
392 | 218k | if (frame->state == st_dictionary_value) { |
393 | 9.45k | warn( |
394 | 9.45k | frame->offset, |
395 | 9.45k | "dictionary ended prematurely; using null as value for last key"); |
396 | 9.45k | dict[frame->key] = QPDFObject::create<QPDF_Null>(); |
397 | 9.45k | } |
398 | 218k | if (!frame->olist.empty()) { |
399 | 60.7k | if (sanity_checks) { |
400 | 59.1k | warn( |
401 | 59.1k | frame->offset, |
402 | 59.1k | "expected dictionary keys but found non-name objects; ignoring"); |
403 | 59.1k | } else { |
404 | 1.63k | fixMissingKeys(); |
405 | 1.63k | } |
406 | 60.7k | } |
407 | | |
408 | 218k | if (!frame->contents_string.empty() && dict.contains("/Type") && |
409 | 145 | dict["/Type"].isNameAndEquals("/Sig") && dict.contains("/ByteRange") && |
410 | 53 | dict.contains("/Contents") && dict["/Contents"].isString()) { |
411 | 43 | dict["/Contents"] = QPDFObjectHandle::newString(frame->contents_string); |
412 | 43 | dict["/Contents"].setParsedOffset(frame->contents_offset); |
413 | 43 | } |
414 | 218k | auto object = QPDFObject::create<QPDF_Dictionary>(std::move(dict)); |
415 | 218k | setDescription(object, frame->offset - 2); |
416 | | // The `offset` points to the next of "<<". Set the rewind offset to point to the |
417 | | // beginning of "<<". This has been explicitly tested with whitespace surrounding |
418 | | // the dictionary start delimiter. getLastOffset points to the dictionary end token |
419 | | // and therefore can't be used here. |
420 | 218k | if (stack.size() <= 1) { |
421 | 129k | return object; |
422 | 129k | } |
423 | 89.0k | stack.pop_back(); |
424 | 89.0k | frame = &stack.back(); |
425 | 89.0k | add(std::move(object)); |
426 | 89.0k | } else { |
427 | 2.50k | if (sanity_checks) { |
428 | | // During sanity checks, assume nesting of containers is corrupt and object is |
429 | | // unusable. |
430 | 2.02k | warn("unexpected dictionary close token; giving up on reading object"); |
431 | 2.02k | return {}; |
432 | 2.02k | } |
433 | 477 | add_bad_null("unexpected dictionary close token"); |
434 | 477 | } |
435 | 89.5k | continue; |
436 | | |
437 | 361k | case QPDFTokenizer::tt_array_open: |
438 | 474k | case QPDFTokenizer::tt_dict_open: |
439 | 474k | if (stack.size() > max_nesting) { |
440 | 337 | limits_error( |
441 | 337 | "parser-max-nesting", "ignoring excessively deeply nested data structure"); |
442 | 337 | } |
443 | 474k | b_contents = false; |
444 | 474k | stack.emplace_back( |
445 | 474k | input, |
446 | 474k | (tokenizer.getType() == QPDFTokenizer::tt_array_open) ? st_array |
447 | 474k | : st_dictionary_key); |
448 | 474k | frame = &stack.back(); |
449 | 474k | continue; |
450 | | |
451 | 18.1k | case QPDFTokenizer::tt_bool: |
452 | 18.1k | addScalar<QPDF_Bool>(tokenizer.getValue() == "true"); |
453 | 18.1k | continue; |
454 | | |
455 | 82.0k | case QPDFTokenizer::tt_null: |
456 | 82.0k | addNull(); |
457 | 82.0k | continue; |
458 | | |
459 | 1.09M | case QPDFTokenizer::tt_integer: |
460 | 1.09M | if (!content_stream) { |
461 | | // Buffer token in case it is part of an indirect reference. |
462 | 742k | last_offset_buffer[1] = input.getLastOffset(); |
463 | 742k | int_buffer[1] = QUtil::string_to_ll(tokenizer.getValue().c_str()); |
464 | 742k | int_count = 1; |
465 | 742k | } else { |
466 | 350k | addScalar<QPDF_Integer>(QUtil::string_to_ll(tokenizer.getValue().c_str())); |
467 | 350k | } |
468 | 1.09M | continue; |
469 | | |
470 | 164k | case QPDFTokenizer::tt_real: |
471 | 164k | addScalar<QPDF_Real>(tokenizer.getValue()); |
472 | 164k | continue; |
473 | | |
474 | 2.18M | case QPDFTokenizer::tt_name: |
475 | 2.18M | if (frame->state == st_dictionary_key) { |
476 | 959k | frame->key = tokenizer.getValue(); |
477 | 959k | frame->state = st_dictionary_value; |
478 | 959k | b_contents = decrypter && frame->key == "/Contents"; |
479 | 959k | continue; |
480 | 1.22M | } else { |
481 | 1.22M | addScalar<QPDF_Name>(tokenizer.getValue()); |
482 | 1.22M | } |
483 | 1.22M | continue; |
484 | | |
485 | 1.22M | case QPDFTokenizer::tt_word: |
486 | 470k | if (content_stream) { |
487 | 227k | addScalar<QPDF_Operator>(tokenizer.getValue()); |
488 | 227k | continue; |
489 | 227k | } |
490 | | |
491 | 242k | if (sanity_checks) { |
492 | 237k | if (tokenizer.getValue() == "endobj" || tokenizer.getValue() == "endstream") { |
493 | | // During sanity checks, assume an unexpected endobj or endstream indicates that |
494 | | // we are parsing past the end of the object. |
495 | 3.56k | warn( |
496 | 3.56k | "unexpected 'endobj' or 'endstream' while reading object; giving up on " |
497 | 3.56k | "reading object"); |
498 | 3.56k | return {}; |
499 | 3.56k | } |
500 | | |
501 | 234k | add_bad_null("unknown token while reading object; treating as null"); |
502 | 234k | continue; |
503 | 237k | } |
504 | | |
505 | 5.12k | warn("unknown token while reading object; treating as string"); |
506 | 5.12k | check_too_many_bad_tokens(); |
507 | 5.12k | addScalar<QPDF_String>(tokenizer.getValue()); |
508 | | |
509 | 5.12k | continue; |
510 | | |
511 | 352k | case QPDFTokenizer::tt_string: |
512 | 352k | { |
513 | 352k | auto const& val = tokenizer.getValue(); |
514 | 352k | if (decrypter) { |
515 | 75.6k | if (b_contents) { |
516 | 518 | frame->contents_string = val; |
517 | 518 | frame->contents_offset = input.getLastOffset(); |
518 | 518 | b_contents = false; |
519 | 518 | } |
520 | 75.6k | std::string s{val}; |
521 | 75.6k | decrypter->decryptString(s); |
522 | 75.6k | addScalar<QPDF_String>(s); |
523 | 276k | } else { |
524 | 276k | addScalar<QPDF_String>(val); |
525 | 276k | } |
526 | 352k | } |
527 | 352k | continue; |
528 | | |
529 | 0 | default: |
530 | 0 | add_bad_null("treating unknown token type as null while reading object"); |
531 | 5.28M | } |
532 | 5.28M | } |
533 | 164k | } |
534 | | |
535 | | void |
536 | | QPDFParser::add(std::shared_ptr<QPDFObject>&& obj) |
537 | 5.64M | { |
538 | 5.64M | if (frame->state != st_dictionary_value) { |
539 | | // If state is st_dictionary_key then there is a missing key. Push onto olist for |
540 | | // processing once the tt_dict_close token has been found. |
541 | 4.74M | frame->olist.emplace_back(std::move(obj)); |
542 | 4.74M | } else { |
543 | 901k | if (auto res = frame->dict.insert_or_assign(frame->key, std::move(obj)); !res.second) { |
544 | 53.8k | warnDuplicateKey(); |
545 | 53.8k | } |
546 | 901k | frame->state = st_dictionary_key; |
547 | 901k | } |
548 | 5.64M | } |
549 | | |
550 | | void |
551 | | QPDFParser::addNull() |
552 | 360k | { |
553 | 360k | const static ObjectPtr null_obj = QPDFObject::create<QPDF_Null>(); |
554 | | |
555 | 360k | if (frame->state != st_dictionary_value) { |
556 | | // If state is st_dictionary_key then there is a missing key. Push onto olist for |
557 | | // processing once the tt_dict_close token has been found. |
558 | 320k | frame->olist.emplace_back(null_obj); |
559 | 320k | } else { |
560 | 39.9k | if (auto res = frame->dict.insert_or_assign(frame->key, null_obj); !res.second) { |
561 | 3.41k | warnDuplicateKey(); |
562 | 3.41k | } |
563 | 39.9k | frame->state = st_dictionary_key; |
564 | 39.9k | } |
565 | 360k | ++frame->null_count; |
566 | 360k | } |
567 | | |
568 | | void |
569 | | QPDFParser::add_bad_null(std::string const& msg) |
570 | 243k | { |
571 | 243k | warn(msg); |
572 | 243k | check_too_many_bad_tokens(); |
573 | 243k | addNull(); |
574 | 243k | } |
575 | | |
576 | | void |
577 | | QPDFParser::addInt(int count) |
578 | 2.60M | { |
579 | 2.60M | auto obj = QPDFObject::create<QPDF_Integer>(int_buffer[count % 2]); |
580 | 2.60M | obj->setDescription(context, description, last_offset_buffer[count % 2]); |
581 | 2.60M | add(std::move(obj)); |
582 | 2.60M | } |
583 | | |
584 | | template <typename T, typename... Args> |
585 | | void |
586 | | QPDFParser::addScalar(Args&&... args) |
587 | 2.34M | { |
588 | 2.34M | auto limit = Limits::parser_max_container_size(bad_count || sanity_checks); |
589 | 2.34M | if (frame->olist.size() >= limit || frame->dict.size() >= limit) { |
590 | | // Stop adding scalars. We are going to abort when the close token or a bad token is |
591 | | // encountered. |
592 | 276 | max_bad_count = 1; |
593 | 276 | check_too_many_bad_tokens(); // always throws Error() |
594 | 276 | } |
595 | 2.34M | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); |
596 | 2.34M | obj->setDescription(context, description, input.getLastOffset()); |
597 | 2.34M | add(std::move(obj)); |
598 | 2.34M | } void QPDFParser::addScalar<QPDF_Bool, bool>(bool&&) Line | Count | Source | 587 | 18.1k | { | 588 | 18.1k | auto limit = Limits::parser_max_container_size(bad_count || sanity_checks); | 589 | 18.1k | if (frame->olist.size() >= limit || frame->dict.size() >= limit) { | 590 | | // Stop adding scalars. We are going to abort when the close token or a bad token is | 591 | | // encountered. | 592 | 37 | max_bad_count = 1; | 593 | 37 | check_too_many_bad_tokens(); // always throws Error() | 594 | 37 | } | 595 | 18.1k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 596 | 18.1k | obj->setDescription(context, description, input.getLastOffset()); | 597 | 18.1k | add(std::move(obj)); | 598 | 18.1k | } |
void QPDFParser::addScalar<QPDF_Integer, long long>(long long&&) Line | Count | Source | 587 | 350k | { | 588 | 350k | auto limit = Limits::parser_max_container_size(bad_count || sanity_checks); | 589 | 350k | if (frame->olist.size() >= limit || frame->dict.size() >= limit) { | 590 | | // Stop adding scalars. We are going to abort when the close token or a bad token is | 591 | | // encountered. | 592 | 22 | max_bad_count = 1; | 593 | 22 | check_too_many_bad_tokens(); // always throws Error() | 594 | 22 | } | 595 | 350k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 596 | 350k | obj->setDescription(context, description, input.getLastOffset()); | 597 | 350k | add(std::move(obj)); | 598 | 350k | } |
void QPDFParser::addScalar<QPDF_Real, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&>(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) Line | Count | Source | 587 | 164k | { | 588 | 164k | auto limit = Limits::parser_max_container_size(bad_count || sanity_checks); | 589 | 164k | if (frame->olist.size() >= limit || frame->dict.size() >= limit) { | 590 | | // Stop adding scalars. We are going to abort when the close token or a bad token is | 591 | | // encountered. | 592 | 30 | max_bad_count = 1; | 593 | 30 | check_too_many_bad_tokens(); // always throws Error() | 594 | 30 | } | 595 | 164k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 596 | 164k | obj->setDescription(context, description, input.getLastOffset()); | 597 | 164k | add(std::move(obj)); | 598 | 164k | } |
void QPDFParser::addScalar<QPDF_Name, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&>(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) Line | Count | Source | 587 | 1.22M | { | 588 | 1.22M | auto limit = Limits::parser_max_container_size(bad_count || sanity_checks); | 589 | 1.22M | if (frame->olist.size() >= limit || frame->dict.size() >= limit) { | 590 | | // Stop adding scalars. We are going to abort when the close token or a bad token is | 591 | | // encountered. | 592 | 91 | max_bad_count = 1; | 593 | 91 | check_too_many_bad_tokens(); // always throws Error() | 594 | 91 | } | 595 | 1.22M | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 596 | 1.22M | obj->setDescription(context, description, input.getLastOffset()); | 597 | 1.22M | add(std::move(obj)); | 598 | 1.22M | } |
void QPDFParser::addScalar<QPDF_Operator, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&>(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) Line | Count | Source | 587 | 227k | { | 588 | 227k | auto limit = Limits::parser_max_container_size(bad_count || sanity_checks); | 589 | 227k | if (frame->olist.size() >= limit || frame->dict.size() >= limit) { | 590 | | // Stop adding scalars. We are going to abort when the close token or a bad token is | 591 | | // encountered. | 592 | 35 | max_bad_count = 1; | 593 | 35 | check_too_many_bad_tokens(); // always throws Error() | 594 | 35 | } | 595 | 227k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 596 | 227k | obj->setDescription(context, description, input.getLastOffset()); | 597 | 227k | add(std::move(obj)); | 598 | 227k | } |
void QPDFParser::addScalar<QPDF_String, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&>(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) Line | Count | Source | 587 | 281k | { | 588 | 281k | auto limit = Limits::parser_max_container_size(bad_count || sanity_checks); | 589 | 281k | if (frame->olist.size() >= limit || frame->dict.size() >= limit) { | 590 | | // Stop adding scalars. We are going to abort when the close token or a bad token is | 591 | | // encountered. | 592 | 51 | max_bad_count = 1; | 593 | 51 | check_too_many_bad_tokens(); // always throws Error() | 594 | 51 | } | 595 | 281k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 596 | 281k | obj->setDescription(context, description, input.getLastOffset()); | 597 | 281k | add(std::move(obj)); | 598 | 281k | } |
void QPDFParser::addScalar<QPDF_String, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >&>(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >&) Line | Count | Source | 587 | 75.5k | { | 588 | 75.5k | auto limit = Limits::parser_max_container_size(bad_count || sanity_checks); | 589 | 75.5k | if (frame->olist.size() >= limit || frame->dict.size() >= limit) { | 590 | | // Stop adding scalars. We are going to abort when the close token or a bad token is | 591 | | // encountered. | 592 | 10 | max_bad_count = 1; | 593 | 10 | check_too_many_bad_tokens(); // always throws Error() | 594 | 10 | } | 595 | 75.5k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 596 | 75.5k | obj->setDescription(context, description, input.getLastOffset()); | 597 | 75.5k | add(std::move(obj)); | 598 | 75.5k | } |
|
599 | | |
600 | | template <typename T, typename... Args> |
601 | | QPDFObjectHandle |
602 | | QPDFParser::withDescription(Args&&... args) |
603 | 784k | { |
604 | 784k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); |
605 | 784k | obj->setDescription(context, description, start); |
606 | 784k | return {obj}; |
607 | 784k | } QPDFObjectHandle QPDFParser::withDescription<QPDF_Bool, bool>(bool&&) Line | Count | Source | 603 | 1.49k | { | 604 | 1.49k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 605 | 1.49k | obj->setDescription(context, description, start); | 606 | 1.49k | return {obj}; | 607 | 1.49k | } |
QPDFObjectHandle QPDFParser::withDescription<QPDF_Integer, long long>(long long&&) Line | Count | Source | 603 | 176k | { | 604 | 176k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 605 | 176k | obj->setDescription(context, description, start); | 606 | 176k | return {obj}; | 607 | 176k | } |
QPDFObjectHandle QPDFParser::withDescription<QPDF_Real, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&>(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) Line | Count | Source | 603 | 94.0k | { | 604 | 94.0k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 605 | 94.0k | obj->setDescription(context, description, start); | 606 | 94.0k | return {obj}; | 607 | 94.0k | } |
QPDFObjectHandle QPDFParser::withDescription<QPDF_Name, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&>(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) Line | Count | Source | 603 | 86.7k | { | 604 | 86.7k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 605 | 86.7k | obj->setDescription(context, description, start); | 606 | 86.7k | return {obj}; | 607 | 86.7k | } |
QPDFObjectHandle QPDFParser::withDescription<QPDF_Operator, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&>(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) Line | Count | Source | 603 | 412k | { | 604 | 412k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 605 | 412k | obj->setDescription(context, description, start); | 606 | 412k | return {obj}; | 607 | 412k | } |
QPDFObjectHandle QPDFParser::withDescription<QPDF_String, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&>(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) Line | Count | Source | 603 | 13.6k | { | 604 | 13.6k | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 605 | 13.6k | obj->setDescription(context, description, start); | 606 | 13.6k | return {obj}; | 607 | 13.6k | } |
QPDFObjectHandle QPDFParser::withDescription<QPDF_String, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >&>(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >&) Line | Count | Source | 603 | 244 | { | 604 | 244 | auto obj = QPDFObject::create<T>(std::forward<Args>(args)...); | 605 | 244 | obj->setDescription(context, description, start); | 606 | 244 | return {obj}; | 607 | 244 | } |
|
608 | | |
609 | | void |
610 | | QPDFParser::setDescription(ObjectPtr& obj, qpdf_offset_t parsed_offset) |
611 | 382k | { |
612 | 382k | if (obj) { |
613 | 382k | obj->setDescription(context, description, parsed_offset); |
614 | 382k | } |
615 | 382k | } |
616 | | |
617 | | void |
618 | | QPDFParser::fixMissingKeys() |
619 | 1.63k | { |
620 | 1.63k | std::set<std::string> names; |
621 | 6.48k | for (auto& obj: frame->olist) { |
622 | 6.48k | if (obj.raw_type_code() == ::ot_name) { |
623 | 203 | names.insert(obj.obj_sp()->getStringValue()); |
624 | 203 | } |
625 | 6.48k | } |
626 | 1.63k | int next_fake_key = 1; |
627 | 6.17k | for (auto const& item: frame->olist) { |
628 | 6.18k | while (true) { |
629 | 6.18k | const std::string key = "/QPDFFake" + std::to_string(next_fake_key++); |
630 | 6.18k | const bool found_fake = !frame->dict.contains(key) && !names.contains(key); |
631 | 6.18k | QTC::TC("qpdf", "QPDFParser found fake", (found_fake ? 0 : 1)); |
632 | 6.18k | if (found_fake) { |
633 | 6.17k | warn( |
634 | 6.17k | frame->offset, |
635 | 6.17k | "expected dictionary key but found non-name object; inserting key " + key); |
636 | 6.17k | frame->dict[key] = item; |
637 | 6.17k | break; |
638 | 6.17k | } |
639 | 6.18k | } |
640 | 6.17k | } |
641 | 1.63k | } |
642 | | |
643 | | void |
644 | | QPDFParser::check_too_many_bad_tokens() |
645 | 290k | { |
646 | 290k | auto limit = Limits::parser_max_container_size(bad_count || sanity_checks); |
647 | 290k | if (frame->olist.size() >= limit || frame->dict.size() >= limit) { |
648 | 288 | if (bad_count) { |
649 | 228 | limits_error( |
650 | 228 | "parser-max-container-size-damaged", |
651 | 228 | "encountered errors while parsing an array or dictionary with more than " + |
652 | 228 | std::to_string(limit) + " elements; giving up on reading object"); |
653 | 228 | } |
654 | 288 | limits_error( |
655 | 288 | "parser-max-container-size", |
656 | 288 | "encountered an array or dictionary with more than " + std::to_string(limit) + |
657 | 288 | " elements during xref recovery; giving up on reading object"); |
658 | 288 | } |
659 | 290k | if (max_bad_count && --max_bad_count == 0) { |
660 | 1.20k | limits_error( |
661 | 1.20k | "parser-max-errors", "too many errors during parsing; treating object as null"); |
662 | 1.20k | } |
663 | 290k | if (good_count > 4) { |
664 | 113k | good_count = 0; |
665 | 113k | bad_count = 1; |
666 | 113k | return; |
667 | 113k | } |
668 | 177k | if (++bad_count > 5 || |
669 | 171k | (frame->state != st_array && std::cmp_less(max_bad_count, frame->olist.size()))) { |
670 | | // Give up after 5 errors in close proximity or if the number of missing dictionary keys |
671 | | // exceeds the remaining number of allowable total errors. |
672 | 6.27k | warn("too many errors; giving up on reading object"); |
673 | 6.27k | throw Error(); |
674 | 6.27k | } |
675 | 171k | good_count = 0; |
676 | 171k | } |
677 | | |
678 | | void |
679 | | QPDFParser::limits_error(std::string const& limit, std::string const& msg) |
680 | 1.82k | { |
681 | 1.82k | Limits::error(); |
682 | 1.82k | warn("limits error("s + limit + "): " + msg); |
683 | 1.82k | throw Error(); |
684 | 1.82k | } |
685 | | |
686 | | void |
687 | | QPDFParser::warn(QPDFExc const& e) const |
688 | 488k | { |
689 | | // If parsing on behalf of a QPDF object and want to give a warning, we can warn through the |
690 | | // object. If parsing for some other reason, such as an explicit creation of an object from a |
691 | | // string, then just throw the exception. |
692 | 488k | if (context) { |
693 | 488k | context->warn(e); |
694 | 488k | } else { |
695 | 0 | throw e; |
696 | 0 | } |
697 | 488k | } |
698 | | |
699 | | void |
700 | | QPDFParser::warnDuplicateKey() |
701 | 57.2k | { |
702 | 57.2k | warn( |
703 | 57.2k | frame->offset, |
704 | 57.2k | "dictionary has duplicated key " + frame->key + "; last occurrence overrides earlier ones"); |
705 | 57.2k | } |
706 | | |
707 | | void |
708 | | QPDFParser::warn(qpdf_offset_t offset, std::string const& msg) const |
709 | 488k | { |
710 | 488k | if (stream_id) { |
711 | 14.7k | std::string descr = "object "s + std::to_string(obj_id) + " 0"; |
712 | 14.7k | std::string name = context->getFilename() + " object stream " + std::to_string(stream_id); |
713 | 14.7k | warn(QPDFExc(qpdf_e_damaged_pdf, name, descr, offset, msg)); |
714 | 473k | } else { |
715 | 473k | warn(QPDFExc(qpdf_e_damaged_pdf, input.getName(), object_description, offset, msg)); |
716 | 473k | } |
717 | 488k | } |
718 | | |
719 | | void |
720 | | QPDFParser::warn(std::string const& msg) const |
721 | 356k | { |
722 | 356k | warn(input.getLastOffset(), msg); |
723 | 356k | } |