blob: 56ae22899d1b352baca1b587ef43994b07993787 [file] [log] [blame]
Willy Tarreaua84d3742007-05-07 00:36:48 +02001/*
Willy Tarreau2bbba412010-01-28 16:48:33 +01002 * include/proto/acl.h
3 * This file provides interface definitions for ACL manipulation.
4 *
Willy Tarreaud4c33c82013-01-07 21:59:07 +01005 * Copyright (C) 2000-2013 Willy Tarreau - w@1wt.eu
Willy Tarreau2bbba412010-01-28 16:48:33 +01006 *
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 */
Willy Tarreaua84d3742007-05-07 00:36:48 +020021
22#ifndef _PROTO_ACL_H
23#define _PROTO_ACL_H
24
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020025#include <haproxy/api.h>
Willy Tarreaua84d3742007-05-07 00:36:48 +020026#include <types/acl.h>
27
28/*
29 * FIXME: we need destructor functions too !
30 */
31
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010032/* Negate an acl result. This turns (ACL_MATCH_FAIL, ACL_MATCH_MISS,
33 * ACL_MATCH_PASS) into (ACL_MATCH_PASS, ACL_MATCH_MISS, ACL_MATCH_FAIL).
Willy Tarreau11382812008-07-09 16:18:21 +020034 */
Willy Tarreau0cba6072013-11-28 22:21:02 +010035static inline enum acl_test_res acl_neg(enum acl_test_res res)
Willy Tarreau11382812008-07-09 16:18:21 +020036{
37 return (3 >> res);
38}
39
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010040/* Convert an acl result to a boolean. Only ACL_MATCH_PASS returns 1. */
Willy Tarreau0cba6072013-11-28 22:21:02 +010041static inline int acl_pass(enum acl_test_res res)
Willy Tarreau11382812008-07-09 16:18:21 +020042{
43 return (res >> 1);
44}
Willy Tarreaua84d3742007-05-07 00:36:48 +020045
46/* Return a pointer to the ACL <name> within the list starting at <head>, or
47 * NULL if not found.
48 */
49struct acl *find_acl_by_name(const char *name, struct list *head);
50
51/* Return a pointer to the ACL keyword <kw> within the list starting at <head>,
52 * or NULL if not found. Note that if <kw> contains an opening parenthesis,
53 * only the left part of it is checked.
54 */
55struct acl_keyword *find_acl_kw(const char *kw);
56
57/* Parse an ACL expression starting at <args>[0], and return it.
58 * Right now, the only accepted syntax is :
59 * <subject> [<value>...]
60 */
Thierry FOURNIER0d6ba512014-02-11 03:31:34 +010061struct acl_expr *parse_acl_expr(const char **args, char **err, struct arg_list *al, const char *file, int line);
Willy Tarreaua84d3742007-05-07 00:36:48 +020062
Krzysztof Piotr Oledzkia643baf2008-05-29 23:53:44 +020063/* Purge everything in the acl <acl>, then return <acl>. */
64struct acl *prune_acl(struct acl *acl);
65
Willy Tarreaua84d3742007-05-07 00:36:48 +020066/* Parse an ACL with the name starting at <args>[0], and with a list of already
67 * known ACLs in <acl>. If the ACL was not in the list, it will be added.
68 * A pointer to that ACL is returned.
69 *
70 * args syntax: <aclname> <acl_expr>
71 */
Thierry FOURNIER0d6ba512014-02-11 03:31:34 +010072struct acl *parse_acl(const char **args, struct list *known_acl, char **err, struct arg_list *al, const char *file, int line);
Willy Tarreaua84d3742007-05-07 00:36:48 +020073
74/* Purge everything in the acl_cond <cond>, then return <cond>. */
75struct acl_cond *prune_acl_cond(struct acl_cond *cond);
76
77/* Parse an ACL condition starting at <args>[0], relying on a list of already
78 * known ACLs passed in <known_acl>. The new condition is returned (or NULL in
79 * case of low memory). Supports multiple conditions separated by "or".
80 */
Willy Tarreau0cba6072013-11-28 22:21:02 +010081struct acl_cond *parse_acl_cond(const char **args, struct list *known_acl,
Thierry FOURNIER0d6ba512014-02-11 03:31:34 +010082 enum acl_cond_pol pol, char **err, struct arg_list *al,
83 const char *file, int line);
Willy Tarreaua84d3742007-05-07 00:36:48 +020084
Willy Tarreau2bbba412010-01-28 16:48:33 +010085/* Builds an ACL condition starting at the if/unless keyword. The complete
86 * condition is returned. NULL is returned in case of error or if the first
87 * word is neither "if" nor "unless". It automatically sets the file name and
Willy Tarreau25320b22013-03-24 07:22:08 +010088 * the line number in the condition for better error reporting, and sets the
89 * HTTP initialization requirements in the proxy. If <err> is not NULL, it will
Willy Tarreaub7451bb2012-04-27 12:38:15 +020090 * be set to an error message upon errors, that the caller will have to free.
Willy Tarreau2bbba412010-01-28 16:48:33 +010091 */
Christopher Faulet1b421ea2017-09-22 14:38:56 +020092struct acl_cond *build_acl_cond(const char *file, int line, struct list *known_acl,
93 struct proxy *px, const char **args, char **err);
Willy Tarreau2bbba412010-01-28 16:48:33 +010094
Thierry FOURNIERa65b3432013-11-28 18:22:00 +010095/* Execute condition <cond> and return either ACL_TEST_FAIL, ACL_TEST_MISS or
96 * ACL_TEST_PASS depending on the test results. ACL_TEST_MISS may only be
97 * returned if <opt> does not contain SMP_OPT_FINAL, indicating that incomplete
98 * data is being examined. The function automatically sets SMP_OPT_ITERATE. This
99 * function only computes the condition, it does not apply the polarity required
100 * by IF/UNLESS, it's up to the caller to do this.
Willy Tarreaua84d3742007-05-07 00:36:48 +0200101 */
Willy Tarreau192252e2015-04-04 01:47:55 +0200102enum acl_test_res acl_exec_cond(struct acl_cond *cond, struct proxy *px, struct session *sess, struct stream *strm, unsigned int opt);
Willy Tarreaua84d3742007-05-07 00:36:48 +0200103
Willy Tarreaua91d0a52013-03-25 08:12:18 +0100104/* Returns a pointer to the first ACL conflicting with usage at place <where>
105 * which is one of the SMP_VAL_* bits indicating a check place, or NULL if
106 * no conflict is found. Only full conflicts are detected (ACL is not usable).
107 * Use the next function to check for useless keywords.
108 */
109const struct acl *acl_cond_conflicts(const struct acl_cond *cond, unsigned int where);
110
111/* Returns a pointer to the first ACL and its first keyword to conflict with
112 * usage at place <where> which is one of the SMP_VAL_* bits indicating a check
113 * place. Returns true if a conflict is found, with <acl> and <kw> set (if non
114 * null), or false if not conflict is found. The first useless keyword is
115 * returned.
Willy Tarreaudd64f8d2008-07-27 22:02:32 +0200116 */
Willy Tarreau93fddf12013-03-31 22:59:32 +0200117int acl_cond_kw_conflicts(const struct acl_cond *cond, unsigned int where, struct acl const **acl, char const **kw);
Willy Tarreaudd64f8d2008-07-27 22:02:32 +0200118
Krzysztof Piotr Oledzkif9423ae2010-01-29 19:26:18 +0100119/*
120 * Find targets for userlist and groups in acl. Function returns the number
121 * of errors or OK if everything is fine.
122 */
123int acl_find_targets(struct proxy *p);
124
Willy Tarreaua84d3742007-05-07 00:36:48 +0200125/* Return a pointer to the ACL <name> within the list starting at <head>, or
126 * NULL if not found.
127 */
128struct acl *find_acl_by_name(const char *name, struct list *head);
129
130/*
131 * Registers the ACL keyword list <kwl> as a list of valid keywords for next
132 * parsing sessions.
133 */
134void acl_register_keywords(struct acl_kw_list *kwl);
135
136/*
137 * Unregisters the ACL keyword list <kwl> from the list of valid keywords.
138 */
139void acl_unregister_keywords(struct acl_kw_list *kwl);
140
Willy Tarreau8ed669b2013-01-11 15:49:37 +0100141/* initializes ACLs by resolving the sample fetch names they rely upon.
142 * Returns 0 on success, otherwise an error.
143 */
144int init_acl();
145
Willy Tarreauf3d25982007-05-08 22:45:09 +0200146
Willy Tarreaua84d3742007-05-07 00:36:48 +0200147#endif /* _PROTO_ACL_H */
148
149/*
150 * Local variables:
151 * c-indent-level: 8
152 * c-basic-offset: 8
153 * End:
154 */