Blob


1 /* -*- mode: fundamental; indent-tabs-mode: t; -*- */
2 %{
4 /*
5 * Copyright (c) 2021 Omar Polo <op@omarpolo.com>
6 *
7 * Permission to use, copy, modify, and distribute this software for any
8 * purpose with or without fee is hereby granted, provided that the above
9 * copyright notice and this permission notice appear in all copies.
10 *
11 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
12 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
13 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
14 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
15 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
16 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
17 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
18 */
20 #include <errno.h>
21 #include <stdarg.h>
22 #include <stdio.h>
23 #include <string.h>
25 #include "gmid.h"
27 /*
28 * #define YYDEBUG 1
29 * int yydebug = 1;
30 */
32 struct vhost *host;
33 struct location *loc;
35 int goterror = 0;
37 static struct vhost *new_vhost(void);
38 static struct location *new_location(void);
40 void yyerror(const char*, ...);
41 int parse_portno(const char*);
42 void parse_conf(const char*);
43 char *ensure_absolute_path(char*);
44 int check_block_code(int);
45 char *check_block_fmt(char*);
46 int check_strip_no(int);
47 int check_prefork_num(int);
48 void advance_loc(void);
50 %}
52 /* for bison: */
53 /* %define parse.error verbose */
55 %union {
56 char *str;
57 int num;
58 }
60 %token TIPV6 TPORT TPROTOCOLS TMIME TDEFAULT TTYPE
61 %token TCHROOT TUSER TSERVER TPREFORK
62 %token TLOCATION TCERT TKEY TROOT TCGI TLANG TLOG TINDEX TAUTO
63 %token TSTRIP TBLOCK TRETURN TENTRYPOINT TREQUIRE TCLIENT TCA
64 %token TERR
66 %token <str> TSTRING
67 %token <num> TNUM
68 %token <num> TBOOL
70 %%
72 conf : options vhosts ;
74 options : /* empty */
75 | options option
76 ;
78 option : TCHROOT TSTRING { conf.chroot = $2; }
79 | TIPV6 TBOOL { conf.ipv6 = $2; }
80 | TMIME TSTRING TSTRING { add_mime(&conf.mime, $2, $3); }
81 | TPORT TNUM { conf.port = $2; }
82 | TPREFORK TNUM { conf.prefork = check_prefork_num($2); }
83 | TPROTOCOLS TSTRING {
84 if (tls_config_parse_protocols(&conf.protos, $2) == -1)
85 yyerror("invalid protocols string \"%s\"", $2);
86 }
87 | TUSER TSTRING { conf.user = $2; }
88 ;
90 vhosts : /* empty */
91 | vhosts vhost
92 ;
94 vhost : TSERVER TSTRING {
95 host = new_vhost();
96 TAILQ_INSERT_HEAD(&hosts, host, vhosts);
98 loc = new_location();
99 TAILQ_INSERT_HEAD(&host->locations, loc, locations);
101 loc->match = xstrdup("*");
102 host->domain = $2;
104 if (strstr($2, "xn--") != NULL) {
105 warnx("%s:%d \"%s\" looks like punycode: "
106 "you should use the decoded hostname.",
107 config_path, yylineno, $2);
109 } '{' servopts locations '}' {
111 if (host->cert == NULL || host->key == NULL ||
112 host->dir == NULL)
113 yyerror("invalid vhost definition: %s", $2);
115 | error '}' { yyerror("error in server directive"); }
118 servopts : /* empty */
119 | servopts servopt
122 servopt : TCERT TSTRING { host->cert = ensure_absolute_path($2); }
123 | TCGI TSTRING {
124 /* drop the starting '/', if any */
125 if (*$2 == '/')
126 memmove($2, $2+1, strlen($2));
127 host->cgi = $2;
129 | TENTRYPOINT TSTRING {
130 if (host->entrypoint != NULL)
131 yyerror("`entrypoint' specified more than once");
132 while (*$2 == '/')
133 memmove($2, $2+1, strlen($2));
134 host->entrypoint = $2;
136 | TKEY TSTRING { host->key = ensure_absolute_path($2); }
137 | TROOT TSTRING { host->dir = ensure_absolute_path($2); }
138 | locopt
141 locations : /* empty */
142 | locations location
145 location : TLOCATION { advance_loc(); } TSTRING '{' locopts '}' {
146 /* drop the starting '/' if any */
147 if (*$3 == '/')
148 memmove($3, $3+1, strlen($3));
149 loc->match = $3;
151 | error '}'
154 locopts : /* empty */
155 | locopts locopt
158 locopt : TAUTO TINDEX TBOOL { loc->auto_index = $3 ? 1 : -1; }
159 | TBLOCK TRETURN TNUM TSTRING {
160 if (loc->block_fmt != NULL)
161 yyerror("`block' rule specified more than once");
162 loc->block_fmt = check_block_fmt($4);
163 loc->block_code = check_block_code($3);
165 | TBLOCK TRETURN TNUM {
166 if (loc->block_fmt != NULL)
167 yyerror("`block' rule specified more than once");
168 loc->block_fmt = xstrdup("temporary failure");
169 loc->block_code = check_block_code($3);
170 if ($3 >= 30 && $3 < 40)
171 yyerror("missing `meta' for block return %d", $3);
173 | TBLOCK {
174 if (loc->block_fmt != NULL)
175 yyerror("`block' rule specified more than once");
176 loc->block_fmt = xstrdup("temporary failure");
177 loc->block_code = 40;
179 | TDEFAULT TTYPE TSTRING {
180 if (loc->default_mime != NULL)
181 yyerror("`default type' specified more than once");
182 loc->default_mime = $3;
184 | TINDEX TSTRING {
185 if (loc->index != NULL)
186 yyerror("`index' specified more than once");
187 loc->index = $2;
189 | TLANG TSTRING {
190 if (loc->lang != NULL)
191 yyerror("`lang' specified more than once");
192 loc->lang = $2;
194 | TLOG TBOOL { loc->disable_log = !$2; }
195 | TREQUIRE TCLIENT TCA TSTRING {
196 if (loc->reqca != NULL)
197 yyerror("`require client ca' specified more than once");
198 if (*$4 != '/')
199 yyerror("path to certificate must be absolute: %s", $4);
200 if ((loc->reqca = load_ca($4)) == NULL)
201 yyerror("couldn't load ca cert: %s", $4);
202 free($4);
204 | TSTRIP TNUM { loc->strip = check_strip_no($2); }
207 %%
209 static struct vhost *
210 new_vhost(void)
212 return xcalloc(1, sizeof(struct vhost));
215 static struct location *
216 new_location(void)
218 return xcalloc(1, sizeof(struct location));
221 void
222 yyerror(const char *msg, ...)
224 va_list ap;
226 goterror = 1;
228 va_start(ap, msg);
229 fprintf(stderr, "%s:%d: ", config_path, yylineno);
230 vfprintf(stderr, msg, ap);
231 fprintf(stderr, "\n");
232 va_end(ap);
235 int
236 parse_portno(const char *p)
238 const char *errstr;
239 int n;
241 n = strtonum(p, 0, UINT16_MAX, &errstr);
242 if (errstr != NULL)
243 yyerror("port number is %s: %s", errstr, p);
244 return n;
247 void
248 parse_conf(const char *path)
250 config_path = path;
251 if ((yyin = fopen(path, "r")) == NULL)
252 fatal("cannot open config: %s: %s", path, strerror(errno));
253 yyparse();
254 fclose(yyin);
256 if (goterror)
257 exit(1);
259 if (TAILQ_FIRST(&hosts)->domain == NULL)
260 fatal("no vhost defined in %s", path);
263 char *
264 ensure_absolute_path(char *path)
266 if (path == NULL || *path != '/')
267 yyerror("not an absolute path");
268 return path;
271 int
272 check_block_code(int n)
274 if (n < 10 || n >= 70 || (n >= 20 && n <= 29))
275 yyerror("invalid block code %d", n);
276 return n;
279 char *
280 check_block_fmt(char *fmt)
282 char *s;
284 for (s = fmt; *s; ++s) {
285 if (*s != '%')
286 continue;
287 switch (*++s) {
288 case '%':
289 case 'p':
290 case 'q':
291 case 'P':
292 case 'N':
293 break;
294 default:
295 yyerror("invalid format specifier %%%c", *s);
299 return fmt;
302 int
303 check_strip_no(int n)
305 if (n <= 0)
306 yyerror("invalid strip number %d", n);
307 return n;
310 int
311 check_prefork_num(int n)
313 if (n <= 0 || n >= PROC_MAX)
314 yyerror("invalid prefork number %d", n);
315 return n;
318 void
319 advance_loc(void)
321 loc = new_location();
322 TAILQ_INSERT_TAIL(&host->locations, loc, locations);