Parser.cpp 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784
  1. /*
  2. * Copyright (c) 2021, Matthew Olsson <mattco@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/ScopeGuard.h>
  7. #include <AK/TypeCasts.h>
  8. #include <LibPDF/Document.h>
  9. #include <LibPDF/Filter.h>
  10. #include <LibPDF/Parser.h>
  11. #include <LibTextCodec/Decoder.h>
  12. #include <ctype.h>
  13. #include <math.h>
  14. namespace PDF {
  15. template<typename T, typename... Args>
  16. static NonnullRefPtr<T> make_object(Args... args) requires(IsBaseOf<Object, T>)
  17. {
  18. return adopt_ref(*new T(forward<Args>(args)...));
  19. }
  20. Vector<Command> Parser::parse_graphics_commands(const ReadonlyBytes& bytes)
  21. {
  22. Parser parser(bytes);
  23. return parser.parse_graphics_commands();
  24. }
  25. Parser::Parser(Badge<Document>, const ReadonlyBytes& bytes)
  26. : m_reader(bytes)
  27. {
  28. }
  29. Parser::Parser(const ReadonlyBytes& bytes)
  30. : m_reader(bytes)
  31. {
  32. }
  33. bool Parser::perform_validation()
  34. {
  35. return !sloppy_is_linearized() && parse_header();
  36. }
  37. Parser::XRefTableAndTrailer Parser::parse_last_xref_table_and_trailer()
  38. {
  39. m_reader.move_to(m_reader.bytes().size() - 1);
  40. VERIFY(navigate_to_before_eof_marker());
  41. navigate_to_after_startxref();
  42. VERIFY(!m_reader.done());
  43. m_reader.set_reading_forwards();
  44. auto xref_offset_value = parse_number();
  45. VERIFY(xref_offset_value.is_int());
  46. auto xref_offset = xref_offset_value.as_int();
  47. m_reader.move_to(xref_offset);
  48. auto xref_table = parse_xref_table();
  49. auto trailer = parse_file_trailer();
  50. return { xref_table, trailer };
  51. }
  52. NonnullRefPtr<IndirectValue> Parser::parse_indirect_value_at_offset(size_t offset)
  53. {
  54. m_reader.set_reading_forwards();
  55. m_reader.move_to(offset);
  56. return parse_indirect_value();
  57. }
  58. bool Parser::parse_header()
  59. {
  60. // FIXME: Do something with the version?
  61. m_reader.set_reading_forwards();
  62. m_reader.move_to(0);
  63. if (m_reader.remaining() < 8 || !m_reader.matches("%PDF-"))
  64. return false;
  65. m_reader.move_by(5);
  66. char major_ver = m_reader.read();
  67. if (major_ver != '1' && major_ver != '2')
  68. return false;
  69. if (m_reader.read() != '.')
  70. return false;
  71. char minor_ver = m_reader.read();
  72. if (minor_ver < '0' || major_ver > '7')
  73. return false;
  74. consume_eol();
  75. // Parse optional high-byte comment, which signifies a binary file
  76. // FIXME: Do something with this?
  77. auto comment = parse_comment();
  78. if (!comment.is_empty()) {
  79. auto binary = comment.length() >= 4;
  80. if (binary) {
  81. for (size_t i = 0; i < comment.length() && binary; i++)
  82. binary = static_cast<u8>(comment[i]) > 128;
  83. }
  84. }
  85. return true;
  86. }
  87. XRefTable Parser::parse_xref_table()
  88. {
  89. VERIFY(m_reader.matches("xref"));
  90. m_reader.move_by(4);
  91. consume_eol();
  92. XRefTable table;
  93. while (true) {
  94. if (m_reader.matches("trailer"))
  95. break;
  96. Vector<XRefEntry> entries;
  97. auto starting_index_value = parse_number();
  98. auto starting_index = starting_index_value.as_int();
  99. auto object_count_value = parse_number();
  100. auto object_count = object_count_value.as_int();
  101. for (int i = 0; i < object_count; i++) {
  102. auto offset_string = String(m_reader.bytes().slice(m_reader.offset(), 10));
  103. m_reader.move_by(10);
  104. consume(' ');
  105. auto generation_string = String(m_reader.bytes().slice(m_reader.offset(), 5));
  106. m_reader.move_by(5);
  107. consume(' ');
  108. auto letter = m_reader.read();
  109. VERIFY(letter == 'n' || letter == 'f');
  110. // The line ending sequence can be one of the following:
  111. // SP CR, SP LF, or CR LF
  112. if (m_reader.matches(' ')) {
  113. consume();
  114. auto ch = consume();
  115. VERIFY(ch == '\r' || ch == '\n');
  116. } else {
  117. VERIFY(m_reader.matches("\r\n"));
  118. m_reader.move_by(2);
  119. }
  120. auto offset = strtol(offset_string.characters(), nullptr, 10);
  121. auto generation = strtol(generation_string.characters(), nullptr, 10);
  122. entries.append({ offset, static_cast<u16>(generation), letter == 'n' });
  123. }
  124. table.add_section({ starting_index, object_count, entries });
  125. }
  126. return table;
  127. }
  128. NonnullRefPtr<DictObject> Parser::parse_file_trailer()
  129. {
  130. VERIFY(m_reader.matches("trailer"));
  131. m_reader.move_by(7);
  132. consume_whitespace();
  133. auto dict = parse_dict();
  134. VERIFY(m_reader.matches("startxref"));
  135. m_reader.move_by(9);
  136. consume_whitespace();
  137. m_reader.move_until([&](auto) { return matches_eol(); });
  138. consume_eol();
  139. VERIFY(m_reader.matches("%%EOF"));
  140. m_reader.move_by(5);
  141. consume_whitespace();
  142. VERIFY(m_reader.done());
  143. return dict;
  144. }
  145. bool Parser::navigate_to_before_eof_marker()
  146. {
  147. m_reader.set_reading_backwards();
  148. while (!m_reader.done()) {
  149. m_reader.move_until([&](auto) { return matches_eol(); });
  150. if (m_reader.done())
  151. return false;
  152. consume_eol();
  153. if (!m_reader.matches("%%EOF"))
  154. continue;
  155. m_reader.move_by(5);
  156. if (!matches_eol())
  157. continue;
  158. consume_eol();
  159. return true;
  160. }
  161. return false;
  162. }
  163. bool Parser::navigate_to_after_startxref()
  164. {
  165. m_reader.set_reading_backwards();
  166. while (!m_reader.done()) {
  167. m_reader.move_until([&](auto) { return matches_eol(); });
  168. auto offset = m_reader.offset() + 1;
  169. consume_eol();
  170. if (!m_reader.matches("startxref"))
  171. continue;
  172. m_reader.move_by(9);
  173. if (!matches_eol())
  174. continue;
  175. m_reader.move_to(offset);
  176. return true;
  177. }
  178. return false;
  179. }
  180. bool Parser::sloppy_is_linearized()
  181. {
  182. ScopeGuard guard([&] {
  183. m_reader.move_to(0);
  184. m_reader.set_reading_forwards();
  185. });
  186. auto limit = min(1024ul, m_reader.bytes().size() - 1);
  187. m_reader.move_to(limit);
  188. m_reader.set_reading_backwards();
  189. while (!m_reader.done()) {
  190. m_reader.move_until('/');
  191. if (m_reader.matches("/Linearized"))
  192. return true;
  193. m_reader.move_by(1);
  194. }
  195. return false;
  196. }
  197. String Parser::parse_comment()
  198. {
  199. if (!m_reader.matches('%'))
  200. return {};
  201. consume();
  202. auto comment_start_offset = m_reader.offset();
  203. m_reader.move_until([&] {
  204. return matches_eol();
  205. });
  206. String str = StringView(m_reader.bytes().slice(comment_start_offset, m_reader.offset() - comment_start_offset));
  207. consume_eol();
  208. consume_whitespace();
  209. return str;
  210. }
  211. Value Parser::parse_value()
  212. {
  213. parse_comment();
  214. if (m_reader.matches("null")) {
  215. m_reader.move_by(4);
  216. consume_whitespace();
  217. return Value();
  218. }
  219. if (m_reader.matches("true")) {
  220. m_reader.move_by(4);
  221. consume_whitespace();
  222. return Value(true);
  223. }
  224. if (m_reader.matches("false")) {
  225. m_reader.move_by(5);
  226. consume_whitespace();
  227. return Value(false);
  228. }
  229. if (matches_number())
  230. return parse_possible_indirect_value_or_ref();
  231. if (m_reader.matches('/'))
  232. return parse_name();
  233. if (m_reader.matches("<<")) {
  234. auto dict = parse_dict();
  235. if (m_reader.matches("stream\n"))
  236. return parse_stream(dict);
  237. return dict;
  238. }
  239. if (m_reader.matches_any('(', '<'))
  240. return parse_string();
  241. if (m_reader.matches('['))
  242. return parse_array();
  243. dbgln("tried to parse value, but found char {} ({}) at offset {}", m_reader.peek(), static_cast<u8>(m_reader.peek()), m_reader.offset());
  244. VERIFY_NOT_REACHED();
  245. }
  246. Value Parser::parse_possible_indirect_value_or_ref()
  247. {
  248. auto first_number = parse_number();
  249. if (!first_number.is_int() || !matches_number())
  250. return first_number;
  251. m_reader.save();
  252. auto second_number = parse_number();
  253. if (!second_number.is_int()) {
  254. m_reader.load();
  255. return first_number;
  256. }
  257. if (m_reader.matches('R')) {
  258. m_reader.discard();
  259. consume();
  260. consume_whitespace();
  261. return Value(first_number.as_int(), second_number.as_int());
  262. }
  263. if (m_reader.matches("obj")) {
  264. m_reader.discard();
  265. return parse_indirect_value(first_number.as_int(), second_number.as_int());
  266. }
  267. m_reader.load();
  268. return first_number;
  269. }
  270. NonnullRefPtr<IndirectValue> Parser::parse_indirect_value(int index, int generation)
  271. {
  272. VERIFY(m_reader.matches("obj"));
  273. m_reader.move_by(3);
  274. if (matches_eol())
  275. consume_eol();
  276. auto value = parse_value();
  277. VERIFY(m_reader.matches("endobj"));
  278. return make_object<IndirectValue>(index, generation, value);
  279. }
  280. NonnullRefPtr<IndirectValue> Parser::parse_indirect_value()
  281. {
  282. auto first_number = parse_number();
  283. auto second_number = parse_number();
  284. VERIFY(first_number.is_int() && second_number.is_int());
  285. return parse_indirect_value(first_number.as_int(), second_number.as_int());
  286. }
  287. Value Parser::parse_number()
  288. {
  289. size_t start_offset = m_reader.offset();
  290. bool is_float = false;
  291. if (m_reader.matches('+') || m_reader.matches('-'))
  292. consume();
  293. while (!m_reader.done()) {
  294. if (m_reader.matches('.')) {
  295. if (is_float)
  296. break;
  297. is_float = true;
  298. consume();
  299. } else if (isdigit(m_reader.peek())) {
  300. consume();
  301. } else {
  302. break;
  303. }
  304. }
  305. consume_whitespace();
  306. auto string = String(m_reader.bytes().slice(start_offset, m_reader.offset() - start_offset));
  307. float f = strtof(string.characters(), nullptr);
  308. if (is_float)
  309. return Value(f);
  310. VERIFY(floorf(f) == f);
  311. return Value(static_cast<int>(f));
  312. }
  313. NonnullRefPtr<NameObject> Parser::parse_name()
  314. {
  315. consume('/');
  316. StringBuilder builder;
  317. while (true) {
  318. if (!matches_regular_character())
  319. break;
  320. if (m_reader.matches('#')) {
  321. int hex_value = 0;
  322. for (int i = 0; i < 2; i++) {
  323. auto ch = consume();
  324. VERIFY(isxdigit(ch));
  325. hex_value *= 16;
  326. if (ch <= '9') {
  327. hex_value += ch - '0';
  328. } else {
  329. hex_value += ch - 'A' + 10;
  330. }
  331. }
  332. builder.append(static_cast<char>(hex_value));
  333. continue;
  334. }
  335. builder.append(consume());
  336. }
  337. consume_whitespace();
  338. return make_object<NameObject>(builder.to_string());
  339. }
  340. NonnullRefPtr<StringObject> Parser::parse_string()
  341. {
  342. ScopeGuard guard([&] { consume_whitespace(); });
  343. String string;
  344. bool is_binary_string;
  345. if (m_reader.matches('(')) {
  346. string = parse_literal_string();
  347. is_binary_string = false;
  348. } else {
  349. string = parse_hex_string();
  350. is_binary_string = true;
  351. }
  352. if (string.bytes().starts_with(Array<u8, 2> { 0xfe, 0xff })) {
  353. // The string is encoded in UTF16-BE
  354. string = TextCodec::decoder_for("utf-16be")->to_utf8(string.substring(2));
  355. } else if (string.bytes().starts_with(Array<u8, 3> { 239, 187, 191 })) {
  356. // The string is encoded in UTF-8. This is the default anyways, but if these bytes
  357. // are explicitly included, we have to trim them
  358. string = string.substring(3);
  359. }
  360. return make_object<StringObject>(string, is_binary_string);
  361. }
  362. String Parser::parse_literal_string()
  363. {
  364. consume('(');
  365. StringBuilder builder;
  366. auto opened_parens = 0;
  367. while (true) {
  368. if (m_reader.matches('(')) {
  369. opened_parens++;
  370. builder.append(consume());
  371. } else if (m_reader.matches(')')) {
  372. consume();
  373. if (opened_parens == 0)
  374. break;
  375. opened_parens--;
  376. builder.append(')');
  377. } else if (m_reader.matches('\\')) {
  378. consume();
  379. if (matches_eol()) {
  380. consume_eol();
  381. continue;
  382. }
  383. VERIFY(!m_reader.done());
  384. auto ch = consume();
  385. switch (ch) {
  386. case 'n':
  387. builder.append('\n');
  388. break;
  389. case 'r':
  390. builder.append('\r');
  391. break;
  392. case 't':
  393. builder.append('\t');
  394. break;
  395. case 'b':
  396. builder.append('\b');
  397. break;
  398. case 'f':
  399. builder.append('\f');
  400. break;
  401. case '(':
  402. builder.append('(');
  403. break;
  404. case ')':
  405. builder.append(')');
  406. break;
  407. case '\\':
  408. builder.append('\\');
  409. break;
  410. default: {
  411. if (ch >= '0' && ch <= '7') {
  412. int octal_value = ch - '0';
  413. for (int i = 0; i < 2; i++) {
  414. auto octal_ch = consume();
  415. if (octal_ch < '0' || octal_ch > '7')
  416. break;
  417. octal_value = octal_value * 8 + (octal_ch - '0');
  418. }
  419. builder.append(static_cast<char>(octal_value));
  420. } else {
  421. builder.append(ch);
  422. }
  423. }
  424. }
  425. } else if (matches_eol()) {
  426. consume_eol();
  427. builder.append('\n');
  428. } else {
  429. builder.append(consume());
  430. }
  431. }
  432. VERIFY(opened_parens == 0);
  433. return builder.to_string();
  434. }
  435. String Parser::parse_hex_string()
  436. {
  437. consume('<');
  438. StringBuilder builder;
  439. while (true) {
  440. if (m_reader.matches('>')) {
  441. consume();
  442. return builder.to_string();
  443. } else {
  444. int hex_value = 0;
  445. for (int i = 0; i < 2; i++) {
  446. auto ch = consume();
  447. if (ch == '>') {
  448. // The hex string contains an odd number of characters, and the last character
  449. // is assumed to be '0'
  450. consume();
  451. hex_value *= 16;
  452. builder.append(static_cast<char>(hex_value));
  453. return builder.to_string();
  454. }
  455. VERIFY(isxdigit(ch));
  456. hex_value *= 16;
  457. if (ch <= '9') {
  458. hex_value += ch - '0';
  459. } else {
  460. hex_value += ch - 'A' + 10;
  461. }
  462. }
  463. builder.append(static_cast<char>(hex_value));
  464. }
  465. }
  466. }
  467. NonnullRefPtr<ArrayObject> Parser::parse_array()
  468. {
  469. consume('[');
  470. consume_whitespace();
  471. Vector<Value> values;
  472. while (!m_reader.matches(']'))
  473. values.append(parse_value());
  474. consume(']');
  475. consume_whitespace();
  476. return make_object<ArrayObject>(values);
  477. }
  478. NonnullRefPtr<DictObject> Parser::parse_dict()
  479. {
  480. consume('<');
  481. consume('<');
  482. consume_whitespace();
  483. HashMap<FlyString, Value> map;
  484. while (true) {
  485. if (m_reader.matches(">>"))
  486. break;
  487. auto name = parse_name();
  488. auto value = parse_value();
  489. map.set(name->name(), value);
  490. }
  491. consume('>');
  492. consume('>');
  493. consume_whitespace();
  494. return make_object<DictObject>(map);
  495. }
  496. RefPtr<DictObject> Parser::conditionally_parse_page_tree_node_at_offset(size_t offset)
  497. {
  498. m_reader.move_to(offset);
  499. parse_number();
  500. parse_number();
  501. VERIFY(m_reader.matches("obj"));
  502. m_reader.move_by(3);
  503. consume_whitespace();
  504. consume('<');
  505. consume('<');
  506. consume_whitespace();
  507. HashMap<FlyString, Value> map;
  508. while (true) {
  509. if (m_reader.matches(">>"))
  510. break;
  511. auto name = parse_name();
  512. auto name_string = name->name();
  513. if (!name_string.is_one_of("Type", "Parent", "Kids", "Count")) {
  514. // This is a page, not a page tree node
  515. return {};
  516. }
  517. auto value = parse_value();
  518. if (name_string == "Type") {
  519. if (!value.is_object())
  520. return {};
  521. auto type_object = value.as_object();
  522. if (!type_object->is_name())
  523. return {};
  524. auto type_name = object_cast<NameObject>(type_object);
  525. if (type_name->name() != "Pages")
  526. return {};
  527. }
  528. map.set(name->name(), value);
  529. }
  530. consume('>');
  531. consume('>');
  532. consume_whitespace();
  533. return make_object<DictObject>(map);
  534. }
  535. NonnullRefPtr<StreamObject> Parser::parse_stream(NonnullRefPtr<DictObject> dict)
  536. {
  537. VERIFY(m_reader.matches("stream"));
  538. m_reader.move_by(6);
  539. consume_eol();
  540. ReadonlyBytes bytes;
  541. auto maybe_length = dict->get("Length");
  542. if (maybe_length.has_value()) {
  543. // The PDF writer has kindly provided us with the direct length of the stream
  544. m_reader.save();
  545. auto length = m_document->resolve_to<int>(maybe_length.value());
  546. m_reader.load();
  547. bytes = m_reader.bytes().slice(m_reader.offset(), length);
  548. m_reader.move_by(length);
  549. consume_whitespace();
  550. } else {
  551. // We have to look for the endstream keyword
  552. auto stream_start = m_reader.offset();
  553. while (true) {
  554. m_reader.move_until([&] { return matches_eol(); });
  555. auto potential_stream_end = m_reader.offset();
  556. consume_eol();
  557. if (!m_reader.matches("endstream"))
  558. continue;
  559. bytes = m_reader.bytes().slice(stream_start, potential_stream_end - stream_start);
  560. break;
  561. }
  562. }
  563. m_reader.move_by(9);
  564. consume_whitespace();
  565. if (dict->contains("Filter")) {
  566. auto filter_type = dict->get_name(m_document, "Filter")->name();
  567. auto maybe_bytes = Filter::decode(bytes, filter_type);
  568. // FIXME: Handle error condition
  569. VERIFY(maybe_bytes.has_value());
  570. return make_object<EncodedStreamObject>(dict, move(maybe_bytes.value()));
  571. }
  572. return make_object<PlainTextStreamObject>(dict, bytes);
  573. }
  574. Vector<Command> Parser::parse_graphics_commands()
  575. {
  576. Vector<Command> commands;
  577. Vector<Value> command_args;
  578. constexpr static auto is_command_char = [](char ch) {
  579. return isalpha(ch) || ch == '*' || ch == '\'';
  580. };
  581. while (!m_reader.done()) {
  582. auto ch = m_reader.peek();
  583. if (is_command_char(ch)) {
  584. auto command_start = m_reader.offset();
  585. while (is_command_char(ch)) {
  586. consume();
  587. if (m_reader.done())
  588. break;
  589. ch = m_reader.peek();
  590. }
  591. auto command_string = StringView(m_reader.bytes().slice(command_start, m_reader.offset() - command_start));
  592. auto command_type = Command::command_type_from_symbol(command_string);
  593. commands.append(Command(command_type, move(command_args)));
  594. command_args = Vector<Value>();
  595. consume_whitespace();
  596. continue;
  597. }
  598. command_args.append(parse_value());
  599. }
  600. return commands;
  601. }
  602. bool Parser::matches_eol() const
  603. {
  604. return m_reader.matches_any(0xa, 0xd);
  605. }
  606. bool Parser::matches_whitespace() const
  607. {
  608. return matches_eol() || m_reader.matches_any(0, 0x9, 0xc, ' ');
  609. }
  610. bool Parser::matches_number() const
  611. {
  612. if (m_reader.done())
  613. return false;
  614. auto ch = m_reader.peek();
  615. return isdigit(ch) || ch == '-' || ch == '+';
  616. }
  617. bool Parser::matches_delimiter() const
  618. {
  619. return m_reader.matches_any('(', ')', '<', '>', '[', ']', '{', '}', '/', '%');
  620. }
  621. bool Parser::matches_regular_character() const
  622. {
  623. return !matches_delimiter() && !matches_whitespace();
  624. }
  625. void Parser::consume_eol()
  626. {
  627. if (m_reader.matches("\r\n")) {
  628. consume(2);
  629. } else {
  630. auto consumed = consume();
  631. VERIFY(consumed == 0xd || consumed == 0xa);
  632. }
  633. }
  634. bool Parser::consume_whitespace()
  635. {
  636. bool consumed = false;
  637. while (matches_whitespace()) {
  638. consumed = true;
  639. consume();
  640. }
  641. return consumed;
  642. }
  643. char Parser::consume()
  644. {
  645. return m_reader.read();
  646. }
  647. void Parser::consume(char ch)
  648. {
  649. VERIFY(consume() == ch);
  650. }
  651. }