varnish-cache/lib/libvarnishapi/vsl_arg.c
0
/*-
1
 * Copyright (c) 2006 Verdens Gang AS
2
 * Copyright (c) 2006-2015 Varnish Software AS
3
 * All rights reserved.
4
 *
5
 * Author: Poul-Henning Kamp <phk@phk.freebsd.dk>
6
 * Author: Martin Blix Grydeland <martin@varnish-software.com>
7
 *
8
 * SPDX-License-Identifier: BSD-2-Clause
9
 *
10
 * Redistribution and use in source and binary forms, with or without
11
 * modification, are permitted provided that the following conditions
12
 * are met:
13
 * 1. Redistributions of source code must retain the above copyright
14
 *    notice, this list of conditions and the following disclaimer.
15
 * 2. Redistributions in binary form must reproduce the above copyright
16
 *    notice, this list of conditions and the following disclaimer in the
17
 *    documentation and/or other materials provided with the distribution.
18
 *
19
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
20
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
21
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
22
 * ARE DISCLAIMED.  IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
23
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
24
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
25
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
28
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29
 * SUCH DAMAGE.
30
 */
31
32
#include "config.h"
33
34
#include <ctype.h>
35
#include <limits.h>
36
#include <math.h>
37
#include <stdio.h>
38
#include <stdlib.h>
39
40
#include "vdef.h"
41
#include "vas.h"
42
#include "miniobj.h"
43
44
#include "vbm.h"
45
#include "vnum.h"
46
#include "vqueue.h"
47
#include "vre.h"
48
#include "vsb.h"
49
50
#include "vapi/vsl.h"
51
52
#include "vsl_api.h"
53
54
/*--------------------------------------------------------------------
55
 * Look up a tag
56
 *   0..255     tag number
57
 *   -1         no tag matches
58
 *   -2         multiple tags match
59
 */
