1 /*-
2  * Copyright (c) 2016 Tim Kientzle
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  * 1. Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  * 2. Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in the
12  *    documentation and/or other materials provided with the distribution.
13  *
14  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR(S) ``AS IS'' AND ANY EXPRESS OR
15  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
16  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
17  * IN NO EVENT SHALL THE AUTHOR(S) BE LIABLE FOR ANY DIRECT, INDIRECT,
18  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
19  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
20  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
21  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
23  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24  */
25 #include "test.h"
26 __FBSDID("$FreeBSD");
27 
28 #include <locale.h>
29 
30 
31 /*
32  * Github Issue 748 reported problems with end-of-entry handling
33  * with highly-compressible data.  This resulted in the end of the
34  * data being truncated (extracted as zero bytes).
35  */
36 
37 /*
38  * Extract the specific test archive that was used to diagnose
39  * Issue 748:
40  */
41 DEFINE_TEST(test_read_format_zip_high_compression)
42 {
43 	const char *refname = "test_read_format_zip_high_compression.zip";
44 	char *p;
45 	size_t archive_size;
46 	struct archive *a;
47 	struct archive_entry *entry;
48 
49 	const void *pv;
50 	size_t s;
51 	int64_t o;
52 
53 	if (archive_zlib_version() == NULL) {
54 		skipping("Zip compression test requires zlib");
55 		return;
56 	}
57 
58 	extract_reference_file(refname);
59 	p = slurpfile(&archive_size, refname);
60 
61 	assert((a = archive_read_new()) != NULL);
62         assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_zip(a));
63         assertEqualIntA(a, ARCHIVE_OK, read_open_memory_seek(a, p, archive_size, 16 * 1024));
64 	assertEqualInt(ARCHIVE_OK, archive_read_next_header(a, &entry));
65 
66 	assertEqualInt(ARCHIVE_OK, archive_read_data_block(a, &pv, &s, &o));
67 	assertEqualInt(262144, s);
68 	assertEqualInt(0, o);
69 
70 	assertEqualInt(ARCHIVE_OK, archive_read_data_block(a, &pv, &s, &o));
71 	assertEqualInt(160, s);
72 	assertEqualInt(262144, o);
73 
74 	assertEqualInt(ARCHIVE_EOF, archive_read_data_block(a, &pv, &s, &o));
75 
76 	assertEqualInt(ARCHIVE_OK, archive_free(a));
77 	free(p);
78 }
79 
80 /*
81  * Synthesize a lot of varying inputs that are highly compressible.
82  */
83 DEFINE_TEST(test_read_format_zip_high_compression2)
84 {
85 	const size_t body_size = 1024 * 1024;
86 	const size_t buff_size = 2 * 1024 * 1024;
87 	char *body, *body_read, *buff;
88 	int n;
89 
90 	if (archive_zlib_version() == NULL) {
91 		skipping("Zip compression test requires zlib");
92 		return;
93 	}
94 
95 	assert((body = malloc(body_size)) != NULL);
96 	assert((body_read = malloc(body_size)) != NULL);
97 	assert((buff = malloc(buff_size)) != NULL);
98 
99 	/* Highly-compressible data: all bytes 255, except for a
100 	 * single 1 byte.
101 	 * The body is always 256k + 6 bytes long (the internal deflation
102 	 * buffer is exactly 256k).
103 	 */
104 
105 	for(n = 1024; n < (int)body_size; n += 1024) {
106 		struct archive *a;
107 		struct archive_entry *entry;
108 		size_t used = 0;
109 		const void *pv;
110 		size_t s;
111 		int64_t o;
112 
113 		memset(body, 255, body_size);
114 		body[n] = 1;
115 
116 		/* Write an archive with a single entry of n bytes. */
117 		assert((a = archive_write_new()) != NULL);
118 		assertEqualInt(ARCHIVE_OK, archive_write_set_format_zip(a));
119 		assertEqualInt(ARCHIVE_OK, archive_write_open_memory(a, buff, buff_size, &used));
120 
121 		entry = archive_entry_new2(a);
122 		archive_entry_set_pathname(entry, "test");
123 		archive_entry_set_filetype(entry, AE_IFREG);
124 		archive_entry_set_size(entry, 262150);
125 		assertEqualInt(ARCHIVE_OK, archive_write_header(a, entry));
126 		archive_entry_free(entry);
127 		assertEqualInt(262150, archive_write_data(a, body, 262150));
128 		assertEqualInt(ARCHIVE_OK, archive_write_free(a));
129 
130 		/* Read back the entry and verify the contents. */
131 		assert((a = archive_read_new()) != NULL);
132 		assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_all(a));
133 		assertEqualIntA(a, ARCHIVE_OK, archive_read_support_filter_all(a));
134 		assertEqualIntA(a, ARCHIVE_OK, read_open_memory(a, buff, used, 17));
135 		assertEqualInt(ARCHIVE_OK, archive_read_next_header(a, &entry));
136 
137 		assertEqualInt(ARCHIVE_OK, archive_read_data_block(a, &pv, &s, &o));
138 		assertEqualInt(262144, s);
139 		assertEqualInt(0, o);
140 
141 		assertEqualInt(ARCHIVE_OK, archive_read_data_block(a, &pv, &s, &o));
142 		assertEqualInt(6, s);
143 		assertEqualInt(262144, o);
144 
145 		assertEqualInt(ARCHIVE_EOF, archive_read_data_block(a, &pv, &s, &o));
146 
147 		assertEqualInt(ARCHIVE_OK, archive_free(a));
148 	}
149 
150 	free(body);
151 	free(body_read);
152 	free(buff);
153 }
154