blob: 77c19ad97d714fb1474dca44586a4399b2c70e39 [file] [log] [blame]
Doug Zongker512536a2010-02-17 16:11:44 -08001/*
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
17/*
18 * This program constructs binary patches for images -- such as boot.img
19 * and recovery.img -- that consist primarily of large chunks of gzipped
20 * data interspersed with uncompressed data. Doing a naive bsdiff of
21 * these files is not useful because small changes in the data lead to
22 * large changes in the compressed bitstream; bsdiff patches of gzipped
23 * data are typically as large as the data itself.
24 *
25 * To patch these usefully, we break the source and target images up into
26 * chunks of two types: "normal" and "gzip". Normal chunks are simply
27 * patched using a plain bsdiff. Gzip chunks are first expanded, then a
28 * bsdiff is applied to the uncompressed data, then the patched data is
29 * gzipped using the same encoder parameters. Patched chunks are
30 * concatenated together to create the output file; the output image
31 * should be *exactly* the same series of bytes as the target image used
32 * originally to generate the patch.
33 *
34 * To work well with this tool, the gzipped sections of the target
35 * image must have been generated using the same deflate encoder that
36 * is available in applypatch, namely, the one in the zlib library.
37 * In practice this means that images should be compressed using the
38 * "minigzip" tool included in the zlib distribution, not the GNU gzip
39 * program.
40 *
41 * An "imgdiff" patch consists of a header describing the chunk structure
42 * of the file and any encoding parameters needed for the gzipped
43 * chunks, followed by N bsdiff patches, one per chunk.
44 *
45 * For a diff to be generated, the source and target images must have the
46 * same "chunk" structure: that is, the same number of gzipped and normal
47 * chunks in the same order. Android boot and recovery images currently
48 * consist of five chunks: a small normal header, a gzipped kernel, a
49 * small normal section, a gzipped ramdisk, and finally a small normal
50 * footer.
51 *
52 * Caveats: we locate gzipped sections within the source and target
53 * images by searching for the byte sequence 1f8b0800: 1f8b is the gzip
54 * magic number; 08 specifies the "deflate" encoding [the only encoding
55 * supported by the gzip standard]; and 00 is the flags byte. We do not
56 * currently support any extra header fields (which would be indicated by
57 * a nonzero flags byte). We also don't handle the case when that byte
58 * sequence appears spuriously in the file. (Note that it would have to
59 * occur spuriously within a normal chunk to be a problem.)
60 *
61 *
62 * The imgdiff patch header looks like this:
63 *
64 * "IMGDIFF1" (8) [magic number and version]
65 * chunk count (4)
66 * for each chunk:
67 * chunk type (4) [CHUNK_{NORMAL, GZIP, DEFLATE, RAW}]
68 * if chunk type == CHUNK_NORMAL:
69 * source start (8)
70 * source len (8)
71 * bsdiff patch offset (8) [from start of patch file]
72 * if chunk type == CHUNK_GZIP: (version 1 only)
73 * source start (8)
74 * source len (8)
75 * bsdiff patch offset (8) [from start of patch file]
76 * source expanded len (8) [size of uncompressed source]
77 * target expected len (8) [size of uncompressed target]
78 * gzip level (4)
79 * method (4)
80 * windowBits (4)
81 * memLevel (4)
82 * strategy (4)
83 * gzip header len (4)
84 * gzip header (gzip header len)
85 * gzip footer (8)
86 * if chunk type == CHUNK_DEFLATE: (version 2 only)
87 * source start (8)
88 * source len (8)
89 * bsdiff patch offset (8) [from start of patch file]
90 * source expanded len (8) [size of uncompressed source]
91 * target expected len (8) [size of uncompressed target]
92 * gzip level (4)
93 * method (4)
94 * windowBits (4)
95 * memLevel (4)
96 * strategy (4)
97 * if chunk type == RAW: (version 2 only)
98 * target len (4)
99 * data (target len)
100 *
101 * All integers are little-endian. "source start" and "source len"
102 * specify the section of the input image that comprises this chunk,
103 * including the gzip header and footer for gzip chunks. "source
104 * expanded len" is the size of the uncompressed source data. "target
105 * expected len" is the size of the uncompressed data after applying
106 * the bsdiff patch. The next five parameters specify the zlib
107 * parameters to be used when compressing the patched data, and the
108 * next three specify the header and footer to be wrapped around the
109 * compressed data to create the output chunk (so that header contents
110 * like the timestamp are recreated exactly).
111 *
112 * After the header there are 'chunk count' bsdiff patches; the offset
113 * of each from the beginning of the file is specified in the header.
Doug Zongkera3ccba62012-08-20 15:28:02 -0700114 *
115 * This tool can take an optional file of "bonus data". This is an
116 * extra file of data that is appended to chunk #1 after it is
117 * compressed (it must be a CHUNK_DEFLATE chunk). The same file must
118 * be available (and passed to applypatch with -b) when applying the
119 * patch. This is used to reduce the size of recovery-from-boot
120 * patches by combining the boot image with recovery ramdisk
121 * information that is stored on the system partition.
Doug Zongker512536a2010-02-17 16:11:44 -0800122 */
123
124#include <errno.h>
Tao Baoba9a42a2015-06-23 23:23:33 -0700125#include <inttypes.h>
Doug Zongker512536a2010-02-17 16:11:44 -0800126#include <stdio.h>
127#include <stdlib.h>
128#include <string.h>
129#include <sys/stat.h>
130#include <unistd.h>
131#include <sys/types.h>
132
Sen Jiang2fffcb12016-05-03 15:49:10 -0700133#include <bsdiff.h>
134
Doug Zongker512536a2010-02-17 16:11:44 -0800135#include "zlib.h"
136#include "imgdiff.h"
137#include "utils.h"
138
139typedef struct {
140 int type; // CHUNK_NORMAL, CHUNK_DEFLATE
141 size_t start; // offset of chunk in original image file
142
143 size_t len;
144 unsigned char* data; // data to be patched (uncompressed, for deflate chunks)
145
146 size_t source_start;
147 size_t source_len;
148
Doug Zongker512536a2010-02-17 16:11:44 -0800149 // --- for CHUNK_DEFLATE chunks only: ---
150
151 // original (compressed) deflate data
152 size_t deflate_len;
153 unsigned char* deflate_data;
154
155 char* filename; // used for zip entries
156
157 // deflate encoder parameters
158 int level, method, windowBits, memLevel, strategy;
159
160 size_t source_uncompressed_len;
161} ImageChunk;
162
163typedef struct {
164 int data_offset;
165 int deflate_len;
166 int uncomp_len;
167 char* filename;
168} ZipFileEntry;
169
Tao Baoa0c40112016-06-01 13:15:44 -0700170static int fileentry_compare(const void* a, const void* b) {
171 int ao = ((ZipFileEntry*)a)->data_offset;
172 int bo = ((ZipFileEntry*)b)->data_offset;
173 if (ao < bo) {
174 return -1;
175 } else if (ao > bo) {
176 return 1;
177 } else {
178 return 0;
179 }
Doug Zongker512536a2010-02-17 16:11:44 -0800180}
181
Doug Zongker512536a2010-02-17 16:11:44 -0800182unsigned char* ReadZip(const char* filename,
183 int* num_chunks, ImageChunk** chunks,
184 int include_pseudo_chunk) {
185 struct stat st;
186 if (stat(filename, &st) != 0) {
187 printf("failed to stat \"%s\": %s\n", filename, strerror(errno));
188 return NULL;
189 }
190
Tao Baoba9a42a2015-06-23 23:23:33 -0700191 size_t sz = static_cast<size_t>(st.st_size);
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800192 unsigned char* img = static_cast<unsigned char*>(malloc(sz));
Doug Zongker512536a2010-02-17 16:11:44 -0800193 FILE* f = fopen(filename, "rb");
Tao Baoa0c40112016-06-01 13:15:44 -0700194 if (fread(img, 1, sz, f) != sz) {
Doug Zongker512536a2010-02-17 16:11:44 -0800195 printf("failed to read \"%s\" %s\n", filename, strerror(errno));
196 fclose(f);
197 return NULL;
198 }
199 fclose(f);
200
201 // look for the end-of-central-directory record.
202
203 int i;
204 for (i = st.st_size-20; i >= 0 && i > st.st_size - 65600; --i) {
205 if (img[i] == 0x50 && img[i+1] == 0x4b &&
206 img[i+2] == 0x05 && img[i+3] == 0x06) {
207 break;
208 }
209 }
210 // double-check: this archive consists of a single "disk"
211 if (!(img[i+4] == 0 && img[i+5] == 0 && img[i+6] == 0 && img[i+7] == 0)) {
212 printf("can't process multi-disk archive\n");
213 return NULL;
214 }
215
Tao Baoa0c40112016-06-01 13:15:44 -0700216 int cdcount = Read2(img+i+8);
217 int cdoffset = Read4(img+i+16);
Doug Zongker512536a2010-02-17 16:11:44 -0800218
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800219 ZipFileEntry* temp_entries = static_cast<ZipFileEntry*>(malloc(
Tao Baoa0c40112016-06-01 13:15:44 -0700220 cdcount * sizeof(ZipFileEntry)));
Doug Zongker512536a2010-02-17 16:11:44 -0800221 int entrycount = 0;
222
Tao Baoa0c40112016-06-01 13:15:44 -0700223 unsigned char* cd = img+cdoffset;
Doug Zongker512536a2010-02-17 16:11:44 -0800224 for (i = 0; i < cdcount; ++i) {
225 if (!(cd[0] == 0x50 && cd[1] == 0x4b && cd[2] == 0x01 && cd[3] == 0x02)) {
226 printf("bad central directory entry %d\n", i);
227 return NULL;
228 }
229
230 int clen = Read4(cd+20); // compressed len
231 int ulen = Read4(cd+24); // uncompressed len
232 int nlen = Read2(cd+28); // filename len
233 int xlen = Read2(cd+30); // extra field len
234 int mlen = Read2(cd+32); // file comment len
235 int hoffset = Read4(cd+42); // local header offset
236
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800237 char* filename = static_cast<char*>(malloc(nlen+1));
Doug Zongker512536a2010-02-17 16:11:44 -0800238 memcpy(filename, cd+46, nlen);
239 filename[nlen] = '\0';
240
241 int method = Read2(cd+10);
242
243 cd += 46 + nlen + xlen + mlen;
244
245 if (method != 8) { // 8 == deflate
246 free(filename);
247 continue;
248 }
249
Tao Baoa0c40112016-06-01 13:15:44 -0700250 unsigned char* lh = img + hoffset;
Doug Zongker512536a2010-02-17 16:11:44 -0800251
252 if (!(lh[0] == 0x50 && lh[1] == 0x4b && lh[2] == 0x03 && lh[3] == 0x04)) {
253 printf("bad local file header entry %d\n", i);
254 return NULL;
255 }
256
257 if (Read2(lh+26) != nlen || memcmp(lh+30, filename, nlen) != 0) {
258 printf("central dir filename doesn't match local header\n");
259 return NULL;
260 }
261
262 xlen = Read2(lh+28); // extra field len; might be different from CD entry?
263
264 temp_entries[entrycount].data_offset = hoffset+30+nlen+xlen;
265 temp_entries[entrycount].deflate_len = clen;
266 temp_entries[entrycount].uncomp_len = ulen;
267 temp_entries[entrycount].filename = filename;
268 ++entrycount;
269 }
270
Tao Baoa0c40112016-06-01 13:15:44 -0700271 qsort(temp_entries, entrycount, sizeof(ZipFileEntry), fileentry_compare);
Doug Zongker512536a2010-02-17 16:11:44 -0800272
273#if 0
274 printf("found %d deflated entries\n", entrycount);
275 for (i = 0; i < entrycount; ++i) {
276 printf("off %10d len %10d unlen %10d %p %s\n",
277 temp_entries[i].data_offset,
278 temp_entries[i].deflate_len,
279 temp_entries[i].uncomp_len,
280 temp_entries[i].filename,
281 temp_entries[i].filename);
282 }
283#endif
284
285 *num_chunks = 0;
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800286 *chunks = static_cast<ImageChunk*>(malloc((entrycount*2+2) * sizeof(ImageChunk)));
Doug Zongker512536a2010-02-17 16:11:44 -0800287 ImageChunk* curr = *chunks;
288
289 if (include_pseudo_chunk) {
290 curr->type = CHUNK_NORMAL;
291 curr->start = 0;
292 curr->len = st.st_size;
Tao Baoa0c40112016-06-01 13:15:44 -0700293 curr->data = img;
Doug Zongker512536a2010-02-17 16:11:44 -0800294 curr->filename = NULL;
Doug Zongker512536a2010-02-17 16:11:44 -0800295 ++curr;
296 ++*num_chunks;
297 }
298
299 int pos = 0;
300 int nextentry = 0;
301
302 while (pos < st.st_size) {
303 if (nextentry < entrycount && pos == temp_entries[nextentry].data_offset) {
304 curr->type = CHUNK_DEFLATE;
305 curr->start = pos;
306 curr->deflate_len = temp_entries[nextentry].deflate_len;
Tao Baoa0c40112016-06-01 13:15:44 -0700307 curr->deflate_data = img + pos;
Doug Zongker512536a2010-02-17 16:11:44 -0800308 curr->filename = temp_entries[nextentry].filename;
Doug Zongker512536a2010-02-17 16:11:44 -0800309
310 curr->len = temp_entries[nextentry].uncomp_len;
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800311 curr->data = static_cast<unsigned char*>(malloc(curr->len));
Doug Zongker512536a2010-02-17 16:11:44 -0800312
313 z_stream strm;
314 strm.zalloc = Z_NULL;
315 strm.zfree = Z_NULL;
316 strm.opaque = Z_NULL;
317 strm.avail_in = curr->deflate_len;
318 strm.next_in = curr->deflate_data;
319
320 // -15 means we are decoding a 'raw' deflate stream; zlib will
321 // not expect zlib headers.
322 int ret = inflateInit2(&strm, -15);
Rahul Chaudhrya793c582016-11-29 17:10:14 -0800323 if (ret < 0) {
324 printf("failed to initialize inflate: %d\n", ret);
325 return NULL;
326 }
Doug Zongker512536a2010-02-17 16:11:44 -0800327
328 strm.avail_out = curr->len;
329 strm.next_out = curr->data;
330 ret = inflate(&strm, Z_NO_FLUSH);
331 if (ret != Z_STREAM_END) {
332 printf("failed to inflate \"%s\"; %d\n", curr->filename, ret);
333 return NULL;
334 }
335
336 inflateEnd(&strm);
337
338 pos += curr->deflate_len;
339 ++nextentry;
340 ++*num_chunks;
341 ++curr;
342 continue;
343 }
344
345 // use a normal chunk to take all the data up to the start of the
346 // next deflate section.
347
348 curr->type = CHUNK_NORMAL;
349 curr->start = pos;
350 if (nextentry < entrycount) {
351 curr->len = temp_entries[nextentry].data_offset - pos;
352 } else {
353 curr->len = st.st_size - pos;
354 }
Tao Baoa0c40112016-06-01 13:15:44 -0700355 curr->data = img + pos;
Doug Zongker512536a2010-02-17 16:11:44 -0800356 curr->filename = NULL;
Doug Zongker512536a2010-02-17 16:11:44 -0800357 pos += curr->len;
358
359 ++*num_chunks;
360 ++curr;
361 }
362
Tao Baoa0c40112016-06-01 13:15:44 -0700363 free(temp_entries);
364 return img;
Doug Zongker512536a2010-02-17 16:11:44 -0800365}
366
367/*
368 * Read the given file and break it up into chunks, putting the number
369 * of chunks and their info in *num_chunks and **chunks,
370 * respectively. Returns a malloc'd block of memory containing the
371 * contents of the file; various pointers in the output chunk array
372 * will point into this block of memory. The caller should free the
373 * return value when done with all the chunks. Returns NULL on
374 * failure.
375 */
376unsigned char* ReadImage(const char* filename,
377 int* num_chunks, ImageChunk** chunks) {
378 struct stat st;
379 if (stat(filename, &st) != 0) {
380 printf("failed to stat \"%s\": %s\n", filename, strerror(errno));
381 return NULL;
382 }
383
Tao Baoba9a42a2015-06-23 23:23:33 -0700384 size_t sz = static_cast<size_t>(st.st_size);
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800385 unsigned char* img = static_cast<unsigned char*>(malloc(sz + 4));
Doug Zongker512536a2010-02-17 16:11:44 -0800386 FILE* f = fopen(filename, "rb");
Tao Baoa0c40112016-06-01 13:15:44 -0700387 if (fread(img, 1, sz, f) != sz) {
Doug Zongker512536a2010-02-17 16:11:44 -0800388 printf("failed to read \"%s\" %s\n", filename, strerror(errno));
389 fclose(f);
390 return NULL;
391 }
392 fclose(f);
393
394 // append 4 zero bytes to the data so we can always search for the
395 // four-byte string 1f8b0800 starting at any point in the actual
396 // file data, without special-casing the end of the data.
Tao Baoa0c40112016-06-01 13:15:44 -0700397 memset(img+sz, 0, 4);
Doug Zongker512536a2010-02-17 16:11:44 -0800398
399 size_t pos = 0;
400
401 *num_chunks = 0;
402 *chunks = NULL;
403
Tao Baoba9a42a2015-06-23 23:23:33 -0700404 while (pos < sz) {
Tao Baoa0c40112016-06-01 13:15:44 -0700405 unsigned char* p = img+pos;
Doug Zongker512536a2010-02-17 16:11:44 -0800406
Tao Baoba9a42a2015-06-23 23:23:33 -0700407 if (sz - pos >= 4 &&
Doug Zongker512536a2010-02-17 16:11:44 -0800408 p[0] == 0x1f && p[1] == 0x8b &&
409 p[2] == 0x08 && // deflate compression
410 p[3] == 0x00) { // no header flags
411 // 'pos' is the offset of the start of a gzip chunk.
Johan Redestigc68bd342015-04-14 21:20:06 +0200412 size_t chunk_offset = pos;
Doug Zongker512536a2010-02-17 16:11:44 -0800413
414 *num_chunks += 3;
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800415 *chunks = static_cast<ImageChunk*>(realloc(*chunks,
Tao Baoba9a42a2015-06-23 23:23:33 -0700416 *num_chunks * sizeof(ImageChunk)));
Doug Zongker512536a2010-02-17 16:11:44 -0800417 ImageChunk* curr = *chunks + (*num_chunks-3);
418
419 // create a normal chunk for the header.
420 curr->start = pos;
421 curr->type = CHUNK_NORMAL;
422 curr->len = GZIP_HEADER_LEN;
423 curr->data = p;
Doug Zongker512536a2010-02-17 16:11:44 -0800424
425 pos += curr->len;
426 p += curr->len;
427 ++curr;
428
429 curr->type = CHUNK_DEFLATE;
430 curr->filename = NULL;
Doug Zongker512536a2010-02-17 16:11:44 -0800431
432 // We must decompress this chunk in order to discover where it
433 // ends, and so we can put the uncompressed data and its length
434 // into curr->data and curr->len.
435
436 size_t allocated = 32768;
437 curr->len = 0;
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800438 curr->data = static_cast<unsigned char*>(malloc(allocated));
Doug Zongker512536a2010-02-17 16:11:44 -0800439 curr->start = pos;
440 curr->deflate_data = p;
441
442 z_stream strm;
443 strm.zalloc = Z_NULL;
444 strm.zfree = Z_NULL;
445 strm.opaque = Z_NULL;
Tao Baoba9a42a2015-06-23 23:23:33 -0700446 strm.avail_in = sz - pos;
Doug Zongker512536a2010-02-17 16:11:44 -0800447 strm.next_in = p;
448
449 // -15 means we are decoding a 'raw' deflate stream; zlib will
450 // not expect zlib headers.
451 int ret = inflateInit2(&strm, -15);
Rahul Chaudhrya793c582016-11-29 17:10:14 -0800452 if (ret < 0) {
453 printf("failed to initialize inflate: %d\n", ret);
454 return NULL;
455 }
Doug Zongker512536a2010-02-17 16:11:44 -0800456
457 do {
458 strm.avail_out = allocated - curr->len;
459 strm.next_out = curr->data + curr->len;
460 ret = inflate(&strm, Z_NO_FLUSH);
Johan Redestigc68bd342015-04-14 21:20:06 +0200461 if (ret < 0) {
Sen Jiangfa4f1b72016-02-11 16:14:23 -0800462 printf("Warning: inflate failed [%s] at offset [%zu],"
463 " treating as a normal chunk\n",
David Riley0779fc92015-12-10 10:18:25 -0800464 strm.msg, chunk_offset);
Sen Jiangfa4f1b72016-02-11 16:14:23 -0800465 break;
Johan Redestigc68bd342015-04-14 21:20:06 +0200466 }
Doug Zongker512536a2010-02-17 16:11:44 -0800467 curr->len = allocated - strm.avail_out;
468 if (strm.avail_out == 0) {
469 allocated *= 2;
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800470 curr->data = static_cast<unsigned char*>(realloc(curr->data, allocated));
Doug Zongker512536a2010-02-17 16:11:44 -0800471 }
472 } while (ret != Z_STREAM_END);
473
Tao Baoba9a42a2015-06-23 23:23:33 -0700474 curr->deflate_len = sz - strm.avail_in - pos;
Doug Zongker512536a2010-02-17 16:11:44 -0800475 inflateEnd(&strm);
Sen Jiangfa4f1b72016-02-11 16:14:23 -0800476
477 if (ret < 0) {
478 free(curr->data);
479 *num_chunks -= 2;
480 continue;
481 }
482
Doug Zongker512536a2010-02-17 16:11:44 -0800483 pos += curr->deflate_len;
484 p += curr->deflate_len;
485 ++curr;
486
487 // create a normal chunk for the footer
488
489 curr->type = CHUNK_NORMAL;
490 curr->start = pos;
491 curr->len = GZIP_FOOTER_LEN;
Tao Baoa0c40112016-06-01 13:15:44 -0700492 curr->data = img+pos;
Doug Zongker512536a2010-02-17 16:11:44 -0800493
494 pos += curr->len;
495 p += curr->len;
496 ++curr;
497
498 // The footer (that we just skipped over) contains the size of
499 // the uncompressed data. Double-check to make sure that it
500 // matches the size of the data we got when we actually did
501 // the decompression.
502 size_t footer_size = Read4(p-4);
503 if (footer_size != curr[-2].len) {
Tao Baoba9a42a2015-06-23 23:23:33 -0700504 printf("Error: footer size %zu != decompressed size %zu\n",
505 footer_size, curr[-2].len);
Tao Baoa0c40112016-06-01 13:15:44 -0700506 free(img);
Doug Zongker512536a2010-02-17 16:11:44 -0800507 return NULL;
508 }
509 } else {
510 // Reallocate the list for every chunk; we expect the number of
511 // chunks to be small (5 for typical boot and recovery images).
512 ++*num_chunks;
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800513 *chunks = static_cast<ImageChunk*>(realloc(*chunks, *num_chunks * sizeof(ImageChunk)));
Doug Zongker512536a2010-02-17 16:11:44 -0800514 ImageChunk* curr = *chunks + (*num_chunks-1);
515 curr->start = pos;
Doug Zongker512536a2010-02-17 16:11:44 -0800516
517 // 'pos' is not the offset of the start of a gzip chunk, so scan
518 // forward until we find a gzip header.
519 curr->type = CHUNK_NORMAL;
520 curr->data = p;
521
Tao Baoba9a42a2015-06-23 23:23:33 -0700522 for (curr->len = 0; curr->len < (sz - pos); ++curr->len) {
Doug Zongker512536a2010-02-17 16:11:44 -0800523 if (p[curr->len] == 0x1f &&
524 p[curr->len+1] == 0x8b &&
525 p[curr->len+2] == 0x08 &&
526 p[curr->len+3] == 0x00) {
527 break;
528 }
529 }
530 pos += curr->len;
531 }
532 }
533
Tao Baoa0c40112016-06-01 13:15:44 -0700534 return img;
Doug Zongker512536a2010-02-17 16:11:44 -0800535}
536
537#define BUFFER_SIZE 32768
538
539/*
540 * Takes the uncompressed data stored in the chunk, compresses it
541 * using the zlib parameters stored in the chunk, and checks that it
542 * matches exactly the compressed data we started with (also stored in
543 * the chunk). Return 0 on success.
544 */
545int TryReconstruction(ImageChunk* chunk, unsigned char* out) {
546 size_t p = 0;
547
548#if 0
549 printf("trying %d %d %d %d %d\n",
550 chunk->level, chunk->method, chunk->windowBits,
551 chunk->memLevel, chunk->strategy);
552#endif
553
554 z_stream strm;
555 strm.zalloc = Z_NULL;
556 strm.zfree = Z_NULL;
557 strm.opaque = Z_NULL;
558 strm.avail_in = chunk->len;
559 strm.next_in = chunk->data;
560 int ret;
561 ret = deflateInit2(&strm, chunk->level, chunk->method, chunk->windowBits,
562 chunk->memLevel, chunk->strategy);
Rahul Chaudhrya793c582016-11-29 17:10:14 -0800563 if (ret < 0) {
564 printf("failed to initialize deflate: %d\n", ret);
565 return -1;
566 }
Doug Zongker512536a2010-02-17 16:11:44 -0800567 do {
568 strm.avail_out = BUFFER_SIZE;
569 strm.next_out = out;
570 ret = deflate(&strm, Z_FINISH);
Rahul Chaudhrya793c582016-11-29 17:10:14 -0800571 if (ret < 0) {
572 printf("failed to deflate: %d\n", ret);
573 return -1;
574 }
Doug Zongker512536a2010-02-17 16:11:44 -0800575 size_t have = BUFFER_SIZE - strm.avail_out;
576
577 if (memcmp(out, chunk->deflate_data+p, have) != 0) {
578 // mismatch; data isn't the same.
579 deflateEnd(&strm);
580 return -1;
581 }
582 p += have;
583 } while (ret != Z_STREAM_END);
584 deflateEnd(&strm);
585 if (p != chunk->deflate_len) {
586 // mismatch; ran out of data before we should have.
587 return -1;
588 }
589 return 0;
590}
591
592/*
593 * Verify that we can reproduce exactly the same compressed data that
594 * we started with. Sets the level, method, windowBits, memLevel, and
595 * strategy fields in the chunk to the encoding parameters needed to
596 * produce the right output. Returns 0 on success.
597 */
598int ReconstructDeflateChunk(ImageChunk* chunk) {
599 if (chunk->type != CHUNK_DEFLATE) {
600 printf("attempt to reconstruct non-deflate chunk\n");
601 return -1;
602 }
603
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800604 unsigned char* out = static_cast<unsigned char*>(malloc(BUFFER_SIZE));
Doug Zongker512536a2010-02-17 16:11:44 -0800605
606 // We only check two combinations of encoder parameters: level 6
607 // (the default) and level 9 (the maximum).
608 for (chunk->level = 6; chunk->level <= 9; chunk->level += 3) {
609 chunk->windowBits = -15; // 32kb window; negative to indicate a raw stream.
610 chunk->memLevel = 8; // the default value.
611 chunk->method = Z_DEFLATED;
612 chunk->strategy = Z_DEFAULT_STRATEGY;
613
614 if (TryReconstruction(chunk, out) == 0) {
615 free(out);
616 return 0;
617 }
618 }
619
620 free(out);
621 return -1;
622}
623
624/*
625 * Given source and target chunks, compute a bsdiff patch between them
626 * by running bsdiff in a subprocess. Return the patch data, placing
627 * its length in *size. Return NULL on failure. We expect the bsdiff
628 * program to be in the path.
629 */
630unsigned char* MakePatch(ImageChunk* src, ImageChunk* tgt, size_t* size) {
631 if (tgt->type == CHUNK_NORMAL) {
632 if (tgt->len <= 160) {
633 tgt->type = CHUNK_RAW;
634 *size = tgt->len;
635 return tgt->data;
636 }
637 }
638
639 char ptemp[] = "/tmp/imgdiff-patch-XXXXXX";
Jeremy Compostellaa91c66d2015-09-08 19:15:09 +0200640 int fd = mkstemp(ptemp);
641
642 if (fd == -1) {
643 printf("MakePatch failed to create a temporary file: %s\n",
644 strerror(errno));
645 return NULL;
646 }
647 close(fd); // temporary file is created and we don't need its file
648 // descriptor
Doug Zongker512536a2010-02-17 16:11:44 -0800649
Sen Jiang2fffcb12016-05-03 15:49:10 -0700650 int r = bsdiff::bsdiff(src->data, src->len, tgt->data, tgt->len, ptemp);
Doug Zongker512536a2010-02-17 16:11:44 -0800651 if (r != 0) {
652 printf("bsdiff() failed: %d\n", r);
653 return NULL;
654 }
655
656 struct stat st;
657 if (stat(ptemp, &st) != 0) {
658 printf("failed to stat patch file %s: %s\n",
659 ptemp, strerror(errno));
660 return NULL;
661 }
662
Tao Baoba9a42a2015-06-23 23:23:33 -0700663 size_t sz = static_cast<size_t>(st.st_size);
Tao Baoa0c40112016-06-01 13:15:44 -0700664 // TODO: Memory leak on error return.
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800665 unsigned char* data = static_cast<unsigned char*>(malloc(sz));
Doug Zongker512536a2010-02-17 16:11:44 -0800666
Tao Baoba9a42a2015-06-23 23:23:33 -0700667 if (tgt->type == CHUNK_NORMAL && tgt->len <= sz) {
Doug Zongker512536a2010-02-17 16:11:44 -0800668 unlink(ptemp);
669
670 tgt->type = CHUNK_RAW;
671 *size = tgt->len;
672 return tgt->data;
673 }
674
Tao Baoba9a42a2015-06-23 23:23:33 -0700675 *size = sz;
Doug Zongker512536a2010-02-17 16:11:44 -0800676
677 FILE* f = fopen(ptemp, "rb");
678 if (f == NULL) {
679 printf("failed to open patch %s: %s\n", ptemp, strerror(errno));
680 return NULL;
681 }
Tao Baoa0c40112016-06-01 13:15:44 -0700682 if (fread(data, 1, sz, f) != sz) {
Doug Zongker512536a2010-02-17 16:11:44 -0800683 printf("failed to read patch %s: %s\n", ptemp, strerror(errno));
684 return NULL;
685 }
686 fclose(f);
687
688 unlink(ptemp);
689
690 tgt->source_start = src->start;
691 switch (tgt->type) {
692 case CHUNK_NORMAL:
693 tgt->source_len = src->len;
694 break;
695 case CHUNK_DEFLATE:
696 tgt->source_len = src->deflate_len;
697 tgt->source_uncompressed_len = src->len;
698 break;
699 }
700
Tao Baoa0c40112016-06-01 13:15:44 -0700701 return data;
Doug Zongker512536a2010-02-17 16:11:44 -0800702}
703
704/*
705 * Cause a gzip chunk to be treated as a normal chunk (ie, as a blob
706 * of uninterpreted data). The resulting patch will likely be about
707 * as big as the target file, but it lets us handle the case of images
708 * where some gzip chunks are reconstructible but others aren't (by
709 * treating the ones that aren't as normal chunks).
710 */
711void ChangeDeflateChunkToNormal(ImageChunk* ch) {
712 if (ch->type != CHUNK_DEFLATE) return;
713 ch->type = CHUNK_NORMAL;
714 free(ch->data);
715 ch->data = ch->deflate_data;
716 ch->len = ch->deflate_len;
717}
718
719/*
720 * Return true if the data in the chunk is identical (including the
721 * compressed representation, for gzip chunks).
722 */
723int AreChunksEqual(ImageChunk* a, ImageChunk* b) {
724 if (a->type != b->type) return 0;
725
726 switch (a->type) {
727 case CHUNK_NORMAL:
728 return a->len == b->len && memcmp(a->data, b->data, a->len) == 0;
729
730 case CHUNK_DEFLATE:
731 return a->deflate_len == b->deflate_len &&
732 memcmp(a->deflate_data, b->deflate_data, a->deflate_len) == 0;
733
734 default:
735 printf("unknown chunk type %d\n", a->type);
736 return 0;
737 }
738}
739
740/*
741 * Look for runs of adjacent normal chunks and compress them down into
742 * a single chunk. (Such runs can be produced when deflate chunks are
743 * changed to normal chunks.)
744 */
745void MergeAdjacentNormalChunks(ImageChunk* chunks, int* num_chunks) {
746 int out = 0;
747 int in_start = 0, in_end;
748 while (in_start < *num_chunks) {
749 if (chunks[in_start].type != CHUNK_NORMAL) {
750 in_end = in_start+1;
751 } else {
752 // in_start is a normal chunk. Look for a run of normal chunks
753 // that constitute a solid block of data (ie, each chunk begins
754 // where the previous one ended).
755 for (in_end = in_start+1;
756 in_end < *num_chunks && chunks[in_end].type == CHUNK_NORMAL &&
757 (chunks[in_end].start ==
758 chunks[in_end-1].start + chunks[in_end-1].len &&
759 chunks[in_end].data ==
760 chunks[in_end-1].data + chunks[in_end-1].len);
761 ++in_end);
762 }
763
764 if (in_end == in_start+1) {
765#if 0
766 printf("chunk %d is now %d\n", in_start, out);
767#endif
768 if (out != in_start) {
769 memcpy(chunks+out, chunks+in_start, sizeof(ImageChunk));
770 }
771 } else {
772#if 0
773 printf("collapse normal chunks %d-%d into %d\n", in_start, in_end-1, out);
774#endif
775
776 // Merge chunks [in_start, in_end-1] into one chunk. Since the
777 // data member of each chunk is just a pointer into an in-memory
778 // copy of the file, this can be done without recopying (the
779 // output chunk has the first chunk's start location and data
780 // pointer, and length equal to the sum of the input chunk
781 // lengths).
782 chunks[out].type = CHUNK_NORMAL;
783 chunks[out].start = chunks[in_start].start;
784 chunks[out].data = chunks[in_start].data;
785 chunks[out].len = chunks[in_end-1].len +
786 (chunks[in_end-1].start - chunks[in_start].start);
787 }
788
789 ++out;
790 in_start = in_end;
791 }
792 *num_chunks = out;
793}
794
795ImageChunk* FindChunkByName(const char* name,
796 ImageChunk* chunks, int num_chunks) {
797 int i;
798 for (i = 0; i < num_chunks; ++i) {
799 if (chunks[i].type == CHUNK_DEFLATE && chunks[i].filename &&
800 strcmp(name, chunks[i].filename) == 0) {
801 return chunks+i;
802 }
803 }
804 return NULL;
805}
806
807void DumpChunks(ImageChunk* chunks, int num_chunks) {
Tao Baoba9a42a2015-06-23 23:23:33 -0700808 for (int i = 0; i < num_chunks; ++i) {
809 printf("chunk %d: type %d start %zu len %zu\n",
Doug Zongker512536a2010-02-17 16:11:44 -0800810 i, chunks[i].type, chunks[i].start, chunks[i].len);
811 }
812}
813
814int main(int argc, char** argv) {
Doug Zongker512536a2010-02-17 16:11:44 -0800815 int zip_mode = 0;
816
Doug Zongkera3ccba62012-08-20 15:28:02 -0700817 if (argc >= 2 && strcmp(argv[1], "-z") == 0) {
Doug Zongker512536a2010-02-17 16:11:44 -0800818 zip_mode = 1;
819 --argc;
820 ++argv;
821 }
822
Doug Zongkera3ccba62012-08-20 15:28:02 -0700823 size_t bonus_size = 0;
Tao Baoa0c40112016-06-01 13:15:44 -0700824 unsigned char* bonus_data = NULL;
Doug Zongkera3ccba62012-08-20 15:28:02 -0700825 if (argc >= 3 && strcmp(argv[1], "-b") == 0) {
826 struct stat st;
827 if (stat(argv[2], &st) != 0) {
828 printf("failed to stat bonus file %s: %s\n", argv[2], strerror(errno));
829 return 1;
830 }
831 bonus_size = st.st_size;
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800832 bonus_data = static_cast<unsigned char*>(malloc(bonus_size));
Doug Zongkera3ccba62012-08-20 15:28:02 -0700833 FILE* f = fopen(argv[2], "rb");
834 if (f == NULL) {
835 printf("failed to open bonus file %s: %s\n", argv[2], strerror(errno));
836 return 1;
837 }
Tao Baoa0c40112016-06-01 13:15:44 -0700838 if (fread(bonus_data, 1, bonus_size, f) != bonus_size) {
Doug Zongkera3ccba62012-08-20 15:28:02 -0700839 printf("failed to read bonus file %s: %s\n", argv[2], strerror(errno));
840 return 1;
841 }
842 fclose(f);
843
844 argc -= 2;
845 argv += 2;
846 }
847
848 if (argc != 4) {
Doug Zongkera3ccba62012-08-20 15:28:02 -0700849 printf("usage: %s [-z] [-b <bonus-file>] <src-img> <tgt-img> <patch-file>\n",
850 argv[0]);
851 return 2;
852 }
Doug Zongker512536a2010-02-17 16:11:44 -0800853
854 int num_src_chunks;
855 ImageChunk* src_chunks;
856 int num_tgt_chunks;
857 ImageChunk* tgt_chunks;
858 int i;
859
860 if (zip_mode) {
861 if (ReadZip(argv[1], &num_src_chunks, &src_chunks, 1) == NULL) {
862 printf("failed to break apart source zip file\n");
863 return 1;
864 }
865 if (ReadZip(argv[2], &num_tgt_chunks, &tgt_chunks, 0) == NULL) {
866 printf("failed to break apart target zip file\n");
867 return 1;
868 }
869 } else {
870 if (ReadImage(argv[1], &num_src_chunks, &src_chunks) == NULL) {
871 printf("failed to break apart source image\n");
872 return 1;
873 }
874 if (ReadImage(argv[2], &num_tgt_chunks, &tgt_chunks) == NULL) {
875 printf("failed to break apart target image\n");
876 return 1;
877 }
878
879 // Verify that the source and target images have the same chunk
880 // structure (ie, the same sequence of deflate and normal chunks).
881
882 if (!zip_mode) {
883 // Merge the gzip header and footer in with any adjacent
884 // normal chunks.
885 MergeAdjacentNormalChunks(tgt_chunks, &num_tgt_chunks);
886 MergeAdjacentNormalChunks(src_chunks, &num_src_chunks);
887 }
888
889 if (num_src_chunks != num_tgt_chunks) {
890 printf("source and target don't have same number of chunks!\n");
891 printf("source chunks:\n");
892 DumpChunks(src_chunks, num_src_chunks);
893 printf("target chunks:\n");
894 DumpChunks(tgt_chunks, num_tgt_chunks);
895 return 1;
896 }
897 for (i = 0; i < num_src_chunks; ++i) {
898 if (src_chunks[i].type != tgt_chunks[i].type) {
899 printf("source and target don't have same chunk "
900 "structure! (chunk %d)\n", i);
901 printf("source chunks:\n");
902 DumpChunks(src_chunks, num_src_chunks);
903 printf("target chunks:\n");
904 DumpChunks(tgt_chunks, num_tgt_chunks);
905 return 1;
906 }
907 }
908 }
909
910 for (i = 0; i < num_tgt_chunks; ++i) {
911 if (tgt_chunks[i].type == CHUNK_DEFLATE) {
912 // Confirm that given the uncompressed chunk data in the target, we
913 // can recompress it and get exactly the same bits as are in the
914 // input target image. If this fails, treat the chunk as a normal
915 // non-deflated chunk.
916 if (ReconstructDeflateChunk(tgt_chunks+i) < 0) {
917 printf("failed to reconstruct target deflate chunk %d [%s]; "
918 "treating as normal\n", i, tgt_chunks[i].filename);
919 ChangeDeflateChunkToNormal(tgt_chunks+i);
920 if (zip_mode) {
921 ImageChunk* src = FindChunkByName(tgt_chunks[i].filename, src_chunks, num_src_chunks);
922 if (src) {
923 ChangeDeflateChunkToNormal(src);
924 }
925 } else {
926 ChangeDeflateChunkToNormal(src_chunks+i);
927 }
928 continue;
929 }
930
931 // If two deflate chunks are identical (eg, the kernel has not
932 // changed between two builds), treat them as normal chunks.
933 // This makes applypatch much faster -- it can apply a trivial
934 // patch to the compressed data, rather than uncompressing and
935 // recompressing to apply the trivial patch to the uncompressed
936 // data.
937 ImageChunk* src;
938 if (zip_mode) {
939 src = FindChunkByName(tgt_chunks[i].filename, src_chunks, num_src_chunks);
940 } else {
941 src = src_chunks+i;
942 }
943
944 if (src == NULL || AreChunksEqual(tgt_chunks+i, src)) {
945 ChangeDeflateChunkToNormal(tgt_chunks+i);
946 if (src) {
947 ChangeDeflateChunkToNormal(src);
948 }
949 }
950 }
951 }
952
953 // Merging neighboring normal chunks.
954 if (zip_mode) {
955 // For zips, we only need to do this to the target: deflated
956 // chunks are matched via filename, and normal chunks are patched
957 // using the entire source file as the source.
958 MergeAdjacentNormalChunks(tgt_chunks, &num_tgt_chunks);
959 } else {
960 // For images, we need to maintain the parallel structure of the
961 // chunk lists, so do the merging in both the source and target
962 // lists.
963 MergeAdjacentNormalChunks(tgt_chunks, &num_tgt_chunks);
964 MergeAdjacentNormalChunks(src_chunks, &num_src_chunks);
965 if (num_src_chunks != num_tgt_chunks) {
966 // This shouldn't happen.
967 printf("merging normal chunks went awry\n");
968 return 1;
969 }
970 }
971
972 // Compute bsdiff patches for each chunk's data (the uncompressed
973 // data, in the case of deflate chunks).
974
Doug Zongkera3ccba62012-08-20 15:28:02 -0700975 DumpChunks(src_chunks, num_src_chunks);
976
Doug Zongker512536a2010-02-17 16:11:44 -0800977 printf("Construct patches for %d chunks...\n", num_tgt_chunks);
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800978 unsigned char** patch_data = static_cast<unsigned char**>(malloc(
Tao Baoba9a42a2015-06-23 23:23:33 -0700979 num_tgt_chunks * sizeof(unsigned char*)));
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800980 size_t* patch_size = static_cast<size_t*>(malloc(num_tgt_chunks * sizeof(size_t)));
Doug Zongker512536a2010-02-17 16:11:44 -0800981 for (i = 0; i < num_tgt_chunks; ++i) {
982 if (zip_mode) {
983 ImageChunk* src;
984 if (tgt_chunks[i].type == CHUNK_DEFLATE &&
985 (src = FindChunkByName(tgt_chunks[i].filename, src_chunks,
986 num_src_chunks))) {
987 patch_data[i] = MakePatch(src, tgt_chunks+i, patch_size+i);
988 } else {
989 patch_data[i] = MakePatch(src_chunks, tgt_chunks+i, patch_size+i);
990 }
991 } else {
Tao Baoa0c40112016-06-01 13:15:44 -0700992 if (i == 1 && bonus_data) {
Tao Baoba9a42a2015-06-23 23:23:33 -0700993 printf(" using %zu bytes of bonus data for chunk %d\n", bonus_size, i);
Rahul Chaudhryb29f23f2016-11-09 13:17:01 -0800994 src_chunks[i].data = static_cast<unsigned char*>(realloc(src_chunks[i].data,
Tao Baoba9a42a2015-06-23 23:23:33 -0700995 src_chunks[i].len + bonus_size));
Tao Baoa0c40112016-06-01 13:15:44 -0700996 memcpy(src_chunks[i].data+src_chunks[i].len, bonus_data, bonus_size);
Doug Zongkera3ccba62012-08-20 15:28:02 -0700997 src_chunks[i].len += bonus_size;
998 }
999
Doug Zongker512536a2010-02-17 16:11:44 -08001000 patch_data[i] = MakePatch(src_chunks+i, tgt_chunks+i, patch_size+i);
1001 }
Tao Baoba9a42a2015-06-23 23:23:33 -07001002 printf("patch %3d is %zu bytes (of %zu)\n",
Doug Zongker512536a2010-02-17 16:11:44 -08001003 i, patch_size[i], tgt_chunks[i].source_len);
1004 }
1005
1006 // Figure out how big the imgdiff file header is going to be, so
1007 // that we can correctly compute the offset of each bsdiff patch
1008 // within the file.
1009
1010 size_t total_header_size = 12;
1011 for (i = 0; i < num_tgt_chunks; ++i) {
1012 total_header_size += 4;
1013 switch (tgt_chunks[i].type) {
1014 case CHUNK_NORMAL:
1015 total_header_size += 8*3;
1016 break;
1017 case CHUNK_DEFLATE:
1018 total_header_size += 8*5 + 4*5;
1019 break;
1020 case CHUNK_RAW:
1021 total_header_size += 4 + patch_size[i];
1022 break;
1023 }
1024 }
1025
1026 size_t offset = total_header_size;
1027
1028 FILE* f = fopen(argv[3], "wb");
1029
1030 // Write out the headers.
1031
1032 fwrite("IMGDIFF2", 1, 8, f);
1033 Write4(num_tgt_chunks, f);
1034 for (i = 0; i < num_tgt_chunks; ++i) {
1035 Write4(tgt_chunks[i].type, f);
1036
1037 switch (tgt_chunks[i].type) {
1038 case CHUNK_NORMAL:
Tao Baoba9a42a2015-06-23 23:23:33 -07001039 printf("chunk %3d: normal (%10zu, %10zu) %10zu\n", i,
Doug Zongker512536a2010-02-17 16:11:44 -08001040 tgt_chunks[i].start, tgt_chunks[i].len, patch_size[i]);
1041 Write8(tgt_chunks[i].source_start, f);
1042 Write8(tgt_chunks[i].source_len, f);
1043 Write8(offset, f);
1044 offset += patch_size[i];
1045 break;
1046
1047 case CHUNK_DEFLATE:
Tao Baoba9a42a2015-06-23 23:23:33 -07001048 printf("chunk %3d: deflate (%10zu, %10zu) %10zu %s\n", i,
Doug Zongker512536a2010-02-17 16:11:44 -08001049 tgt_chunks[i].start, tgt_chunks[i].deflate_len, patch_size[i],
1050 tgt_chunks[i].filename);
1051 Write8(tgt_chunks[i].source_start, f);
1052 Write8(tgt_chunks[i].source_len, f);
1053 Write8(offset, f);
1054 Write8(tgt_chunks[i].source_uncompressed_len, f);
1055 Write8(tgt_chunks[i].len, f);
1056 Write4(tgt_chunks[i].level, f);
1057 Write4(tgt_chunks[i].method, f);
1058 Write4(tgt_chunks[i].windowBits, f);
1059 Write4(tgt_chunks[i].memLevel, f);
1060 Write4(tgt_chunks[i].strategy, f);
1061 offset += patch_size[i];
1062 break;
1063
1064 case CHUNK_RAW:
Tao Baoba9a42a2015-06-23 23:23:33 -07001065 printf("chunk %3d: raw (%10zu, %10zu)\n", i,
Doug Zongker512536a2010-02-17 16:11:44 -08001066 tgt_chunks[i].start, tgt_chunks[i].len);
1067 Write4(patch_size[i], f);
1068 fwrite(patch_data[i], 1, patch_size[i], f);
1069 break;
1070 }
1071 }
1072
1073 // Append each chunk's bsdiff patch, in order.
1074
1075 for (i = 0; i < num_tgt_chunks; ++i) {
1076 if (tgt_chunks[i].type != CHUNK_RAW) {
1077 fwrite(patch_data[i], 1, patch_size[i], f);
1078 }
1079 }
1080
1081 fclose(f);
Doug Zongker512536a2010-02-17 16:11:44 -08001082
1083 return 0;
1084}