1 /*-
2 * Copyright (c) 2003-2007 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
27 #define __LIBARCHIVE_TEST
28 #include "archive_pathmatch.h"
29
30 /*
31 * Verify that the pattern matcher implements the wildcard logic specified
32 * in SUSv2 for the cpio command. This is essentially the
33 * shell glob syntax:
34 * * - matches any sequence of chars, including '/'
35 * ? - matches any single char, including '/'
36 * [...] - matches any of a set of chars, '-' specifies a range,
37 * initial '!' is undefined
38 *
39 * The specification in SUSv2 is a bit incomplete, I assume the following:
40 * Trailing '-' in [...] is not special.
41 *
42 * TODO: Figure out if there's a good way to extend this to handle
43 * Windows paths that use '\' as a path separator. <sigh>
44 */
45
DEFINE_TEST(test_archive_pathmatch)46 DEFINE_TEST(test_archive_pathmatch)
47 {
48 assertEqualInt(1, archive_pathmatch("a/b/c", "a/b/c", 0));
49 assertEqualInt(0, archive_pathmatch("a/b/", "a/b/c", 0));
50 assertEqualInt(0, archive_pathmatch("a/b", "a/b/c", 0));
51 assertEqualInt(0, archive_pathmatch("a/b/c", "a/b/", 0));
52 assertEqualInt(0, archive_pathmatch("a/b/c", "a/b", 0));
53
54 /* Null string and non-empty pattern returns false. */
55 assertEqualInt(0, archive_pathmatch("a/b/c", NULL, 0));
56 assertEqualInt(0, archive_pathmatch_w(L"a/b/c", NULL, 0));
57
58 /* Empty pattern only matches empty string. */
59 assertEqualInt(1, archive_pathmatch(NULL,NULL, 0));
60 assertEqualInt(1, archive_pathmatch(NULL,"", 0));
61 assertEqualInt(0, archive_pathmatch(NULL,"a", 0));
62 assertEqualInt(1, archive_pathmatch("",NULL, 0));
63 assertEqualInt(1, archive_pathmatch("","", 0));
64 assertEqualInt(0, archive_pathmatch("","a", 0));
65 assertEqualInt(1, archive_pathmatch("*","", 0));
66 assertEqualInt(1, archive_pathmatch("*","a", 0));
67 assertEqualInt(1, archive_pathmatch("*","abcd", 0));
68 /* SUSv2: * matches / */
69 assertEqualInt(1, archive_pathmatch("*","abcd/efgh/ijkl", 0));
70 assertEqualInt(1, archive_pathmatch("abcd*efgh/ijkl","abcd/efgh/ijkl", 0));
71 assertEqualInt(1, archive_pathmatch("abcd***efgh/ijkl","abcd/efgh/ijkl", 0));
72 assertEqualInt(1, archive_pathmatch("abcd***/efgh/ijkl","abcd/efgh/ijkl", 0));
73 assertEqualInt(0, archive_pathmatch("?", "", 0));
74 assertEqualInt(0, archive_pathmatch("?", "\0", 0));
75 assertEqualInt(1, archive_pathmatch("?", "a", 0));
76 assertEqualInt(0, archive_pathmatch("?", "ab", 0));
77 assertEqualInt(1, archive_pathmatch("?", ".", 0));
78 assertEqualInt(1, archive_pathmatch("?", "?", 0));
79 assertEqualInt(1, archive_pathmatch("a", "a", 0));
80 assertEqualInt(0, archive_pathmatch("a", "ab", 0));
81 assertEqualInt(0, archive_pathmatch("a", "ab", 0));
82 assertEqualInt(1, archive_pathmatch("a?c", "abc", 0));
83 assertEqualInt(1, archive_pathmatch("*a", "/a", 0));
84 assertEqualInt(1, archive_pathmatch("*a", "a", 0));
85 /* SUSv2: ? matches / */
86 assertEqualInt(1, archive_pathmatch("a?c", "a/c", 0));
87 assertEqualInt(1, archive_pathmatch("a?*c*", "a/c", 0));
88 assertEqualInt(1, archive_pathmatch("*a*", "a/c", 0));
89 assertEqualInt(1, archive_pathmatch("*a*", "/a/c", 0));
90 assertEqualInt(0, archive_pathmatch("*a", "/a/c", 0));
91 assertEqualInt(0, archive_pathmatch("*a", "a/c", 0));
92 assertEqualInt(1, archive_pathmatch("*a*", "defaaaaaaa", 0));
93 assertEqualInt(0, archive_pathmatch("a*", "defghi", 0));
94 assertEqualInt(0, archive_pathmatch("*a*", "defghi", 0));
95
96 /* Character classes */
97 assertEqualInt(1, archive_pathmatch("abc[def", "abc[def", 0));
98 assertEqualInt(0, archive_pathmatch("abc[def]", "abc[def", 0));
99 assertEqualInt(0, archive_pathmatch("abc[def", "abcd", 0));
100 assertEqualInt(1, archive_pathmatch("abc[def]", "abcd", 0));
101 assertEqualInt(1, archive_pathmatch("abc[def]", "abce", 0));
102 assertEqualInt(1, archive_pathmatch("abc[def]", "abcf", 0));
103 assertEqualInt(0, archive_pathmatch("abc[def]", "abcg", 0));
104 assertEqualInt(1, archive_pathmatch("abc[d*f]", "abcd", 0));
105 assertEqualInt(1, archive_pathmatch("abc[d*f]", "abc*", 0));
106 assertEqualInt(0, archive_pathmatch("abc[d*f]", "abcdefghi", 0));
107 assertEqualInt(0, archive_pathmatch("abc[d*", "abcdefghi", 0));
108 assertEqualInt(1, archive_pathmatch("abc[d*", "abc[defghi", 0));
109 assertEqualInt(1, archive_pathmatch("abc[d-f]", "abcd", 0));
110 assertEqualInt(1, archive_pathmatch("abc[d-f]", "abce", 0));
111 assertEqualInt(1, archive_pathmatch("abc[d-f]", "abcf", 0));
112 assertEqualInt(0, archive_pathmatch("abc[d-f]", "abcg", 0));
113 assertEqualInt(0, archive_pathmatch("abc[d-fh-k]", "abca", 0));
114 assertEqualInt(1, archive_pathmatch("abc[d-fh-k]", "abcd", 0));
115 assertEqualInt(1, archive_pathmatch("abc[d-fh-k]", "abce", 0));
116 assertEqualInt(1, archive_pathmatch("abc[d-fh-k]", "abcf", 0));
117 assertEqualInt(0, archive_pathmatch("abc[d-fh-k]", "abcg", 0));
118 assertEqualInt(1, archive_pathmatch("abc[d-fh-k]", "abch", 0));
119 assertEqualInt(1, archive_pathmatch("abc[d-fh-k]", "abci", 0));
120 assertEqualInt(1, archive_pathmatch("abc[d-fh-k]", "abcj", 0));
121 assertEqualInt(1, archive_pathmatch("abc[d-fh-k]", "abck", 0));
122 assertEqualInt(0, archive_pathmatch("abc[d-fh-k]", "abcl", 0));
123 assertEqualInt(0, archive_pathmatch("abc[d-fh-k]", "abc-", 0));
124
125 /* [] matches nothing, [!] is the same as ? */
126 assertEqualInt(0, archive_pathmatch("abc[]efg", "abcdefg", 0));
127 assertEqualInt(0, archive_pathmatch("abc[]efg", "abcqefg", 0));
128 assertEqualInt(0, archive_pathmatch("abc[]efg", "abcefg", 0));
129 assertEqualInt(1, archive_pathmatch("abc[!]efg", "abcdefg", 0));
130 assertEqualInt(1, archive_pathmatch("abc[!]efg", "abcqefg", 0));
131 assertEqualInt(0, archive_pathmatch("abc[!]efg", "abcefg", 0));
132
133 /* I assume: Trailing '-' is non-special. */
134 assertEqualInt(0, archive_pathmatch("abc[d-fh-]", "abcl", 0));
135 assertEqualInt(1, archive_pathmatch("abc[d-fh-]", "abch", 0));
136 assertEqualInt(1, archive_pathmatch("abc[d-fh-]", "abc-", 0));
137 assertEqualInt(1, archive_pathmatch("abc[d-fh-]", "abc-", 0));
138
139 /* ']' can be backslash-quoted within a character class. */
140 assertEqualInt(1, archive_pathmatch("abc[\\]]", "abc]", 0));
141 assertEqualInt(1, archive_pathmatch("abc[\\]d]", "abc]", 0));
142 assertEqualInt(1, archive_pathmatch("abc[\\]d]", "abcd", 0));
143 assertEqualInt(1, archive_pathmatch("abc[d\\]]", "abc]", 0));
144 assertEqualInt(1, archive_pathmatch("abc[d\\]]", "abcd", 0));
145 assertEqualInt(1, archive_pathmatch("abc[d]e]", "abcde]", 0));
146 assertEqualInt(1, archive_pathmatch("abc[d\\]e]", "abc]", 0));
147 assertEqualInt(0, archive_pathmatch("abc[d\\]e]", "abcd]e", 0));
148 assertEqualInt(0, archive_pathmatch("abc[d]e]", "abc]", 0));
149
150 /* backslash-quoted chars can appear as either end of a range. */
151 assertEqualInt(1, archive_pathmatch("abc[\\d-f]gh", "abcegh", 0));
152 assertEqualInt(0, archive_pathmatch("abc[\\d-f]gh", "abcggh", 0));
153 assertEqualInt(0, archive_pathmatch("abc[\\d-f]gh", "abc\\gh", 0));
154 assertEqualInt(1, archive_pathmatch("abc[d-\\f]gh", "abcegh", 0));
155 assertEqualInt(1, archive_pathmatch("abc[\\d-\\f]gh", "abcegh", 0));
156 assertEqualInt(1, archive_pathmatch("abc[\\d-\\f]gh", "abcegh", 0));
157 /* backslash-quoted '-' isn't special. */
158 assertEqualInt(0, archive_pathmatch("abc[d\\-f]gh", "abcegh", 0));
159 assertEqualInt(1, archive_pathmatch("abc[d\\-f]gh", "abc-gh", 0));
160
161 /* Leading '!' negates a character class. */
162 assertEqualInt(0, archive_pathmatch("abc[!d]", "abcd", 0));
163 assertEqualInt(1, archive_pathmatch("abc[!d]", "abce", 0));
164 assertEqualInt(1, archive_pathmatch("abc[!d]", "abcc", 0));
165 assertEqualInt(0, archive_pathmatch("abc[!d-z]", "abcq", 0));
166 assertEqualInt(1, archive_pathmatch("abc[!d-gi-z]", "abch", 0));
167 assertEqualInt(1, archive_pathmatch("abc[!fgijkl]", "abch", 0));
168 assertEqualInt(0, archive_pathmatch("abc[!fghijkl]", "abch", 0));
169
170 /* Backslash quotes next character. */
171 assertEqualInt(0, archive_pathmatch("abc\\[def]", "abc\\d", 0));
172 assertEqualInt(1, archive_pathmatch("abc\\[def]", "abc[def]", 0));
173 assertEqualInt(0, archive_pathmatch("abc\\\\[def]", "abc[def]", 0));
174 assertEqualInt(0, archive_pathmatch("abc\\\\[def]", "abc\\[def]", 0));
175 assertEqualInt(1, archive_pathmatch("abc\\\\[def]", "abc\\d", 0));
176 assertEqualInt(1, archive_pathmatch("abcd\\", "abcd\\", 0));
177 assertEqualInt(0, archive_pathmatch("abcd\\", "abcd\\[", 0));
178 assertEqualInt(0, archive_pathmatch("abcd\\", "abcde", 0));
179 assertEqualInt(0, archive_pathmatch("abcd\\[", "abcd\\", 0));
180
181 /*
182 * Because '.' and '/' have special meanings, we can
183 * identify many equivalent paths even if they're expressed
184 * differently. (But quoting a character with '\\' suppresses
185 * special meanings!)
186 */
187 assertEqualInt(0, archive_pathmatch("a/b/", "a/bc", 0));
188 assertEqualInt(1, archive_pathmatch("a/./b", "a/b", 0));
189 assertEqualInt(0, archive_pathmatch("a\\/./b", "a/b", 0));
190 assertEqualInt(0, archive_pathmatch("a/\\./b", "a/b", 0));
191 assertEqualInt(0, archive_pathmatch("a/.\\/b", "a/b", 0));
192 assertEqualInt(0, archive_pathmatch("a\\/\\.\\/b", "a/b", 0));
193 assertEqualInt(1, archive_pathmatch("./abc/./def/", "abc/def/", 0));
194 assertEqualInt(1, archive_pathmatch("abc/def", "./././abc/./def", 0));
195 assertEqualInt(1, archive_pathmatch("abc/def/././//", "./././abc/./def/", 0));
196 assertEqualInt(1, archive_pathmatch(".////abc/.//def", "./././abc/./def", 0));
197 assertEqualInt(1, archive_pathmatch("./abc?def/", "abc/def/", 0));
198 failure("\"?./\" is not the same as \"/./\"");
199 assertEqualInt(0, archive_pathmatch("./abc?./def/", "abc/def/", 0));
200 failure("Trailing '/' should match no trailing '/'");
201 assertEqualInt(1, archive_pathmatch("./abc/./def/", "abc/def", 0));
202 failure("Trailing '/./' is still the same directory.");
203 assertEqualInt(1, archive_pathmatch("./abc/./def/./", "abc/def", 0));
204 failure("Trailing '/.' is still the same directory.");
205 assertEqualInt(1, archive_pathmatch("./abc/./def/.", "abc/def", 0));
206 assertEqualInt(1, archive_pathmatch("./abc/./def", "abc/def/", 0));
207 failure("Trailing '/./' is still the same directory.");
208 assertEqualInt(1, archive_pathmatch("./abc/./def", "abc/def/./", 0));
209 failure("Trailing '/.' is still the same directory.");
210 assertEqualInt(1, archive_pathmatch("./abc*/./def", "abc/def/.", 0));
211
212 /* Anchor characters without flags not special. */
213 assertEqualInt(0, archive_pathmatch("^abc", "abc", 0));
214 assertEqualInt(1, archive_pathmatch("^abc", "^abc", 0));
215 assertEqualInt(0, archive_pathmatch("abc$", "abc", 0));
216 assertEqualInt(1, archive_pathmatch("abc$", "abc$", 0));
217 assertEqualInt(0, archive_pathmatch("^abc$", "abc", 0));
218 assertEqualInt(1, archive_pathmatch("^abc$", "^abc$", 0));
219
220 /* Matches not anchored at beginning. */
221 assertEqualInt(0,
222 archive_pathmatch("bcd", "abcd", PATHMATCH_NO_ANCHOR_START));
223 assertEqualInt(1,
224 archive_pathmatch("abcd", "abcd", PATHMATCH_NO_ANCHOR_START));
225 assertEqualInt(0,
226 archive_pathmatch("^bcd", "abcd", PATHMATCH_NO_ANCHOR_START));
227 assertEqualInt(1,
228 archive_pathmatch("b/c/d", "a/b/c/d", PATHMATCH_NO_ANCHOR_START));
229 assertEqualInt(0,
230 archive_pathmatch("^b/c/d", "a/b/c/d", PATHMATCH_NO_ANCHOR_START));
231 assertEqualInt(0,
232 archive_pathmatch("/b/c/d", "a/b/c/d", PATHMATCH_NO_ANCHOR_START));
233 assertEqualInt(0,
234 archive_pathmatch("a/b/c", "a/b/c/d", PATHMATCH_NO_ANCHOR_START));
235 assertEqualInt(1,
236 archive_pathmatch("a/b/c/d", "a/b/c/d", PATHMATCH_NO_ANCHOR_START));
237 assertEqualInt(0,
238 archive_pathmatch("b/c", "a/b/c/d", PATHMATCH_NO_ANCHOR_START));
239 assertEqualInt(0,
240 archive_pathmatch("^b/c", "a/b/c/d", PATHMATCH_NO_ANCHOR_START));
241
242
243 assertEqualInt(1,
244 archive_pathmatch("b/c/d", "a/b/c/d", PATHMATCH_NO_ANCHOR_START));
245 assertEqualInt(1,
246 archive_pathmatch("b/c/d", "/a/b/c/d", PATHMATCH_NO_ANCHOR_START));
247
248
249 /* Matches not anchored at end. */
250 assertEqualInt(0,
251 archive_pathmatch("bcd", "abcd", PATHMATCH_NO_ANCHOR_END));
252 assertEqualInt(1,
253 archive_pathmatch("abcd", "abcd", PATHMATCH_NO_ANCHOR_END));
254 assertEqualInt(1,
255 archive_pathmatch("abcd", "abcd/", PATHMATCH_NO_ANCHOR_END));
256 assertEqualInt(1,
257 archive_pathmatch("abcd", "abcd/.", PATHMATCH_NO_ANCHOR_END));
258 assertEqualInt(0,
259 archive_pathmatch("abc", "abcd", PATHMATCH_NO_ANCHOR_END));
260 assertEqualInt(1,
261 archive_pathmatch("a/b/c", "a/b/c/d", PATHMATCH_NO_ANCHOR_END));
262 assertEqualInt(0,
263 archive_pathmatch("a/b/c$", "a/b/c/d", PATHMATCH_NO_ANCHOR_END));
264 assertEqualInt(1,
265 archive_pathmatch("a/b/c$", "a/b/c", PATHMATCH_NO_ANCHOR_END));
266 assertEqualInt(1,
267 archive_pathmatch("a/b/c$", "a/b/c/", PATHMATCH_NO_ANCHOR_END));
268 assertEqualInt(1,
269 archive_pathmatch("a/b/c/", "a/b/c/d", PATHMATCH_NO_ANCHOR_END));
270 assertEqualInt(0,
271 archive_pathmatch("a/b/c/$", "a/b/c/d", PATHMATCH_NO_ANCHOR_END));
272 assertEqualInt(1,
273 archive_pathmatch("a/b/c/$", "a/b/c/", PATHMATCH_NO_ANCHOR_END));
274 assertEqualInt(1,
275 archive_pathmatch("a/b/c/$", "a/b/c", PATHMATCH_NO_ANCHOR_END));
276 assertEqualInt(0,
277 archive_pathmatch("b/c", "a/b/c/d", PATHMATCH_NO_ANCHOR_END));
278
279 /* Matches not anchored at either end. */
280 assertEqualInt(1,
281 archive_pathmatch("b/c", "a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
282 assertEqualInt(0,
283 archive_pathmatch("/b/c", "a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
284 assertEqualInt(0,
285 archive_pathmatch("/a/b/c", "a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
286 assertEqualInt(1,
287 archive_pathmatch("/a/b/c", "/a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
288 assertEqualInt(0,
289 archive_pathmatch("/a/b/c$", "a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
290 assertEqualInt(0,
291 archive_pathmatch("/a/b/c/d$", "a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
292 assertEqualInt(0,
293 archive_pathmatch("/a/b/c/d$", "/a/b/c/d/e", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
294 assertEqualInt(1,
295 archive_pathmatch("/a/b/c/d$", "/a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
296 assertEqualInt(1,
297 archive_pathmatch("^a/b/c", "a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
298 assertEqualInt(0,
299 archive_pathmatch("^a/b/c$", "a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
300 assertEqualInt(0,
301 archive_pathmatch("a/b/c$", "a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
302 assertEqualInt(1,
303 archive_pathmatch("b/c/d$", "a/b/c/d", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
304
305 /* Anchor characters within pattern not special. */
306 assertEqualInt(0,
307 archive_pathmatch("*^*", "a/b/c", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
308 assertEqualInt(1,
309 archive_pathmatch("*^*", "a^b", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
310 assertEqualInt(0,
311 archive_pathmatch("*$*", "a/b/c", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
312 assertEqualInt(1,
313 archive_pathmatch("*$*", "a$b", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
314 assertEqualInt(0,
315 archive_pathmatch("a*/^b/c", "a/b/c", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
316 assertEqualInt(1,
317 archive_pathmatch("a*/^b/c", "a/^b/c", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
318 assertEqualInt(0,
319 archive_pathmatch("a*/b$/c", "a/b/c", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
320 assertEqualInt(1,
321 archive_pathmatch("a*/b$/c", "a/b$/c", PATHMATCH_NO_ANCHOR_START | PATHMATCH_NO_ANCHOR_END));
322 }
323