blob: 6d683f8516f7506966df7635c44065582eca4d85 [file] [log] [blame]
Thierry FOURNIERed66c292013-11-28 11:05:19 +01001/*
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 FOURNIERa65b3432013-11-28 18:22:00 +010028 * struct pattern *pattern = NULL
29 * pattern_register(..., &pattern, ...);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010030 *
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010031 * patflag are a lot of 'PAT_F_*' flags pattern compatible. see
Thierry FOURNIERed66c292013-11-28 11:05:19 +010032 * <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 FOURNIERa65b3432013-11-28 18:22:00 +010038int pattern_register(struct pattern_expr *expr, char *text, struct sample_storage *smp, struct pattern **pattern, int patflags, char **err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010039
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 FOURNIERa65b3432013-11-28 18:22:00 +010043 * PAT_MATCH or PAT_NOMATCH.
Thierry FOURNIERed66c292013-11-28 11:05:19 +010044 */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010045inline int pattern_exec_match(struct pattern_expr *expr, struct sample *smp, struct sample_storage **sample);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010046
47/*
48 *
49 * The following functions are general purpose pattern matching functions.
50 *
51 */
52
53
54/* ignore the current line */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010055int pat_parse_nothing(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010056
57/* NB: For two strings to be identical, it is required that their lengths match */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010058int pat_match_str(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010059
60/* NB: For two binary buffers to be identical, it is required that their lengths match */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010061int pat_match_bin(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010062
63/* Checks that the length of the pattern in <test> is included between min and max */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010064int pat_match_len(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010065
66/* Checks that the integer in <test> is included between min and max */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010067int pat_match_int(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010068
69/* Parse an integer. It is put both in min and max. */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010070int pat_parse_int(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010071
72/* Parse an version. It is put both in min and max. */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010073int pat_parse_dotted_ver(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010074
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 FOURNIERa65b3432013-11-28 18:22:00 +010078int pat_parse_range(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010079
80/* Parse a string. It is allocated and duplicated. */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010081int pat_parse_str(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010082
83/* Parse a hexa binary definition. It is allocated and duplicated. */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010084int pat_parse_bin(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010085
86/* Parse and concatenate strings into one. It is allocated and duplicated. */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010087int pat_parse_strcat(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010088
89/* Parse a regex. It is allocated. */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010090int pat_parse_reg(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010091
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 FOURNIERa65b3432013-11-28 18:22:00 +010097int pat_parse_ip(const char **text, struct pattern *pattern, struct sample_storage *smp, int *opaque, char **err);
Thierry FOURNIERed66c292013-11-28 11:05:19 +010098
99/* always return false */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +0100100int pat_match_nothing(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100101
102/* Checks that the pattern matches the end of the tested string. */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +0100103int pat_match_end(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100104
105/* Checks that the pattern matches the beginning of the tested string. */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +0100106int pat_match_beg(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100107
108/* Checks that the pattern is included inside the tested string. */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +0100109int pat_match_sub(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100110
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 FOURNIERa65b3432013-11-28 18:22:00 +0100115int pat_match_dir(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100116
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 FOURNIERa65b3432013-11-28 18:22:00 +0100121int pat_match_dom(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100122
123/* Check that the IPv4 address in <test> matches the IP/mask in pattern */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +0100124int pat_match_ip(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100125
126/* Executes a regex. It temporarily changes the data to add a trailing zero,
127 * and restores the previous character when leaving.
128 */
Thierry FOURNIERa65b3432013-11-28 18:22:00 +0100129int pat_match_reg(struct sample *smp, struct pattern *pattern);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100130
Thierry FOURNIERa65b3432013-11-28 18:22:00 +0100131int pattern_read_from_file(struct pattern_expr *expr, const char *filename, int patflags, char **err);
132void pattern_free(struct pattern *pat);
133void pattern_prune_expr(struct pattern_expr *expr);
134void pattern_init_expr(struct pattern_expr *expr);
Thierry FOURNIERed66c292013-11-28 11:05:19 +0100135
136#endif