Parser.cpp 38 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237
  1. /*
  2. * Copyright (c) 2021, Matthew Olsson <mattco@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/BitStream.h>
  7. #include <AK/MemoryStream.h>
  8. #include <AK/ScopeGuard.h>
  9. #include <AK/TypeCasts.h>
  10. #include <LibPDF/CommonNames.h>
  11. #include <LibPDF/Document.h>
  12. #include <LibPDF/Filter.h>
  13. #include <LibPDF/Parser.h>
  14. #include <LibTextCodec/Decoder.h>
  15. #include <ctype.h>
  16. #include <math.h>
  17. namespace PDF {
  18. template<typename T, typename... Args>
  19. static NonnullRefPtr<T> make_object(Args... args) requires(IsBaseOf<Object, T>)
  20. {
  21. return adopt_ref(*new T(forward<Args>(args)...));
  22. }
  23. Vector<Command> Parser::parse_graphics_commands(ReadonlyBytes const& bytes)
  24. {
  25. auto parser = adopt_ref(*new Parser(bytes));
  26. return parser->parse_graphics_commands();
  27. }
  28. Parser::Parser(Badge<Document>, ReadonlyBytes const& bytes)
  29. : m_reader(bytes)
  30. {
  31. }
  32. Parser::Parser(ReadonlyBytes const& bytes)
  33. : m_reader(bytes)
  34. {
  35. }
  36. bool Parser::initialize()
  37. {
  38. if (!parse_header())
  39. return {};
  40. if (!initialize_linearization_dict())
  41. return {};
  42. bool is_linearized = m_linearization_dictionary.has_value();
  43. if (is_linearized) {
  44. // The file may have been linearized at one point, but could have been updated afterwards,
  45. // which means it is no longer a linearized PDF file.
  46. is_linearized = is_linearized && m_linearization_dictionary.value().length_of_file == m_reader.bytes().size();
  47. if (!is_linearized) {
  48. // FIXME: The file shouldn't be treated as linearized, yet the xref tables are still
  49. // split. This might take some tweaking to ensure correct behavior, which can be
  50. // implemented later.
  51. TODO();
  52. }
  53. }
  54. if (is_linearized)
  55. return initialize_linearized_xref_table();
  56. return initialize_non_linearized_xref_table();
  57. }
  58. Value Parser::parse_object_with_index(u32 index)
  59. {
  60. VERIFY(m_xref_table->has_object(index));
  61. auto byte_offset = m_xref_table->byte_offset_for_object(index);
  62. m_reader.move_to(byte_offset);
  63. auto indirect_value = parse_indirect_value();
  64. VERIFY(indirect_value);
  65. VERIFY(indirect_value->index() == index);
  66. return indirect_value->value();
  67. }
  68. bool Parser::parse_header()
  69. {
  70. // FIXME: Do something with the version?
  71. m_reader.set_reading_forwards();
  72. m_reader.move_to(0);
  73. if (m_reader.remaining() < 8 || !m_reader.matches("%PDF-"))
  74. return false;
  75. m_reader.move_by(5);
  76. char major_ver = m_reader.read();
  77. if (major_ver != '1' && major_ver != '2')
  78. return false;
  79. if (m_reader.read() != '.')
  80. return false;
  81. char minor_ver = m_reader.read();
  82. if (minor_ver < '0' || minor_ver > '7')
  83. return false;
  84. consume_eol();
  85. // Parse optional high-byte comment, which signifies a binary file
  86. // FIXME: Do something with this?
  87. auto comment = parse_comment();
  88. if (!comment.is_empty()) {
  89. auto binary = comment.length() >= 4;
  90. if (binary) {
  91. for (size_t i = 0; i < comment.length() && binary; i++)
  92. binary = static_cast<u8>(comment[i]) > 128;
  93. }
  94. }
  95. return true;
  96. }
  97. bool Parser::initialize_linearization_dict()
  98. {
  99. // parse_header() is called immediately before this, so we are at the right location
  100. auto dict_value = m_document->resolve(parse_indirect_value());
  101. if (!dict_value || !dict_value.is_object())
  102. return false;
  103. auto dict_object = dict_value.as_object();
  104. if (!dict_object->is_dict())
  105. return false;
  106. auto dict = object_cast<DictObject>(dict_object);
  107. if (!dict->contains(CommonNames::L, CommonNames::H, CommonNames::O, CommonNames::E, CommonNames::N, CommonNames::T))
  108. return true;
  109. auto length_of_file = dict->get_value(CommonNames::L);
  110. auto hint_table = dict->get_value(CommonNames::H);
  111. auto first_page_object_number = dict->get_value(CommonNames::O);
  112. auto offset_of_first_page_end = dict->get_value(CommonNames::E);
  113. auto number_of_pages = dict->get_value(CommonNames::N);
  114. auto offset_of_main_xref_table = dict->get_value(CommonNames::T);
  115. auto first_page = dict->get(CommonNames::P).value_or({});
  116. // Validation
  117. if (!length_of_file.is_int_type<u32>()
  118. || !hint_table.is_object()
  119. || !first_page_object_number.is_int_type<u32>()
  120. || !number_of_pages.is_int_type<u16>()
  121. || !offset_of_main_xref_table.is_int_type<u32>()
  122. || (first_page && !first_page.is_int_type<u32>())) {
  123. return true;
  124. }
  125. auto hint_table_object = hint_table.as_object();
  126. if (!hint_table_object->is_array())
  127. return true;
  128. auto hint_table_array = object_cast<ArrayObject>(hint_table_object);
  129. auto hint_table_size = hint_table_array->size();
  130. if (hint_table_size != 2 && hint_table_size != 4)
  131. return true;
  132. auto primary_hint_stream_offset = hint_table_array->at(0);
  133. auto primary_hint_stream_length = hint_table_array->at(1);
  134. Value overflow_hint_stream_offset;
  135. Value overflow_hint_stream_length;
  136. if (hint_table_size == 4) {
  137. overflow_hint_stream_offset = hint_table_array->at(2);
  138. overflow_hint_stream_length = hint_table_array->at(3);
  139. }
  140. if (!primary_hint_stream_offset.is_int_type<u32>()
  141. || !primary_hint_stream_length.is_int_type<u32>()
  142. || (overflow_hint_stream_offset && !overflow_hint_stream_offset.is_int_type<u32>())
  143. || (overflow_hint_stream_length && !overflow_hint_stream_length.is_int_type<u32>())) {
  144. return true;
  145. }
  146. m_linearization_dictionary = LinearizationDictionary {
  147. length_of_file.as_int_type<u32>(),
  148. primary_hint_stream_offset.as_int_type<u32>(),
  149. primary_hint_stream_length.as_int_type<u32>(),
  150. overflow_hint_stream_offset ? overflow_hint_stream_offset.as_int_type<u32>() : NumericLimits<u32>::max(),
  151. overflow_hint_stream_length ? overflow_hint_stream_length.as_int_type<u32>() : NumericLimits<u32>::max(),
  152. first_page_object_number.as_int_type<u32>(),
  153. offset_of_first_page_end.as_int_type<u32>(),
  154. number_of_pages.as_int_type<u16>(),
  155. offset_of_main_xref_table.as_int_type<u32>(),
  156. first_page ? first_page.as_int_type<u32>() : NumericLimits<u32>::max(),
  157. };
  158. return true;
  159. }
  160. bool Parser::initialize_linearized_xref_table()
  161. {
  162. // The linearization parameter dictionary has just been parsed, and the xref table
  163. // comes immediately after it. We are in the correct spot.
  164. if (!m_reader.matches("xref"))
  165. return false;
  166. m_xref_table = parse_xref_table();
  167. if (!m_xref_table)
  168. return false;
  169. m_trailer = parse_file_trailer();
  170. if (!m_trailer)
  171. return false;
  172. // Also parse the main xref table and merge into the first-page xref table. Note
  173. // that we don't use the main xref table offset from the linearization dict because
  174. // for some reason, it specified the offset of the whitespace after the object
  175. // index start and length? So it's much easier to do it this way.
  176. auto main_xref_table_offset = m_trailer->get_value(CommonNames::Prev).to_int();
  177. m_reader.move_to(main_xref_table_offset);
  178. auto main_xref_table = parse_xref_table();
  179. if (!main_xref_table)
  180. return false;
  181. return m_xref_table->merge(move(*main_xref_table));
  182. }
  183. bool Parser::initialize_hint_tables()
  184. {
  185. auto linearization_dict = m_linearization_dictionary.value();
  186. auto primary_offset = linearization_dict.primary_hint_stream_offset;
  187. auto overflow_offset = linearization_dict.overflow_hint_stream_offset;
  188. auto parse_hint_table = [&](size_t offset) -> RefPtr<StreamObject> {
  189. m_reader.move_to(offset);
  190. auto stream_indirect_value = parse_indirect_value();
  191. if (!stream_indirect_value)
  192. return {};
  193. auto stream_value = stream_indirect_value->value();
  194. if (!stream_value.is_object())
  195. return {};
  196. auto stream_object = stream_value.as_object();
  197. if (!stream_object->is_stream())
  198. return {};
  199. return object_cast<StreamObject>(stream_object);
  200. };
  201. auto primary_hint_stream = parse_hint_table(primary_offset);
  202. if (!primary_hint_stream)
  203. return false;
  204. RefPtr<StreamObject> overflow_hint_stream;
  205. if (overflow_offset != NumericLimits<u32>::max())
  206. overflow_hint_stream = parse_hint_table(overflow_offset);
  207. ByteBuffer possible_merged_stream_buffer;
  208. ReadonlyBytes hint_stream_bytes;
  209. if (overflow_hint_stream) {
  210. auto primary_size = primary_hint_stream->bytes().size();
  211. auto overflow_size = overflow_hint_stream->bytes().size();
  212. auto total_size = primary_size + overflow_size;
  213. possible_merged_stream_buffer = ByteBuffer::create_uninitialized(total_size);
  214. possible_merged_stream_buffer.append(primary_hint_stream->bytes());
  215. possible_merged_stream_buffer.append(overflow_hint_stream->bytes());
  216. hint_stream_bytes = possible_merged_stream_buffer.bytes();
  217. } else {
  218. hint_stream_bytes = primary_hint_stream->bytes();
  219. }
  220. auto hint_table = parse_page_offset_hint_table(hint_stream_bytes);
  221. if (!hint_table.has_value())
  222. return false;
  223. dbgln("hint table: {}", hint_table.value());
  224. auto hint_table_entries = parse_all_page_offset_hint_table_entries(hint_table.value(), hint_stream_bytes);
  225. if (!hint_table_entries.has_value())
  226. return false;
  227. auto entries = hint_table_entries.value();
  228. dbgln("hint table entries size: {}", entries.size());
  229. for (auto& entry : entries)
  230. dbgln("{}", entry);
  231. return true;
  232. }
  233. bool Parser::initialize_non_linearized_xref_table()
  234. {
  235. m_reader.move_to(m_reader.bytes().size() - 1);
  236. if (!navigate_to_before_eof_marker())
  237. return false;
  238. if (!navigate_to_after_startxref())
  239. return false;
  240. if (m_reader.done())
  241. return false;
  242. m_reader.set_reading_forwards();
  243. auto xref_offset_value = parse_number();
  244. if (!xref_offset_value.is_int())
  245. return false;
  246. auto xref_offset = xref_offset_value.as_int();
  247. m_reader.move_to(xref_offset);
  248. m_xref_table = parse_xref_table();
  249. if (!m_xref_table)
  250. return false;
  251. m_trailer = parse_file_trailer();
  252. return m_trailer;
  253. }
  254. RefPtr<XRefTable> Parser::parse_xref_table()
  255. {
  256. if (!m_reader.matches("xref"))
  257. return {};
  258. m_reader.move_by(4);
  259. if (!consume_eol())
  260. return {};
  261. auto table = adopt_ref(*new XRefTable());
  262. while (true) {
  263. if (m_reader.matches("trailer"))
  264. return table;
  265. Vector<XRefEntry> entries;
  266. auto starting_index_value = parse_number();
  267. auto starting_index = starting_index_value.as_int();
  268. auto object_count_value = parse_number();
  269. auto object_count = object_count_value.as_int();
  270. for (int i = 0; i < object_count; i++) {
  271. auto offset_string = String(m_reader.bytes().slice(m_reader.offset(), 10));
  272. m_reader.move_by(10);
  273. if (!consume(' '))
  274. return {};
  275. auto generation_string = String(m_reader.bytes().slice(m_reader.offset(), 5));
  276. m_reader.move_by(5);
  277. if (!consume(' '))
  278. return {};
  279. auto letter = m_reader.read();
  280. if (letter != 'n' && letter != 'f')
  281. return {};
  282. // The line ending sequence can be one of the following:
  283. // SP CR, SP LF, or CR LF
  284. if (m_reader.matches(' ')) {
  285. consume();
  286. auto ch = consume();
  287. if (ch != '\r' && ch != '\n')
  288. return {};
  289. } else {
  290. if (!m_reader.matches("\r\n"))
  291. return {};
  292. m_reader.move_by(2);
  293. }
  294. auto offset = strtol(offset_string.characters(), nullptr, 10);
  295. auto generation = strtol(generation_string.characters(), nullptr, 10);
  296. entries.append({ offset, static_cast<u16>(generation), letter == 'n' });
  297. }
  298. table->add_section({ starting_index, object_count, entries });
  299. }
  300. }
  301. RefPtr<DictObject> Parser::parse_file_trailer()
  302. {
  303. if (!m_reader.matches("trailer"))
  304. return {};
  305. m_reader.move_by(7);
  306. consume_whitespace();
  307. auto dict = parse_dict();
  308. if (!dict)
  309. return {};
  310. if (!m_reader.matches("startxref"))
  311. return {};
  312. m_reader.move_by(9);
  313. consume_whitespace();
  314. m_reader.move_until([&](auto) { return matches_eol(); });
  315. VERIFY(consume_eol());
  316. if (!m_reader.matches("%%EOF"))
  317. return {};
  318. m_reader.move_by(5);
  319. consume_whitespace();
  320. return dict;
  321. }
  322. Optional<Parser::PageOffsetHintTable> Parser::parse_page_offset_hint_table(ReadonlyBytes const& hint_stream_bytes)
  323. {
  324. if (hint_stream_bytes.size() < sizeof(PageOffsetHintTable))
  325. return {};
  326. size_t offset = 0;
  327. auto read_u32 = [&] {
  328. u32 data = reinterpret_cast<const u32*>(hint_stream_bytes.data() + offset)[0];
  329. offset += 4;
  330. return AK::convert_between_host_and_big_endian(data);
  331. };
  332. auto read_u16 = [&] {
  333. u16 data = reinterpret_cast<const u16*>(hint_stream_bytes.data() + offset)[0];
  334. offset += 2;
  335. return AK::convert_between_host_and_big_endian(data);
  336. };
  337. PageOffsetHintTable hint_table {
  338. read_u32(),
  339. read_u32(),
  340. read_u16(),
  341. read_u32(),
  342. read_u16(),
  343. read_u32(),
  344. read_u16(),
  345. read_u32(),
  346. read_u16(),
  347. read_u16(),
  348. read_u16(),
  349. read_u16(),
  350. read_u16(),
  351. };
  352. // Verify that all of the bits_required_for_xyz fields are <= 32, since all of the numeric
  353. // fields in PageOffsetHintTableEntry are u32
  354. VERIFY(hint_table.bits_required_for_object_number <= 32);
  355. VERIFY(hint_table.bits_required_for_page_length <= 32);
  356. VERIFY(hint_table.bits_required_for_content_stream_offsets <= 32);
  357. VERIFY(hint_table.bits_required_for_content_stream_length <= 32);
  358. VERIFY(hint_table.bits_required_for_number_of_shared_obj_refs <= 32);
  359. VERIFY(hint_table.bits_required_for_greatest_shared_obj_identifier <= 32);
  360. VERIFY(hint_table.bits_required_for_fraction_numerator <= 32);
  361. return hint_table;
  362. }
  363. Optional<Vector<Parser::PageOffsetHintTableEntry>> Parser::parse_all_page_offset_hint_table_entries(PageOffsetHintTable const& hint_table, ReadonlyBytes const& hint_stream_bytes)
  364. {
  365. InputMemoryStream input_stream(hint_stream_bytes);
  366. input_stream.seek(sizeof(PageOffsetHintTable));
  367. if (input_stream.has_any_error())
  368. return {};
  369. InputBitStream bit_stream(input_stream);
  370. auto number_of_pages = m_linearization_dictionary.value().number_of_pages;
  371. Vector<PageOffsetHintTableEntry> entries;
  372. for (size_t i = 0; i < number_of_pages; i++)
  373. entries.append(PageOffsetHintTableEntry {});
  374. auto bits_required_for_object_number = hint_table.bits_required_for_object_number;
  375. auto bits_required_for_page_length = hint_table.bits_required_for_page_length;
  376. auto bits_required_for_content_stream_offsets = hint_table.bits_required_for_content_stream_offsets;
  377. auto bits_required_for_content_stream_length = hint_table.bits_required_for_content_stream_length;
  378. auto bits_required_for_number_of_shared_obj_refs = hint_table.bits_required_for_number_of_shared_obj_refs;
  379. auto bits_required_for_greatest_shared_obj_identifier = hint_table.bits_required_for_greatest_shared_obj_identifier;
  380. auto bits_required_for_fraction_numerator = hint_table.bits_required_for_fraction_numerator;
  381. auto parse_int_entry = [&](u32 PageOffsetHintTableEntry::*field, u32 bit_size) {
  382. if (bit_size <= 0)
  383. return;
  384. for (int i = 0; i < number_of_pages; i++) {
  385. auto& entry = entries[i];
  386. entry.*field = bit_stream.read_bits(bit_size);
  387. }
  388. };
  389. auto parse_vector_entry = [&](Vector<u32> PageOffsetHintTableEntry::*field, u32 bit_size) {
  390. if (bit_size <= 0)
  391. return;
  392. for (int page = 1; page < number_of_pages; page++) {
  393. auto number_of_shared_objects = entries[page].number_of_shared_objects;
  394. Vector<u32> items;
  395. items.ensure_capacity(number_of_shared_objects);
  396. for (size_t i = 0; i < number_of_shared_objects; i++)
  397. items.unchecked_append(bit_stream.read_bits(bit_size));
  398. entries[page].*field = move(items);
  399. }
  400. };
  401. parse_int_entry(&PageOffsetHintTableEntry::objects_in_page_number, bits_required_for_object_number);
  402. parse_int_entry(&PageOffsetHintTableEntry::page_length_number, bits_required_for_page_length);
  403. parse_int_entry(&PageOffsetHintTableEntry::number_of_shared_objects, bits_required_for_number_of_shared_obj_refs);
  404. parse_vector_entry(&PageOffsetHintTableEntry::shared_object_identifiers, bits_required_for_greatest_shared_obj_identifier);
  405. parse_vector_entry(&PageOffsetHintTableEntry::shared_object_location_numerators, bits_required_for_fraction_numerator);
  406. parse_int_entry(&PageOffsetHintTableEntry::page_content_stream_offset_number, bits_required_for_content_stream_offsets);
  407. parse_int_entry(&PageOffsetHintTableEntry::page_content_stream_length_number, bits_required_for_content_stream_length);
  408. return entries;
  409. }
  410. bool Parser::navigate_to_before_eof_marker()
  411. {
  412. m_reader.set_reading_backwards();
  413. while (!m_reader.done()) {
  414. m_reader.move_until([&](auto) { return matches_eol(); });
  415. if (m_reader.done())
  416. return false;
  417. consume_eol();
  418. if (!m_reader.matches("%%EOF"))
  419. continue;
  420. m_reader.move_by(5);
  421. if (!matches_eol())
  422. continue;
  423. consume_eol();
  424. return true;
  425. }
  426. return false;
  427. }
  428. bool Parser::navigate_to_after_startxref()
  429. {
  430. m_reader.set_reading_backwards();
  431. while (!m_reader.done()) {
  432. m_reader.move_until([&](auto) { return matches_eol(); });
  433. auto offset = m_reader.offset() + 1;
  434. consume_eol();
  435. if (!m_reader.matches("startxref"))
  436. continue;
  437. m_reader.move_by(9);
  438. if (!matches_eol())
  439. continue;
  440. m_reader.move_to(offset);
  441. return true;
  442. }
  443. return false;
  444. }
  445. bool Parser::sloppy_is_linearized()
  446. {
  447. ScopeGuard guard([&] {
  448. m_reader.move_to(0);
  449. m_reader.set_reading_forwards();
  450. });
  451. auto limit = min(1024ul, m_reader.bytes().size() - 1);
  452. m_reader.move_to(limit);
  453. m_reader.set_reading_backwards();
  454. while (!m_reader.done()) {
  455. m_reader.move_until('/');
  456. if (m_reader.matches("/Linearized"))
  457. return true;
  458. m_reader.move_by(1);
  459. }
  460. return false;
  461. }
  462. String Parser::parse_comment()
  463. {
  464. if (!m_reader.matches('%'))
  465. return {};
  466. consume();
  467. auto comment_start_offset = m_reader.offset();
  468. m_reader.move_until([&](auto) {
  469. return matches_eol();
  470. });
  471. String str = StringView(m_reader.bytes().slice(comment_start_offset, m_reader.offset() - comment_start_offset));
  472. consume_eol();
  473. consume_whitespace();
  474. return str;
  475. }
  476. Value Parser::parse_value()
  477. {
  478. parse_comment();
  479. if (m_reader.matches("null")) {
  480. m_reader.move_by(4);
  481. consume_whitespace();
  482. return Value(Value::NullTag {});
  483. }
  484. if (m_reader.matches("true")) {
  485. m_reader.move_by(4);
  486. consume_whitespace();
  487. return Value(true);
  488. }
  489. if (m_reader.matches("false")) {
  490. m_reader.move_by(5);
  491. consume_whitespace();
  492. return Value(false);
  493. }
  494. if (matches_number())
  495. return parse_possible_indirect_value_or_ref();
  496. if (m_reader.matches('/'))
  497. return parse_name();
  498. if (m_reader.matches("<<")) {
  499. auto dict = parse_dict();
  500. if (!dict)
  501. return {};
  502. if (m_reader.matches("stream"))
  503. return parse_stream(dict.release_nonnull());
  504. return dict;
  505. }
  506. if (m_reader.matches_any('(', '<'))
  507. return parse_string();
  508. if (m_reader.matches('['))
  509. return parse_array();
  510. dbgln("tried to parse value, but found char {} ({}) at offset {}", m_reader.peek(), static_cast<u8>(m_reader.peek()), m_reader.offset());
  511. VERIFY_NOT_REACHED();
  512. }
  513. Value Parser::parse_possible_indirect_value_or_ref()
  514. {
  515. auto first_number = parse_number();
  516. if (!first_number.is_int() || !matches_number())
  517. return first_number;
  518. m_reader.save();
  519. auto second_number = parse_number();
  520. if (!second_number.is_int()) {
  521. m_reader.load();
  522. return first_number;
  523. }
  524. if (m_reader.matches('R')) {
  525. m_reader.discard();
  526. consume();
  527. consume_whitespace();
  528. return Value(first_number.as_int(), second_number.as_int());
  529. }
  530. if (m_reader.matches("obj")) {
  531. m_reader.discard();
  532. return parse_indirect_value(first_number.as_int(), second_number.as_int());
  533. }
  534. m_reader.load();
  535. return first_number;
  536. }
  537. RefPtr<IndirectValue> Parser::parse_indirect_value(int index, int generation)
  538. {
  539. if (!m_reader.matches("obj"))
  540. return {};
  541. m_reader.move_by(3);
  542. if (matches_eol())
  543. consume_eol();
  544. auto value = parse_value();
  545. if (!m_reader.matches("endobj"))
  546. return {};
  547. consume(6);
  548. consume_whitespace();
  549. return make_object<IndirectValue>(index, generation, value);
  550. }
  551. RefPtr<IndirectValue> Parser::parse_indirect_value()
  552. {
  553. auto first_number = parse_number();
  554. if (!first_number.is_int())
  555. return {};
  556. auto second_number = parse_number();
  557. if (!second_number.is_int())
  558. return {};
  559. return parse_indirect_value(first_number.as_int(), second_number.as_int());
  560. }
  561. Value Parser::parse_number()
  562. {
  563. size_t start_offset = m_reader.offset();
  564. bool is_float = false;
  565. if (m_reader.matches('+') || m_reader.matches('-'))
  566. consume();
  567. while (!m_reader.done()) {
  568. if (m_reader.matches('.')) {
  569. if (is_float)
  570. break;
  571. is_float = true;
  572. consume();
  573. } else if (isdigit(m_reader.peek())) {
  574. consume();
  575. } else {
  576. break;
  577. }
  578. }
  579. consume_whitespace();
  580. auto string = String(m_reader.bytes().slice(start_offset, m_reader.offset() - start_offset));
  581. float f = strtof(string.characters(), nullptr);
  582. if (is_float)
  583. return Value(f);
  584. VERIFY(floorf(f) == f);
  585. return Value(static_cast<int>(f));
  586. }
  587. RefPtr<NameObject> Parser::parse_name()
  588. {
  589. if (!consume('/'))
  590. return {};
  591. StringBuilder builder;
  592. while (true) {
  593. if (!matches_regular_character())
  594. break;
  595. if (m_reader.matches('#')) {
  596. int hex_value = 0;
  597. for (int i = 0; i < 2; i++) {
  598. auto ch = consume();
  599. if (!isxdigit(ch))
  600. return {};
  601. hex_value *= 16;
  602. if (ch <= '9') {
  603. hex_value += ch - '0';
  604. } else {
  605. hex_value += ch - 'A' + 10;
  606. }
  607. }
  608. builder.append(static_cast<char>(hex_value));
  609. continue;
  610. }
  611. builder.append(consume());
  612. }
  613. consume_whitespace();
  614. return make_object<NameObject>(builder.to_string());
  615. }
  616. RefPtr<StringObject> Parser::parse_string()
  617. {
  618. ScopeGuard guard([&] { consume_whitespace(); });
  619. String string;
  620. bool is_binary_string;
  621. if (m_reader.matches('(')) {
  622. string = parse_literal_string();
  623. is_binary_string = false;
  624. } else {
  625. string = parse_hex_string();
  626. is_binary_string = true;
  627. }
  628. if (string.is_null())
  629. return {};
  630. if (string.bytes().starts_with(Array<u8, 2> { 0xfe, 0xff })) {
  631. // The string is encoded in UTF16-BE
  632. string = TextCodec::decoder_for("utf-16be")->to_utf8(string.substring(2));
  633. } else if (string.bytes().starts_with(Array<u8, 3> { 239, 187, 191 })) {
  634. // The string is encoded in UTF-8. This is the default anyways, but if these bytes
  635. // are explicitly included, we have to trim them
  636. string = string.substring(3);
  637. }
  638. return make_object<StringObject>(string, is_binary_string);
  639. }
  640. String Parser::parse_literal_string()
  641. {
  642. if (!consume('('))
  643. return {};
  644. StringBuilder builder;
  645. auto opened_parens = 0;
  646. while (true) {
  647. if (m_reader.matches('(')) {
  648. opened_parens++;
  649. builder.append(consume());
  650. } else if (m_reader.matches(')')) {
  651. consume();
  652. if (opened_parens == 0)
  653. break;
  654. opened_parens--;
  655. builder.append(')');
  656. } else if (m_reader.matches('\\')) {
  657. consume();
  658. if (matches_eol()) {
  659. consume_eol();
  660. continue;
  661. }
  662. if (m_reader.done())
  663. return {};
  664. auto ch = consume();
  665. switch (ch) {
  666. case 'n':
  667. builder.append('\n');
  668. break;
  669. case 'r':
  670. builder.append('\r');
  671. break;
  672. case 't':
  673. builder.append('\t');
  674. break;
  675. case 'b':
  676. builder.append('\b');
  677. break;
  678. case 'f':
  679. builder.append('\f');
  680. break;
  681. case '(':
  682. builder.append('(');
  683. break;
  684. case ')':
  685. builder.append(')');
  686. break;
  687. case '\\':
  688. builder.append('\\');
  689. break;
  690. default: {
  691. if (ch >= '0' && ch <= '7') {
  692. int octal_value = ch - '0';
  693. for (int i = 0; i < 2; i++) {
  694. auto octal_ch = consume();
  695. if (octal_ch < '0' || octal_ch > '7')
  696. break;
  697. octal_value = octal_value * 8 + (octal_ch - '0');
  698. }
  699. builder.append(static_cast<char>(octal_value));
  700. } else {
  701. builder.append(ch);
  702. }
  703. }
  704. }
  705. } else if (matches_eol()) {
  706. consume_eol();
  707. builder.append('\n');
  708. } else {
  709. builder.append(consume());
  710. }
  711. }
  712. if (opened_parens != 0)
  713. return {};
  714. return builder.to_string();
  715. }
  716. String Parser::parse_hex_string()
  717. {
  718. if (!consume('<'))
  719. return {};
  720. StringBuilder builder;
  721. while (true) {
  722. if (m_reader.matches('>')) {
  723. consume();
  724. return builder.to_string();
  725. } else {
  726. int hex_value = 0;
  727. for (int i = 0; i < 2; i++) {
  728. auto ch = consume();
  729. if (ch == '>') {
  730. // The hex string contains an odd number of characters, and the last character
  731. // is assumed to be '0'
  732. consume();
  733. hex_value *= 16;
  734. builder.append(static_cast<char>(hex_value));
  735. return builder.to_string();
  736. }
  737. if (!isxdigit(ch))
  738. return {};
  739. hex_value *= 16;
  740. if (ch <= '9') {
  741. hex_value += ch - '0';
  742. } else {
  743. hex_value += ch - 'A' + 10;
  744. }
  745. }
  746. builder.append(static_cast<char>(hex_value));
  747. }
  748. }
  749. }
  750. RefPtr<ArrayObject> Parser::parse_array()
  751. {
  752. if (!consume('['))
  753. return {};
  754. consume_whitespace();
  755. Vector<Value> values;
  756. while (!m_reader.matches(']')) {
  757. auto value = parse_value();
  758. if (!value)
  759. return {};
  760. values.append(value);
  761. }
  762. if (!consume(']'))
  763. return {};
  764. consume_whitespace();
  765. return make_object<ArrayObject>(values);
  766. }
  767. RefPtr<DictObject> Parser::parse_dict()
  768. {
  769. if (!consume('<') || !consume('<'))
  770. return {};
  771. consume_whitespace();
  772. HashMap<FlyString, Value> map;
  773. while (true) {
  774. if (m_reader.matches(">>"))
  775. break;
  776. auto name = parse_name();
  777. if (!name)
  778. return {};
  779. auto value = parse_value();
  780. if (!value)
  781. return {};
  782. map.set(name->name(), value);
  783. }
  784. if (!consume('>') || !consume('>'))
  785. return {};
  786. consume_whitespace();
  787. return make_object<DictObject>(map);
  788. }
  789. RefPtr<DictObject> Parser::conditionally_parse_page_tree_node(u32 object_index, bool& ok)
  790. {
  791. ok = true;
  792. VERIFY(m_xref_table->has_object(object_index));
  793. auto byte_offset = m_xref_table->byte_offset_for_object(object_index);
  794. m_reader.move_to(byte_offset);
  795. parse_number();
  796. parse_number();
  797. if (!m_reader.matches("obj")) {
  798. ok = false;
  799. return {};
  800. }
  801. m_reader.move_by(3);
  802. consume_whitespace();
  803. if (!consume('<') || !consume('<'))
  804. return {};
  805. consume_whitespace();
  806. HashMap<FlyString, Value> map;
  807. while (true) {
  808. if (m_reader.matches(">>"))
  809. break;
  810. auto name = parse_name();
  811. if (!name) {
  812. ok = false;
  813. return {};
  814. }
  815. auto name_string = name->name();
  816. if (!name_string.is_one_of(CommonNames::Type, CommonNames::Parent, CommonNames::Kids, CommonNames::Count)) {
  817. // This is a page, not a page tree node
  818. return {};
  819. }
  820. auto value = parse_value();
  821. if (!value) {
  822. ok = false;
  823. return {};
  824. }
  825. if (name_string == CommonNames::Type) {
  826. if (!value.is_object())
  827. return {};
  828. auto type_object = value.as_object();
  829. if (!type_object->is_name())
  830. return {};
  831. auto type_name = object_cast<NameObject>(type_object);
  832. if (type_name->name() != CommonNames::Pages)
  833. return {};
  834. }
  835. map.set(name->name(), value);
  836. }
  837. if (!consume('>') || !consume('>'))
  838. return {};
  839. consume_whitespace();
  840. return make_object<DictObject>(map);
  841. }
  842. RefPtr<StreamObject> Parser::parse_stream(NonnullRefPtr<DictObject> dict)
  843. {
  844. if (!m_reader.matches("stream"))
  845. return {};
  846. m_reader.move_by(6);
  847. if (!consume_eol())
  848. return {};
  849. ReadonlyBytes bytes;
  850. auto maybe_length = dict->get(CommonNames::Length);
  851. if (maybe_length.has_value()) {
  852. // The PDF writer has kindly provided us with the direct length of the stream
  853. m_reader.save();
  854. auto length = m_document->resolve_to<int>(maybe_length.value());
  855. m_reader.load();
  856. bytes = m_reader.bytes().slice(m_reader.offset(), length);
  857. m_reader.move_by(length);
  858. consume_whitespace();
  859. } else {
  860. // We have to look for the endstream keyword
  861. auto stream_start = m_reader.offset();
  862. while (true) {
  863. m_reader.move_until([&](auto) { return matches_eol(); });
  864. auto potential_stream_end = m_reader.offset();
  865. consume_eol();
  866. if (!m_reader.matches("endstream"))
  867. continue;
  868. bytes = m_reader.bytes().slice(stream_start, potential_stream_end - stream_start);
  869. break;
  870. }
  871. }
  872. m_reader.move_by(9);
  873. consume_whitespace();
  874. if (dict->contains(CommonNames::Filter)) {
  875. auto filter_type = dict->get_name(m_document, CommonNames::Filter)->name();
  876. auto maybe_bytes = Filter::decode(bytes, filter_type);
  877. if (!maybe_bytes.has_value())
  878. return {};
  879. return make_object<EncodedStreamObject>(dict, move(maybe_bytes.value()));
  880. }
  881. return make_object<PlainTextStreamObject>(dict, bytes);
  882. }
  883. Vector<Command> Parser::parse_graphics_commands()
  884. {
  885. Vector<Command> commands;
  886. Vector<Value> command_args;
  887. constexpr static auto is_command_char = [](char ch) {
  888. return isalpha(ch) || ch == '*' || ch == '\'';
  889. };
  890. while (!m_reader.done()) {
  891. auto ch = m_reader.peek();
  892. if (is_command_char(ch)) {
  893. auto command_start = m_reader.offset();
  894. while (is_command_char(ch)) {
  895. consume();
  896. if (m_reader.done())
  897. break;
  898. ch = m_reader.peek();
  899. }
  900. auto command_string = StringView(m_reader.bytes().slice(command_start, m_reader.offset() - command_start));
  901. auto command_type = Command::command_type_from_symbol(command_string);
  902. commands.append(Command(command_type, move(command_args)));
  903. command_args = Vector<Value>();
  904. consume_whitespace();
  905. continue;
  906. }
  907. command_args.append(parse_value());
  908. }
  909. return commands;
  910. }
  911. bool Parser::matches_eol() const
  912. {
  913. return m_reader.matches_any(0xa, 0xd);
  914. }
  915. bool Parser::matches_whitespace() const
  916. {
  917. return matches_eol() || m_reader.matches_any(0, 0x9, 0xc, ' ');
  918. }
  919. bool Parser::matches_number() const
  920. {
  921. if (m_reader.done())
  922. return false;
  923. auto ch = m_reader.peek();
  924. return isdigit(ch) || ch == '-' || ch == '+';
  925. }
  926. bool Parser::matches_delimiter() const
  927. {
  928. return m_reader.matches_any('(', ')', '<', '>', '[', ']', '{', '}', '/', '%');
  929. }
  930. bool Parser::matches_regular_character() const
  931. {
  932. return !matches_delimiter() && !matches_whitespace();
  933. }
  934. bool Parser::consume_eol()
  935. {
  936. if (m_reader.matches("\r\n")) {
  937. consume(2);
  938. return true;
  939. }
  940. auto consumed = consume();
  941. return consumed == 0xd || consumed == 0xa;
  942. }
  943. bool Parser::consume_whitespace()
  944. {
  945. bool consumed = false;
  946. while (matches_whitespace()) {
  947. consumed = true;
  948. consume();
  949. }
  950. return consumed;
  951. }
  952. char Parser::consume()
  953. {
  954. return m_reader.read();
  955. }
  956. void Parser::consume(int amount)
  957. {
  958. for (size_t i = 0; i < static_cast<size_t>(amount); i++)
  959. consume();
  960. }
  961. bool Parser::consume(char ch)
  962. {
  963. return consume() == ch;
  964. }
  965. }
  966. namespace AK {
  967. template<>
  968. struct Formatter<PDF::Parser::LinearizationDictionary> : Formatter<StringView> {
  969. void format(FormatBuilder& format_builder, PDF::Parser::LinearizationDictionary const& dict)
  970. {
  971. StringBuilder builder;
  972. builder.append("{\n");
  973. builder.appendff(" length_of_file={}\n", dict.length_of_file);
  974. builder.appendff(" primary_hint_stream_offset={}\n", dict.primary_hint_stream_offset);
  975. builder.appendff(" primary_hint_stream_length={}\n", dict.primary_hint_stream_length);
  976. builder.appendff(" overflow_hint_stream_offset={}\n", dict.overflow_hint_stream_offset);
  977. builder.appendff(" overflow_hint_stream_length={}\n", dict.overflow_hint_stream_length);
  978. builder.appendff(" first_page_object_number={}\n", dict.first_page_object_number);
  979. builder.appendff(" offset_of_first_page_end={}\n", dict.offset_of_first_page_end);
  980. builder.appendff(" number_of_pages={}\n", dict.number_of_pages);
  981. builder.appendff(" offset_of_main_xref_table={}\n", dict.offset_of_main_xref_table);
  982. builder.appendff(" first_page={}\n", dict.first_page);
  983. builder.append('}');
  984. Formatter<StringView>::format(format_builder, builder.to_string());
  985. }
  986. };
  987. template<>
  988. struct Formatter<PDF::Parser::PageOffsetHintTable> : Formatter<StringView> {
  989. void format(FormatBuilder& format_builder, PDF::Parser::PageOffsetHintTable const& table)
  990. {
  991. StringBuilder builder;
  992. builder.append("{\n");
  993. builder.appendff(" least_number_of_objects_in_a_page={}\n", table.least_number_of_objects_in_a_page);
  994. builder.appendff(" location_of_first_page_object={}\n", table.location_of_first_page_object);
  995. builder.appendff(" bits_required_for_object_number={}\n", table.bits_required_for_object_number);
  996. builder.appendff(" least_length_of_a_page={}\n", table.least_length_of_a_page);
  997. builder.appendff(" bits_required_for_page_length={}\n", table.bits_required_for_page_length);
  998. builder.appendff(" least_offset_of_any_content_stream={}\n", table.least_offset_of_any_content_stream);
  999. builder.appendff(" bits_required_for_content_stream_offsets={}\n", table.bits_required_for_content_stream_offsets);
  1000. builder.appendff(" least_content_stream_length={}\n", table.least_content_stream_length);
  1001. builder.appendff(" bits_required_for_content_stream_length={}\n", table.bits_required_for_content_stream_length);
  1002. builder.appendff(" bits_required_for_number_of_shared_obj_refs={}\n", table.bits_required_for_number_of_shared_obj_refs);
  1003. builder.appendff(" bits_required_for_greatest_shared_obj_identifier={}\n", table.bits_required_for_greatest_shared_obj_identifier);
  1004. builder.appendff(" bits_required_for_fraction_numerator={}\n", table.bits_required_for_fraction_numerator);
  1005. builder.appendff(" shared_object_reference_fraction_denominator={}\n", table.shared_object_reference_fraction_denominator);
  1006. builder.append('}');
  1007. Formatter<StringView>::format(format_builder, builder.to_string());
  1008. }
  1009. };
  1010. template<>
  1011. struct Formatter<PDF::Parser::PageOffsetHintTableEntry> : Formatter<StringView> {
  1012. void format(FormatBuilder& format_builder, PDF::Parser::PageOffsetHintTableEntry const& entry)
  1013. {
  1014. StringBuilder builder;
  1015. builder.append("{\n");
  1016. builder.appendff(" objects_in_page_number={}\n", entry.objects_in_page_number);
  1017. builder.appendff(" page_length_number={}\n", entry.page_length_number);
  1018. builder.appendff(" number_of_shared_objects={}\n", entry.number_of_shared_objects);
  1019. builder.append(" shared_object_identifiers=[");
  1020. for (auto& identifier : entry.shared_object_identifiers)
  1021. builder.appendff(" {}", identifier);
  1022. builder.append(" ]\n");
  1023. builder.append(" shared_object_location_numerators=[");
  1024. for (auto& numerator : entry.shared_object_location_numerators)
  1025. builder.appendff(" {}", numerator);
  1026. builder.append(" ]\n");
  1027. builder.appendff(" page_content_stream_offset_number={}\n", entry.page_content_stream_offset_number);
  1028. builder.appendff(" page_content_stream_length_number={}\n", entry.page_content_stream_length_number);
  1029. builder.append('}');
  1030. Formatter<StringView>::format(format_builder, builder.to_string());
  1031. }
  1032. };
  1033. }