blob: 3a8fa9d78d5ca04b22ed4f62d728f85e94c83e96 [file] [log] [blame]
deraadt@openbsd.org72687c82019-11-13 04:47:52 +00001/* $OpenBSD: match.c,v 1.41 2019/11/13 04:47:52 deraadt Exp $ */
Damien Millerd4a8b7e1999-10-27 13:42:43 +10002/*
Damien Miller95def091999-11-25 00:26:21 +11003 * Author: Tatu Ylonen <ylo@cs.hut.fi>
Damien Miller95def091999-11-25 00:26:21 +11004 * Copyright (c) 1995 Tatu Ylonen <ylo@cs.hut.fi>, Espoo, Finland
5 * All rights reserved
Damien Miller95def091999-11-25 00:26:21 +11006 * Simple pattern matching, with '*' and '?' as wildcards.
Damien Miller4af51302000-04-16 11:18:38 +10007 *
Damien Millere4340be2000-09-16 13:29:08 +11008 * As far as I am concerned, the code I have written for this software
9 * can be used freely for any purpose. Any derived versions of this
10 * software must be clearly marked as such, and if the derived work is
11 * incompatible with the protocol description in the RFC file, it must be
12 * called by a name other than "ssh" or "Secure Shell".
Damien Miller95def091999-11-25 00:26:21 +110013 */
Ben Lindstromb9be60a2001-03-11 01:49:19 +000014/*
15 * Copyright (c) 2000 Markus Friedl. All rights reserved.
16 *
17 * Redistribution and use in source and binary forms, with or without
18 * modification, are permitted provided that the following conditions
19 * are met:
20 * 1. Redistributions of source code must retain the above copyright
21 * notice, this list of conditions and the following disclaimer.
22 * 2. Redistributions in binary form must reproduce the above copyright
23 * notice, this list of conditions and the following disclaimer in the
24 * documentation and/or other materials provided with the distribution.
25 *
26 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
27 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
28 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
29 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
30 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
31 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
32 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
33 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
34 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
35 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
36 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +100037
38#include "includes.h"
Damien Millerc7b06362006-03-15 11:53:45 +110039
Damien Millerd7834352006-08-05 12:39:39 +100040#include <sys/types.h>
41
Damien Millerc7b06362006-03-15 11:53:45 +110042#include <ctype.h>
Darren Tuckera627d422013-06-02 07:31:17 +100043#include <stdlib.h>
Damien Millere3476ed2006-07-24 14:13:33 +100044#include <string.h>
deraadt@openbsd.org72687c82019-11-13 04:47:52 +000045#include <stdarg.h>
djm@openbsd.orgdd3e2292017-03-10 04:24:55 +000046#include <stdio.h>
Damien Millerd4a8b7e1999-10-27 13:42:43 +100047
Ben Lindstromb9be60a2001-03-11 01:49:19 +000048#include "xmalloc.h"
Damien Millerd7834352006-08-05 12:39:39 +100049#include "match.h"
djm@openbsd.orgdd3e2292017-03-10 04:24:55 +000050#include "misc.h"
Damien Millerd4a8b7e1999-10-27 13:42:43 +100051
Damien Miller5428f641999-11-25 11:54:57 +110052/*
53 * Returns true if the given string matches the pattern (which may contain ?
54 * and * as wildcards), and zero if it does not match.
55 */
Damien Miller95def091999-11-25 00:26:21 +110056
Damien Miller4af51302000-04-16 11:18:38 +100057int
Damien Miller95def091999-11-25 00:26:21 +110058match_pattern(const char *s, const char *pattern)
Damien Millerd4a8b7e1999-10-27 13:42:43 +100059{
Damien Miller95def091999-11-25 00:26:21 +110060 for (;;) {
61 /* If at end of pattern, accept if also at end of string. */
62 if (!*pattern)
63 return !*s;
Damien Millerd4a8b7e1999-10-27 13:42:43 +100064
Damien Miller95def091999-11-25 00:26:21 +110065 if (*pattern == '*') {
66 /* Skip the asterisk. */
67 pattern++;
Damien Millerd4a8b7e1999-10-27 13:42:43 +100068
Damien Miller95def091999-11-25 00:26:21 +110069 /* If at end of pattern, accept immediately. */
70 if (!*pattern)
71 return 1;
Damien Millerd4a8b7e1999-10-27 13:42:43 +100072
Damien Miller95def091999-11-25 00:26:21 +110073 /* If next character in pattern is known, optimize. */
74 if (*pattern != '?' && *pattern != '*') {
Damien Miller5428f641999-11-25 11:54:57 +110075 /*
76 * Look instances of the next character in
77 * pattern, and try to match starting from
78 * those.
79 */
Damien Miller95def091999-11-25 00:26:21 +110080 for (; *s; s++)
81 if (*s == *pattern &&
82 match_pattern(s + 1, pattern + 1))
83 return 1;
84 /* Failed. */
85 return 0;
86 }
Damien Miller5428f641999-11-25 11:54:57 +110087 /*
88 * Move ahead one character at a time and try to
89 * match at each position.
90 */
Damien Miller95def091999-11-25 00:26:21 +110091 for (; *s; s++)
92 if (match_pattern(s, pattern))
93 return 1;
94 /* Failed. */
95 return 0;
96 }
Damien Miller5428f641999-11-25 11:54:57 +110097 /*
98 * There must be at least one more character in the string.
99 * If we are at the end, fail.
100 */
Damien Miller95def091999-11-25 00:26:21 +1100101 if (!*s)
102 return 0;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000103
Damien Miller5428f641999-11-25 11:54:57 +1100104 /* Check if the next character of the string is acceptable. */
Damien Miller95def091999-11-25 00:26:21 +1100105 if (*pattern != '?' && *pattern != *s)
106 return 0;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000107
Damien Miller5428f641999-11-25 11:54:57 +1100108 /* Move to the next character, both in string and in pattern. */
Damien Miller95def091999-11-25 00:26:21 +1100109 s++;
110 pattern++;
111 }
112 /* NOTREACHED */
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000113}
Damien Miller450a7a12000-03-26 13:04:51 +1000114
115/*
Ben Lindstrom9eab2622001-12-06 18:06:05 +0000116 * Tries to match the string against the
Damien Miller450a7a12000-03-26 13:04:51 +1000117 * comma-separated sequence of subpatterns (each possibly preceded by ! to
Damien Millerd3a18572000-06-07 19:55:44 +1000118 * indicate negation). Returns -1 if negation matches, 1 if there is
119 * a positive match, 0 if there is no match at all.
Damien Miller450a7a12000-03-26 13:04:51 +1000120 */
Damien Miller450a7a12000-03-26 13:04:51 +1000121int
djm@openbsd.orge661a862015-05-04 06:10:48 +0000122match_pattern_list(const char *string, const char *pattern, int dolower)
Damien Miller450a7a12000-03-26 13:04:51 +1000123{
124 char sub[1024];
125 int negated;
126 int got_positive;
djm@openbsd.orge661a862015-05-04 06:10:48 +0000127 u_int i, subi, len = strlen(pattern);
Damien Miller450a7a12000-03-26 13:04:51 +1000128
129 got_positive = 0;
130 for (i = 0; i < len;) {
131 /* Check if the subpattern is negated. */
132 if (pattern[i] == '!') {
133 negated = 1;
134 i++;
135 } else
136 negated = 0;
137
138 /*
139 * Extract the subpattern up to a comma or end. Convert the
140 * subpattern to lowercase.
141 */
142 for (subi = 0;
Damien Miller9f0f5c62001-12-21 14:45:46 +1100143 i < len && subi < sizeof(sub) - 1 && pattern[i] != ',';
144 subi++, i++)
Damien Millerfdb23062013-11-21 13:57:15 +1100145 sub[subi] = dolower && isupper((u_char)pattern[i]) ?
146 tolower((u_char)pattern[i]) : pattern[i];
Damien Miller450a7a12000-03-26 13:04:51 +1000147 /* If subpattern too long, return failure (no match). */
148 if (subi >= sizeof(sub) - 1)
149 return 0;
150
djm@openbsd.orgec2892b2017-03-10 03:52:48 +0000151 /* If the subpattern was terminated by a comma, then skip it. */
Damien Miller450a7a12000-03-26 13:04:51 +1000152 if (i < len && pattern[i] == ',')
153 i++;
154
155 /* Null-terminate the subpattern. */
156 sub[subi] = '\0';
157
Ben Lindstrom9eab2622001-12-06 18:06:05 +0000158 /* Try to match the subpattern against the string. */
159 if (match_pattern(string, sub)) {
Damien Miller450a7a12000-03-26 13:04:51 +1000160 if (negated)
Damien Millerd3a18572000-06-07 19:55:44 +1000161 return -1; /* Negative */
Damien Miller450a7a12000-03-26 13:04:51 +1000162 else
Damien Millerd3a18572000-06-07 19:55:44 +1000163 got_positive = 1; /* Positive */
djm@openbsd.orga5ad3a92016-09-21 16:55:42 +0000164 }
Damien Miller450a7a12000-03-26 13:04:51 +1000165 }
166
167 /*
168 * Return success if got a positive match. If there was a negative
Damien Millerd3a18572000-06-07 19:55:44 +1000169 * match, we have already returned -1 and never get here.
Damien Miller450a7a12000-03-26 13:04:51 +1000170 */
171 return got_positive;
172}
Ben Lindstromb9be60a2001-03-11 01:49:19 +0000173
dtucker@openbsd.orgfd10cf02019-03-06 22:14:23 +0000174/* Match a list representing users or groups. */
175int
176match_usergroup_pattern_list(const char *string, const char *pattern)
177{
Darren Tuckerdaa75052019-03-12 09:19:19 +1100178#ifdef HAVE_CYGWIN
179 /* Windows usernames may be Unicode and are not case sensitive */
180 return cygwin_ug_match_pattern_list(string, pattern);
dtucker@openbsd.orgfd10cf02019-03-06 22:14:23 +0000181#else
Darren Tuckera4cc5792019-11-13 10:41:41 +1100182 /* Case sensitive match */
Darren Tuckerdaa75052019-03-12 09:19:19 +1100183 return match_pattern_list(string, pattern, 0);
dtucker@openbsd.orgfd10cf02019-03-06 22:14:23 +0000184#endif
185}
186
Ben Lindstromf0c50292001-06-25 05:17:53 +0000187/*
Ben Lindstrom9eab2622001-12-06 18:06:05 +0000188 * Tries to match the host name (which must be in all lowercase) against the
189 * comma-separated sequence of subpatterns (each possibly preceded by ! to
190 * indicate negation). Returns -1 if negation matches, 1 if there is
191 * a positive match, 0 if there is no match at all.
192 */
193int
djm@openbsd.orge661a862015-05-04 06:10:48 +0000194match_hostname(const char *host, const char *pattern)
Ben Lindstrom9eab2622001-12-06 18:06:05 +0000195{
djm@openbsd.orgdd3e2292017-03-10 04:24:55 +0000196 char *hostcopy = xstrdup(host);
197 int r;
198
199 lowercase(hostcopy);
200 r = match_pattern_list(hostcopy, pattern, 1);
201 free(hostcopy);
202 return r;
Ben Lindstrom9eab2622001-12-06 18:06:05 +0000203}
204
205/*
Ben Lindstromf0c50292001-06-25 05:17:53 +0000206 * returns 0 if we get a negative match for the hostname or the ip
Darren Tucker896ad5a2008-06-11 09:34:46 +1000207 * or if we get no match at all. returns -1 on error, or 1 on
208 * successful match.
Ben Lindstromf0c50292001-06-25 05:17:53 +0000209 */
210int
211match_host_and_ip(const char *host, const char *ipaddr,
212 const char *patterns)
213{
214 int mhost, mip;
Ben Lindstromb9be60a2001-03-11 01:49:19 +0000215
Darren Tucker896ad5a2008-06-11 09:34:46 +1000216 if ((mip = addr_match_list(ipaddr, patterns)) == -2)
djm@openbsd.org010359b2016-11-06 05:46:37 +0000217 return -1; /* error in ipaddr match */
218 else if (host == NULL || ipaddr == NULL || mip == -1)
219 return 0; /* negative ip address match, or testing pattern */
Darren Tucker896ad5a2008-06-11 09:34:46 +1000220
Ben Lindstromf0c50292001-06-25 05:17:53 +0000221 /* negative hostname match */
djm@openbsd.orge661a862015-05-04 06:10:48 +0000222 if ((mhost = match_hostname(host, patterns)) == -1)
Ben Lindstromf0c50292001-06-25 05:17:53 +0000223 return 0;
224 /* no match at all */
225 if (mhost == 0 && mip == 0)
226 return 0;
227 return 1;
228}
229
230/*
djm@openbsd.org010359b2016-11-06 05:46:37 +0000231 * Match user, user@host_or_ip, user@host_or_ip_list against pattern.
232 * If user, host and ipaddr are all NULL then validate pattern/
233 * Returns -1 on invalid pattern, 0 on no match, 1 on match.
Ben Lindstrom60260022001-07-04 04:56:44 +0000234 */
235int
Ben Lindstrom3fb5d002002-03-05 01:42:42 +0000236match_user(const char *user, const char *host, const char *ipaddr,
Ben Lindstrom60260022001-07-04 04:56:44 +0000237 const char *pattern)
238{
239 char *p, *pat;
240 int ret;
241
djm@openbsd.org010359b2016-11-06 05:46:37 +0000242 /* test mode */
243 if (user == NULL && host == NULL && ipaddr == NULL) {
244 if ((p = strchr(pattern, '@')) != NULL &&
245 match_host_and_ip(NULL, NULL, p + 1) < 0)
246 return -1;
247 return 0;
248 }
249
djm@openbsd.orgb7fbc752019-10-04 04:13:39 +0000250 if ((p = strchr(pattern, '@')) == NULL)
Ben Lindstrom60260022001-07-04 04:56:44 +0000251 return match_pattern(user, pattern);
252
253 pat = xstrdup(pattern);
254 p = strchr(pat, '@');
255 *p++ = '\0';
256
257 if ((ret = match_pattern(user, pat)) == 1)
Ben Lindstrom3fb5d002002-03-05 01:42:42 +0000258 ret = match_host_and_ip(host, ipaddr, p);
Darren Tuckera627d422013-06-02 07:31:17 +1000259 free(pat);
Ben Lindstrom60260022001-07-04 04:56:44 +0000260
261 return ret;
262}
263
264/*
Ben Lindstromf0c50292001-06-25 05:17:53 +0000265 * Returns first item from client-list that is also supported by server-list,
Darren Tuckera627d422013-06-02 07:31:17 +1000266 * caller must free the returned string.
Ben Lindstromf0c50292001-06-25 05:17:53 +0000267 */
Damien Millerafc7a5d2002-02-13 13:55:30 +1100268#define MAX_PROP 40
Ben Lindstromb9be60a2001-03-11 01:49:19 +0000269#define SEP ","
270char *
271match_list(const char *client, const char *server, u_int *next)
272{
273 char *sproposals[MAX_PROP];
274 char *c, *s, *p, *ret, *cp, *sp;
275 int i, j, nproposals;
276
277 c = cp = xstrdup(client);
278 s = sp = xstrdup(server);
279
280 for ((p = strsep(&sp, SEP)), i=0; p && *p != '\0';
Damien Miller9f0f5c62001-12-21 14:45:46 +1100281 (p = strsep(&sp, SEP)), i++) {
Ben Lindstromb9be60a2001-03-11 01:49:19 +0000282 if (i < MAX_PROP)
283 sproposals[i] = p;
284 else
285 break;
286 }
287 nproposals = i;
288
289 for ((p = strsep(&cp, SEP)), i=0; p && *p != '\0';
Damien Miller9f0f5c62001-12-21 14:45:46 +1100290 (p = strsep(&cp, SEP)), i++) {
Ben Lindstromb9be60a2001-03-11 01:49:19 +0000291 for (j = 0; j < nproposals; j++) {
292 if (strcmp(p, sproposals[j]) == 0) {
293 ret = xstrdup(p);
294 if (next != NULL)
295 *next = (cp == NULL) ?
Damien Millereccb9de2005-06-17 12:59:34 +1000296 strlen(c) : (u_int)(cp - c);
Darren Tuckera627d422013-06-02 07:31:17 +1000297 free(c);
298 free(s);
Ben Lindstromb9be60a2001-03-11 01:49:19 +0000299 return ret;
300 }
301 }
302 }
303 if (next != NULL)
304 *next = strlen(c);
Darren Tuckera627d422013-06-02 07:31:17 +1000305 free(c);
306 free(s);
Ben Lindstromb9be60a2001-03-11 01:49:19 +0000307 return NULL;
308}
djm@openbsd.org68bc8cf2017-02-03 23:01:19 +0000309
310/*
djm@openbsd.org312d2f22018-07-04 13:49:31 +0000311 * Filter proposal using pattern-list filter.
312 * "blacklist" determines sense of filter:
313 * non-zero indicates that items matching filter should be excluded.
314 * zero indicates that only items matching filter should be included.
315 * returns NULL on allocation error, otherwise caller must free result.
djm@openbsd.org68bc8cf2017-02-03 23:01:19 +0000316 */
djm@openbsd.org312d2f22018-07-04 13:49:31 +0000317static char *
318filter_list(const char *proposal, const char *filter, int blacklist)
djm@openbsd.org68bc8cf2017-02-03 23:01:19 +0000319{
320 size_t len = strlen(proposal) + 1;
321 char *fix_prop = malloc(len);
322 char *orig_prop = strdup(proposal);
323 char *cp, *tmp;
djm@openbsd.org312d2f22018-07-04 13:49:31 +0000324 int r;
djm@openbsd.org68bc8cf2017-02-03 23:01:19 +0000325
jsg@openbsd.orgb2afdaf2017-02-15 23:38:31 +0000326 if (fix_prop == NULL || orig_prop == NULL) {
327 free(orig_prop);
328 free(fix_prop);
djm@openbsd.org68bc8cf2017-02-03 23:01:19 +0000329 return NULL;
jsg@openbsd.orgb2afdaf2017-02-15 23:38:31 +0000330 }
djm@openbsd.org68bc8cf2017-02-03 23:01:19 +0000331
332 tmp = orig_prop;
333 *fix_prop = '\0';
334 while ((cp = strsep(&tmp, ",")) != NULL) {
djm@openbsd.org312d2f22018-07-04 13:49:31 +0000335 r = match_pattern_list(cp, filter, 0);
336 if ((blacklist && r != 1) || (!blacklist && r == 1)) {
djm@openbsd.org68bc8cf2017-02-03 23:01:19 +0000337 if (*fix_prop != '\0')
338 strlcat(fix_prop, ",", len);
339 strlcat(fix_prop, cp, len);
340 }
341 }
342 free(orig_prop);
343 return fix_prop;
344}
345
djm@openbsd.org312d2f22018-07-04 13:49:31 +0000346/*
347 * Filters a comma-separated list of strings, excluding any entry matching
348 * the 'filter' pattern list. Caller must free returned string.
349 */
350char *
351match_filter_blacklist(const char *proposal, const char *filter)
352{
353 return filter_list(proposal, filter, 1);
354}
355
356/*
357 * Filters a comma-separated list of strings, including only entries matching
358 * the 'filter' pattern list. Caller must free returned string.
359 */
360char *
361match_filter_whitelist(const char *proposal, const char *filter)
362{
363 return filter_list(proposal, filter, 0);
364}