Blame SOURCES/exiv2-CVE-2017-17723-2.patch

240d3a
From 7f5b0778fa301b68c1c88e3820ec3afbd09dd0a5 Mon Sep 17 00:00:00 2001
240d3a
From: clanmills <robin@clanmills.com>
240d3a
Date: Wed, 27 Sep 2017 09:20:13 +0100
240d3a
Subject: Fix https://github.com/Exiv2/exiv2/issues/55
240d3a
240d3a
(cherry picked from commit 6e3855aed7ba8bb4731fc4087ca7f9078b2f3d97)
240d3a
240d3a
diff --git a/include/exiv2/value.hpp b/include/exiv2/value.hpp
240d3a
index 2078c6bd..b7d76fef 100644
240d3a
--- a/include/exiv2/value.hpp
240d3a
+++ b/include/exiv2/value.hpp
240d3a
@@ -1659,11 +1659,13 @@ namespace Exiv2 {
240d3a
         ok_ = true;
240d3a
         return static_cast<long>(value_[n]);
240d3a
     }
240d3a
+// #55 crash when value_[n].first == LONG_MIN
240d3a
+#define LARGE_INT 1000000
240d3a
     // Specialization for rational
240d3a
     template<>
240d3a
     inline long ValueType<Rational>::toLong(long n) const
240d3a
     {
240d3a
-        ok_ = (value_[n].second != 0 && INT_MIN < value_[n].first && value_[n].first < INT_MAX );
240d3a
+        ok_ = (value_[n].second != 0 && -LARGE_INT < value_[n].first && value_[n].first < LARGE_INT);
240d3a
         if (!ok_) return 0;
240d3a
         return value_[n].first / value_[n].second;
240d3a
     }
240d3a
@@ -1671,7 +1673,7 @@ namespace Exiv2 {
240d3a
     template<>
240d3a
     inline long ValueType<URational>::toLong(long n) const
240d3a
     {
240d3a
-        ok_ = (value_[n].second != 0);
240d3a
+        ok_ = (value_[n].second != 0 && value_[n].first < LARGE_INT);
240d3a
         if (!ok_) return 0;
240d3a
         return value_[n].first / value_[n].second;
240d3a
     }
240d3a
diff --git a/src/basicio.cpp b/src/basicio.cpp
240d3a
index 95589cd2..f2e1518b 100644
240d3a
--- a/src/basicio.cpp
240d3a
+++ b/src/basicio.cpp
240d3a
@@ -990,6 +990,7 @@ namespace Exiv2 {
240d3a
     DataBuf FileIo::read(long rcount)
240d3a
     {
240d3a
         assert(p_->fp_ != 0);
240d3a
+        if ( (size_t) rcount > size() ) throw Error(57);
240d3a
         DataBuf buf(rcount);
240d3a
         long readCount = read(buf.pData_, buf.size_);
240d3a
         buf.size_ = readCount;
240d3a
diff --git a/src/error.cpp b/src/error.cpp
240d3a
index 80378c19..e90a9c0a 100644
240d3a
--- a/src/error.cpp
240d3a
+++ b/src/error.cpp
240d3a
@@ -106,6 +106,9 @@ namespace {
240d3a
         { 52, N_("%1 has invalid XMP value type `%2'") }, // %1=key, %2=value type
240d3a
         { 53, N_("Not a valid ICC Profile") },
240d3a
         { 54, N_("Not valid XMP") },
240d3a
+        { 55, N_("tiff directory length is too large") },
240d3a
+        { 56, N_("invalid type value detected in Image::printIFDStructure") },
240d3a
+        { 57, N_("invalid memory allocation request") },
240d3a
     };
240d3a
240d3a
 }
240d3a
diff --git a/src/image.cpp b/src/image.cpp
240d3a
index 0d828045..ec5b873e 100644
240d3a
--- a/src/image.cpp
240d3a
+++ b/src/image.cpp
240d3a
@@ -399,7 +399,13 @@ namespace Exiv2 {
240d3a
                                 ;
240d3a
240d3a
                 // if ( offset > io.size() ) offset = 0; // Denial of service?
240d3a
-                DataBuf  buf(size*count + pad+20);  // allocate a buffer
240d3a
+
240d3a
+                // #55 memory allocation crash test/data/POC8
240d3a
+                long long allocate = (long long) (size*count + pad+20);
240d3a
+                if ( allocate > (long long) io.size() ) {
240d3a
+                    throw Error(57);
240d3a
+                }
240d3a
+                DataBuf  buf(allocate);  // allocate a buffer
240d3a
                 std::memcpy(buf.pData_,dir.pData_+8,4);  // copy dir[8:11] into buffer (short strings)
240d3a
                 if ( count*size > 4 ) {            // read into buffer
240d3a
                     size_t   restore = io.tell();  // save