diff --git a/fuzz/CMakeLists.txt b/fuzz/CMakeLists.txt index efa71528..233a4571 100644 --- a/fuzz/CMakeLists.txt +++ b/fuzz/CMakeLists.txt @@ -114,6 +114,8 @@ set(CORPUS_OTHER 65681.fuzz 65773.fuzz 65777.fuzz + 68374.fuzz + 68377.fuzz ) set(CORPUS_DIR ${CMAKE_CURRENT_BINARY_DIR}/qpdf_corpus) diff --git a/fuzz/qpdf_extra/68374.fuzz b/fuzz/qpdf_extra/68374.fuzz new file mode 100644 index 00000000..748bad92 Binary files /dev/null and b/fuzz/qpdf_extra/68374.fuzz differ diff --git a/fuzz/qpdf_extra/68377.fuzz b/fuzz/qpdf_extra/68377.fuzz new file mode 100644 index 00000000..61ce0e22 Binary files /dev/null and b/fuzz/qpdf_extra/68377.fuzz differ diff --git a/fuzz/qtest/fuzz.test b/fuzz/qtest/fuzz.test index 7235140d..38590d4c 100644 --- a/fuzz/qtest/fuzz.test +++ b/fuzz/qtest/fuzz.test @@ -21,7 +21,7 @@ my @fuzzers = ( ['pngpredictor' => 1], ['runlength' => 6], ['tiffpredictor' => 2], - ['qpdf' => 56], # increment when adding new files + ['qpdf' => 58], # increment when adding new files ); my $n_tests = 0; diff --git a/libqpdf/QPDF.cc b/libqpdf/QPDF.cc index 3f776852..ed32b386 100644 --- a/libqpdf/QPDF.cc +++ b/libqpdf/QPDF.cc @@ -1117,8 +1117,7 @@ QPDF::processXRefStream(qpdf_offset_t xref_offset, QPDFObjectHandle& xref_obj) if (obj == 0) { // This is needed by checkLinearization() m->first_xref_item_offset = xref_offset; - } - if (fields[0] == 0) { + } else if (fields[0] == 0) { // Ignore fields[2], which we don't care about in this case. This works around the issue // of some PDF files that put invalid values, like -1, here for deleted objects. insertFreeXrefEntry(QPDFObjGen(obj, 0)); @@ -1196,7 +1195,9 @@ QPDF::insertFreeXrefEntry(QPDFObjGen og) void QPDF::insertReconstructedXrefEntry(int obj, qpdf_offset_t f1, int f2) { - if (!(obj > 0 && 0 <= f2 && f2 < 65535)) { + // Various tables are indexed by object id, with potential size id + 1 + constexpr static int max_id = std::numeric_limits::max() - 1; + if (!(obj > 0 && obj <= max_id && 0 <= f2 && f2 < 65535)) { QTC::TC("qpdf", "QPDF xref overwrite invalid objgen"); return; } diff --git a/libqpdf/QPDF_optimization.cc b/libqpdf/QPDF_optimization.cc index 9f423a3a..75615436 100644 --- a/libqpdf/QPDF_optimization.cc +++ b/libqpdf/QPDF_optimization.cc @@ -416,22 +416,26 @@ QPDF::filterCompressedObjects(QPDFWriter::ObjTable const& obj) ObjUser const& ou = i1.first; // Loop over objects. for (auto const& og: i1.second) { - if (auto const& i2 = obj[og].object_stream; i2 <= 0) { - t_obj_user_to_objects[ou].insert(og); - } else { - t_obj_user_to_objects[ou].insert(QPDFObjGen(i2, 0)); + if (obj.contains(og)) { + if (auto const& i2 = obj[og].object_stream; i2 <= 0) { + t_obj_user_to_objects[ou].insert(og); + } else { + t_obj_user_to_objects[ou].insert(QPDFObjGen(i2, 0)); + } } } } for (auto const& i1: m->object_to_obj_users) { QPDFObjGen const& og = i1.first; - // Loop over obj_users. - for (auto const& ou: i1.second) { - if (auto i2 = obj[og].object_stream; i2 <= 0) { - t_object_to_obj_users[og].insert(ou); - } else { - t_object_to_obj_users[QPDFObjGen(i2, 0)].insert(ou); + if (obj.contains(og)) { + // Loop over obj_users. + for (auto const& ou: i1.second) { + if (auto i2 = obj[og].object_stream; i2 <= 0) { + t_object_to_obj_users[og].insert(ou); + } else { + t_object_to_obj_users[QPDFObjGen(i2, 0)].insert(ou); + } } } } diff --git a/libqpdf/qpdf/ObjTable.hh b/libqpdf/qpdf/ObjTable.hh index 1f0f8a2b..84b51b78 100644 --- a/libqpdf/qpdf/ObjTable.hh +++ b/libqpdf/qpdf/ObjTable.hh @@ -62,6 +62,12 @@ class ObjTable: public std::vector return idx < std::vector::size() || sparse_elements.count(idx); } + inline bool + contains(QPDFObjGen og) const + { + return contains(static_cast(og.getObj())); + } + inline bool contains(QPDFObjectHandle oh) const {