Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2009 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 17 | // See imgdiff.cpp in this directory for a description of the patch file |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 18 | // format. |
| 19 | |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 20 | #include <applypatch/imgpatch.h> |
| 21 | |
| 22 | #include <errno.h> |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 23 | #include <stdio.h> |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 24 | #include <string.h> |
Mark Salyzyn | f3bb31c | 2014-03-14 09:39:48 -0700 | [diff] [blame] | 25 | #include <sys/cdefs.h> |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 26 | #include <sys/stat.h> |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 27 | #include <unistd.h> |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 28 | |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 29 | #include <memory> |
Tianjie Xu | aced5d9 | 2016-10-12 10:55:04 -0700 | [diff] [blame] | 30 | #include <string> |
Yabin Cui | d483c20 | 2016-02-03 17:08:52 -0800 | [diff] [blame] | 31 | #include <vector> |
| 32 | |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 33 | #include <android-base/logging.h> |
| 34 | #include <android-base/memory.h> |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 35 | #include <applypatch/applypatch.h> |
| 36 | #include <applypatch/imgdiff.h> |
| 37 | #include <openssl/sha.h> |
| 38 | #include <zlib.h> |
| 39 | |
Tao Bao | 38d78d1 | 2017-10-09 11:03:38 -0700 | [diff] [blame] | 40 | #include "edify/expr.h" |
| 41 | |
Tianjie Xu | 12b9055 | 2017-03-07 14:44:14 -0800 | [diff] [blame] | 42 | static inline int64_t Read8(const void *address) { |
| 43 | return android::base::get_unaligned<int64_t>(address); |
| 44 | } |
| 45 | |
| 46 | static inline int32_t Read4(const void *address) { |
| 47 | return android::base::get_unaligned<int32_t>(address); |
| 48 | } |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 49 | |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 50 | // This function is a wrapper of ApplyBSDiffPatch(). It has a custom sink function to deflate the |
| 51 | // patched data and stream the deflated data to output. |
| 52 | static bool ApplyBSDiffPatchAndStreamOutput(const uint8_t* src_data, size_t src_len, |
| 53 | const Value* patch, size_t patch_offset, |
| 54 | const char* deflate_header, SinkFn sink, SHA_CTX* ctx) { |
| 55 | size_t expected_target_length = static_cast<size_t>(Read8(deflate_header + 32)); |
| 56 | int level = Read4(deflate_header + 40); |
| 57 | int method = Read4(deflate_header + 44); |
| 58 | int window_bits = Read4(deflate_header + 48); |
| 59 | int mem_level = Read4(deflate_header + 52); |
| 60 | int strategy = Read4(deflate_header + 56); |
| 61 | |
Tao Bao | fdec103 | 2017-10-24 12:25:41 -0700 | [diff] [blame] | 62 | z_stream strm; |
| 63 | strm.zalloc = Z_NULL; |
| 64 | strm.zfree = Z_NULL; |
| 65 | strm.opaque = Z_NULL; |
| 66 | strm.avail_in = 0; |
| 67 | strm.next_in = nullptr; |
| 68 | int ret = deflateInit2(&strm, level, method, window_bits, mem_level, strategy); |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 69 | if (ret != Z_OK) { |
| 70 | LOG(ERROR) << "Failed to init uncompressed data deflation: " << ret; |
| 71 | return false; |
| 72 | } |
| 73 | |
| 74 | // Define a custom sink wrapper that feeds to bspatch. It deflates the available patch data on |
| 75 | // the fly and outputs the compressed data to the given sink. |
| 76 | size_t actual_target_length = 0; |
| 77 | size_t total_written = 0; |
| 78 | static constexpr size_t buffer_size = 32768; |
Tao Bao | fdec103 | 2017-10-24 12:25:41 -0700 | [diff] [blame] | 79 | auto compression_sink = [&strm, &actual_target_length, &expected_target_length, &total_written, |
| 80 | &ret, &ctx, &sink](const uint8_t* data, size_t len) -> size_t { |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 81 | // The input patch length for an update never exceeds INT_MAX. |
Tao Bao | fdec103 | 2017-10-24 12:25:41 -0700 | [diff] [blame] | 82 | strm.avail_in = len; |
| 83 | strm.next_in = data; |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 84 | do { |
| 85 | std::vector<uint8_t> buffer(buffer_size); |
Tao Bao | fdec103 | 2017-10-24 12:25:41 -0700 | [diff] [blame] | 86 | strm.avail_out = buffer_size; |
| 87 | strm.next_out = buffer.data(); |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 88 | if (actual_target_length + len < expected_target_length) { |
Tao Bao | fdec103 | 2017-10-24 12:25:41 -0700 | [diff] [blame] | 89 | ret = deflate(&strm, Z_NO_FLUSH); |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 90 | } else { |
Tao Bao | fdec103 | 2017-10-24 12:25:41 -0700 | [diff] [blame] | 91 | ret = deflate(&strm, Z_FINISH); |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 92 | } |
| 93 | if (ret != Z_OK && ret != Z_STREAM_END) { |
| 94 | LOG(ERROR) << "Failed to deflate stream: " << ret; |
| 95 | // zero length indicates an error in the sink function of bspatch(). |
| 96 | return 0; |
| 97 | } |
| 98 | |
Tao Bao | fdec103 | 2017-10-24 12:25:41 -0700 | [diff] [blame] | 99 | size_t have = buffer_size - strm.avail_out; |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 100 | total_written += have; |
| 101 | if (sink(buffer.data(), have) != have) { |
| 102 | LOG(ERROR) << "Failed to write " << have << " compressed bytes to output."; |
| 103 | return 0; |
| 104 | } |
| 105 | if (ctx) SHA1_Update(ctx, buffer.data(), have); |
Tao Bao | fdec103 | 2017-10-24 12:25:41 -0700 | [diff] [blame] | 106 | } while ((strm.avail_in != 0 || strm.avail_out == 0) && ret != Z_STREAM_END); |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 107 | |
| 108 | actual_target_length += len; |
| 109 | return len; |
| 110 | }; |
| 111 | |
Tao Bao | fdec103 | 2017-10-24 12:25:41 -0700 | [diff] [blame] | 112 | int bspatch_result = |
| 113 | ApplyBSDiffPatch(src_data, src_len, patch, patch_offset, compression_sink, nullptr); |
| 114 | deflateEnd(&strm); |
| 115 | |
| 116 | if (bspatch_result != 0) { |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 117 | return false; |
| 118 | } |
| 119 | |
| 120 | if (ret != Z_STREAM_END) { |
| 121 | LOG(ERROR) << "ret is expected to be Z_STREAM_END, but it's " << ret; |
| 122 | return false; |
| 123 | } |
| 124 | |
| 125 | if (expected_target_length != actual_target_length) { |
| 126 | LOG(ERROR) << "target length is expected to be " << expected_target_length << ", but it's " |
| 127 | << actual_target_length; |
| 128 | return false; |
| 129 | } |
| 130 | LOG(DEBUG) << "bspatch writes " << total_written << " bytes in total to streaming output."; |
| 131 | |
| 132 | return true; |
| 133 | } |
| 134 | |
Tao Bao | f7eb760 | 2017-03-27 15:12:48 -0700 | [diff] [blame] | 135 | int ApplyImagePatch(const unsigned char* old_data, size_t old_size, const unsigned char* patch_data, |
Tao Bao | c0e1c46 | 2017-02-01 10:20:10 -0800 | [diff] [blame] | 136 | size_t patch_size, SinkFn sink) { |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 137 | Value patch(VAL_BLOB, std::string(reinterpret_cast<const char*>(patch_data), patch_size)); |
Tianjie Xu | aced5d9 | 2016-10-12 10:55:04 -0700 | [diff] [blame] | 138 | |
Tao Bao | c0e1c46 | 2017-02-01 10:20:10 -0800 | [diff] [blame] | 139 | return ApplyImagePatch(old_data, old_size, &patch, sink, nullptr, nullptr); |
Sen Jiang | 0cce9cd | 2016-01-22 20:49:07 +0800 | [diff] [blame] | 140 | } |
| 141 | |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 142 | /* |
| 143 | * Apply the patch given in 'patch_filename' to the source data given |
| 144 | * by (old_data, old_size). Write the patched output to the 'output' |
| 145 | * file, and update the SHA context with the output data as well. |
| 146 | * Return 0 on success. |
| 147 | */ |
Tao Bao | f7eb760 | 2017-03-27 15:12:48 -0700 | [diff] [blame] | 148 | int ApplyImagePatch(const unsigned char* old_data, size_t old_size, const Value* patch, SinkFn sink, |
Tao Bao | c0e1c46 | 2017-02-01 10:20:10 -0800 | [diff] [blame] | 149 | SHA_CTX* ctx, const Value* bonus_data) { |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 150 | if (patch->data.size() < 12) { |
| 151 | printf("patch too short to contain header\n"); |
| 152 | return -1; |
| 153 | } |
| 154 | |
| 155 | // IMGDIFF2 uses CHUNK_NORMAL, CHUNK_DEFLATE, and CHUNK_RAW. |
| 156 | // (IMGDIFF1, which is no longer supported, used CHUNK_NORMAL and |
| 157 | // CHUNK_GZIP.) |
| 158 | size_t pos = 12; |
| 159 | const char* header = &patch->data[0]; |
| 160 | if (memcmp(header, "IMGDIFF2", 8) != 0) { |
| 161 | printf("corrupt patch file header (magic number)\n"); |
| 162 | return -1; |
| 163 | } |
| 164 | |
| 165 | int num_chunks = Read4(header + 8); |
| 166 | |
| 167 | for (int i = 0; i < num_chunks; ++i) { |
| 168 | // each chunk's header record starts with 4 bytes. |
| 169 | if (pos + 4 > patch->data.size()) { |
| 170 | printf("failed to read chunk %d record\n", i); |
| 171 | return -1; |
| 172 | } |
| 173 | int type = Read4(&patch->data[pos]); |
| 174 | pos += 4; |
| 175 | |
| 176 | if (type == CHUNK_NORMAL) { |
| 177 | const char* normal_header = &patch->data[pos]; |
| 178 | pos += 24; |
| 179 | if (pos > patch->data.size()) { |
| 180 | printf("failed to read chunk %d normal header data\n", i); |
Doug Zongker | c4351c7 | 2010-02-22 14:46:32 -0800 | [diff] [blame] | 181 | return -1; |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 182 | } |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 183 | |
Tianjie Xu | 12b9055 | 2017-03-07 14:44:14 -0800 | [diff] [blame] | 184 | size_t src_start = static_cast<size_t>(Read8(normal_header)); |
| 185 | size_t src_len = static_cast<size_t>(Read8(normal_header + 8)); |
| 186 | size_t patch_offset = static_cast<size_t>(Read8(normal_header + 16)); |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 187 | |
Tao Bao | f7eb760 | 2017-03-27 15:12:48 -0700 | [diff] [blame] | 188 | if (src_start + src_len > old_size) { |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 189 | printf("source data too short\n"); |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 190 | return -1; |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 191 | } |
Jinguang Dong | 391bb7b | 2017-04-26 10:40:45 +0800 | [diff] [blame] | 192 | if (ApplyBSDiffPatch(old_data + src_start, src_len, patch, patch_offset, sink, ctx) != 0) { |
| 193 | printf("Failed to apply bsdiff patch.\n"); |
| 194 | return -1; |
| 195 | } |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 196 | } else if (type == CHUNK_RAW) { |
| 197 | const char* raw_header = &patch->data[pos]; |
| 198 | pos += 4; |
| 199 | if (pos > patch->data.size()) { |
| 200 | printf("failed to read chunk %d raw header data\n", i); |
| 201 | return -1; |
| 202 | } |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 203 | |
Tao Bao | f7eb760 | 2017-03-27 15:12:48 -0700 | [diff] [blame] | 204 | size_t data_len = static_cast<size_t>(Read4(raw_header)); |
Doug Zongker | c4351c7 | 2010-02-22 14:46:32 -0800 | [diff] [blame] | 205 | |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 206 | if (pos + data_len > patch->data.size()) { |
| 207 | printf("failed to read chunk %d raw data\n", i); |
| 208 | return -1; |
| 209 | } |
| 210 | if (ctx) SHA1_Update(ctx, &patch->data[pos], data_len); |
Tao Bao | c0e1c46 | 2017-02-01 10:20:10 -0800 | [diff] [blame] | 211 | if (sink(reinterpret_cast<const unsigned char*>(&patch->data[pos]), data_len) != data_len) { |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 212 | printf("failed to write chunk %d raw data\n", i); |
| 213 | return -1; |
| 214 | } |
| 215 | pos += data_len; |
| 216 | } else if (type == CHUNK_DEFLATE) { |
| 217 | // deflate chunks have an additional 60 bytes in their chunk header. |
| 218 | const char* deflate_header = &patch->data[pos]; |
| 219 | pos += 60; |
| 220 | if (pos > patch->data.size()) { |
| 221 | printf("failed to read chunk %d deflate header data\n", i); |
| 222 | return -1; |
| 223 | } |
| 224 | |
Tianjie Xu | 12b9055 | 2017-03-07 14:44:14 -0800 | [diff] [blame] | 225 | size_t src_start = static_cast<size_t>(Read8(deflate_header)); |
| 226 | size_t src_len = static_cast<size_t>(Read8(deflate_header + 8)); |
| 227 | size_t patch_offset = static_cast<size_t>(Read8(deflate_header + 16)); |
| 228 | size_t expanded_len = static_cast<size_t>(Read8(deflate_header + 24)); |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 229 | |
Tao Bao | f7eb760 | 2017-03-27 15:12:48 -0700 | [diff] [blame] | 230 | if (src_start + src_len > old_size) { |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 231 | printf("source data too short\n"); |
| 232 | return -1; |
| 233 | } |
| 234 | |
| 235 | // Decompress the source data; the chunk header tells us exactly |
| 236 | // how big we expect it to be when decompressed. |
| 237 | |
| 238 | // Note: expanded_len will include the bonus data size if |
| 239 | // the patch was constructed with bonus data. The |
| 240 | // deflation will come up 'bonus_size' bytes short; these |
| 241 | // must be appended from the bonus_data value. |
| 242 | size_t bonus_size = (i == 1 && bonus_data != NULL) ? bonus_data->data.size() : 0; |
| 243 | |
| 244 | std::vector<unsigned char> expanded_source(expanded_len); |
| 245 | |
| 246 | // inflate() doesn't like strm.next_out being a nullptr even with |
| 247 | // avail_out being zero (Z_STREAM_ERROR). |
| 248 | if (expanded_len != 0) { |
| 249 | z_stream strm; |
| 250 | strm.zalloc = Z_NULL; |
| 251 | strm.zfree = Z_NULL; |
| 252 | strm.opaque = Z_NULL; |
| 253 | strm.avail_in = src_len; |
Tao Bao | 087bc0c | 2017-01-19 10:46:39 -0800 | [diff] [blame] | 254 | strm.next_in = old_data + src_start; |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 255 | strm.avail_out = expanded_len; |
| 256 | strm.next_out = expanded_source.data(); |
| 257 | |
| 258 | int ret = inflateInit2(&strm, -15); |
| 259 | if (ret != Z_OK) { |
| 260 | printf("failed to init source inflation: %d\n", ret); |
| 261 | return -1; |
Doug Zongker | c4351c7 | 2010-02-22 14:46:32 -0800 | [diff] [blame] | 262 | } |
Doug Zongker | c4351c7 | 2010-02-22 14:46:32 -0800 | [diff] [blame] | 263 | |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 264 | // Because we've provided enough room to accommodate the output |
| 265 | // data, we expect one call to inflate() to suffice. |
| 266 | ret = inflate(&strm, Z_SYNC_FLUSH); |
| 267 | if (ret != Z_STREAM_END) { |
| 268 | printf("source inflation returned %d\n", ret); |
| 269 | return -1; |
Doug Zongker | c4351c7 | 2010-02-22 14:46:32 -0800 | [diff] [blame] | 270 | } |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 271 | // We should have filled the output buffer exactly, except |
| 272 | // for the bonus_size. |
| 273 | if (strm.avail_out != bonus_size) { |
| 274 | printf("source inflation short by %zu bytes\n", strm.avail_out - bonus_size); |
| 275 | return -1; |
| 276 | } |
| 277 | inflateEnd(&strm); |
Doug Zongker | c4351c7 | 2010-02-22 14:46:32 -0800 | [diff] [blame] | 278 | |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 279 | if (bonus_size) { |
| 280 | memcpy(expanded_source.data() + (expanded_len - bonus_size), &bonus_data->data[0], |
| 281 | bonus_size); |
| 282 | } |
| 283 | } |
| 284 | |
Tianjie Xu | a897f95 | 2017-05-17 22:41:55 -0700 | [diff] [blame] | 285 | if (!ApplyBSDiffPatchAndStreamOutput(expanded_source.data(), expanded_len, patch, |
| 286 | patch_offset, deflate_header, sink, ctx)) { |
| 287 | LOG(ERROR) << "Fail to apply streaming bspatch."; |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 288 | return -1; |
| 289 | } |
| 290 | |
Tao Bao | 97555da | 2016-12-15 10:15:06 -0800 | [diff] [blame] | 291 | } else { |
| 292 | printf("patch chunk %d is unknown type %d\n", i, type); |
| 293 | return -1; |
| 294 | } |
| 295 | } |
| 296 | |
| 297 | return 0; |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 298 | } |