60
61
int
62 19730
VSL_Name2Tag(const char *name, int l)
63
{
64
        int i, n;
65
66 19730
        if (l == -1)
67 1850
                l = strlen(name);
68 19730
        n = -1;
69 888640
        for (i = 0; i < SLT__MAX; i++) {
70 888480
                if (VSL_tags[i] != NULL &&
71 842830
                    !strncasecmp(name, VSL_tags[i], l)) {
72 19910
                        if (strlen(VSL_tags[i]) == l) {
73
                                /* Exact match */
74 19570
                                return (i);
75
                        }
76 340
                        if (n == -1)
77 40
                                n = i;
78
                        else
79 300
                                n = -2;
80 340
                }
81 868910
        }
82 160
        return (n);
83 19730
}
84
85
int
86 2450
VSL_Glob2Tags(const char *glob, int l, VSL_tagfind_f *func, void *priv)
87
{
88 2450
        const char *p1 = NULL;
89 2450
        const char *p2 = NULL;
90
        const char *e, *p;
91 2450
        int i, l1 = 0, l2 = 0, r = 0;
92
93 2450
        AN(glob);
94 2450
        if (l >= 0)
95 610
                e = glob + l;
96
        else
97 1840
                e = strchr(glob, '\0');
98 2450
        if (glob == e)
99 20
                return (-1);            // Empty pattern cannot match
100
101 19670
        for (p = glob; p < e; p++)
102 17450
                if (*p == '*')
103 210
                        break;
104
105 2430
        if (p == e) {                   // No wildcard
106 2220
                i = VSL_Name2Tag(glob, l);
107 2220
                if (i < 0)
108 90
                        return (i);
109 2130
                if (func != NULL)
110 2130
                        (func)(i, priv);
111 2130
                return (1);
112
        }
113
114 210
        if (p != glob) {                // Prefix match
115 140
                p1 = glob;
116 140
                l1 = p - p1;
117 140
        }
118
119 210
        if (p != e - 1) {               // Postfix match
120 100
                p2 = p + 1;
121 100
                l2 = e - p2;
122 100
        }
123
124 400
        for (p++; p < e; p++)
125 250
                if (*p == '*')
126 60
                        return (-3);    // More than one wildcard
127
128 38550
        for (i = 0; i < SLT__MAX; i++) {
129 38400
                p = VSL_tags[i];
130 38400
                if (p == NULL)
131 24450
                        continue;
132 13950
                e = strchr(p, '\0');
133 13950
                if ((e - p) - l1 < l2)
134 980
                        continue;
135 12970
                if (p1 != NULL && strncasecmp(p, p1, l1))
136 9410
                        continue;
137 3560
                if (p2 != NULL && strncasecmp(e - l2, p2, l2))
138 1600
                        continue;
139 1960
                if (func != NULL)
140 1960
                        (func)(i, priv);
141 1960
                r++;
142 1960
        }
143 150
        if (r == 0)
144 10
                return (-1);
145 140
        return (r);
146 2450
}
147
148
int
149 480
VSL_List2Tags(const char *list, int l, VSL_tagfind_f *func, void *priv)
150
{
151
        const char *p, *b, *e;
152 480
        int r, t = 0;
153
154 480
        p = list;
155 480
        if (l >= 0)
156 30
                e = p + l;
157
        else
158 450
                e = strchr(p, '\0');
159 1000
        while (p < e) {
160 770
                while (p < e && *p == ',')
161 160
                        p++;
162 610
                if (p == e)
163 10
                        break;
164 600
                b = p;
165 3960
                while (p < e && *p != ',')
166 3360
                        p++;
167 600
                r = VSL_Glob2Tags(b, p - b, func, priv);
168 600
                if (r < 0)
169 80
                        return (r);
170 520
                t += r;
171
        }
172 400
        if (t == 0)
173 10
                return (-1);
174 390
        return (t);
175 480
}
176
177
const char *const VSLQ_grouping[VSL_g__MAX] = {
178
        [VSL_g_raw]     = "raw",
179
        [VSL_g_vxid]    = "vxid",
180
        [VSL_g_request] = "request",
181
        [VSL_g_session] = "session",
182
};
183
184
int
185 2380
VSLQ_Name2Grouping(const char *name, int l)
186
{
187
        int i, n;
188
189 2380
        AN(name);
190 2380
        if (l == -1)
191 140
                l = strlen(name);
192 2380
        n = -1;
193 4260
        for (i = 0; i < VSL_g__MAX; i++) {
194 4240
                if (!strncasecmp(name, VSLQ_grouping[i], l)) {
195 2380
                        if (strlen(VSLQ_grouping[i]) == l) {
196
                                /* Exact match */
197 2360
                                return (i);
198
                        }
199 20
                        if (n == -1)
200 10
                                n = i;
201
                        else
202 10
                                n = -2;
203 20
                }
204 1880
        }
205 20
        return (n);
206 2380
}
207
208
void v_matchproto_(VSL_tagfind_f)
209 1920
vsl_vbm_bitset(int bit, void *priv)
210
{
211
212 1920
        vbit_set((struct vbitmap *)priv, bit);
213 1920
}
214
215
void v_matchproto_(VSL_tagfind_f)
216 420
vsl_vbm_bitclr(int bit, void *priv)
217
{
218
219 420
        vbit_clr((struct vbitmap *)priv, bit);
220 420
}
221
222
static int
223 400
vsl_ix_arg(struct VSL_data *vsl, int opt, const char *arg)
224
{
225
        int i;
226
227 400
        CHECK_OBJ_NOTNULL(vsl, VSL_MAGIC);
228 400
        vsl->flags |= F_SEEN_ixIX;
229
230 800
        i = VSL_List2Tags(arg, -1, opt == 'x' ? vsl_vbm_bitset : vsl_vbm_bitclr,
231 400
            vsl->vbm_suppress);
232 400
        if (i == -1)
233 20
                return (vsl_diag(vsl, "-%c: \"%s\" matches zero tags",
234 10
                    (char)opt, arg));
235 390
        else if (i == -2)
236 20
                return (vsl_diag(vsl, "-%c: \"%s\" is ambiguous",
237 10
                    (char)opt, arg));
238 380
        else if (i == -3)
239 40
                return (vsl_diag(vsl, "-%c: Syntax error in \"%s\"",
240 20
                    (char)opt, arg));
241
242 360
        return (1);
243 400
}
244
245
static int
246 80
vsl_IX_arg(struct VSL_data *vsl, int opt, const char *arg)
247
{
248
        int i, l, off, err;
249
        const char *b, *e;
250
        vre_t *vre;
251
        struct vsb vsb[1];
252
        struct vslf *vslf;
253 80
        struct vbitmap *tags = NULL;
254
        char errbuf[VRE_ERROR_LEN];
255
256
257 80
        CHECK_OBJ_NOTNULL(vsl, VSL_MAGIC);
258 80
        AN(arg);
259 80
        vsl->flags |= F_SEEN_ixIX;
260
261 80
        b = arg;
262 80
        e = strchr(b, ':');
263 80
        if (e) {
264 30
                tags = vbit_new(SLT__MAX);
265 30
                AN(tags);
266 30
                l = e - b;
267 30
                i = VSL_List2Tags(b, l, vsl_vbm_bitset, tags);
268 30
                if (i < 0)
269 30
                        vbit_destroy(tags);
270 30
                if (i == -1)
271 20
                        return (vsl_diag(vsl,
272
                            "-%c: \"%*.*s\" matches zero tags",
273 10
                            (char)opt, l, l, b));
274 20
                else if (i == -2)
275 20
                        return (vsl_diag(vsl,
276
                            "-%c: \"%*.*s\" is ambiguous",
277 10
                            (char)opt, l, l, b));
278 10
                else if (i <= -3)
279 20
                        return (vsl_diag(vsl,
280
                            "-%c: Syntax error in \"%*.*s\"",
281 10
                            (char)opt, l, l, b));
282 0
                b = e + 1;
283 0
        }
284
285 50
        vre = VRE_compile(b, vsl->C_opt ? VRE_CASELESS : 0, &err, &off, 1);
286 50
        if (vre == NULL) {
287 10
                if (tags)
288 0
                        vbit_destroy(tags);
289 10
                AN(VSB_init(vsb, errbuf, sizeof errbuf));
290 10
                AZ(VRE_error(vsb, err));
291 10
                AZ(VSB_finish(vsb));
292 10
                VSB_fini(vsb);
293 20
                return (vsl_diag(vsl, "-%c: Regex error at position %d (%s)",
294 10
                    (char)opt, off, errbuf));
295
        }
296
297 40
        ALLOC_OBJ(vslf, VSLF_MAGIC);
298 40
        AN(vslf);
299 40
        vslf->tags = tags;
300 40
        vslf->vre = vre;
301
302 40
        if (opt == 'I')
303 20
                VTAILQ_INSERT_TAIL(&vsl->vslf_select, vslf, list);
304
        else {
305 20
                assert(opt == 'X');
306 20
                VTAILQ_INSERT_TAIL(&vsl->vslf_suppress, vslf, list);
307
        }
308
309 40
        return (1);
310 80
}
311
312
static int
313 110
vsl_R_arg(struct VSL_data *vsl, const char *arg)
314
{
315 110
        char buf[32] = "";
316
        char *p;
317
        long l;
318
319 110
        AN(arg);
320 110
        CHECK_OBJ_NOTNULL(vsl, VSL_MAGIC);
321
322 110
        errno = 0;
323 110
        l = strtol(arg, &p, 0);
324 110
        if ((l == LONG_MIN || l == LONG_MAX) && errno == ERANGE)
325 0
                return (vsl_diag(vsl, "-R: Range error"));
326 110
        if (l <= 0 || l > INT_MAX)
327 30
                return (vsl_diag(vsl, "-R: Range error"));
328 80
        vsl->R_opt_l = l;
329 80
        assert(p != arg);
330 80
        AN(p);
331 80
        if (*p == '\0') {
332 0
                vsl->R_opt_p = 1.0;
333 0
                return (1);
334
        }
335 80
        if (*p != '/' || p[1] == '\0')
336 10
                return (vsl_diag(vsl, "-R: Syntax error"));
337 70
        p++;
338 70
        if (strlen(p) > sizeof(buf) - 2)
339 10
                return (vsl_diag(vsl, "-R: Syntax error"));
340 60
        if (!isdigit(*p))
341 30
                strcat(buf, "1");
342 60
        strcat(buf, p);
343 60
        vsl->R_opt_p = VNUM_duration(buf);
344 60
        if (isnan(vsl->R_opt_p) || vsl->R_opt_p <= 0.0)
345 40
                return (vsl_diag(vsl, "-R: Syntax error: Invalid duration"));
346 20
        return (1);
347 110
}
348
349
int
350 1690
VSL_Arg(struct VSL_data *vsl, int opt, const char *arg)
351
{
352
        int i;
353
        char *p;
354
        double d;
355
        long l;
356
357 1690
        CHECK_OBJ_NOTNULL(vsl, VSL_MAGIC);
358
        /* If first option is 'i', set all bits for suppression */
359 1690
        if ((opt == 'i' || opt == 'I') && !(vsl->flags & F_SEEN_ixIX))
360 69390
                for (i = 0; i < SLT__MAX; i++)
361 69390
                        vbit_set(vsl->vbm_suppress, i);
362
363 1690
        switch (opt) {
364 190
        case 'b': vsl->b_opt = 1; return (1);
365 750
        case 'c': vsl->c_opt = 1; return (1);
366
        case 'C':
367
                /* Caseless regular expressions */
368 20
                vsl->C_opt = 1;
369 20
                return (1);
370
        case 'E':
371 90
                vsl->E_opt = 1;
372 90
                vsl->c_opt = 1;
373 90
                return (1);
374 400
        case 'i': case 'x': return (vsl_ix_arg(vsl, opt, arg));
375 80
        case 'I': case 'X': return (vsl_IX_arg(vsl, opt, arg));
376
        case 'L':
377 10
                AN(arg);
378 10
                l = strtol(arg, &p, 0);
379 10
                while (isspace(*p))
380 0
                        p++;
381 10
                if (*p != '\0')
382 0
                        return (vsl_diag(vsl, "-L: Syntax error"));
383 10
                if (l <= 0 || l > INT_MAX)
384 10
                        return (vsl_diag(vsl, "-L: Range error"));
385 0
                vsl->L_opt = (int)l;
386 0
                return (1);
387
        case 'R':
388 110
                return (vsl_R_arg(vsl, arg));
389
        case 'T':
390 10
                AN(arg);
391 10
                d = VNUM(arg);
392 10
                if (isnan(d))
393 0
                        return (vsl_diag(vsl, "-T: Syntax error"));
394 10
                if (d < 0.)
395 0
                        return (vsl_diag(vsl, "-T: Range error"));
396 10
                vsl->T_opt = d;
397 10
                return (1);
398 10
        case 'v': vsl->v_opt = 1; return (1);
399
        default:
400 20
                return (0);
401
        }
402 1690
}