blob: 6c263bebecadbe948d76da61e172214c08331477 [file] [log] [blame]
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001/*
2 * Pattern management functions.
3 *
4 * Copyright 2000-2013 Willy Tarreau <w@1wt.eu>
5 *
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version
9 * 2 of the License, or (at your option) any later version.
10 *
11 */
12
13#include <ctype.h>
14#include <stdio.h>
Jerome Magninb8bd6d72020-01-17 18:01:20 +010015#include <errno.h>
Thierry FOURNIERed66c292013-11-28 11:05:19 +010016
Willy Tarreaub2551052020-06-09 09:07:15 +020017#include <import/ebsttree.h>
18#include <import/lru.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020019
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020020#include <haproxy/api.h>
Willy Tarreauf268ee82020-06-04 17:05:57 +020021#include <haproxy/global.h>
Willy Tarreauaeed4a82020-06-04 22:01:04 +020022#include <haproxy/log.h>
Willy Tarreau6131d6a2020-06-02 16:48:09 +020023#include <haproxy/net_helper.h>
Willy Tarreau225a90a2020-06-04 15:06:28 +020024#include <haproxy/pattern.h>
Willy Tarreau7cd8b6e2020-06-02 17:32:26 +020025#include <haproxy/regex.h>
Willy Tarreaue6ce10b2020-06-04 15:33:47 +020026#include <haproxy/sample.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020027#include <haproxy/tools.h>
Tim Duesterhusd5fc8fc2021-09-11 17:51:13 +020028#include <haproxy/xxhash.h>
Thierry FOURNIERed66c292013-11-28 11:05:19 +010029
Thierry FOURNIERed66c292013-11-28 11:05:19 +010030
Willy Tarreau9057a002021-04-10 17:44:27 +020031const char *const pat_match_names[PAT_MATCH_NUM] = {
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010032 [PAT_MATCH_FOUND] = "found",
33 [PAT_MATCH_BOOL] = "bool",
34 [PAT_MATCH_INT] = "int",
35 [PAT_MATCH_IP] = "ip",
36 [PAT_MATCH_BIN] = "bin",
37 [PAT_MATCH_LEN] = "len",
38 [PAT_MATCH_STR] = "str",
39 [PAT_MATCH_BEG] = "beg",
40 [PAT_MATCH_SUB] = "sub",
41 [PAT_MATCH_DIR] = "dir",
42 [PAT_MATCH_DOM] = "dom",
43 [PAT_MATCH_END] = "end",
44 [PAT_MATCH_REG] = "reg",
Thierry Fournier8feaa662016-02-10 22:55:20 +010045 [PAT_MATCH_REGM] = "regm",
Thierry FOURNIERed66c292013-11-28 11:05:19 +010046};
47
Willy Tarreau9057a002021-04-10 17:44:27 +020048int (*const pat_parse_fcts[PAT_MATCH_NUM])(const char *, struct pattern *, int, char **) = {
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010049 [PAT_MATCH_FOUND] = pat_parse_nothing,
50 [PAT_MATCH_BOOL] = pat_parse_nothing,
51 [PAT_MATCH_INT] = pat_parse_int,
52 [PAT_MATCH_IP] = pat_parse_ip,
53 [PAT_MATCH_BIN] = pat_parse_bin,
Thierry FOURNIER5d344082014-01-27 14:19:53 +010054 [PAT_MATCH_LEN] = pat_parse_int,
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010055 [PAT_MATCH_STR] = pat_parse_str,
56 [PAT_MATCH_BEG] = pat_parse_str,
57 [PAT_MATCH_SUB] = pat_parse_str,
58 [PAT_MATCH_DIR] = pat_parse_str,
59 [PAT_MATCH_DOM] = pat_parse_str,
60 [PAT_MATCH_END] = pat_parse_str,
61 [PAT_MATCH_REG] = pat_parse_reg,
Thierry Fournier8feaa662016-02-10 22:55:20 +010062 [PAT_MATCH_REGM] = pat_parse_reg,
Thierry FOURNIERed66c292013-11-28 11:05:19 +010063};
64
Willy Tarreau9057a002021-04-10 17:44:27 +020065int (*const pat_index_fcts[PAT_MATCH_NUM])(struct pattern_expr *, struct pattern *, char **) = {
Thierry FOURNIERb9b08462013-12-13 15:12:32 +010066 [PAT_MATCH_FOUND] = pat_idx_list_val,
67 [PAT_MATCH_BOOL] = pat_idx_list_val,
68 [PAT_MATCH_INT] = pat_idx_list_val,
69 [PAT_MATCH_IP] = pat_idx_tree_ip,
70 [PAT_MATCH_BIN] = pat_idx_list_ptr,
71 [PAT_MATCH_LEN] = pat_idx_list_val,
72 [PAT_MATCH_STR] = pat_idx_tree_str,
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +020073 [PAT_MATCH_BEG] = pat_idx_tree_pfx,
Thierry FOURNIERb9b08462013-12-13 15:12:32 +010074 [PAT_MATCH_SUB] = pat_idx_list_str,
75 [PAT_MATCH_DIR] = pat_idx_list_str,
76 [PAT_MATCH_DOM] = pat_idx_list_str,
77 [PAT_MATCH_END] = pat_idx_list_str,
78 [PAT_MATCH_REG] = pat_idx_list_reg,
Thierry Fournier8feaa662016-02-10 22:55:20 +010079 [PAT_MATCH_REGM] = pat_idx_list_regm,
Thierry FOURNIERb9b08462013-12-13 15:12:32 +010080};
81
Willy Tarreau9057a002021-04-10 17:44:27 +020082void (*const pat_prune_fcts[PAT_MATCH_NUM])(struct pattern_expr *) = {
Willy Tarreau6d8a6892020-11-02 19:26:02 +010083 [PAT_MATCH_FOUND] = pat_prune_gen,
84 [PAT_MATCH_BOOL] = pat_prune_gen,
85 [PAT_MATCH_INT] = pat_prune_gen,
86 [PAT_MATCH_IP] = pat_prune_gen,
87 [PAT_MATCH_BIN] = pat_prune_gen,
88 [PAT_MATCH_LEN] = pat_prune_gen,
89 [PAT_MATCH_STR] = pat_prune_gen,
90 [PAT_MATCH_BEG] = pat_prune_gen,
91 [PAT_MATCH_SUB] = pat_prune_gen,
92 [PAT_MATCH_DIR] = pat_prune_gen,
93 [PAT_MATCH_DOM] = pat_prune_gen,
94 [PAT_MATCH_END] = pat_prune_gen,
95 [PAT_MATCH_REG] = pat_prune_gen,
96 [PAT_MATCH_REGM] = pat_prune_gen,
Thierry FOURNIER6f7203d2014-01-14 16:24:51 +010097};
98
Willy Tarreau9057a002021-04-10 17:44:27 +020099struct pattern *(*const pat_match_fcts[PAT_MATCH_NUM])(struct sample *, struct pattern_expr *, int) = {
Thierry FOURNIERa65b3432013-11-28 18:22:00 +0100100 [PAT_MATCH_FOUND] = NULL,
101 [PAT_MATCH_BOOL] = pat_match_nothing,
102 [PAT_MATCH_INT] = pat_match_int,
103 [PAT_MATCH_IP] = pat_match_ip,
104 [PAT_MATCH_BIN] = pat_match_bin,
105 [PAT_MATCH_LEN] = pat_match_len,
106 [PAT_MATCH_STR] = pat_match_str,
107 [PAT_MATCH_BEG] = pat_match_beg,
108 [PAT_MATCH_SUB] = pat_match_sub,
109 [PAT_MATCH_DIR] = pat_match_dir,
110 [PAT_MATCH_DOM] = pat_match_dom,
111 [PAT_MATCH_END] = pat_match_end,
112 [PAT_MATCH_REG] = pat_match_reg,
Thierry Fournier8feaa662016-02-10 22:55:20 +0100113 [PAT_MATCH_REGM] = pat_match_regm,
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100114};
115
Thierry FOURNIERe3ded592013-12-06 15:36:54 +0100116/* Just used for checking configuration compatibility */
Willy Tarreau9057a002021-04-10 17:44:27 +0200117int const pat_match_types[PAT_MATCH_NUM] = {
Thierry FOURNIER07ee64e2015-07-06 23:43:03 +0200118 [PAT_MATCH_FOUND] = SMP_T_SINT,
119 [PAT_MATCH_BOOL] = SMP_T_SINT,
120 [PAT_MATCH_INT] = SMP_T_SINT,
Thierry FOURNIERe3ded592013-12-06 15:36:54 +0100121 [PAT_MATCH_IP] = SMP_T_ADDR,
Thierry FOURNIER7654c9f2013-12-17 00:20:33 +0100122 [PAT_MATCH_BIN] = SMP_T_BIN,
123 [PAT_MATCH_LEN] = SMP_T_STR,
124 [PAT_MATCH_STR] = SMP_T_STR,
125 [PAT_MATCH_BEG] = SMP_T_STR,
126 [PAT_MATCH_SUB] = SMP_T_STR,
127 [PAT_MATCH_DIR] = SMP_T_STR,
128 [PAT_MATCH_DOM] = SMP_T_STR,
129 [PAT_MATCH_END] = SMP_T_STR,
130 [PAT_MATCH_REG] = SMP_T_STR,
Thierry Fournier8feaa662016-02-10 22:55:20 +0100131 [PAT_MATCH_REGM] = SMP_T_STR,
Thierry FOURNIERe3ded592013-12-06 15:36:54 +0100132};
133
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +0100134/* this struct is used to return information */
Emeric Brunb5997f72017-07-03 11:34:05 +0200135static THREAD_LOCAL struct pattern static_pattern;
136static THREAD_LOCAL struct sample_data static_sample_data;
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +0100137
Thierry FOURNIER1e00d382014-02-11 11:31:40 +0100138/* This is the root of the list of all pattern_ref avalaibles. */
139struct list pattern_reference = LIST_HEAD_INIT(pattern_reference);
140
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200141static THREAD_LOCAL struct lru64_head *pat_lru_tree;
Willy Tarreau295a89c2021-04-10 17:42:04 +0200142static unsigned long long pat_lru_seed __read_mostly;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200143
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100144/*
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100145 *
146 * The following functions are not exported and are used by internals process
147 * of pattern matching
148 *
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100149 */
150
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100151/* Background: Fast way to find a zero byte in a word
152 * http://graphics.stanford.edu/~seander/bithacks.html#ZeroInWord
153 * hasZeroByte = (v - 0x01010101UL) & ~v & 0x80808080UL;
154 *
155 * To look for 4 different byte values, xor the word with those bytes and
156 * then check for zero bytes:
157 *
158 * v = (((unsigned char)c * 0x1010101U) ^ delimiter)
159 * where <delimiter> is the 4 byte values to look for (as an uint)
160 * and <c> is the character that is being tested
161 */
162static inline unsigned int is_delimiter(unsigned char c, unsigned int mask)
163{
164 mask ^= (c * 0x01010101); /* propagate the char to all 4 bytes */
165 return (mask - 0x01010101) & ~mask & 0x80808080U;
166}
167
168static inline unsigned int make_4delim(unsigned char d1, unsigned char d2, unsigned char d3, unsigned char d4)
169{
170 return d1 << 24 | d2 << 16 | d3 << 8 | d4;
171}
172
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100173
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100174/*
175 *
176 * These functions are exported and may be used by any other component.
177 *
Willy Tarreau5def8ef2014-08-29 15:19:33 +0200178 * The following functions are used for parsing pattern matching input value.
179 * The <text> contain the string to be parsed. <pattern> must be a preallocated
180 * pattern. The pat_parse_* functions fill this structure with the parsed value.
181 * <err> is filled with an error message built with memprintf() function. It is
182 * allowed to use a trash as a temporary storage for the returned pattern, as
183 * the next call after these functions will be pat_idx_*.
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100184 *
Willy Tarreau5def8ef2014-08-29 15:19:33 +0200185 * In success case, the pat_parse_* function returns 1. If the function
186 * fails, it returns 0 and <err> is filled.
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100187 */
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100188
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100189/* ignore the current line */
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200190int pat_parse_nothing(const char *text, struct pattern *pattern, int mflags, char **err)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100191{
192 return 1;
193}
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100194
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100195/* Parse a string. It is allocated and duplicated. */
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200196int pat_parse_str(const char *text, struct pattern *pattern, int mflags, char **err)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100197{
Thierry FOURNIER7654c9f2013-12-17 00:20:33 +0100198 pattern->type = SMP_T_STR;
Thierry FOURNIERedc15c32013-12-13 15:36:59 +0100199 pattern->ptr.str = (char *)text;
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100200 pattern->len = strlen(text);
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100201 return 1;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100202}
203
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100204/* Parse a binary written in hexa. It is allocated. */
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200205int pat_parse_bin(const char *text, struct pattern *pattern, int mflags, char **err)
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100206{
Willy Tarreau83061a82018-07-13 11:56:34 +0200207 struct buffer *trash;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100208
Thierry FOURNIER7654c9f2013-12-17 00:20:33 +0100209 pattern->type = SMP_T_BIN;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100210 trash = get_trash_chunk();
211 pattern->len = trash->size;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200212 pattern->ptr.str = trash->area;
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100213 return !!parse_binary(text, &pattern->ptr.str, &pattern->len, err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100214}
215
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100216/* Parse a regex. It is allocated. */
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200217int pat_parse_reg(const char *text, struct pattern *pattern, int mflags, char **err)
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100218{
Thierry FOURNIER0b6d15f2014-01-29 19:35:16 +0100219 pattern->ptr.str = (char *)text;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100220 return 1;
221}
222
223/* Parse a range of positive integers delimited by either ':' or '-'. If only
224 * one integer is read, it is set as both min and max. An operator may be
225 * specified as the prefix, among this list of 5 :
226 *
227 * 0:eq, 1:gt, 2:ge, 3:lt, 4:le
228 *
229 * The default operator is "eq". It supports range matching. Ranges are
230 * rejected for other operators. The operator may be changed at any time.
231 * The operator is stored in the 'opaque' argument.
232 *
233 * If err is non-NULL, an error message will be returned there on errors and
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100234 * the caller will have to free it. The function returns zero on error, and
235 * non-zero on success.
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100236 *
237 */
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200238int pat_parse_int(const char *text, struct pattern *pattern, int mflags, char **err)
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100239{
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100240 const char *ptr = text;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100241
Thierry FOURNIER07ee64e2015-07-06 23:43:03 +0200242 pattern->type = SMP_T_SINT;
Thierry FOURNIER7148ce62013-12-06 19:06:43 +0100243
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100244 /* Empty string is not valid */
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100245 if (!*text)
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100246 goto not_valid_range;
247
248 /* Search ':' or '-' separator. */
249 while (*ptr != '\0' && *ptr != ':' && *ptr != '-')
250 ptr++;
251
252 /* If separator not found. */
253 if (!*ptr) {
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100254 if (strl2llrc(text, ptr - text, &pattern->val.range.min) != 0) {
255 memprintf(err, "'%s' is not a number", text);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100256 return 0;
257 }
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100258 pattern->val.range.max = pattern->val.range.min;
259 pattern->val.range.min_set = 1;
260 pattern->val.range.max_set = 1;
261 return 1;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100262 }
263
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100264 /* If the separator is the first character. */
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100265 if (ptr == text && *(ptr + 1) != '\0') {
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100266 if (strl2llrc(ptr + 1, strlen(ptr + 1), &pattern->val.range.max) != 0)
267 goto not_valid_range;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100268
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100269 pattern->val.range.min_set = 0;
270 pattern->val.range.max_set = 1;
271 return 1;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100272 }
273
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100274 /* If separator is the last character. */
275 if (*(ptr + 1) == '\0') {
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100276 if (strl2llrc(text, ptr - text, &pattern->val.range.min) != 0)
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100277 goto not_valid_range;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100278
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100279 pattern->val.range.min_set = 1;
280 pattern->val.range.max_set = 0;
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100281 return 1;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100282 }
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100283
284 /* Else, parse two numbers. */
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100285 if (strl2llrc(text, ptr - text, &pattern->val.range.min) != 0)
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100286 goto not_valid_range;
287
288 if (strl2llrc(ptr + 1, strlen(ptr + 1), &pattern->val.range.max) != 0)
289 goto not_valid_range;
290
291 if (pattern->val.range.min > pattern->val.range.max)
292 goto not_valid_range;
293
294 pattern->val.range.min_set = 1;
295 pattern->val.range.max_set = 1;
296 return 1;
297
298 not_valid_range:
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100299 memprintf(err, "'%s' is not a valid number range", text);
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100300 return 0;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100301}
302
303/* Parse a range of positive 2-component versions delimited by either ':' or
304 * '-'. The version consists in a major and a minor, both of which must be
305 * smaller than 65536, because internally they will be represented as a 32-bit
306 * integer.
307 * If only one version is read, it is set as both min and max. Just like for
308 * pure integers, an operator may be specified as the prefix, among this list
309 * of 5 :
310 *
311 * 0:eq, 1:gt, 2:ge, 3:lt, 4:le
312 *
313 * The default operator is "eq". It supports range matching. Ranges are
314 * rejected for other operators. The operator may be changed at any time.
315 * The operator is stored in the 'opaque' argument. This allows constructs
316 * such as the following one :
317 *
318 * acl obsolete_ssl ssl_req_proto lt 3
319 * acl unsupported_ssl ssl_req_proto gt 3.1
320 * acl valid_ssl ssl_req_proto 3.0-3.1
321 *
322 */
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200323int pat_parse_dotted_ver(const char *text, struct pattern *pattern, int mflags, char **err)
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100324{
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100325 const char *ptr = text;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100326
Thierry FOURNIER07ee64e2015-07-06 23:43:03 +0200327 pattern->type = SMP_T_SINT;
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100328
329 /* Search ':' or '-' separator. */
330 while (*ptr != '\0' && *ptr != ':' && *ptr != '-')
331 ptr++;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100332
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100333 /* If separator not found. */
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100334 if (*ptr == '\0' && ptr > text) {
335 if (strl2llrc_dotted(text, ptr-text, &pattern->val.range.min) != 0) {
336 memprintf(err, "'%s' is not a dotted number", text);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100337 return 0;
338 }
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100339 pattern->val.range.max = pattern->val.range.min;
340 pattern->val.range.min_set = 1;
341 pattern->val.range.max_set = 1;
342 return 1;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100343 }
344
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100345 /* If the separator is the first character. */
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100346 if (ptr == text && *(ptr+1) != '\0') {
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100347 if (strl2llrc_dotted(ptr+1, strlen(ptr+1), &pattern->val.range.max) != 0) {
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100348 memprintf(err, "'%s' is not a valid dotted number range", text);
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100349 return 0;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100350 }
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100351 pattern->val.range.min_set = 0;
352 pattern->val.range.max_set = 1;
353 return 1;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100354 }
355
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100356 /* If separator is the last character. */
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100357 if (ptr == &text[strlen(text)-1]) {
358 if (strl2llrc_dotted(text, ptr-text, &pattern->val.range.min) != 0) {
359 memprintf(err, "'%s' is not a valid dotted number range", text);
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100360 return 0;
361 }
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100362 pattern->val.range.min_set = 1;
363 pattern->val.range.max_set = 0;
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100364 return 1;
365 }
366
367 /* Else, parse two numbers. */
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100368 if (strl2llrc_dotted(text, ptr-text, &pattern->val.range.min) != 0) {
369 memprintf(err, "'%s' is not a valid dotted number range", text);
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100370 return 0;
371 }
372 if (strl2llrc_dotted(ptr+1, strlen(ptr+1), &pattern->val.range.max) != 0) {
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100373 memprintf(err, "'%s' is not a valid dotted number range", text);
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100374 return 0;
375 }
376 if (pattern->val.range.min > pattern->val.range.max) {
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100377 memprintf(err, "'%s' is not a valid dotted number range", text);
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100378 return 0;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100379 }
Thierry FOURNIER511e9472014-01-23 17:40:34 +0100380 pattern->val.range.min_set = 1;
381 pattern->val.range.max_set = 1;
382 return 1;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100383}
384
385/* Parse an IP address and an optional mask in the form addr[/mask].
386 * The addr may either be an IPv4 address or a hostname. The mask
387 * may either be a dotted mask or a number of bits. Returns 1 if OK,
388 * otherwise 0. NOTE: IP address patterns are typed (IPV4/IPV6).
389 */
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200390int pat_parse_ip(const char *text, struct pattern *pattern, int mflags, char **err)
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100391{
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200392 if (str2net(text, !(mflags & PAT_MF_NO_DNS) && (global.mode & MODE_STARTING),
Thierry FOURNIERfc7ac7b2014-02-11 15:23:04 +0100393 &pattern->val.ipv4.addr, &pattern->val.ipv4.mask)) {
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100394 pattern->type = SMP_T_IPV4;
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100395 return 1;
396 }
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100397 else if (str62net(text, &pattern->val.ipv6.addr, &pattern->val.ipv6.mask)) {
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100398 pattern->type = SMP_T_IPV6;
399 return 1;
400 }
401 else {
Thierry FOURNIER580c32c2014-01-24 10:58:12 +0100402 memprintf(err, "'%s' is not a valid IPv4 or IPv6 address", text);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100403 return 0;
404 }
405}
406
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100407/*
408 *
409 * These functions are exported and may be used by any other component.
410 *
Joseph Herlant4189d672018-11-15 10:22:31 -0800411 * This function just takes a sample <smp> and checks if this sample matches
412 * with the pattern <pattern>. This function returns only PAT_MATCH or
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100413 * PAT_NOMATCH.
414 *
415 */
416
417/* always return false */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100418struct pattern *pat_match_nothing(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100419{
Thierry FOURNIER136f9d32015-08-19 09:07:19 +0200420 if (smp->data.u.sint) {
Thierry FOURNIERe5978bf2014-03-17 19:53:10 +0100421 if (fill) {
Thierry FOURNIER503bb092015-08-19 08:35:43 +0200422 static_pattern.data = NULL;
Thierry FOURNIERe5978bf2014-03-17 19:53:10 +0100423 static_pattern.ref = NULL;
Thierry FOURNIERe5978bf2014-03-17 19:53:10 +0100424 static_pattern.type = 0;
425 static_pattern.ptr.str = NULL;
426 }
427 return &static_pattern;
428 }
429 else
430 return NULL;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100431}
432
433
Joseph Herlant4189d672018-11-15 10:22:31 -0800434/* NB: For two strings to be identical, it is required that their length match */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100435struct pattern *pat_match_str(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100436{
437 int icase;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100438 struct ebmb_node *node;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100439 struct pattern_tree *elt;
440 struct pattern_list *lst;
441 struct pattern *pattern;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200442 struct pattern *ret = NULL;
443 struct lru64 *lru = NULL;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100444
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100445 /* Lookup a string in the expression's pattern tree. */
446 if (!eb_is_empty(&expr->pattern_tree)) {
Christopher Fauletb4cf7ab2020-06-30 18:52:32 +0200447 char prev = 0;
448
449 if (smp->data.u.str.data < smp->data.u.str.size) {
450 /* we may have to force a trailing zero on the test pattern and
Thierry Fourniera68affe2020-11-10 20:51:36 +0100451 * the buffer is large enough to accommodate it. If the flag
452 * CONST is set, duplicate the string
Christopher Fauletb4cf7ab2020-06-30 18:52:32 +0200453 */
454 prev = smp->data.u.str.area[smp->data.u.str.data];
Thierry Fourniera68affe2020-11-10 20:51:36 +0100455 if (prev) {
456 if (smp->flags & SMP_F_CONST) {
457 if (!smp_dup(smp))
458 return NULL;
459 } else {
460 smp->data.u.str.area[smp->data.u.str.data] = '\0';
461 }
462 }
Christopher Fauletb4cf7ab2020-06-30 18:52:32 +0200463 }
464 else {
465 /* Otherwise, the sample is duplicated. A trailing zero
466 * is automatically added to the string.
467 */
468 if (!smp_dup(smp))
469 return NULL;
470 }
471
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200472 node = ebst_lookup(&expr->pattern_tree, smp->data.u.str.area);
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100473 if (prev)
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200474 smp->data.u.str.area[smp->data.u.str.data] = prev;
Willy Tarreauc93da692020-10-29 09:41:34 +0100475
476 while (node) {
477 elt = ebmb_entry(node, struct pattern_tree, node);
478 if (elt->ref->gen_id != expr->ref->curr_gen) {
Willy Tarreau51d38a22022-08-01 11:46:27 +0200479 node = ebmb_next_dup(node);
Willy Tarreauc93da692020-10-29 09:41:34 +0100480 continue;
481 }
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100482 if (fill) {
Thierry FOURNIER503bb092015-08-19 08:35:43 +0200483 static_pattern.data = elt->data;
Thierry FOURNIER6bb53ff2014-01-28 15:54:36 +0100484 static_pattern.ref = elt->ref;
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200485 static_pattern.sflags = PAT_SF_TREE;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100486 static_pattern.type = SMP_T_STR;
487 static_pattern.ptr.str = (char *)elt->node.key;
488 }
489 return &static_pattern;
490 }
491 }
492
493 /* look in the list */
Willy Tarreauf3045d22015-04-29 16:24:50 +0200494 if (pat_lru_tree) {
Willy Tarreauaee93142015-05-04 17:18:42 +0200495 unsigned long long seed = pat_lru_seed ^ (long)expr;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200496
Dragan Dosen967e7e72020-12-22 13:22:34 +0100497 lru = lru64_get(XXH3(smp->data.u.str.area, smp->data.u.str.data, seed),
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100498 pat_lru_tree, expr, expr->ref->revision);
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200499 if (lru && lru->domain) {
Emeric Brunb5997f72017-07-03 11:34:05 +0200500 ret = lru->data;
Emeric Brunb5997f72017-07-03 11:34:05 +0200501 return ret;
502 }
Willy Tarreauf3045d22015-04-29 16:24:50 +0200503 }
504
Emeric Brunb5997f72017-07-03 11:34:05 +0200505
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100506 list_for_each_entry(lst, &expr->patterns, list) {
507 pattern = &lst->pat;
508
Willy Tarreauc93da692020-10-29 09:41:34 +0100509 if (pattern->ref->gen_id != expr->ref->curr_gen)
510 continue;
511
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200512 if (pattern->len != smp->data.u.str.data)
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100513 continue;
514
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200515 icase = expr->mflags & PAT_MF_IGNORE_CASE;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200516 if ((icase && strncasecmp(pattern->ptr.str, smp->data.u.str.area, smp->data.u.str.data) == 0) ||
517 (!icase && strncmp(pattern->ptr.str, smp->data.u.str.area, smp->data.u.str.data) == 0)) {
Willy Tarreauf3045d22015-04-29 16:24:50 +0200518 ret = pattern;
519 break;
520 }
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100521 }
522
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200523 if (lru)
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100524 lru64_commit(lru, ret, expr, expr->ref->revision, NULL);
Willy Tarreauf3045d22015-04-29 16:24:50 +0200525
526 return ret;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100527}
528
529/* NB: For two binaries buf to be identical, it is required that their lengths match */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100530struct pattern *pat_match_bin(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100531{
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100532 struct pattern_list *lst;
533 struct pattern *pattern;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200534 struct pattern *ret = NULL;
535 struct lru64 *lru = NULL;
536
537 if (pat_lru_tree) {
Willy Tarreauaee93142015-05-04 17:18:42 +0200538 unsigned long long seed = pat_lru_seed ^ (long)expr;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100539
Dragan Dosen967e7e72020-12-22 13:22:34 +0100540 lru = lru64_get(XXH3(smp->data.u.str.area, smp->data.u.str.data, seed),
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100541 pat_lru_tree, expr, expr->ref->revision);
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200542 if (lru && lru->domain) {
Emeric Brunb5997f72017-07-03 11:34:05 +0200543 ret = lru->data;
Emeric Brunb5997f72017-07-03 11:34:05 +0200544 return ret;
545 }
Willy Tarreauf3045d22015-04-29 16:24:50 +0200546 }
547
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100548 list_for_each_entry(lst, &expr->patterns, list) {
549 pattern = &lst->pat;
550
Willy Tarreauc93da692020-10-29 09:41:34 +0100551 if (pattern->ref->gen_id != expr->ref->curr_gen)
552 continue;
553
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200554 if (pattern->len != smp->data.u.str.data)
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100555 continue;
556
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200557 if (memcmp(pattern->ptr.str, smp->data.u.str.area, smp->data.u.str.data) == 0) {
Willy Tarreauf3045d22015-04-29 16:24:50 +0200558 ret = pattern;
559 break;
560 }
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100561 }
562
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200563 if (lru)
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100564 lru64_commit(lru, ret, expr, expr->ref->revision, NULL);
Willy Tarreauf3045d22015-04-29 16:24:50 +0200565
566 return ret;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100567}
568
569/* Executes a regex. It temporarily changes the data to add a trailing zero,
Thierry Fournier8feaa662016-02-10 22:55:20 +0100570 * and restores the previous character when leaving. This function fills
571 * a matching array.
572 */
573struct pattern *pat_match_regm(struct sample *smp, struct pattern_expr *expr, int fill)
574{
575 struct pattern_list *lst;
576 struct pattern *pattern;
577 struct pattern *ret = NULL;
578
579 list_for_each_entry(lst, &expr->patterns, list) {
580 pattern = &lst->pat;
581
Willy Tarreauc93da692020-10-29 09:41:34 +0100582 if (pattern->ref->gen_id != expr->ref->curr_gen)
583 continue;
584
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200585 if (regex_exec_match2(pattern->ptr.reg, smp->data.u.str.area, smp->data.u.str.data,
Thierry Fournier8feaa662016-02-10 22:55:20 +0100586 MAX_MATCH, pmatch, 0)) {
587 ret = pattern;
588 smp->ctx.a[0] = pmatch;
589 break;
590 }
591 }
592
593 return ret;
594}
595
596/* Executes a regex. It temporarily changes the data to add a trailing zero,
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100597 * and restores the previous character when leaving.
598 */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100599struct pattern *pat_match_reg(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100600{
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100601 struct pattern_list *lst;
602 struct pattern *pattern;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200603 struct pattern *ret = NULL;
604 struct lru64 *lru = NULL;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100605
Willy Tarreauf3045d22015-04-29 16:24:50 +0200606 if (pat_lru_tree) {
Willy Tarreauaee93142015-05-04 17:18:42 +0200607 unsigned long long seed = pat_lru_seed ^ (long)expr;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200608
Dragan Dosen967e7e72020-12-22 13:22:34 +0100609 lru = lru64_get(XXH3(smp->data.u.str.area, smp->data.u.str.data, seed),
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100610 pat_lru_tree, expr, expr->ref->revision);
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200611 if (lru && lru->domain) {
Emeric Brunb5997f72017-07-03 11:34:05 +0200612 ret = lru->data;
Emeric Brunb5997f72017-07-03 11:34:05 +0200613 return ret;
614 }
Willy Tarreauf3045d22015-04-29 16:24:50 +0200615 }
616
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100617 list_for_each_entry(lst, &expr->patterns, list) {
618 pattern = &lst->pat;
619
Willy Tarreauc93da692020-10-29 09:41:34 +0100620 if (pattern->ref->gen_id != expr->ref->curr_gen)
621 continue;
622
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200623 if (regex_exec2(pattern->ptr.reg, smp->data.u.str.area, smp->data.u.str.data)) {
Willy Tarreauf3045d22015-04-29 16:24:50 +0200624 ret = pattern;
625 break;
626 }
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100627 }
Willy Tarreauf3045d22015-04-29 16:24:50 +0200628
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200629 if (lru)
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100630 lru64_commit(lru, ret, expr, expr->ref->revision, NULL);
Willy Tarreauf3045d22015-04-29 16:24:50 +0200631
632 return ret;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100633}
634
635/* Checks that the pattern matches the beginning of the tested string. */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100636struct pattern *pat_match_beg(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100637{
638 int icase;
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +0200639 struct ebmb_node *node;
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +0200640 struct pattern_tree *elt;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100641 struct pattern_list *lst;
642 struct pattern *pattern;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200643 struct pattern *ret = NULL;
644 struct lru64 *lru = NULL;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100645
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +0200646 /* Lookup a string in the expression's pattern tree. */
647 if (!eb_is_empty(&expr->pattern_tree)) {
Christopher Fauletb4cf7ab2020-06-30 18:52:32 +0200648 char prev = 0;
649
650 if (smp->data.u.str.data < smp->data.u.str.size) {
651 /* we may have to force a trailing zero on the test pattern and
652 * the buffer is large enough to accommodate it.
653 */
654 prev = smp->data.u.str.area[smp->data.u.str.data];
655 if (prev)
656 smp->data.u.str.area[smp->data.u.str.data] = '\0';
657 }
658 else {
659 /* Otherwise, the sample is duplicated. A trailing zero
660 * is automatically added to the string.
661 */
662 if (!smp_dup(smp))
663 return NULL;
664 }
665
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200666 node = ebmb_lookup_longest(&expr->pattern_tree,
667 smp->data.u.str.area);
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +0200668 if (prev)
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200669 smp->data.u.str.area[smp->data.u.str.data] = prev;
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +0200670
Willy Tarreauc93da692020-10-29 09:41:34 +0100671 while (node) {
672 elt = ebmb_entry(node, struct pattern_tree, node);
673 if (elt->ref->gen_id != expr->ref->curr_gen) {
Willy Tarreau51d38a22022-08-01 11:46:27 +0200674 node = ebmb_lookup_shorter(node);
Willy Tarreauc93da692020-10-29 09:41:34 +0100675 continue;
676 }
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +0200677 if (fill) {
Thierry FOURNIER503bb092015-08-19 08:35:43 +0200678 static_pattern.data = elt->data;
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +0200679 static_pattern.ref = elt->ref;
680 static_pattern.sflags = PAT_SF_TREE;
681 static_pattern.type = SMP_T_STR;
682 static_pattern.ptr.str = (char *)elt->node.key;
683 }
684 return &static_pattern;
685 }
686 }
687
688 /* look in the list */
Willy Tarreauf3045d22015-04-29 16:24:50 +0200689 if (pat_lru_tree) {
Willy Tarreauaee93142015-05-04 17:18:42 +0200690 unsigned long long seed = pat_lru_seed ^ (long)expr;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200691
Dragan Dosen967e7e72020-12-22 13:22:34 +0100692 lru = lru64_get(XXH3(smp->data.u.str.area, smp->data.u.str.data, seed),
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100693 pat_lru_tree, expr, expr->ref->revision);
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200694 if (lru && lru->domain) {
Emeric Brunb5997f72017-07-03 11:34:05 +0200695 ret = lru->data;
Emeric Brunb5997f72017-07-03 11:34:05 +0200696 return ret;
697 }
Willy Tarreauf3045d22015-04-29 16:24:50 +0200698 }
699
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100700 list_for_each_entry(lst, &expr->patterns, list) {
701 pattern = &lst->pat;
702
Willy Tarreauc93da692020-10-29 09:41:34 +0100703 if (pattern->ref->gen_id != expr->ref->curr_gen)
704 continue;
705
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200706 if (pattern->len > smp->data.u.str.data)
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100707 continue;
708
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200709 icase = expr->mflags & PAT_MF_IGNORE_CASE;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200710 if ((icase && strncasecmp(pattern->ptr.str, smp->data.u.str.area, pattern->len) != 0) ||
711 (!icase && strncmp(pattern->ptr.str, smp->data.u.str.area, pattern->len) != 0))
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100712 continue;
713
Willy Tarreauf3045d22015-04-29 16:24:50 +0200714 ret = pattern;
715 break;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100716 }
Willy Tarreauf3045d22015-04-29 16:24:50 +0200717
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200718 if (lru)
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100719 lru64_commit(lru, ret, expr, expr->ref->revision, NULL);
Willy Tarreauf3045d22015-04-29 16:24:50 +0200720
721 return ret;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100722}
723
724/* Checks that the pattern matches the end of the tested string. */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100725struct pattern *pat_match_end(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100726{
727 int icase;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100728 struct pattern_list *lst;
729 struct pattern *pattern;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200730 struct pattern *ret = NULL;
731 struct lru64 *lru = NULL;
732
733 if (pat_lru_tree) {
Willy Tarreauaee93142015-05-04 17:18:42 +0200734 unsigned long long seed = pat_lru_seed ^ (long)expr;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200735
Dragan Dosen967e7e72020-12-22 13:22:34 +0100736 lru = lru64_get(XXH3(smp->data.u.str.area, smp->data.u.str.data, seed),
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100737 pat_lru_tree, expr, expr->ref->revision);
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200738 if (lru && lru->domain) {
Emeric Brunb5997f72017-07-03 11:34:05 +0200739 ret = lru->data;
Emeric Brunb5997f72017-07-03 11:34:05 +0200740 return ret;
741 }
Willy Tarreauf3045d22015-04-29 16:24:50 +0200742 }
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100743
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100744 list_for_each_entry(lst, &expr->patterns, list) {
745 pattern = &lst->pat;
746
Willy Tarreauc93da692020-10-29 09:41:34 +0100747 if (pattern->ref->gen_id != expr->ref->curr_gen)
748 continue;
749
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200750 if (pattern->len > smp->data.u.str.data)
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100751 continue;
752
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200753 icase = expr->mflags & PAT_MF_IGNORE_CASE;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200754 if ((icase && strncasecmp(pattern->ptr.str, smp->data.u.str.area + smp->data.u.str.data - pattern->len, pattern->len) != 0) ||
755 (!icase && strncmp(pattern->ptr.str, smp->data.u.str.area + smp->data.u.str.data - pattern->len, pattern->len) != 0))
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100756 continue;
757
Willy Tarreauf3045d22015-04-29 16:24:50 +0200758 ret = pattern;
759 break;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100760 }
Willy Tarreauf3045d22015-04-29 16:24:50 +0200761
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200762 if (lru)
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100763 lru64_commit(lru, ret, expr, expr->ref->revision, NULL);
Willy Tarreauf3045d22015-04-29 16:24:50 +0200764
765 return ret;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100766}
767
768/* Checks that the pattern is included inside the tested string.
769 * NB: Suboptimal, should be rewritten using a Boyer-Moore method.
770 */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100771struct pattern *pat_match_sub(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100772{
773 int icase;
774 char *end;
775 char *c;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100776 struct pattern_list *lst;
777 struct pattern *pattern;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200778 struct pattern *ret = NULL;
779 struct lru64 *lru = NULL;
780
781 if (pat_lru_tree) {
Willy Tarreauaee93142015-05-04 17:18:42 +0200782 unsigned long long seed = pat_lru_seed ^ (long)expr;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200783
Dragan Dosen967e7e72020-12-22 13:22:34 +0100784 lru = lru64_get(XXH3(smp->data.u.str.area, smp->data.u.str.data, seed),
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100785 pat_lru_tree, expr, expr->ref->revision);
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200786 if (lru && lru->domain) {
Emeric Brunb5997f72017-07-03 11:34:05 +0200787 ret = lru->data;
Emeric Brunb5997f72017-07-03 11:34:05 +0200788 return ret;
789 }
Willy Tarreauf3045d22015-04-29 16:24:50 +0200790 }
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100791
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100792 list_for_each_entry(lst, &expr->patterns, list) {
793 pattern = &lst->pat;
794
Willy Tarreauc93da692020-10-29 09:41:34 +0100795 if (pattern->ref->gen_id != expr->ref->curr_gen)
796 continue;
797
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200798 if (pattern->len > smp->data.u.str.data)
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100799 continue;
800
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200801 end = smp->data.u.str.area + smp->data.u.str.data - pattern->len;
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200802 icase = expr->mflags & PAT_MF_IGNORE_CASE;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100803 if (icase) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200804 for (c = smp->data.u.str.area; c <= end; c++) {
Willy Tarreauf278eec2020-07-05 21:46:32 +0200805 if (tolower((unsigned char)*c) != tolower((unsigned char)*pattern->ptr.str))
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100806 continue;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200807 if (strncasecmp(pattern->ptr.str, c, pattern->len) == 0) {
808 ret = pattern;
809 goto leave;
810 }
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100811 }
812 } else {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200813 for (c = smp->data.u.str.area; c <= end; c++) {
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100814 if (*c != *pattern->ptr.str)
815 continue;
Willy Tarreauf3045d22015-04-29 16:24:50 +0200816 if (strncmp(pattern->ptr.str, c, pattern->len) == 0) {
817 ret = pattern;
818 goto leave;
819 }
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100820 }
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100821 }
822 }
Willy Tarreauf3045d22015-04-29 16:24:50 +0200823 leave:
Willy Tarreau403bfbb2019-10-23 06:59:31 +0200824 if (lru)
Willy Tarreau3ee0de12020-11-02 15:26:51 +0100825 lru64_commit(lru, ret, expr, expr->ref->revision, NULL);
Willy Tarreauf3045d22015-04-29 16:24:50 +0200826
827 return ret;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100828}
829
830/* This one is used by other real functions. It checks that the pattern is
831 * included inside the tested string, but enclosed between the specified
832 * delimiters or at the beginning or end of the string. The delimiters are
833 * provided as an unsigned int made by make_4delim() and match up to 4 different
834 * delimiters. Delimiters are stripped at the beginning and end of the pattern.
835 */
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200836static int match_word(struct sample *smp, struct pattern *pattern, int mflags, unsigned int delimiters)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100837{
838 int may_match, icase;
839 char *c, *end;
840 char *ps;
841 int pl;
842
843 pl = pattern->len;
844 ps = pattern->ptr.str;
845
846 while (pl > 0 && is_delimiter(*ps, delimiters)) {
847 pl--;
848 ps++;
849 }
850
851 while (pl > 0 && is_delimiter(ps[pl - 1], delimiters))
852 pl--;
853
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200854 if (pl > smp->data.u.str.data)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100855 return PAT_NOMATCH;
856
857 may_match = 1;
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200858 icase = mflags & PAT_MF_IGNORE_CASE;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200859 end = smp->data.u.str.area + smp->data.u.str.data - pl;
860 for (c = smp->data.u.str.area; c <= end; c++) {
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100861 if (is_delimiter(*c, delimiters)) {
862 may_match = 1;
863 continue;
864 }
865
866 if (!may_match)
867 continue;
868
869 if (icase) {
Willy Tarreauf278eec2020-07-05 21:46:32 +0200870 if ((tolower((unsigned char)*c) == tolower((unsigned char)*ps)) &&
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100871 (strncasecmp(ps, c, pl) == 0) &&
872 (c == end || is_delimiter(c[pl], delimiters)))
873 return PAT_MATCH;
874 } else {
875 if ((*c == *ps) &&
876 (strncmp(ps, c, pl) == 0) &&
877 (c == end || is_delimiter(c[pl], delimiters)))
878 return PAT_MATCH;
879 }
880 may_match = 0;
881 }
882 return PAT_NOMATCH;
883}
884
885/* Checks that the pattern is included inside the tested string, but enclosed
886 * between the delimiters '?' or '/' or at the beginning or end of the string.
887 * Delimiters at the beginning or end of the pattern are ignored.
888 */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100889struct pattern *pat_match_dir(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100890{
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100891 struct pattern_list *lst;
892 struct pattern *pattern;
893
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100894 list_for_each_entry(lst, &expr->patterns, list) {
895 pattern = &lst->pat;
Willy Tarreauc93da692020-10-29 09:41:34 +0100896
897 if (pattern->ref->gen_id != expr->ref->curr_gen)
898 continue;
899
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200900 if (match_word(smp, pattern, expr->mflags, make_4delim('/', '?', '?', '?')))
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100901 return pattern;
902 }
903 return NULL;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100904}
905
906/* Checks that the pattern is included inside the tested string, but enclosed
907 * between the delmiters '/', '?', '.' or ":" or at the beginning or end of
908 * the string. Delimiters at the beginning or end of the pattern are ignored.
909 */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100910struct pattern *pat_match_dom(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100911{
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100912 struct pattern_list *lst;
913 struct pattern *pattern;
914
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100915 list_for_each_entry(lst, &expr->patterns, list) {
916 pattern = &lst->pat;
Willy Tarreauc93da692020-10-29 09:41:34 +0100917
918 if (pattern->ref->gen_id != expr->ref->curr_gen)
919 continue;
920
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200921 if (match_word(smp, pattern, expr->mflags, make_4delim('/', '?', '.', ':')))
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100922 return pattern;
923 }
924 return NULL;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100925}
926
927/* Checks that the integer in <test> is included between min and max */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100928struct pattern *pat_match_int(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100929{
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100930 struct pattern_list *lst;
931 struct pattern *pattern;
932
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100933 list_for_each_entry(lst, &expr->patterns, list) {
934 pattern = &lst->pat;
Willy Tarreauc93da692020-10-29 09:41:34 +0100935
936 if (pattern->ref->gen_id != expr->ref->curr_gen)
937 continue;
938
Thierry FOURNIER136f9d32015-08-19 09:07:19 +0200939 if ((!pattern->val.range.min_set || pattern->val.range.min <= smp->data.u.sint) &&
940 (!pattern->val.range.max_set || smp->data.u.sint <= pattern->val.range.max))
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100941 return pattern;
942 }
943 return NULL;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100944}
945
946/* Checks that the length of the pattern in <test> is included between min and max */
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100947struct pattern *pat_match_len(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100948{
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100949 struct pattern_list *lst;
950 struct pattern *pattern;
951
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100952 list_for_each_entry(lst, &expr->patterns, list) {
953 pattern = &lst->pat;
Willy Tarreauc93da692020-10-29 09:41:34 +0100954
955 if (pattern->ref->gen_id != expr->ref->curr_gen)
956 continue;
957
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200958 if ((!pattern->val.range.min_set || pattern->val.range.min <= smp->data.u.str.data) &&
959 (!pattern->val.range.max_set || smp->data.u.str.data <= pattern->val.range.max))
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100960 return pattern;
961 }
962 return NULL;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100963}
964
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100965struct pattern *pat_match_ip(struct sample *smp, struct pattern_expr *expr, int fill)
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100966{
967 unsigned int v4; /* in network byte order */
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100968 struct in6_addr tmp6;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100969 struct in_addr *s;
970 struct ebmb_node *node;
971 struct pattern_tree *elt;
972 struct pattern_list *lst;
973 struct pattern *pattern;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100974
Thierry FOURNIER33a74332013-12-19 23:54:54 +0100975 /* The input sample is IPv4. Try to match in the trees. */
Thierry FOURNIER8c542ca2015-08-19 09:00:18 +0200976 if (smp->data.type == SMP_T_IPV4) {
Thierry FOURNIER33a74332013-12-19 23:54:54 +0100977 /* Lookup an IPv4 address in the expression's pattern tree using
978 * the longest match method.
979 */
Thierry FOURNIER136f9d32015-08-19 09:07:19 +0200980 s = &smp->data.u.ipv4;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100981 node = ebmb_lookup_longest(&expr->pattern_tree, &s->s_addr);
Willy Tarreauc93da692020-10-29 09:41:34 +0100982 while (node) {
983 elt = ebmb_entry(node, struct pattern_tree, node);
984 if (elt->ref->gen_id != expr->ref->curr_gen) {
Willy Tarreau51d38a22022-08-01 11:46:27 +0200985 node = ebmb_lookup_shorter(node);
Willy Tarreauc93da692020-10-29 09:41:34 +0100986 continue;
987 }
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100988 if (fill) {
Thierry FOURNIER503bb092015-08-19 08:35:43 +0200989 static_pattern.data = elt->data;
Thierry FOURNIER6bb53ff2014-01-28 15:54:36 +0100990 static_pattern.ref = elt->ref;
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +0200991 static_pattern.sflags = PAT_SF_TREE;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100992 static_pattern.type = SMP_T_IPV4;
Willy Tarreau296cfd12020-02-25 09:58:41 +0100993 static_pattern.val.ipv4.addr.s_addr = read_u32(elt->node.key);
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100994 if (!cidr2dotted(elt->node.node.pfx, &static_pattern.val.ipv4.mask))
995 return NULL;
996 }
997 return &static_pattern;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +0100998 }
Thierry FOURNIER5338eea2013-12-16 14:22:13 +0100999
Thayne McCombs8f0cc5c2021-01-07 21:35:52 -07001000 /* The IPv4 sample don't match the IPv4 tree. Convert the IPv4
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001001 * sample address to IPv6 with the mapping method using the ::ffff:
1002 * prefix, and try to lookup in the IPv6 tree.
1003 */
1004 memset(&tmp6, 0, 10);
Willy Tarreau296cfd12020-02-25 09:58:41 +01001005 write_u16(&tmp6.s6_addr[10], htons(0xffff));
1006 write_u32(&tmp6.s6_addr[12], smp->data.u.ipv4.s_addr);
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001007 node = ebmb_lookup_longest(&expr->pattern_tree_2, &tmp6);
Willy Tarreauc93da692020-10-29 09:41:34 +01001008 while (node) {
1009 elt = ebmb_entry(node, struct pattern_tree, node);
1010 if (elt->ref->gen_id != expr->ref->curr_gen) {
Willy Tarreau51d38a22022-08-01 11:46:27 +02001011 node = ebmb_lookup_shorter(node);
Willy Tarreauc93da692020-10-29 09:41:34 +01001012 continue;
1013 }
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001014 if (fill) {
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001015 static_pattern.data = elt->data;
Thierry FOURNIER6bb53ff2014-01-28 15:54:36 +01001016 static_pattern.ref = elt->ref;
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +02001017 static_pattern.sflags = PAT_SF_TREE;
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001018 static_pattern.type = SMP_T_IPV6;
Willy Tarreau296cfd12020-02-25 09:58:41 +01001019 memcpy(&static_pattern.val.ipv6.addr, elt->node.key, 16);
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001020 static_pattern.val.ipv6.mask = elt->node.node.pfx;
1021 }
1022 return &static_pattern;
1023 }
1024 }
Thierry FOURNIER5338eea2013-12-16 14:22:13 +01001025
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001026 /* The input sample is IPv6. Try to match in the trees. */
Thierry FOURNIER8c542ca2015-08-19 09:00:18 +02001027 if (smp->data.type == SMP_T_IPV6) {
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001028 /* Lookup an IPv6 address in the expression's pattern tree using
1029 * the longest match method.
1030 */
Thierry FOURNIER136f9d32015-08-19 09:07:19 +02001031 node = ebmb_lookup_longest(&expr->pattern_tree_2, &smp->data.u.ipv6);
Willy Tarreauc93da692020-10-29 09:41:34 +01001032 while (node) {
1033 elt = ebmb_entry(node, struct pattern_tree, node);
1034 if (elt->ref->gen_id != expr->ref->curr_gen) {
Willy Tarreau51d38a22022-08-01 11:46:27 +02001035 node = ebmb_lookup_shorter(node);
Willy Tarreauc93da692020-10-29 09:41:34 +01001036 continue;
1037 }
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001038 if (fill) {
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001039 static_pattern.data = elt->data;
Thierry FOURNIER6bb53ff2014-01-28 15:54:36 +01001040 static_pattern.ref = elt->ref;
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +02001041 static_pattern.sflags = PAT_SF_TREE;
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001042 static_pattern.type = SMP_T_IPV6;
Willy Tarreau296cfd12020-02-25 09:58:41 +01001043 memcpy(&static_pattern.val.ipv6.addr, elt->node.key, 16);
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001044 static_pattern.val.ipv6.mask = elt->node.node.pfx;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +01001045 }
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001046 return &static_pattern;
1047 }
1048
1049 /* Try to convert 6 to 4 when the start of the ipv6 address match the
1050 * following forms :
1051 * - ::ffff:ip:v4 (ipv4 mapped)
1052 * - ::0000:ip:v4 (old ipv4 mapped)
1053 * - 2002:ip:v4:: (6to4)
1054 */
Willy Tarreau296cfd12020-02-25 09:58:41 +01001055 if ((read_u64(&smp->data.u.ipv6.s6_addr[0]) == 0 &&
1056 (read_u32(&smp->data.u.ipv6.s6_addr[8]) == 0 ||
1057 read_u32(&smp->data.u.ipv6.s6_addr[8]) == htonl(0xFFFF))) ||
1058 read_u16(&smp->data.u.ipv6.s6_addr[0]) == htons(0x2002)) {
1059 if (read_u32(&smp->data.u.ipv6.s6_addr[0]) == 0)
1060 v4 = read_u32(&smp->data.u.ipv6.s6_addr[12]);
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001061 else
Willy Tarreau296cfd12020-02-25 09:58:41 +01001062 v4 = htonl((ntohs(read_u16(&smp->data.u.ipv6.s6_addr[2])) << 16) +
1063 ntohs(read_u16(&smp->data.u.ipv6.s6_addr[4])));
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001064
1065 /* Lookup an IPv4 address in the expression's pattern tree using the longest
1066 * match method.
1067 */
1068 node = ebmb_lookup_longest(&expr->pattern_tree, &v4);
Willy Tarreauc93da692020-10-29 09:41:34 +01001069 while (node) {
1070 elt = ebmb_entry(node, struct pattern_tree, node);
1071 if (elt->ref->gen_id != expr->ref->curr_gen) {
Willy Tarreau51d38a22022-08-01 11:46:27 +02001072 node = ebmb_lookup_shorter(node);
Willy Tarreauc93da692020-10-29 09:41:34 +01001073 continue;
1074 }
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001075 if (fill) {
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001076 static_pattern.data = elt->data;
Thierry FOURNIER6bb53ff2014-01-28 15:54:36 +01001077 static_pattern.ref = elt->ref;
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +02001078 static_pattern.sflags = PAT_SF_TREE;
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001079 static_pattern.type = SMP_T_IPV4;
Willy Tarreau296cfd12020-02-25 09:58:41 +01001080 static_pattern.val.ipv4.addr.s_addr = read_u32(elt->node.key);
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001081 if (!cidr2dotted(elt->node.node.pfx, &static_pattern.val.ipv4.mask))
1082 return NULL;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +01001083 }
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001084 return &static_pattern;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +01001085 }
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001086 }
1087 }
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +01001088
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001089 /* Lookup in the list. the list contain only IPv4 patterns */
1090 list_for_each_entry(lst, &expr->patterns, list) {
1091 pattern = &lst->pat;
1092
Willy Tarreauc93da692020-10-29 09:41:34 +01001093 if (pattern->ref->gen_id != expr->ref->curr_gen)
1094 continue;
1095
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001096 /* The input sample is IPv4, use it as is. */
Thierry FOURNIER8c542ca2015-08-19 09:00:18 +02001097 if (smp->data.type == SMP_T_IPV4) {
Thierry FOURNIER136f9d32015-08-19 09:07:19 +02001098 v4 = smp->data.u.ipv4.s_addr;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +01001099 }
Thierry FOURNIER8c542ca2015-08-19 09:00:18 +02001100 else if (smp->data.type == SMP_T_IPV6) {
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001101 /* v4 match on a V6 sample. We want to check at least for
1102 * the following forms :
1103 * - ::ffff:ip:v4 (ipv4 mapped)
1104 * - ::0000:ip:v4 (old ipv4 mapped)
1105 * - 2002:ip:v4:: (6to4)
1106 */
Willy Tarreau296cfd12020-02-25 09:58:41 +01001107 if (read_u64(&smp->data.u.ipv6.s6_addr[0]) == 0 &&
1108 (read_u32(&smp->data.u.ipv6.s6_addr[8]) == 0 ||
1109 read_u32(&smp->data.u.ipv6.s6_addr[8]) == htonl(0xFFFF))) {
1110 v4 = read_u32(&smp->data.u.ipv6.s6_addr[12]);
Thierry FOURNIER5338eea2013-12-16 14:22:13 +01001111 }
Willy Tarreau296cfd12020-02-25 09:58:41 +01001112 else if (read_u16(&smp->data.u.ipv6.s6_addr[0]) == htons(0x2002)) {
1113 v4 = htonl((ntohs(read_u16(&smp->data.u.ipv6.s6_addr[2])) << 16) +
1114 ntohs(read_u16(&smp->data.u.ipv6.s6_addr[4])));
Thierry FOURNIER5338eea2013-12-16 14:22:13 +01001115 }
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001116 else
Thierry FOURNIER5338eea2013-12-16 14:22:13 +01001117 continue;
Andreas Seltenreichf0653192016-03-03 20:08:35 +01001118 } else {
1119 /* impossible */
1120 continue;
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001121 }
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +01001122
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001123 /* Check if the input sample match the current pattern. */
1124 if (((v4 ^ pattern->val.ipv4.addr.s_addr) & pattern->val.ipv4.mask.s_addr) == 0)
Thierry FOURNIER5338eea2013-12-16 14:22:13 +01001125 return pattern;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +01001126 }
Thierry FOURNIER5338eea2013-12-16 14:22:13 +01001127 return NULL;
Thierry FOURNIERe7ba2362014-01-21 11:25:41 +01001128}
1129
Willy Tarreau867a8a52020-11-03 11:22:04 +01001130/* finds the pattern holding <list> from list head <head> and deletes it.
1131 * This is made for use for pattern removal within an expression.
1132 */
Willy Tarreau38d41992020-11-03 14:50:29 +01001133static void pat_unlink_from_head(void **head, void **list)
Willy Tarreau867a8a52020-11-03 11:22:04 +01001134{
Willy Tarreau38d41992020-11-03 14:50:29 +01001135 while (*head) {
1136 if (*head == list) {
1137 *head = *list;
Willy Tarreau867a8a52020-11-03 11:22:04 +01001138 return;
1139 }
Willy Tarreau38d41992020-11-03 14:50:29 +01001140 head = *head;
Willy Tarreau867a8a52020-11-03 11:22:04 +01001141 }
1142}
1143
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001144void free_pattern_tree(struct eb_root *root)
1145{
1146 struct eb_node *node, *next;
Thierry FOURNIERe1bcac52013-12-13 16:09:50 +01001147 struct pattern_tree *elt;
Thierry FOURNIER3ce88c72013-12-09 11:29:46 +01001148
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001149 node = eb_first(root);
1150 while (node) {
1151 next = eb_next(node);
1152 eb_delete(node);
Thierry FOURNIERe1bcac52013-12-13 16:09:50 +01001153 elt = container_of(node, struct pattern_tree, node);
Willy Tarreau867a8a52020-11-03 11:22:04 +01001154 pat_unlink_from_head(&elt->ref->tree_head, &elt->from_ref);
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001155 free(elt->data);
Thierry FOURNIER3ce88c72013-12-09 11:29:46 +01001156 free(elt);
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001157 node = next;
1158 }
1159}
1160
Willy Tarreau6d8a6892020-11-02 19:26:02 +01001161void pat_prune_gen(struct pattern_expr *expr)
Thierry FOURNIERd163e1c2013-11-28 11:41:23 +01001162{
Thierry FOURNIER6f7203d2014-01-14 16:24:51 +01001163 struct pattern_list *pat, *tmp;
1164
1165 list_for_each_entry_safe(pat, tmp, &expr->patterns, list) {
Willy Tarreau2b718102021-04-21 07:32:39 +02001166 LIST_DELETE(&pat->list);
Willy Tarreau867a8a52020-11-03 11:22:04 +01001167 pat_unlink_from_head(&pat->pat.ref->list_head, &pat->from_ref);
Willy Tarreau6d8a6892020-11-02 19:26:02 +01001168 if (pat->pat.sflags & PAT_SF_REGFREE)
1169 regex_free(pat->pat.ptr.ptr);
1170 else
1171 free(pat->pat.ptr.ptr);
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001172 free(pat->pat.data);
Thierry FOURNIER6f7203d2014-01-14 16:24:51 +01001173 free(pat);
1174 }
1175
Thierry FOURNIERd163e1c2013-11-28 11:41:23 +01001176 free_pattern_tree(&expr->pattern_tree);
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001177 free_pattern_tree(&expr->pattern_tree_2);
Thierry FOURNIERd163e1c2013-11-28 11:41:23 +01001178 LIST_INIT(&expr->patterns);
Willy Tarreau3ee0de12020-11-02 15:26:51 +01001179 expr->ref->revision = rdtsc();
Dragan Dosena75eea72021-05-21 16:59:15 +02001180 expr->ref->entry_cnt = 0;
Thierry FOURNIERd163e1c2013-11-28 11:41:23 +01001181}
1182
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001183/*
1184 *
1185 * The following functions are used for the pattern indexation
1186 *
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001187 */
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001188
1189int pat_idx_list_val(struct pattern_expr *expr, struct pattern *pat, char **err)
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001190{
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001191 struct pattern_list *patl;
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001192
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001193 /* allocate pattern */
1194 patl = calloc(1, sizeof(*patl));
1195 if (!patl) {
1196 memprintf(err, "out of memory while indexing pattern");
Thierry FOURNIER972028f2014-01-23 17:53:31 +01001197 return 0;
1198 }
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001199
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001200 /* duplicate pattern */
1201 memcpy(&patl->pat, pat, sizeof(*pat));
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001202
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001203 /* chain pattern in the expression */
Willy Tarreau2b718102021-04-21 07:32:39 +02001204 LIST_APPEND(&expr->patterns, &patl->list);
Willy Tarreau4bdd0a12020-11-02 12:10:48 +01001205 /* and from the reference */
Willy Tarreau38d41992020-11-03 14:50:29 +01001206 patl->from_ref = pat->ref->list_head;
1207 pat->ref->list_head = &patl->from_ref;
Willy Tarreau3ee0de12020-11-02 15:26:51 +01001208 expr->ref->revision = rdtsc();
Dragan Dosena75eea72021-05-21 16:59:15 +02001209 expr->ref->entry_cnt++;
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001210
1211 /* that's ok */
1212 return 1;
1213}
1214
1215int pat_idx_list_ptr(struct pattern_expr *expr, struct pattern *pat, char **err)
1216{
1217 struct pattern_list *patl;
1218
1219 /* allocate pattern */
1220 patl = calloc(1, sizeof(*patl));
Thierry FOURNIER8aa83842015-02-06 17:50:55 +01001221 if (!patl) {
1222 memprintf(err, "out of memory while indexing pattern");
Thierry FOURNIER972028f2014-01-23 17:53:31 +01001223 return 0;
Thierry FOURNIER8aa83842015-02-06 17:50:55 +01001224 }
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001225
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001226 /* duplicate pattern */
1227 memcpy(&patl->pat, pat, sizeof(*pat));
1228 patl->pat.ptr.ptr = malloc(patl->pat.len);
1229 if (!patl->pat.ptr.ptr) {
1230 free(patl);
1231 memprintf(err, "out of memory while indexing pattern");
1232 return 0;
1233 }
1234 memcpy(patl->pat.ptr.ptr, pat->ptr.ptr, pat->len);
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001235
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001236 /* chain pattern in the expression */
Willy Tarreau2b718102021-04-21 07:32:39 +02001237 LIST_APPEND(&expr->patterns, &patl->list);
Willy Tarreau4bdd0a12020-11-02 12:10:48 +01001238 /* and from the reference */
Willy Tarreau38d41992020-11-03 14:50:29 +01001239 patl->from_ref = pat->ref->list_head;
1240 pat->ref->list_head = &patl->from_ref;
Willy Tarreau3ee0de12020-11-02 15:26:51 +01001241 expr->ref->revision = rdtsc();
Dragan Dosena75eea72021-05-21 16:59:15 +02001242 expr->ref->entry_cnt++;
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001243
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001244 /* that's ok */
1245 return 1;
1246}
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001247
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001248int pat_idx_list_str(struct pattern_expr *expr, struct pattern *pat, char **err)
1249{
1250 struct pattern_list *patl;
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001251
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001252 /* allocate pattern */
1253 patl = calloc(1, sizeof(*patl));
1254 if (!patl) {
1255 memprintf(err, "out of memory while indexing pattern");
1256 return 0;
1257 }
1258
1259 /* duplicate pattern */
1260 memcpy(&patl->pat, pat, sizeof(*pat));
1261 patl->pat.ptr.str = malloc(patl->pat.len + 1);
1262 if (!patl->pat.ptr.str) {
1263 free(patl);
1264 memprintf(err, "out of memory while indexing pattern");
1265 return 0;
1266 }
1267 memcpy(patl->pat.ptr.ptr, pat->ptr.ptr, pat->len);
1268 patl->pat.ptr.str[patl->pat.len] = '\0';
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001269
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001270 /* chain pattern in the expression */
Willy Tarreau2b718102021-04-21 07:32:39 +02001271 LIST_APPEND(&expr->patterns, &patl->list);
Willy Tarreau4bdd0a12020-11-02 12:10:48 +01001272 /* and from the reference */
Willy Tarreau38d41992020-11-03 14:50:29 +01001273 patl->from_ref = pat->ref->list_head;
1274 pat->ref->list_head = &patl->from_ref;
Willy Tarreau3ee0de12020-11-02 15:26:51 +01001275 expr->ref->revision = rdtsc();
Dragan Dosena75eea72021-05-21 16:59:15 +02001276 expr->ref->entry_cnt++;
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001277
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001278 /* that's ok */
1279 return 1;
1280}
1281
Thierry Fournier8feaa662016-02-10 22:55:20 +01001282int pat_idx_list_reg_cap(struct pattern_expr *expr, struct pattern *pat, int cap, char **err)
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001283{
1284 struct pattern_list *patl;
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001285
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001286 /* allocate pattern */
1287 patl = calloc(1, sizeof(*patl));
1288 if (!patl) {
1289 memprintf(err, "out of memory while indexing pattern");
1290 return 0;
Thierry FOURNIER972028f2014-01-23 17:53:31 +01001291 }
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001292
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001293 /* duplicate pattern */
1294 memcpy(&patl->pat, pat, sizeof(*pat));
1295
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001296 /* compile regex */
Willy Tarreau9b5c8bb2020-11-02 19:16:23 +01001297 patl->pat.sflags |= PAT_SF_REGFREE;
Dragan Dosen26743032019-04-30 15:54:36 +02001298 if (!(patl->pat.ptr.reg = regex_comp(pat->ptr.str, !(expr->mflags & PAT_MF_IGNORE_CASE),
1299 cap, err))) {
Dirkjan Bussink07fcaaa2014-04-28 22:57:16 +00001300 free(patl);
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001301 return 0;
1302 }
1303
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001304 /* chain pattern in the expression */
Willy Tarreau2b718102021-04-21 07:32:39 +02001305 LIST_APPEND(&expr->patterns, &patl->list);
Willy Tarreau4bdd0a12020-11-02 12:10:48 +01001306 /* and from the reference */
Willy Tarreau38d41992020-11-03 14:50:29 +01001307 patl->from_ref = pat->ref->list_head;
1308 pat->ref->list_head = &patl->from_ref;
Willy Tarreau3ee0de12020-11-02 15:26:51 +01001309 expr->ref->revision = rdtsc();
Dragan Dosena75eea72021-05-21 16:59:15 +02001310 expr->ref->entry_cnt++;
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001311
1312 /* that's ok */
1313 return 1;
1314}
1315
Thierry Fournier8feaa662016-02-10 22:55:20 +01001316int pat_idx_list_reg(struct pattern_expr *expr, struct pattern *pat, char **err)
1317{
1318 return pat_idx_list_reg_cap(expr, pat, 0, err);
1319}
1320
1321int pat_idx_list_regm(struct pattern_expr *expr, struct pattern *pat, char **err)
1322{
1323 return pat_idx_list_reg_cap(expr, pat, 1, err);
1324}
1325
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001326int pat_idx_tree_ip(struct pattern_expr *expr, struct pattern *pat, char **err)
1327{
1328 unsigned int mask;
Thierry FOURNIERe1bcac52013-12-13 16:09:50 +01001329 struct pattern_tree *node;
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001330
1331 /* Only IPv4 can be indexed */
1332 if (pat->type == SMP_T_IPV4) {
Thierry FOURNIER972028f2014-01-23 17:53:31 +01001333 /* in IPv4 case, check if the mask is contiguous so that we can
1334 * insert the network into the tree. A continuous mask has only
1335 * ones on the left. This means that this mask + its lower bit
1336 * added once again is null.
1337 */
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001338 mask = ntohl(pat->val.ipv4.mask.s_addr);
1339 if (mask + (mask & -mask) == 0) {
1340 mask = mask ? 33 - flsnz(mask & -mask) : 0; /* equals cidr value */
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001341
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001342 /* node memory allocation */
1343 node = calloc(1, sizeof(*node) + 4);
1344 if (!node) {
1345 memprintf(err, "out of memory while loading pattern");
1346 return 0;
1347 }
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001348
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001349 /* copy the pointer to sample associated to this node */
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001350 node->data = pat->data;
Thierry FOURNIER6bb53ff2014-01-28 15:54:36 +01001351 node->ref = pat->ref;
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001352
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001353 /* FIXME: insert <addr>/<mask> into the tree here */
1354 memcpy(node->node.key, &pat->val.ipv4.addr, 4); /* network byte order */
1355 node->node.node.pfx = mask;
Thierry FOURNIER31db4ae2014-01-30 00:27:15 +01001356
1357 /* Insert the entry. */
1358 ebmb_insert_prefix(&expr->pattern_tree, &node->node, 4);
Willy Tarreau38d41992020-11-03 14:50:29 +01001359 node->from_ref = pat->ref->tree_head;
1360 pat->ref->tree_head = &node->from_ref;
Willy Tarreau3ee0de12020-11-02 15:26:51 +01001361 expr->ref->revision = rdtsc();
Dragan Dosena75eea72021-05-21 16:59:15 +02001362 expr->ref->entry_cnt++;
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001363
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001364 /* that's ok */
1365 return 1;
1366 }
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001367 else {
1368 /* If the mask is not contiguous, just add the pattern to the list */
1369 return pat_idx_list_val(expr, pat, err);
1370 }
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001371 }
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001372 else if (pat->type == SMP_T_IPV6) {
1373 /* IPv6 also can be indexed */
1374 node = calloc(1, sizeof(*node) + 16);
1375 if (!node) {
1376 memprintf(err, "out of memory while loading pattern");
1377 return 0;
1378 }
1379
1380 /* copy the pointer to sample associated to this node */
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001381 node->data = pat->data;
Thierry FOURNIER6bb53ff2014-01-28 15:54:36 +01001382 node->ref = pat->ref;
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001383
1384 /* FIXME: insert <addr>/<mask> into the tree here */
1385 memcpy(node->node.key, &pat->val.ipv6.addr, 16); /* network byte order */
1386 node->node.node.pfx = pat->val.ipv6.mask;
Thierry FOURNIER31db4ae2014-01-30 00:27:15 +01001387
1388 /* Insert the entry. */
1389 ebmb_insert_prefix(&expr->pattern_tree_2, &node->node, 16);
Willy Tarreau38d41992020-11-03 14:50:29 +01001390 node->from_ref = pat->ref->tree_head;
1391 pat->ref->tree_head = &node->from_ref;
Willy Tarreau3ee0de12020-11-02 15:26:51 +01001392 expr->ref->revision = rdtsc();
Dragan Dosena75eea72021-05-21 16:59:15 +02001393 expr->ref->entry_cnt++;
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001394
1395 /* that's ok */
1396 return 1;
1397 }
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001398
Thierry FOURNIER33a74332013-12-19 23:54:54 +01001399 return 0;
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001400}
1401
1402int pat_idx_tree_str(struct pattern_expr *expr, struct pattern *pat, char **err)
1403{
1404 int len;
Thierry FOURNIERe1bcac52013-12-13 16:09:50 +01001405 struct pattern_tree *node;
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001406
1407 /* Only string can be indexed */
Thierry FOURNIER7654c9f2013-12-17 00:20:33 +01001408 if (pat->type != SMP_T_STR) {
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001409 memprintf(err, "internal error: string expected, but the type is '%s'",
1410 smp_to_type[pat->type]);
1411 return 0;
Thierry FOURNIER972028f2014-01-23 17:53:31 +01001412 }
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001413
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001414 /* If the flag PAT_F_IGNORE_CASE is set, we cannot use trees */
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +02001415 if (expr->mflags & PAT_MF_IGNORE_CASE)
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001416 return pat_idx_list_str(expr, pat, err);
Thierry FOURNIER7148ce62013-12-06 19:06:43 +01001417
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001418 /* Process the key len */
1419 len = strlen(pat->ptr.str) + 1;
1420
1421 /* node memory allocation */
1422 node = calloc(1, sizeof(*node) + len);
1423 if (!node) {
1424 memprintf(err, "out of memory while loading pattern");
1425 return 0;
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001426 }
1427
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001428 /* copy the pointer to sample associated to this node */
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001429 node->data = pat->data;
Thierry FOURNIER6bb53ff2014-01-28 15:54:36 +01001430 node->ref = pat->ref;
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001431
1432 /* copy the string */
1433 memcpy(node->node.key, pat->ptr.str, len);
1434
1435 /* index the new node */
Thierry FOURNIER31db4ae2014-01-30 00:27:15 +01001436 ebst_insert(&expr->pattern_tree, &node->node);
Willy Tarreau38d41992020-11-03 14:50:29 +01001437 node->from_ref = pat->ref->tree_head;
1438 pat->ref->tree_head = &node->from_ref;
Willy Tarreau3ee0de12020-11-02 15:26:51 +01001439 expr->ref->revision = rdtsc();
Dragan Dosena75eea72021-05-21 16:59:15 +02001440 expr->ref->entry_cnt++;
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001441
1442 /* that's ok */
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001443 return 1;
1444}
1445
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +02001446int pat_idx_tree_pfx(struct pattern_expr *expr, struct pattern *pat, char **err)
1447{
1448 int len;
1449 struct pattern_tree *node;
1450
1451 /* Only string can be indexed */
1452 if (pat->type != SMP_T_STR) {
1453 memprintf(err, "internal error: string expected, but the type is '%s'",
1454 smp_to_type[pat->type]);
1455 return 0;
1456 }
1457
1458 /* If the flag PAT_F_IGNORE_CASE is set, we cannot use trees */
1459 if (expr->mflags & PAT_MF_IGNORE_CASE)
1460 return pat_idx_list_str(expr, pat, err);
1461
1462 /* Process the key len */
1463 len = strlen(pat->ptr.str);
1464
1465 /* node memory allocation */
1466 node = calloc(1, sizeof(*node) + len + 1);
1467 if (!node) {
1468 memprintf(err, "out of memory while loading pattern");
1469 return 0;
1470 }
1471
1472 /* copy the pointer to sample associated to this node */
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001473 node->data = pat->data;
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +02001474 node->ref = pat->ref;
1475
1476 /* copy the string and the trailing zero */
1477 memcpy(node->node.key, pat->ptr.str, len + 1);
1478 node->node.node.pfx = len * 8;
1479
1480 /* index the new node */
1481 ebmb_insert_prefix(&expr->pattern_tree, &node->node, len);
Willy Tarreau38d41992020-11-03 14:50:29 +01001482 node->from_ref = pat->ref->tree_head;
1483 pat->ref->tree_head = &node->from_ref;
Willy Tarreau3ee0de12020-11-02 15:26:51 +01001484 expr->ref->revision = rdtsc();
Dragan Dosena75eea72021-05-21 16:59:15 +02001485 expr->ref->entry_cnt++;
Willy Tarreaub1dd9bf2014-05-10 08:53:48 +02001486
1487 /* that's ok */
1488 return 1;
1489}
1490
Willy Tarreauf1c08922020-11-02 19:53:16 +01001491/* Deletes all patterns from reference <elt>. Note that all of their
Willy Tarreau78777ea2020-11-02 13:55:22 +01001492 * expressions must be locked, and the pattern lock must be held as well.
1493 */
Willy Tarreauf1c08922020-11-02 19:53:16 +01001494void pat_delete_gen(struct pat_ref *ref, struct pat_ref_elt *elt)
Thierry FOURNIERb1136502014-01-15 11:38:49 +01001495{
Willy Tarreau38d41992020-11-03 14:50:29 +01001496 struct pattern_tree *tree;
1497 struct pattern_list *pat;
1498 void **node;
Willy Tarreauf1c08922020-11-02 19:53:16 +01001499
1500 /* delete all known tree nodes. They are all allocated inline */
Willy Tarreau38d41992020-11-03 14:50:29 +01001501 for (node = elt->tree_head; node;) {
1502 tree = container_of(node, struct pattern_tree, from_ref);
1503 node = *node;
Willy Tarreauf1c08922020-11-02 19:53:16 +01001504 BUG_ON(tree->ref != elt);
1505
1506 ebmb_delete(&tree->node);
Willy Tarreauf1c08922020-11-02 19:53:16 +01001507 free(tree->data);
1508 free(tree);
1509 }
Thierry FOURNIERb1136502014-01-15 11:38:49 +01001510
Willy Tarreauf1c08922020-11-02 19:53:16 +01001511 /* delete all list nodes and free their pattern entries (str/reg) */
Willy Tarreau38d41992020-11-03 14:50:29 +01001512 for (node = elt->list_head; node;) {
1513 pat = container_of(node, struct pattern_list, from_ref);
1514 node = *node;
Willy Tarreau78777ea2020-11-02 13:55:22 +01001515 BUG_ON(pat->pat.ref != elt);
Thierry FOURNIERb1136502014-01-15 11:38:49 +01001516
1517 /* Delete and free entry. */
Willy Tarreau2b718102021-04-21 07:32:39 +02001518 LIST_DELETE(&pat->list);
Willy Tarreau6d8a6892020-11-02 19:26:02 +01001519 if (pat->pat.sflags & PAT_SF_REGFREE)
1520 regex_free(pat->pat.ptr.reg);
1521 else
1522 free(pat->pat.ptr.ptr);
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001523 free(pat->pat.data);
Thierry FOURNIERb1136502014-01-15 11:38:49 +01001524 free(pat);
1525 }
Thierry FOURNIERb1136502014-01-15 11:38:49 +01001526
Willy Tarreauf1c08922020-11-02 19:53:16 +01001527 /* update revision number to refresh the cache */
1528 ref->revision = rdtsc();
Dragan Dosena75eea72021-05-21 16:59:15 +02001529 ref->entry_cnt--;
Willy Tarreau38d41992020-11-03 14:50:29 +01001530 elt->tree_head = NULL;
1531 elt->list_head = NULL;
Thierry FOURNIERb1136502014-01-15 11:38:49 +01001532}
1533
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001534void pattern_init_expr(struct pattern_expr *expr)
1535{
1536 LIST_INIT(&expr->patterns);
Thierry FOURNIER31db4ae2014-01-30 00:27:15 +01001537 expr->pattern_tree = EB_ROOT;
1538 expr->pattern_tree_2 = EB_ROOT;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001539}
1540
1541void pattern_init_head(struct pattern_head *head)
1542{
1543 LIST_INIT(&head->head);
1544}
1545
1546/* The following functions are relative to the management of the reference
1547 * lists. These lists are used to store the original pattern and associated
1548 * value as string form.
1549 *
1550 * This is used with modifiable ACL and MAPS
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001551 *
1552 * The pattern reference are stored with two identifiers: the unique_id and
1553 * the reference.
1554 *
1555 * The reference identify a file. Each file with the same name point to the
1556 * same reference. We can register many times one file. If the file is modified,
1557 * all his dependencies are also modified. The reference can be used with map or
1558 * acl.
1559 *
1560 * The unique_id identify inline acl. The unique id is unique for each acl.
1561 * You cannot force the same id in the configuration file, because this repoort
1562 * an error.
1563 *
1564 * A particular case appears if the filename is a number. In this case, the
1565 * unique_id is set with the number represented by the filename and the
1566 * reference is also set. This method prevent double unique_id.
1567 *
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001568 */
1569
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001570/* This function looks up a reference by name. If the reference is found, a
1571 * pointer to the struct pat_ref is returned, otherwise NULL is returned.
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001572 */
1573struct pat_ref *pat_ref_lookup(const char *reference)
1574{
1575 struct pat_ref *ref;
1576
1577 list_for_each_entry(ref, &pattern_reference, list)
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001578 if (ref->reference && strcmp(reference, ref->reference) == 0)
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001579 return ref;
1580 return NULL;
1581}
1582
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001583/* This function looks up a reference's unique id. If the reference is found, a
1584 * pointer to the struct pat_ref is returned, otherwise NULL is returned.
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001585 */
1586struct pat_ref *pat_ref_lookupid(int unique_id)
1587{
1588 struct pat_ref *ref;
1589
1590 list_for_each_entry(ref, &pattern_reference, list)
1591 if (ref->unique_id == unique_id)
1592 return ref;
1593 return NULL;
1594}
1595
Willy Tarreau1fd52f72020-11-02 17:30:17 +01001596/* This function removes from the pattern reference <ref> all the patterns
1597 * attached to the reference element <elt>, and the element itself. The
1598 * reference must be locked.
1599 */
1600void pat_ref_delete_by_ptr(struct pat_ref *ref, struct pat_ref_elt *elt)
1601{
1602 struct pattern_expr *expr;
1603 struct bref *bref, *back;
1604
1605 /*
1606 * we have to unlink all watchers from this reference pattern. We must
1607 * not relink them if this elt was the last one in the list.
1608 */
1609 list_for_each_entry_safe(bref, back, &elt->back_refs, users) {
Willy Tarreau2b718102021-04-21 07:32:39 +02001610 LIST_DELETE(&bref->users);
Willy Tarreau1fd52f72020-11-02 17:30:17 +01001611 LIST_INIT(&bref->users);
1612 if (elt->list.n != &ref->head)
Willy Tarreau2b718102021-04-21 07:32:39 +02001613 LIST_APPEND(&LIST_ELEM(elt->list.n, typeof(elt), list)->back_refs, &bref->users);
Willy Tarreau1fd52f72020-11-02 17:30:17 +01001614 bref->ref = elt->list.n;
1615 }
1616
1617 /* delete all entries from all expressions for this pattern */
1618 list_for_each_entry(expr, &ref->pat, list)
1619 HA_RWLOCK_WRLOCK(PATEXP_LOCK, &expr->lock);
1620
1621 pat_delete_gen(ref, elt);
1622
1623 list_for_each_entry(expr, &ref->pat, list)
1624 HA_RWLOCK_WRUNLOCK(PATEXP_LOCK, &expr->lock);
1625
Willy Tarreau2b718102021-04-21 07:32:39 +02001626 LIST_DELETE(&elt->list);
Willy Tarreau1fd52f72020-11-02 17:30:17 +01001627 free(elt->sample);
1628 free(elt->pattern);
1629 free(elt);
1630}
1631
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001632/* This function removes all the patterns matching the pointer <refelt> from
1633 * the reference and from each expr member of this reference. This function
1634 * returns 1 if the entry was found and deleted, otherwise zero.
Thierry FOURNIER7acca4b2014-01-28 16:43:36 +01001635 */
1636int pat_ref_delete_by_id(struct pat_ref *ref, struct pat_ref_elt *refelt)
1637{
Thierry FOURNIER7acca4b2014-01-28 16:43:36 +01001638 struct pat_ref_elt *elt, *safe;
1639
1640 /* delete pattern from reference */
1641 list_for_each_entry_safe(elt, safe, &ref->head, list) {
1642 if (elt == refelt) {
Willy Tarreau1fd52f72020-11-02 17:30:17 +01001643 pat_ref_delete_by_ptr(ref, elt);
Thierry FOURNIER7acca4b2014-01-28 16:43:36 +01001644 return 1;
1645 }
1646 }
1647 return 0;
1648}
1649
Willy Tarreau1fd52f72020-11-02 17:30:17 +01001650/* This function removes all patterns matching <key> from the reference
Joseph Herlant4189d672018-11-15 10:22:31 -08001651 * and from each expr member of the reference. This function returns 1
Willy Tarreau1fd52f72020-11-02 17:30:17 +01001652 * if the deletion is done and returns 0 is the entry is not found.
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001653 */
1654int pat_ref_delete(struct pat_ref *ref, const char *key)
1655{
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001656 struct pat_ref_elt *elt, *safe;
1657 int found = 0;
1658
1659 /* delete pattern from reference */
1660 list_for_each_entry_safe(elt, safe, &ref->head, list) {
1661 if (strcmp(key, elt->pattern) == 0) {
Willy Tarreau1fd52f72020-11-02 17:30:17 +01001662 pat_ref_delete_by_ptr(ref, elt);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001663 found = 1;
1664 }
1665 }
1666
Willy Tarreau1fd52f72020-11-02 17:30:17 +01001667 return found;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001668}
1669
Baptiste Assmann953f74d2014-04-25 16:57:03 +02001670/*
1671 * find and return an element <elt> matching <key> in a reference <ref>
1672 * return NULL if not found
1673 */
1674struct pat_ref_elt *pat_ref_find_elt(struct pat_ref *ref, const char *key)
1675{
1676 struct pat_ref_elt *elt;
1677
1678 list_for_each_entry(elt, &ref->head, list) {
1679 if (strcmp(key, elt->pattern) == 0)
1680 return elt;
1681 }
1682
1683 return NULL;
1684}
1685
1686
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001687/* This function modifies the sample of pat_ref_elt <elt> in all expressions
1688 * found under <ref> to become <value>. It is assumed that the caller has
1689 * already verified that <elt> belongs to <ref>.
1690 */
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01001691static inline int pat_ref_set_elt(struct pat_ref *ref, struct pat_ref_elt *elt,
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001692 const char *value, char **err)
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001693{
1694 struct pattern_expr *expr;
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001695 struct sample_data **data;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001696 char *sample;
Thierry FOURNIER12ba0c22015-08-14 00:02:11 +02001697 struct sample_data test;
Thierry FOURNIER149e0fe2014-01-29 19:35:06 +01001698
1699 /* Try all needed converters. */
1700 list_for_each_entry(expr, &ref->pat, list) {
1701 if (!expr->pat_head->parse_smp)
1702 continue;
1703
1704 if (!expr->pat_head->parse_smp(value, &test)) {
1705 memprintf(err, "unable to parse '%s'", value);
1706 return 0;
1707 }
1708 }
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001709
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01001710 /* Modify pattern from reference. */
1711 sample = strdup(value);
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001712 if (!sample) {
1713 memprintf(err, "out of memory error");
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001714 return 0;
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001715 }
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001716 /* Load sample in each reference. All the conversions are tested
1717 * below, normally these calls don't fail.
Thierry FOURNIER149e0fe2014-01-29 19:35:06 +01001718 */
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01001719 list_for_each_entry(expr, &ref->pat, list) {
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01001720 if (!expr->pat_head->parse_smp)
1721 continue;
1722
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001723 HA_RWLOCK_WRLOCK(PATEXP_LOCK, &expr->lock);
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001724 data = pattern_find_smp(expr, elt);
1725 if (data && *data && !expr->pat_head->parse_smp(sample, *data))
1726 *data = NULL;
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001727 HA_RWLOCK_WRUNLOCK(PATEXP_LOCK, &expr->lock);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001728 }
1729
Emeric Brunb5997f72017-07-03 11:34:05 +02001730 /* free old sample only when all exprs are updated */
1731 free(elt->sample);
1732 elt->sample = sample;
1733
1734
Thierry FOURNIER149e0fe2014-01-29 19:35:06 +01001735 return 1;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001736}
1737
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001738/* This function modifies the sample of pat_ref_elt <refelt> in all expressions
1739 * found under <ref> to become <value>, after checking that <refelt> really
1740 * belongs to <ref>.
1741 */
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001742int pat_ref_set_by_id(struct pat_ref *ref, struct pat_ref_elt *refelt, const char *value, char **err)
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01001743{
1744 struct pat_ref_elt *elt;
1745
1746 /* Look for pattern in the reference. */
1747 list_for_each_entry(elt, &ref->head, list) {
1748 if (elt == refelt) {
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001749 if (!pat_ref_set_elt(ref, elt, value, err))
1750 return 0;
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01001751 return 1;
1752 }
1753 }
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001754
1755 memprintf(err, "key or pattern not found");
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01001756 return 0;
1757}
1758
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001759/* This function modifies to <value> the sample of all patterns matching <key>
1760 * under <ref>.
1761 */
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001762int pat_ref_set(struct pat_ref *ref, const char *key, const char *value, char **err)
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01001763{
1764 struct pat_ref_elt *elt;
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001765 int found = 0;
1766 char *_merr;
1767 char **merr;
1768
1769 if (err) {
1770 merr = &_merr;
1771 *merr = NULL;
1772 }
1773 else
1774 merr = NULL;
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01001775
1776 /* Look for pattern in the reference. */
1777 list_for_each_entry(elt, &ref->head, list) {
1778 if (strcmp(key, elt->pattern) == 0) {
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001779 if (!pat_ref_set_elt(ref, elt, value, merr)) {
William Lallemand579fb252018-06-11 10:53:46 +02001780 if (err && merr) {
1781 if (!found) {
1782 *err = *merr;
1783 } else {
1784 memprintf(err, "%s, %s", *err, *merr);
Willy Tarreau61cfdf42021-02-20 10:46:51 +01001785 ha_free(merr);
William Lallemand579fb252018-06-11 10:53:46 +02001786 }
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001787 }
1788 }
1789 found = 1;
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01001790 }
1791 }
Thierry FOURNIER364cfdf2014-01-29 19:08:49 +01001792
1793 if (!found) {
1794 memprintf(err, "entry not found");
1795 return 0;
1796 }
1797 return 1;
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01001798}
1799
Joseph Herlant4189d672018-11-15 10:22:31 -08001800/* This function creates a new reference. <ref> is the reference name.
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001801 * <flags> are PAT_REF_*. /!\ The reference is not checked, and must
1802 * be unique. The user must check the reference with "pat_ref_lookup()"
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001803 * before calling this function. If the function fails, it returns NULL,
1804 * otherwise it returns the new struct pat_ref.
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001805 */
Thierry FOURNIER0d6ba512014-02-11 03:31:34 +01001806struct pat_ref *pat_ref_new(const char *reference, const char *display, unsigned int flags)
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001807{
1808 struct pat_ref *ref;
1809
Willy Tarreau8135d9b2020-10-30 15:35:11 +01001810 ref = calloc(1, sizeof(*ref));
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001811 if (!ref)
1812 return NULL;
1813
Thierry FOURNIER0d6ba512014-02-11 03:31:34 +01001814 if (display) {
1815 ref->display = strdup(display);
1816 if (!ref->display) {
1817 free(ref);
1818 return NULL;
1819 }
1820 }
Thierry FOURNIER0d6ba512014-02-11 03:31:34 +01001821
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001822 ref->reference = strdup(reference);
1823 if (!ref->reference) {
Thierry FOURNIER0d6ba512014-02-11 03:31:34 +01001824 free(ref->display);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001825 free(ref);
1826 return NULL;
1827 }
1828
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001829 ref->flags = flags;
1830 ref->unique_id = -1;
Willy Tarreau3ee0de12020-11-02 15:26:51 +01001831 ref->revision = 0;
Dragan Dosena75eea72021-05-21 16:59:15 +02001832 ref->entry_cnt = 0;
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001833
1834 LIST_INIT(&ref->head);
1835 LIST_INIT(&ref->pat);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001836 HA_SPIN_INIT(&ref->lock);
Willy Tarreau2b718102021-04-21 07:32:39 +02001837 LIST_APPEND(&pattern_reference, &ref->list);
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001838
1839 return ref;
1840}
1841
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001842/* This function creates a new reference. <unique_id> is the unique id. If
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001843 * the value of <unique_id> is -1, the unique id is calculated later.
1844 * <flags> are PAT_REF_*. /!\ The reference is not checked, and must
1845 * be unique. The user must check the reference with "pat_ref_lookup()"
1846 * or pat_ref_lookupid before calling this function. If the function
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001847 * fails, it returns NULL, otherwise it returns the new struct pat_ref.
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001848 */
Thierry FOURNIER0d6ba512014-02-11 03:31:34 +01001849struct pat_ref *pat_ref_newid(int unique_id, const char *display, unsigned int flags)
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001850{
1851 struct pat_ref *ref;
1852
Willy Tarreau8135d9b2020-10-30 15:35:11 +01001853 ref = calloc(1, sizeof(*ref));
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001854 if (!ref)
1855 return NULL;
1856
Thierry FOURNIER0d6ba512014-02-11 03:31:34 +01001857 if (display) {
1858 ref->display = strdup(display);
1859 if (!ref->display) {
1860 free(ref);
1861 return NULL;
1862 }
1863 }
Thierry FOURNIER0d6ba512014-02-11 03:31:34 +01001864
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001865 ref->reference = NULL;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001866 ref->flags = flags;
Willy Tarreau29947742020-10-28 11:43:49 +01001867 ref->curr_gen = 0;
1868 ref->next_gen = 0;
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01001869 ref->unique_id = unique_id;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001870 LIST_INIT(&ref->head);
1871 LIST_INIT(&ref->pat);
Aurélien Nephtali564d15a2018-04-19 16:56:07 +02001872 HA_SPIN_INIT(&ref->lock);
Willy Tarreau2b718102021-04-21 07:32:39 +02001873 LIST_APPEND(&pattern_reference, &ref->list);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001874
1875 return ref;
1876}
1877
Willy Tarreauf4edb722020-10-28 10:52:46 +01001878/* This function adds entry to <ref>. It can fail on memory error. It returns
1879 * the newly added element on success, or NULL on failure. The PATREF_LOCK on
Willy Tarreau29947742020-10-28 11:43:49 +01001880 * <ref> must be held. It sets the newly created pattern's generation number
1881 * to the same value as the reference's.
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001882 */
Willy Tarreauf4edb722020-10-28 10:52:46 +01001883struct pat_ref_elt *pat_ref_append(struct pat_ref *ref, const char *pattern, const char *sample, int line)
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001884{
1885 struct pat_ref_elt *elt;
1886
Willy Tarreau8135d9b2020-10-30 15:35:11 +01001887 elt = calloc(1, sizeof(*elt));
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001888 if (!elt)
Willy Tarreauf4edb722020-10-28 10:52:46 +01001889 goto fail;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001890
Willy Tarreau29947742020-10-28 11:43:49 +01001891 elt->gen_id = ref->curr_gen;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001892 elt->line = line;
1893
1894 elt->pattern = strdup(pattern);
Willy Tarreauf4edb722020-10-28 10:52:46 +01001895 if (!elt->pattern)
1896 goto fail;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001897
1898 if (sample) {
1899 elt->sample = strdup(sample);
Willy Tarreauf4edb722020-10-28 10:52:46 +01001900 if (!elt->sample)
1901 goto fail;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001902 }
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001903
Emeric Brun8d85aa42017-06-29 15:40:33 +02001904 LIST_INIT(&elt->back_refs);
Willy Tarreau38d41992020-11-03 14:50:29 +01001905 elt->list_head = NULL;
1906 elt->tree_head = NULL;
Willy Tarreau2b718102021-04-21 07:32:39 +02001907 LIST_APPEND(&ref->head, &elt->list);
Willy Tarreauf4edb722020-10-28 10:52:46 +01001908 return elt;
1909 fail:
1910 if (elt)
1911 free(elt->pattern);
1912 free(elt);
1913 return NULL;
Thierry FOURNIERb1136502014-01-15 11:38:49 +01001914}
1915
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01001916/* This function creates sample found in <elt>, parses the pattern also
1917 * found in <elt> and inserts it in <expr>. The function copies <patflags>
1918 * into <expr>. If the function fails, it returns 0 and <err> is filled.
Ilya Shipitsin47d17182020-06-21 21:42:57 +05001919 * In success case, the function returns 1.
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001920 */
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001921int pat_ref_push(struct pat_ref_elt *elt, struct pattern_expr *expr,
1922 int patflags, char **err)
1923{
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001924 struct sample_data *data;
Thierry FOURNIERd25c8422014-01-28 15:34:35 +01001925 struct pattern pattern;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001926
1927 /* Create sample */
1928 if (elt->sample && expr->pat_head->parse_smp) {
1929 /* New sample. */
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001930 data = malloc(sizeof(*data));
1931 if (!data)
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001932 return 0;
1933
1934 /* Parse value. */
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001935 if (!expr->pat_head->parse_smp(elt->sample, data)) {
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001936 memprintf(err, "unable to parse '%s'", elt->sample);
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001937 free(data);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001938 return 0;
1939 }
1940
1941 }
1942 else
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001943 data = NULL;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001944
Thierry FOURNIERd25c8422014-01-28 15:34:35 +01001945 /* initialise pattern */
1946 memset(&pattern, 0, sizeof(pattern));
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001947 pattern.data = data;
Thierry FOURNIER6bb53ff2014-01-28 15:54:36 +01001948 pattern.ref = elt;
Thierry FOURNIERd25c8422014-01-28 15:34:35 +01001949
1950 /* parse pattern */
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +02001951 if (!expr->pat_head->parse(elt->pattern, &pattern, expr->mflags, err)) {
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001952 free(data);
Thierry FOURNIERd25c8422014-01-28 15:34:35 +01001953 return 0;
1954 }
1955
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001956 HA_RWLOCK_WRLOCK(PATEXP_LOCK, &expr->lock);
Thierry FOURNIERd25c8422014-01-28 15:34:35 +01001957 /* index pattern */
1958 if (!expr->pat_head->index(expr, &pattern, err)) {
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001959 HA_RWLOCK_WRUNLOCK(PATEXP_LOCK, &expr->lock);
Thierry FOURNIER503bb092015-08-19 08:35:43 +02001960 free(data);
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001961 return 0;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01001962 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001963 HA_RWLOCK_WRUNLOCK(PATEXP_LOCK, &expr->lock);
Thierry FOURNIERb9b08462013-12-13 15:12:32 +01001964
1965 return 1;
1966}
1967
Willy Tarreau0439e5e2020-10-28 18:45:45 +01001968/* This function tries to commit entry <elt> into <ref>. The new entry must
1969 * have already been inserted using pat_ref_append(), and its generation number
1970 * may have been adjusted as it will not be changed. <err> must point to a NULL
1971 * pointer. The PATREF lock on <ref> must be held. All the pattern_expr for
1972 * this reference will be updated (parsing, indexing). On success, non-zero is
1973 * returned. On failure, all the operation is rolled back (the element is
1974 * deleted from all expressions and is freed), zero is returned and the error
1975 * pointer <err> may have been updated (and the caller must free it). Failure
1976 * causes include memory allocation, parsing error or indexing error.
1977 */
Willy Tarreaudc2410d2021-01-15 14:11:59 +01001978int pat_ref_commit_elt(struct pat_ref *ref, struct pat_ref_elt *elt, char **err)
Willy Tarreau0439e5e2020-10-28 18:45:45 +01001979{
1980 struct pattern_expr *expr;
1981
1982 list_for_each_entry(expr, &ref->pat, list) {
1983 if (!pat_ref_push(elt, expr, 0, err)) {
1984 pat_ref_delete_by_ptr(ref, elt);
1985 return 0;
1986 }
1987 }
1988 return 1;
1989}
1990
Willy Tarreau1a6857b2020-10-29 09:21:43 +01001991/* Loads <pattern>:<sample> into <ref> for generation <gen>. <sample> may be
1992 * NULL if none exists (e.g. ACL). If not needed, the generation number should
1993 * be set to ref->curr_gen. The error pointer must initially point to NULL. The
1994 * new entry will be propagated to all use places, involving allocation, parsing
1995 * and indexing. On error (parsing, allocation), the operation will be rolled
1996 * back, an error may be reported, and NULL will be reported. On success, the
1997 * freshly allocated element will be returned. The PATREF lock on <ref> must be
1998 * held during the operation.
1999 */
2000struct pat_ref_elt *pat_ref_load(struct pat_ref *ref, unsigned int gen,
2001 const char *pattern, const char *sample,
2002 int line, char **err)
2003{
2004 struct pat_ref_elt *elt;
2005
2006 elt = pat_ref_append(ref, pattern, sample, line);
2007 if (elt) {
2008 elt->gen_id = gen;
Willy Tarreaudc2410d2021-01-15 14:11:59 +01002009 if (!pat_ref_commit_elt(ref, elt, err))
Willy Tarreau1a6857b2020-10-29 09:21:43 +01002010 elt = NULL;
2011 } else
2012 memprintf(err, "out of memory error");
2013
2014 return elt;
2015}
2016
Willy Tarreau6a174072020-10-28 10:58:05 +01002017/* This function adds entry to <ref>. It can fail on memory error. The new
Thierry FOURNIER31db4ae2014-01-30 00:27:15 +01002018 * entry is added at all the pattern_expr registered in this reference. The
Willy Tarreau6a174072020-10-28 10:58:05 +01002019 * function stops on the first error encountered. It returns 0 and <err> is
Thierry FOURNIER31db4ae2014-01-30 00:27:15 +01002020 * filled. If an error is encountered, the complete add operation is cancelled.
2021 * If the insertion is a success the function returns 1.
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002022 */
2023int pat_ref_add(struct pat_ref *ref,
2024 const char *pattern, const char *sample,
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +02002025 char **err)
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002026{
Willy Tarreau1a6857b2020-10-29 09:21:43 +01002027 return !!pat_ref_load(ref, ref->curr_gen, pattern, sample, -1, err);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002028}
2029
Willy Tarreaua13afe62021-04-30 13:19:37 +02002030/* This function purges all elements from <ref> whose generation is included in
2031 * the range of <from> to <to> (inclusive), taking wrapping into consideration.
2032 * It will not purge more than <budget> entries at once, in order to remain
2033 * responsive. If budget is negative, no limit is applied.
Willy Tarreau94b9abe2020-10-28 18:23:49 +01002034 * The caller must already hold the PATREF_LOCK on <ref>. The function will
2035 * take the PATEXP_LOCK on all expressions of the pattern as needed. It returns
2036 * non-zero on completion, or zero if it had to stop before the end after
2037 * <budget> was depleted.
2038 */
Willy Tarreaua13afe62021-04-30 13:19:37 +02002039int pat_ref_purge_range(struct pat_ref *ref, uint from, uint to, int budget)
Willy Tarreau94b9abe2020-10-28 18:23:49 +01002040{
2041 struct pat_ref_elt *elt, *elt_bck;
2042 struct bref *bref, *bref_bck;
2043 struct pattern_expr *expr;
2044 int done;
2045
2046 list_for_each_entry(expr, &ref->pat, list)
2047 HA_RWLOCK_WRLOCK(PATEXP_LOCK, &expr->lock);
2048
2049 /* all expr are locked, we can safely remove all pat_ref */
2050
2051 /* assume completion for e.g. empty lists */
2052 done = 1;
2053 list_for_each_entry_safe(elt, elt_bck, &ref->head, list) {
Willy Tarreaua13afe62021-04-30 13:19:37 +02002054 if (elt->gen_id - from > to - from)
Willy Tarreau94b9abe2020-10-28 18:23:49 +01002055 continue;
2056
2057 if (budget >= 0 && !budget--) {
2058 done = 0;
2059 break;
2060 }
2061
2062 /*
2063 * we have to unlink all watchers from this reference pattern. We must
2064 * not relink them if this elt was the last one in the list.
2065 */
2066 list_for_each_entry_safe(bref, bref_bck, &elt->back_refs, users) {
Willy Tarreau2b718102021-04-21 07:32:39 +02002067 LIST_DELETE(&bref->users);
Willy Tarreau94b9abe2020-10-28 18:23:49 +01002068 LIST_INIT(&bref->users);
2069 if (elt->list.n != &ref->head)
Willy Tarreau2b718102021-04-21 07:32:39 +02002070 LIST_APPEND(&LIST_ELEM(elt->list.n, typeof(elt), list)->back_refs, &bref->users);
Willy Tarreau94b9abe2020-10-28 18:23:49 +01002071 bref->ref = elt->list.n;
2072 }
2073
2074 /* delete the storage for all representations of this pattern. */
2075 pat_delete_gen(ref, elt);
2076
Willy Tarreau2b718102021-04-21 07:32:39 +02002077 LIST_DELETE(&elt->list);
Willy Tarreau94b9abe2020-10-28 18:23:49 +01002078 free(elt->pattern);
2079 free(elt->sample);
2080 free(elt);
2081 }
2082
2083 list_for_each_entry(expr, &ref->pat, list)
2084 HA_RWLOCK_WRUNLOCK(PATEXP_LOCK, &expr->lock);
2085
Willy Tarreau9b060f12023-03-22 15:38:13 +01002086 if (done)
2087 trim_all_pools();
Willy Tarreau94b9abe2020-10-28 18:23:49 +01002088
2089 return done;
2090}
2091
Willy Tarreauae83e632020-11-03 10:37:31 +01002092/* This function prunes all entries of <ref> and all their associated
2093 * pattern_expr. It may return before the end of the list is reached,
2094 * returning 0, to yield, indicating to the caller that it must call it again.
2095 * until it returns non-zero. All patterns are purged, both current ones and
2096 * future or incomplete ones. This is used by "clear map" or "clear acl".
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002097 */
Willy Tarreaud1d005d2019-12-20 18:22:02 +01002098int pat_ref_prune(struct pat_ref *ref)
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002099{
Willy Tarreaua13afe62021-04-30 13:19:37 +02002100 return pat_ref_purge_range(ref, 0, ~0, 100);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002101}
2102
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01002103/* This function looks up any existing reference <ref> in pattern_head <head>, and
2104 * returns the associated pattern_expr pointer if found, otherwise NULL.
2105 */
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002106struct pattern_expr *pattern_lookup_expr(struct pattern_head *head, struct pat_ref *ref)
2107{
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002108 struct pattern_expr_list *expr;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002109
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002110 list_for_each_entry(expr, &head->head, list)
2111 if (expr->expr->ref == ref)
2112 return expr->expr;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002113 return NULL;
2114}
2115
Joseph Herlant4189d672018-11-15 10:22:31 -08002116/* This function creates new pattern_expr associated to the reference <ref>.
2117 * <ref> can be NULL. If an error occurs, the function returns NULL and
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002118 * <err> is filled. Otherwise, the function returns new pattern_expr linked
2119 * with <head> and <ref>.
Thierry FOURNIER315ec422014-11-24 11:14:42 +01002120 *
Joseph Herlant4189d672018-11-15 10:22:31 -08002121 * The returned value can be an already filled pattern list, in this case the
Thierry FOURNIER315ec422014-11-24 11:14:42 +01002122 * flag <reuse> is set.
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002123 */
Thierry FOURNIER315ec422014-11-24 11:14:42 +01002124struct pattern_expr *pattern_new_expr(struct pattern_head *head, struct pat_ref *ref,
Emeric Brun7d27f3c2017-07-03 17:54:23 +02002125 int patflags, char **err, int *reuse)
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002126{
2127 struct pattern_expr *expr;
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002128 struct pattern_expr_list *list;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002129
Thierry FOURNIER315ec422014-11-24 11:14:42 +01002130 if (reuse)
2131 *reuse = 0;
2132
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002133 /* Memory and initialization of the chain element. */
Willy Tarreau8135d9b2020-10-30 15:35:11 +01002134 list = calloc(1, sizeof(*list));
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002135 if (!list) {
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002136 memprintf(err, "out of memory");
2137 return NULL;
2138 }
2139
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002140 /* Look for existing similar expr. No that only the index, parse and
2141 * parse_smp function must be identical for having similar pattern.
Joseph Herlant4189d672018-11-15 10:22:31 -08002142 * The other function depends of these first.
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002143 */
2144 if (ref) {
2145 list_for_each_entry(expr, &ref->pat, list)
2146 if (expr->pat_head->index == head->index &&
2147 expr->pat_head->parse == head->parse &&
Emeric Brun7d27f3c2017-07-03 17:54:23 +02002148 expr->pat_head->parse_smp == head->parse_smp &&
2149 expr->mflags == patflags)
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002150 break;
2151 if (&expr->list == &ref->pat)
2152 expr = NULL;
2153 }
2154 else
2155 expr = NULL;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002156
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002157 /* If no similar expr was found, we create new expr. */
2158 if (!expr) {
2159 /* Get a lot of memory for the expr struct. */
Willy Tarreau8135d9b2020-10-30 15:35:11 +01002160 expr = calloc(1, sizeof(*expr));
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002161 if (!expr) {
Andreas Seltenreiche6e22e82016-03-03 20:20:23 +01002162 free(list);
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002163 memprintf(err, "out of memory");
2164 return NULL;
2165 }
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002166
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002167 /* Initialize this new expr. */
2168 pattern_init_expr(expr);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002169
Emeric Brun7d27f3c2017-07-03 17:54:23 +02002170 /* Copy the pattern matching and indexing flags. */
2171 expr->mflags = patflags;
2172
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002173 /* This new pattern expression reference one of his heads. */
2174 expr->pat_head = head;
2175
Willy Tarreau2b718102021-04-21 07:32:39 +02002176 /* Link with ref, or to self to facilitate LIST_DELETE() */
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002177 if (ref)
Willy Tarreau2b718102021-04-21 07:32:39 +02002178 LIST_APPEND(&ref->pat, &expr->list);
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002179 else
2180 LIST_INIT(&expr->list);
2181
2182 expr->ref = ref;
2183
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002184 HA_RWLOCK_INIT(&expr->lock);
Emeric Brunb5997f72017-07-03 11:34:05 +02002185
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002186 /* We must free this pattern if it is no more used. */
2187 list->do_free = 1;
2188 }
2189 else {
2190 /* If the pattern used already exists, it is already linked
2191 * with ref and we must not free it.
2192 */
2193 list->do_free = 0;
Thierry FOURNIER315ec422014-11-24 11:14:42 +01002194 if (reuse)
2195 *reuse = 1;
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002196 }
2197
2198 /* The new list element reference the pattern_expr. */
2199 list->expr = expr;
2200
2201 /* Link the list element with the pattern_head. */
Willy Tarreau2b718102021-04-21 07:32:39 +02002202 LIST_APPEND(&head->head, &list->list);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002203 return expr;
2204}
2205
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002206/* Reads patterns from a file. If <err_msg> is non-NULL, an error message will
2207 * be returned there on errors and the caller will have to free it.
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002208 *
2209 * The file contains one key + value per line. Lines which start with '#' are
2210 * ignored, just like empty lines. Leading tabs/spaces are stripped. The key is
2211 * then the first "word" (series of non-space/tabs characters), and the value is
2212 * what follows this series of space/tab till the end of the line excluding
2213 * trailing spaces/tabs.
2214 *
2215 * Example :
2216 *
2217 * # this is a comment and is ignored
2218 * 62.212.114.60 1wt.eu \n
2219 * <-><-----------><---><----><---->
2220 * | | | | `--- trailing spaces ignored
2221 * | | | `-------- value
2222 * | | `--------------- middle spaces ignored
2223 * | `------------------------ key
2224 * `-------------------------------- leading spaces ignored
2225 *
Ilya Shipitsin47d17182020-06-21 21:42:57 +05002226 * Return non-zero in case of success, otherwise 0.
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002227 */
2228int pat_ref_read_from_file_smp(struct pat_ref *ref, const char *filename, char **err)
2229{
2230 FILE *file;
2231 char *c;
2232 int ret = 0;
2233 int line = 0;
2234 char *key_beg;
2235 char *key_end;
2236 char *value_beg;
2237 char *value_end;
2238
2239 file = fopen(filename, "r");
2240 if (!file) {
2241 memprintf(err, "failed to open pattern file <%s>", filename);
2242 return 0;
2243 }
2244
2245 /* now parse all patterns. The file may contain only one pattern
2246 * followed by one value per line. The start spaces, separator spaces
2247 * and and spaces are stripped. Each can contain comment started by '#'
2248 */
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002249 while (fgets(trash.area, trash.size, file) != NULL) {
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002250 line++;
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002251 c = trash.area;
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002252
2253 /* ignore lines beginning with a dash */
2254 if (*c == '#')
2255 continue;
2256
2257 /* strip leading spaces and tabs */
2258 while (*c == ' ' || *c == '\t')
2259 c++;
2260
2261 /* empty lines are ignored too */
2262 if (*c == '\0' || *c == '\r' || *c == '\n')
2263 continue;
2264
2265 /* look for the end of the key */
2266 key_beg = c;
2267 while (*c && *c != ' ' && *c != '\t' && *c != '\n' && *c != '\r')
2268 c++;
2269
2270 key_end = c;
2271
2272 /* strip middle spaces and tabs */
2273 while (*c == ' ' || *c == '\t')
2274 c++;
2275
2276 /* look for the end of the value, it is the end of the line */
2277 value_beg = c;
2278 while (*c && *c != '\n' && *c != '\r')
2279 c++;
2280 value_end = c;
2281
2282 /* trim possibly trailing spaces and tabs */
2283 while (value_end > value_beg && (value_end[-1] == ' ' || value_end[-1] == '\t'))
2284 value_end--;
2285
2286 /* set final \0 and check entries */
2287 *key_end = '\0';
2288 *value_end = '\0';
2289
2290 /* insert values */
2291 if (!pat_ref_append(ref, key_beg, value_beg, line)) {
2292 memprintf(err, "out of memory");
2293 goto out_close;
2294 }
2295 }
2296
Jerome Magnin3c79d4b2020-01-17 16:09:33 +01002297 if (ferror(file)) {
2298 memprintf(err, "error encountered while reading <%s> : %s",
2299 filename, strerror(errno));
2300 goto out_close;
2301 }
Ilya Shipitsin47d17182020-06-21 21:42:57 +05002302 /* success */
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002303 ret = 1;
2304
2305 out_close:
2306 fclose(file);
2307 return ret;
2308}
2309
2310/* Reads patterns from a file. If <err_msg> is non-NULL, an error message will
2311 * be returned there on errors and the caller will have to free it.
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002312 */
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002313int pat_ref_read_from_file(struct pat_ref *ref, const char *filename, char **err)
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002314{
2315 FILE *file;
2316 char *c;
2317 char *arg;
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002318 int ret = 0;
2319 int line = 0;
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002320
2321 file = fopen(filename, "r");
2322 if (!file) {
2323 memprintf(err, "failed to open pattern file <%s>", filename);
2324 return 0;
2325 }
2326
2327 /* now parse all patterns. The file may contain only one pattern per
2328 * line. If the line contains spaces, they will be part of the pattern.
2329 * The pattern stops at the first CR, LF or EOF encountered.
2330 */
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002331 while (fgets(trash.area, trash.size, file) != NULL) {
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002332 line++;
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002333 c = trash.area;
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002334
2335 /* ignore lines beginning with a dash */
2336 if (*c == '#')
2337 continue;
2338
2339 /* strip leading spaces and tabs */
2340 while (*c == ' ' || *c == '\t')
2341 c++;
2342
2343
2344 arg = c;
2345 while (*c && *c != '\n' && *c != '\r')
2346 c++;
2347 *c = 0;
2348
2349 /* empty lines are ignored too */
2350 if (c == arg)
2351 continue;
2352
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002353 if (!pat_ref_append(ref, arg, NULL, line)) {
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002354 memprintf(err, "out of memory when loading patterns from file <%s>", filename);
2355 goto out_close;
2356 }
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002357 }
2358
Jerome Magnin3c79d4b2020-01-17 16:09:33 +01002359 if (ferror(file)) {
2360 memprintf(err, "error encountered while reading <%s> : %s",
2361 filename, strerror(errno));
2362 goto out_close;
2363 }
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002364 ret = 1; /* success */
2365
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002366 out_close:
2367 fclose(file);
2368 return ret;
2369}
2370
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002371int pattern_read_from_file(struct pattern_head *head, unsigned int refflags,
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002372 const char *filename, int patflags, int load_smp,
Thierry FOURNIER94580c92014-02-11 14:36:45 +01002373 char **err, const char *file, int line)
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002374{
2375 struct pat_ref *ref;
2376 struct pattern_expr *expr;
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002377 struct pat_ref_elt *elt;
Willy Tarreau4deaf392014-11-26 13:17:03 +01002378 int reuse = 0;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002379
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002380 /* Lookup for the existing reference. */
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002381 ref = pat_ref_lookup(filename);
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002382
2383 /* If the reference doesn't exists, create it and load associated file. */
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002384 if (!ref) {
Thierry FOURNIER94580c92014-02-11 14:36:45 +01002385 chunk_printf(&trash,
2386 "pattern loaded from file '%s' used by %s at file '%s' line %d",
2387 filename, refflags & PAT_REF_MAP ? "map" : "acl", file, line);
2388
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002389 ref = pat_ref_new(filename, trash.area, refflags);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002390 if (!ref) {
2391 memprintf(err, "out of memory");
2392 return 0;
2393 }
2394
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002395 if (load_smp) {
Thierry FOURNIERc0bd9102014-01-29 12:32:58 +01002396 ref->flags |= PAT_REF_SMP;
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002397 if (!pat_ref_read_from_file_smp(ref, filename, err))
2398 return 0;
2399 }
2400 else {
2401 if (!pat_ref_read_from_file(ref, filename, err))
2402 return 0;
2403 }
2404 }
2405 else {
Thierry FOURNIERc0bd9102014-01-29 12:32:58 +01002406 /* The reference already exists, check the map compatibility. */
2407
2408 /* If the load require samples and the flag PAT_REF_SMP is not set,
2409 * the reference doesn't contain sample, and cannot be used.
2410 */
2411 if (load_smp) {
2412 if (!(ref->flags & PAT_REF_SMP)) {
2413 memprintf(err, "The file \"%s\" is already used as one column file "
2414 "and cannot be used by as two column file.",
2415 filename);
2416 return 0;
2417 }
2418 }
2419 else {
2420 /* The load doesn't require samples. If the flag PAT_REF_SMP is
2421 * set, the reference contains a sample, and cannot be used.
2422 */
2423 if (ref->flags & PAT_REF_SMP) {
2424 memprintf(err, "The file \"%s\" is already used as two column file "
2425 "and cannot be used by as one column file.",
2426 filename);
2427 return 0;
2428 }
2429 }
2430
Thierry FOURNIER94580c92014-02-11 14:36:45 +01002431 /* Extends display */
2432 chunk_printf(&trash, "%s", ref->display);
2433 chunk_appendf(&trash, ", by %s at file '%s' line %d",
2434 refflags & PAT_REF_MAP ? "map" : "acl", file, line);
2435 free(ref->display);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002436 ref->display = strdup(trash.area);
Thierry FOURNIER94580c92014-02-11 14:36:45 +01002437 if (!ref->display) {
2438 memprintf(err, "out of memory");
2439 return 0;
2440 }
2441
Thierry FOURNIERc0bd9102014-01-29 12:32:58 +01002442 /* Merge flags. */
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002443 ref->flags |= refflags;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002444 }
2445
2446 /* Now, we can loading patterns from the reference. */
2447
2448 /* Lookup for existing reference in the head. If the reference
2449 * doesn't exists, create it.
2450 */
2451 expr = pattern_lookup_expr(head, ref);
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +02002452 if (!expr || (expr->mflags != patflags)) {
Emeric Brun7d27f3c2017-07-03 17:54:23 +02002453 expr = pattern_new_expr(head, ref, patflags, err, &reuse);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002454 if (!expr)
2455 return 0;
2456 }
2457
Thierry FOURNIER315ec422014-11-24 11:14:42 +01002458 /* The returned expression may be not empty, because the function
2459 * "pattern_new_expr" lookup for similar pattern list and can
2460 * reuse a already filled pattern list. In this case, we can not
2461 * reload the patterns.
2462 */
2463 if (reuse)
2464 return 1;
2465
Thierry FOURNIER39bef452014-01-29 13:29:45 +01002466 /* Load reference content in the pattern expression. */
2467 list_for_each_entry(elt, &ref->head, list) {
2468 if (!pat_ref_push(elt, expr, patflags, err)) {
2469 if (elt->line > 0)
2470 memprintf(err, "%s at line %d of file '%s'",
2471 *err, elt->line, filename);
2472 return 0;
2473 }
2474 }
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002475
2476 return 1;
2477}
2478
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +01002479/* This function executes a pattern match on a sample. It applies pattern <expr>
Thayne McCombs8f0cc5c2021-01-07 21:35:52 -07002480 * to sample <smp>. The function returns NULL if the sample don't match. It returns
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +01002481 * non-null if the sample match. If <fill> is true and the sample match, the
2482 * function returns the matched pattern. In many cases, this pattern can be a
2483 * static buffer.
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002484 */
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002485struct pattern *pattern_exec_match(struct pattern_head *head, struct sample *smp, int fill)
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002486{
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002487 struct pattern_expr_list *list;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002488 struct pattern *pat;
2489
2490 if (!head->match) {
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +01002491 if (fill) {
Thierry FOURNIER503bb092015-08-19 08:35:43 +02002492 static_pattern.data = NULL;
Thierry FOURNIER6bb53ff2014-01-28 15:54:36 +01002493 static_pattern.ref = NULL;
Thierry FOURNIERe47e4e22014-04-28 11:18:57 +02002494 static_pattern.sflags = 0;
Thierry FOURNIER07ee64e2015-07-06 23:43:03 +02002495 static_pattern.type = SMP_T_SINT;
Thierry FOURNIER5338eea2013-12-16 14:22:13 +01002496 static_pattern.val.i = 1;
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +01002497 }
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +01002498 return &static_pattern;
2499 }
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002500
Thierry FOURNIER5d344082014-01-27 14:19:53 +01002501 /* convert input to string */
2502 if (!sample_convert(smp, head->expect_type))
2503 return NULL;
2504
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002505 list_for_each_entry(list, &head->head, list) {
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002506 HA_RWLOCK_RDLOCK(PATEXP_LOCK, &list->expr->lock);
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002507 pat = head->match(smp, list->expr, fill);
Emeric Brunb5997f72017-07-03 11:34:05 +02002508 if (pat) {
2509 /* We duplicate the pattern cause it could be modified
2510 by another thread */
2511 if (pat != &static_pattern) {
2512 memcpy(&static_pattern, pat, sizeof(struct pattern));
2513 pat = &static_pattern;
2514 }
2515
2516 /* We also duplicate the sample data for
2517 same reason */
2518 if (pat->data && (pat->data != &static_sample_data)) {
Christopher Faulet09fdf4b2017-11-09 16:14:16 +01002519 switch(pat->data->type) {
Emeric Brunb5997f72017-07-03 11:34:05 +02002520 case SMP_T_STR:
2521 static_sample_data.type = SMP_T_STR;
2522 static_sample_data.u.str = *get_trash_chunk();
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002523 static_sample_data.u.str.data = pat->data->u.str.data;
2524 if (static_sample_data.u.str.data >= static_sample_data.u.str.size)
2525 static_sample_data.u.str.data = static_sample_data.u.str.size - 1;
2526 memcpy(static_sample_data.u.str.area,
Willy Tarreau2fc761e2020-06-11 16:37:35 +02002527 pat->data->u.str.area, static_sample_data.u.str.data);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002528 static_sample_data.u.str.area[static_sample_data.u.str.data] = 0;
Willy Tarreau2fc761e2020-06-11 16:37:35 +02002529 pat->data = &static_sample_data;
2530 break;
2531
Emeric Brunb5997f72017-07-03 11:34:05 +02002532 case SMP_T_IPV4:
2533 case SMP_T_IPV6:
2534 case SMP_T_SINT:
2535 memcpy(&static_sample_data, pat->data, sizeof(struct sample_data));
Willy Tarreau2fc761e2020-06-11 16:37:35 +02002536 pat->data = &static_sample_data;
2537 break;
Emeric Brunb5997f72017-07-03 11:34:05 +02002538 default:
Willy Tarreau2fc761e2020-06-11 16:37:35 +02002539 /* unimplemented pattern type */
Emeric Brunb5997f72017-07-03 11:34:05 +02002540 pat->data = NULL;
Willy Tarreau2fc761e2020-06-11 16:37:35 +02002541 break;
Emeric Brunb5997f72017-07-03 11:34:05 +02002542 }
Emeric Brunb5997f72017-07-03 11:34:05 +02002543 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002544 HA_RWLOCK_RDUNLOCK(PATEXP_LOCK, &list->expr->lock);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002545 return pat;
Emeric Brunb5997f72017-07-03 11:34:05 +02002546 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002547 HA_RWLOCK_RDUNLOCK(PATEXP_LOCK, &list->expr->lock);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002548 }
2549 return NULL;
Thierry FOURNIERed66c292013-11-28 11:05:19 +01002550}
2551
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01002552/* This function prunes the pattern expressions starting at pattern_head <head>. */
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002553void pattern_prune(struct pattern_head *head)
Thierry FOURNIER6f7203d2014-01-14 16:24:51 +01002554{
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002555 struct pattern_expr_list *list, *safe;
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002556
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002557 list_for_each_entry_safe(list, safe, &head->head, list) {
Willy Tarreau2b718102021-04-21 07:32:39 +02002558 LIST_DELETE(&list->list);
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002559 if (list->do_free) {
Willy Tarreau2b718102021-04-21 07:32:39 +02002560 LIST_DELETE(&list->expr->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002561 HA_RWLOCK_WRLOCK(PATEXP_LOCK, &list->expr->lock);
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002562 head->prune(list->expr);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002563 HA_RWLOCK_WRUNLOCK(PATEXP_LOCK, &list->expr->lock);
Thierry FOURNIERc5959fd2014-01-20 14:29:33 +01002564 free(list->expr);
2565 }
2566 free(list);
Thierry FOURNIER1e00d382014-02-11 11:31:40 +01002567 }
Thierry FOURNIER6f7203d2014-01-14 16:24:51 +01002568}
2569
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01002570/* This function searches occurrences of pattern reference element <ref> in
2571 * expression <expr> and returns a pointer to a pointer of the sample storage.
2572 * If <ref> is not found, NULL is returned.
Thierry FOURNIER55d0b102014-01-15 11:25:26 +01002573 */
Thierry FOURNIER12ba0c22015-08-14 00:02:11 +02002574struct sample_data **pattern_find_smp(struct pattern_expr *expr, struct pat_ref_elt *ref)
Thierry FOURNIER55d0b102014-01-15 11:25:26 +01002575{
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01002576 struct ebmb_node *node;
2577 struct pattern_tree *elt;
2578 struct pattern_list *pat;
Thierry FOURNIER55d0b102014-01-15 11:25:26 +01002579
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01002580 for (node = ebmb_first(&expr->pattern_tree);
2581 node;
2582 node = ebmb_next(node)) {
2583 elt = container_of(node, struct pattern_tree, node);
2584 if (elt->ref == ref)
Thierry FOURNIER503bb092015-08-19 08:35:43 +02002585 return &elt->data;
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01002586 }
2587
2588 for (node = ebmb_first(&expr->pattern_tree_2);
2589 node;
2590 node = ebmb_next(node)) {
2591 elt = container_of(node, struct pattern_tree, node);
2592 if (elt->ref == ref)
Thierry FOURNIER503bb092015-08-19 08:35:43 +02002593 return &elt->data;
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01002594 }
2595
2596 list_for_each_entry(pat, &expr->patterns, list)
2597 if (pat->pat.ref == ref)
Thierry FOURNIER503bb092015-08-19 08:35:43 +02002598 return &pat->pat.data;
Thierry FOURNIERe369ca22014-01-29 16:24:55 +01002599
2600 return NULL;
Thierry FOURNIER55d0b102014-01-15 11:25:26 +01002601}
2602
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01002603/* This function compares two pat_ref** on their unique_id, and returns -1/0/1
2604 * depending on their order (suitable for sorting).
2605 */
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002606static int cmp_pat_ref(const void *_a, const void *_b)
2607{
2608 struct pat_ref * const *a = _a;
2609 struct pat_ref * const *b = _b;
2610
2611 if ((*a)->unique_id < (*b)->unique_id)
2612 return -1;
2613 else if ((*a)->unique_id > (*b)->unique_id)
2614 return 1;
2615 return 0;
2616}
2617
Willy Tarreaua5bbaaf2020-10-30 16:03:50 +01002618/* This function finalizes the configuration parsing. It sets all the
2619 * automatic ids.
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002620 */
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002621int pattern_finalize_config(void)
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002622{
Tim Duesterhusb584b442020-03-17 21:08:24 +01002623 size_t len = 0;
2624 size_t unassigned_pos = 0;
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002625 int next_unique_id = 0;
Tim Duesterhusb584b442020-03-17 21:08:24 +01002626 size_t i, j;
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002627 struct pat_ref *ref, **arr;
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002628 struct list pr = LIST_HEAD_INIT(pr);
2629
Willy Tarreau52bf8392020-03-08 00:42:37 +01002630 pat_lru_seed = ha_random();
Willy Tarreauf3045d22015-04-29 16:24:50 +02002631
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002632 /* Count pat_refs with user defined unique_id and totalt count */
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002633 list_for_each_entry(ref, &pattern_reference, list) {
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002634 len++;
2635 if (ref->unique_id != -1)
2636 unassigned_pos++;
2637 }
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002638
Tim Duesterhusb584b442020-03-17 21:08:24 +01002639 if (len == 0) {
2640 return 0;
2641 }
2642
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002643 arr = calloc(len, sizeof(*arr));
2644 if (arr == NULL) {
2645 ha_alert("Out of memory error.\n");
2646 return ERR_ALERT | ERR_FATAL;
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002647 }
2648
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002649 i = 0;
2650 j = unassigned_pos;
2651 list_for_each_entry(ref, &pattern_reference, list) {
2652 if (ref->unique_id != -1)
2653 arr[i++] = ref;
2654 else
2655 arr[j++] = ref;
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002656 }
2657
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002658 /* Sort first segment of array with user-defined unique ids for
2659 * fast lookup when generating unique ids
2660 */
2661 qsort(arr, unassigned_pos, sizeof(*arr), cmp_pat_ref);
2662
2663 /* Assign unique ids to the rest of the elements */
2664 for (i = unassigned_pos; i < len; i++) {
2665 do {
2666 arr[i]->unique_id = next_unique_id++;
2667 } while (bsearch(&arr[i], arr, unassigned_pos, sizeof(*arr), cmp_pat_ref));
2668 }
2669
2670 /* Sort complete array */
2671 qsort(arr, len, sizeof(*arr), cmp_pat_ref);
2672
2673 /* Convert back to linked list */
2674 for (i = 0; i < len; i++)
Willy Tarreau2b718102021-04-21 07:32:39 +02002675 LIST_APPEND(&pr, &arr[i]->list);
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002676
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002677 /* swap root */
Willy Tarreau2b718102021-04-21 07:32:39 +02002678 LIST_INSERT(&pr, &pattern_reference);
2679 LIST_DELETE(&pr);
Carl Henrik Lundef91ac192020-02-27 16:45:50 +01002680
2681 free(arr);
2682 return 0;
Thierry FOURNIERaf5a29d2014-03-11 14:29:22 +01002683}
Willy Tarreau403bfbb2019-10-23 06:59:31 +02002684
2685static int pattern_per_thread_lru_alloc()
2686{
2687 if (!global.tune.pattern_cache)
2688 return 1;
2689 pat_lru_tree = lru64_new(global.tune.pattern_cache);
2690 return !!pat_lru_tree;
2691}
2692
2693static void pattern_per_thread_lru_free()
2694{
2695 lru64_destroy(pat_lru_tree);
2696}
2697
2698REGISTER_PER_THREAD_ALLOC(pattern_per_thread_lru_alloc);
2699REGISTER_PER_THREAD_FREE(pattern_per_thread_lru_free);