varnish-cache/lib/libvarnishapi/vxp.c
0
/*-
1
 * Copyright (c) 2006 Verdens Gang AS
2
 * Copyright (c) 2006-2015 Varnish Software AS
3
 * All rights reserved.
4
 *
5
 * Author: Martin Blix Grydeland <martin@varnish-software.com>
6
 *
7
 * SPDX-License-Identifier: BSD-2-Clause
8
 *
9
 * Redistribution and use in source and binary forms, with or without
10
 * modification, are permitted provided that the following conditions
11
 * are met:
12
 * 1. Redistributions of source code must retain the above copyright
13
 *    notice, this list of conditions and the following disclaimer.
14
 * 2. Redistributions in binary form must reproduce the above copyright
15
 *    notice, this list of conditions and the following disclaimer in the
16
 *    documentation and/or other materials provided with the distribution.
17
 *
18
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21
 * ARE DISCLAIMED.  IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
22
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28
 * SUCH DAMAGE.
29
 *
30
 */
31
32
#include "config.h"
33
34
#include <ctype.h>
35
#include <stdint.h>
36
#include <stdlib.h>
37
#include <string.h>
38
#include <unistd.h> /* for MUSL */
39
40
#include "vdef.h"
41
#include "vas.h"
42
#include "miniobj.h"
43
44
#include "vqueue.h"
45
#include "vre.h"
46
#include "vsb.h"
47
48
#include "vxp.h"
49
50
static void
51 0
vxp_ErrToken(const struct vxp *vxp, const struct token *t)
52
{
53
54 0
        if (t->tok == EOI)
55 0
                VSB_cat(vxp->sb, "end of input");
56
        else
57 0
                VSB_printf(vxp->sb, "'%.*s'", PF(t));
58 0
}
59
60
static void
61 1240
vxp_Pos(const struct vxp *vxp, struct vsb *vsb, const struct token *t,
62
    int tokoff)
