Parser.cpp 38 KB

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