Parser.cpp 19 KB

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