| | 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 |
181 |
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 |
24280 |
vxp_NextToken(struct vxp *vxp) |
| 120 |
|
{ |
| 121 |
|
|
| 122 |
24280 |
AN(vxp->t); |
| 123 |
24280 |
vxp->t = VTAILQ_NEXT(vxp->t, list); |
| 124 |
24280 |
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 |
24280 |
} |
| 131 |
|
|
| 132 |
|
void |
| 133 |
7360 |
vxp__Expect(struct vxp *vxp, unsigned tok) |
| 134 |
|
{ |
| 135 |
|
|
| 136 |
7360 |
if (vxp->t->tok == tok) |
| 137 |
7360 |
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 |
7360 |
} |
| 143 |
|
|
| 144 |
|
static void |
| 145 |
50240 |
vxp_DoFree(struct vxp *vxp, void *p) |
| 146 |
|
{ |
| 147 |
|
struct membit *mb; |
| 148 |
|
|
| 149 |
50240 |
mb = calloc(1, sizeof *mb); |
| 150 |
50240 |
AN(mb); |
| 151 |
50240 |
mb->ptr = p; |
| 152 |
50240 |
VTAILQ_INSERT_TAIL(&vxp->membits, mb, list); |
| 153 |
50240 |
} |
| 154 |
|
|
| 155 |
|
void * |
| 156 |
50240 |
vxp_Alloc(struct vxp *vxp, unsigned len) |
| 157 |
|
{ |
| 158 |
|
void *p; |
| 159 |
|
|
| 160 |
50240 |
p = calloc(1, len); |
| 161 |
50240 |
AN(p); |
| 162 |
50240 |
vxp_DoFree(vxp, p); |
| 163 |
50240 |
return (p); |
| 164 |
|
} |
| 165 |
|
|
| 166 |
|
static struct vxp * |
| 167 |
7480 |
vxp_New(struct vsb *sb) |
| 168 |
|
{ |
| 169 |
|
struct vxp *vxp; |
| 170 |
|
|
| 171 |
7480 |
AN(sb); |
| 172 |
|
|
| 173 |
7480 |
ALLOC_OBJ(vxp, VXP_MAGIC); |
| 174 |
7480 |
AN(vxp); |
| 175 |
7480 |
VTAILQ_INIT(&vxp->membits); |
| 176 |
7480 |
VTAILQ_INIT(&vxp->tokens); |
| 177 |
7480 |
vxp->sb = sb; |
| 178 |
|
|
| 179 |
7480 |
return (vxp); |
| 180 |
|
} |
| 181 |
|
|
| 182 |
|
static void |
| 183 |
7480 |
vxp_Delete(struct vxp **pvxp) |
| 184 |
|
{ |
| 185 |
|
struct vxp *vxp; |
| 186 |
|
struct membit *mb; |
| 187 |
|
|
| 188 |
7480 |
TAKE_OBJ_NOTNULL(vxp, pvxp, VXP_MAGIC); |
| 189 |
|
|
| 190 |
57720 |
while (!VTAILQ_EMPTY(&vxp->membits)) { |
| 191 |
50240 |
mb = VTAILQ_FIRST(&vxp->membits); |
| 192 |
50240 |
VTAILQ_REMOVE(&vxp->membits, mb, list); |
| 193 |
50240 |
free(mb->ptr); |
| 194 |
50240 |
free(mb); |
| 195 |
|
} |
| 196 |
|
|
| 197 |
7480 |
FREE_OBJ(vxp); |
| 198 |
7480 |
} |
| 199 |
|
|
| 200 |
|
struct vex * |
| 201 |
7480 |
vex_New(const char *query, struct vsb *sb, unsigned options) |
| 202 |
|
{ |
| 203 |
|
struct vxp *vxp; |
| 204 |
|
struct vex *vex; |
| 205 |
|
|
| 206 |
7480 |
AN(query); |
| 207 |
7480 |
AN(sb); |
| 208 |
7480 |
vxp = vxp_New(sb); |
| 209 |
7480 |
vxp->b = query; |
| 210 |
7480 |
vxp->e = query + strlen(query); |
| 211 |
7480 |
vxp->vex_options = options; |
| 212 |
7480 |
if (options & VEX_OPT_CASELESS) |
| 213 |
0 |
vxp->vre_options |= VRE_CASELESS; |
| 214 |
|
|
| 215 |
7480 |
vxp_Lexer(vxp); |
| 216 |
|
|
| 217 |
|
#ifdef VXP_DEBUG |
| 218 |
120 |
vxp_PrintTokens(vxp); |
| 219 |
|
#endif |
| 220 |
|
|
| 221 |
7480 |
if (vxp->err) { |
| 222 |
160 |
vxp_Delete(&vxp); |
| 223 |
160 |
AZ(vxp); |
| 224 |
160 |
return (NULL); |
| 225 |
|
} |
| 226 |
|
|
| 227 |
7320 |
vex = vxp_Parse(vxp); |
| 228 |
|
|
| 229 |
|
#ifdef VXP_DEBUG |
| 230 |
120 |
if (vex != NULL) |
| 231 |
80 |
vex_PrintTree(vex); |
| 232 |
|
#endif |
| 233 |
|
|
| 234 |
7320 |
vxp_Delete(&vxp); |
| 235 |
7320 |
AZ(vxp); |
| 236 |
|
|
| 237 |
7320 |
return (vex); |
| 238 |
7480 |
} |