63
{
64
        unsigned pos;
65
66 1240
        AN(vxp);
67 1240
        AN(vsb);
68 1240
        AN(t);
69 1240
        assert(t->b >= vxp->b);
70 1240
        pos = (unsigned)(t->b - vxp->b);
71 1240
        if (tokoff > 0)
72 178
                pos += tokoff;
73 1240
        VSB_printf(vsb, "(Pos %u)", pos + 1);
74 1240
}
75
76
static void
77 1240
vxp_quote(const struct vxp *vxp, const char *b, const char *e, int tokoff)
78
{
79
        const char *p;
80
        char c;
81
82 1240
        assert(b <= e);
83 1240
        assert(b >= vxp->b);
84 1240
        assert(e <= vxp->e);
85 20040
        for (p = vxp->b; p < vxp->e; p++) {
86 18800
                if (isspace(*p))
87 2640
                        VSB_putc(vxp->sb, ' ');
88
                else
89 16160
                        VSB_putc(vxp->sb, *p);
90 18800
        }
91 1240
        VSB_putc(vxp->sb, '\n');
92 20040
        for (p = vxp->b; p < vxp->e; p++) {
93 18800
                if (p >= b && p < e) {
94 4040
                        if (p - b == tokoff)
95 80
                                c = '^';
96
                        else
97 3960
                                c = '#';
98 4040
                } else
99 14760
                        c = '-';
100 18800
                VSB_putc(vxp->sb, c);
101 18800
        }
102 1240
        VSB_putc(vxp->sb, '\n');
103 1240
}
104
105
void
106 1240
vxp_ErrWhere(struct vxp *vxp, const struct token *t, int tokoff)
107
{
108
109 1240
        AN(vxp);
110 1240
        AN(t);
111 1240
        vxp_Pos(vxp, vxp->sb, t, tokoff);
112 1240
        VSB_putc(vxp->sb, '\n');
113 1240
        vxp_quote(vxp, t->b, t->e, tokoff);
114 1240
        VSB_putc(vxp->sb, '\n');
115 1240
        vxp->err = 1;
116 1240
}
117
118
void
119 23120
vxp_NextToken(struct vxp *vxp)
120
{
121
122 23120
        AN(vxp->t);
123 23120
        vxp->t = VTAILQ_NEXT(vxp->t, list);
124 23120
        if (vxp->t == NULL) {
125 0
                VSB_cat(vxp->sb,
126
                    "Ran out of input, something is missing or"
127
                    " maybe unbalanced parenthesis\n");
128 0
                vxp->err = 1;
129 0
        }
130 23120
}
131
132
void
133 6920
vxp__Expect(struct vxp *vxp, unsigned tok)
134
{
135
136 6920
        if (vxp->t->tok == tok)
137 6920
                return;
138 0
        VSB_printf(vxp->sb, "Expected %s got ", vxp_tnames[tok]);
139 0
        vxp_ErrToken(vxp, vxp->t);
140 0
        VSB_putc(vxp->sb, ' ');
141 0
        vxp_ErrWhere(vxp, vxp->t, -1);
142 6920
}
143
144
static void
145 47960
vxp_DoFree(struct vxp *vxp, void *p)
146
{
147
        struct membit *mb;
148
149 47960
        mb = calloc(1, sizeof *mb);
150 47960
        AN(mb);
151 47960
        mb->ptr = p;
152 47960
        VTAILQ_INSERT_TAIL(&vxp->membits, mb, list);
153 47960
}
154
155
void *
156 47960
vxp_Alloc(struct vxp *vxp, unsigned len)
157
{
158
        void *p;
159
160 47960
        p = calloc(1, len);
161 47960
        AN(p);
162 47960
        vxp_DoFree(vxp, p);
163 47960
        return (p);
164
}
165
166
static struct vxp *
167 7040
vxp_New(struct vsb *sb)
168
{
169
        struct vxp *vxp;
170
171 7040
        AN(sb);
172
173 7040
        ALLOC_OBJ(vxp, VXP_MAGIC);
174 7040
        AN(vxp);
175 7040
        VTAILQ_INIT(&vxp->membits);
176 7040
        VTAILQ_INIT(&vxp->tokens);
177 7040
        vxp->sb = sb;
178
179 7040
        return (vxp);
180
}
181
182
static void
183 7040
vxp_Delete(struct vxp **pvxp)
184
{
185
        struct vxp *vxp;
186
        struct membit *mb;
187
188 7040
        TAKE_OBJ_NOTNULL(vxp, pvxp, VXP_MAGIC);
189
190 55000
        while (!VTAILQ_EMPTY(&vxp->membits)) {
191 47960
                mb = VTAILQ_FIRST(&vxp->membits);
192 47960
                VTAILQ_REMOVE(&vxp->membits, mb, list);
193 47960
                free(mb->ptr);
194 47960
                free(mb);
195
        }
196
197 7040
        FREE_OBJ(vxp);
198 7040
}
199
200
struct vex *
201 7040
vex_New(const char *query, struct vsb *sb, unsigned options)
202
{
203
        struct vxp *vxp;
204
        struct vex *vex;
205
206 7040
        AN(query);
207 7040
        AN(sb);
208 7040
        vxp = vxp_New(sb);
209 7040
        vxp->b = query;
210 7040
        vxp->e = query + strlen(query);
211 7040
        vxp->vex_options = options;
212 7040
        if (options & VEX_OPT_CASELESS)
213 0
                vxp->vre_options |= VRE_CASELESS;
214
215 7040
        vxp_Lexer(vxp);
216
217
#ifdef VXP_DEBUG
218 120
        vxp_PrintTokens(vxp);
219
#endif
220
221 7040
        if (vxp->err) {
222 160
                vxp_Delete(&vxp);
223 160
                AZ(vxp);
224 160
                return (NULL);
225
        }
226
227 6880
        vex = vxp_Parse(vxp);
228
229
#ifdef VXP_DEBUG
230 120
        if (vex != NULL)
231 80
                vex_PrintTree(vex);
232
#endif
233
234 6880
        vxp_Delete(&vxp);
235 6880
        AZ(vxp);
236
237 6880
        return (vex);
238 7040
}