Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 1 | /* |
| 2 | * include/proto/pattern.h |
| 3 | * This file provides structures and types for pattern matching. |
| 4 | * |
| 5 | * Copyright (C) 2000-2013 Willy Tarreau - w@1wt.eu |
| 6 | * |
| 7 | * This library is free software; you can redistribute it and/or |
| 8 | * modify it under the terms of the GNU Lesser General Public |
| 9 | * License as published by the Free Software Foundation, version 2.1 |
| 10 | * exclusively. |
| 11 | * |
| 12 | * This library is distributed in the hope that it will be useful, |
| 13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 15 | * Lesser General Public License for more details. |
| 16 | * |
| 17 | * You should have received a copy of the GNU Lesser General Public |
| 18 | * License along with this library; if not, write to the Free Software |
| 19 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA |
| 20 | */ |
| 21 | |
| 22 | #ifndef _PROTO_PATTERN_H |
| 23 | #define _PROTO_PATTERN_H |
| 24 | |
| 25 | /* parse the <text> with <expr> compliant parser. <pattern> is a context for |
| 26 | * the current parsed acl. It must initialized at NULL: |
| 27 | * |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 28 | * struct pattern *pattern = NULL |
| 29 | * pattern_register(..., &pattern, ...); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 30 | * |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 31 | * patflag are a lot of 'PAT_F_*' flags pattern compatible. see |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 32 | * <types/acl.h>. |
| 33 | * |
| 34 | * The function returns 1 if the processing is ok, return -1 if the parser |
| 35 | * fails, with <err> message filled. It returns -2 in "out of memory" |
| 36 | * error case. |
| 37 | */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 38 | int pattern_register(struct pattern_expr *expr, char *text, struct sample_storage *smp, struct pattern **pattern, int patflags, char **err); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 39 | |
| 40 | /* This function executes a pattern match on a sample. It applies pattern <expr> |
| 41 | * to sample <smp>. If <sample> is not NULL, a pointer to an optional sample |
| 42 | * associated to the matching patterned will be put there. The function returns |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 43 | * PAT_MATCH or PAT_NOMATCH. |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 44 | */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 45 | inline int pattern_exec_match(struct pattern_expr *expr, struct sample *smp, struct sample_storage **sample); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 46 | |
| 47 | /* |
| 48 | * |
| 49 | * The following functions are general purpose pattern matching functions. |
| 50 | * |
| 51 | */ |
| 52 | |
| 53 | |
| 54 | /* ignore the current line */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 55 | int pat_parse_nothing(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 56 | |
| 57 | /* NB: For two strings to be identical, it is required that their lengths match */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 58 | int pat_match_str(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 59 | |
| 60 | /* NB: For two binary buffers to be identical, it is required that their lengths match */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 61 | int pat_match_bin(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 62 | |
| 63 | /* Checks that the length of the pattern in <test> is included between min and max */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 64 | int pat_match_len(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 65 | |
| 66 | /* Checks that the integer in <test> is included between min and max */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 67 | int pat_match_int(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 68 | |
| 69 | /* Parse an integer. It is put both in min and max. */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 70 | int pat_parse_int(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 71 | |
| 72 | /* Parse an version. It is put both in min and max. */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 73 | int pat_parse_dotted_ver(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 74 | |
| 75 | /* Parse a range of integers delimited by either ':' or '-'. If only one |
| 76 | * integer is read, it is set as both min and max. |
| 77 | */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 78 | int pat_parse_range(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 79 | |
| 80 | /* Parse a string. It is allocated and duplicated. */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 81 | int pat_parse_str(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 82 | |
| 83 | /* Parse a hexa binary definition. It is allocated and duplicated. */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 84 | int pat_parse_bin(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 85 | |
| 86 | /* Parse and concatenate strings into one. It is allocated and duplicated. */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 87 | int pat_parse_strcat(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 88 | |
| 89 | /* Parse a regex. It is allocated. */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 90 | int pat_parse_reg(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 91 | |
| 92 | /* Parse an IP address and an optional mask in the form addr[/mask]. |
| 93 | * The addr may either be an IPv4 address or a hostname. The mask |
| 94 | * may either be a dotted mask or a number of bits. Returns 1 if OK, |
| 95 | * otherwise 0. |
| 96 | */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 97 | int pat_parse_ip(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 98 | |
| 99 | /* always return false */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 100 | int pat_match_nothing(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 101 | |
| 102 | /* Checks that the pattern matches the end of the tested string. */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 103 | int pat_match_end(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 104 | |
| 105 | /* Checks that the pattern matches the beginning of the tested string. */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 106 | int pat_match_beg(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 107 | |
| 108 | /* Checks that the pattern is included inside the tested string. */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 109 | int pat_match_sub(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 110 | |
| 111 | /* Checks that the pattern is included inside the tested string, but enclosed |
| 112 | * between slashes or at the beginning or end of the string. Slashes at the |
| 113 | * beginning or end of the pattern are ignored. |
| 114 | */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 115 | int pat_match_dir(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 116 | |
| 117 | /* Checks that the pattern is included inside the tested string, but enclosed |
| 118 | * between dots or at the beginning or end of the string. Dots at the beginning |
| 119 | * or end of the pattern are ignored. |
| 120 | */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 121 | int pat_match_dom(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 122 | |
| 123 | /* Check that the IPv4 address in <test> matches the IP/mask in pattern */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 124 | int pat_match_ip(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 125 | |
| 126 | /* Executes a regex. It temporarily changes the data to add a trailing zero, |
| 127 | * and restores the previous character when leaving. |
| 128 | */ |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 129 | int pat_match_reg(struct sample *smp, struct pattern *pattern); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 130 | |
Thierry FOURNIER | a65b343 | 2013-11-28 18:22:00 +0100 | [diff] [blame^] | 131 | int pattern_read_from_file(struct pattern_expr *expr, const char *filename, int patflags, char **err); |
| 132 | void pattern_free(struct pattern *pat); |
| 133 | void pattern_prune_expr(struct pattern_expr *expr); |
| 134 | void pattern_init_expr(struct pattern_expr *expr); |
Thierry FOURNIER | ed66c29 | 2013-11-28 11:05:19 +0100 | [diff] [blame] | 135 | |
| 136 | #endif |