configlexer.lex revision 269257
1%{ 2/* 3 * configlexer.lex - lexical analyzer for unbound config file 4 * 5 * Copyright (c) 2001-2006, NLnet Labs. All rights reserved 6 * 7 * See LICENSE for the license. 8 * 9 */ 10 11#include "config.h" 12 13#include <ctype.h> 14#include <string.h> 15#include <strings.h> 16#ifdef HAVE_GLOB_H 17# include <glob.h> 18#endif 19 20#include "util/config_file.h" 21#include "configparser.h" 22void ub_c_error(const char *message); 23 24#if 0 25#define LEXOUT(s) printf s /* used ONLY when debugging */ 26#else 27#define LEXOUT(s) 28#endif 29 30/** avoid warning in about fwrite return value */ 31#define ECHO ub_c_error_msg("syntax error at text: %s", ub_c_text) 32 33/** A parser variable, this is a statement in the config file which is 34 * of the form variable: value1 value2 ... nargs is the number of values. */ 35#define YDVAR(nargs, var) \ 36 num_args=(nargs); \ 37 LEXOUT(("v(%s%d) ", ub_c_text, num_args)); \ 38 if(num_args > 0) { BEGIN(val); } \ 39 return (var); 40 41struct inc_state { 42 char* filename; 43 int line; 44 YY_BUFFER_STATE buffer; 45 struct inc_state* next; 46}; 47static struct inc_state* config_include_stack = NULL; 48static int inc_depth = 0; 49static int inc_prev = 0; 50static int num_args = 0; 51 52void init_cfg_parse(void) 53{ 54 config_include_stack = NULL; 55 inc_depth = 0; 56 inc_prev = 0; 57 num_args = 0; 58} 59 60static void config_start_include(const char* filename) 61{ 62 FILE *input; 63 struct inc_state* s; 64 char* nm; 65 if(inc_depth++ > 100000) { 66 ub_c_error_msg("too many include files"); 67 return; 68 } 69 if(strlen(filename) == 0) { 70 ub_c_error_msg("empty include file name"); 71 return; 72 } 73 s = (struct inc_state*)malloc(sizeof(*s)); 74 if(!s) { 75 ub_c_error_msg("include %s: malloc failure", filename); 76 return; 77 } 78 if(cfg_parser->chroot && strncmp(filename, cfg_parser->chroot, 79 strlen(cfg_parser->chroot)) == 0) { 80 filename += strlen(cfg_parser->chroot); 81 } 82 nm = strdup(filename); 83 if(!nm) { 84 ub_c_error_msg("include %s: strdup failure", filename); 85 free(s); 86 return; 87 } 88 input = fopen(filename, "r"); 89 if(!input) { 90 ub_c_error_msg("cannot open include file '%s': %s", 91 filename, strerror(errno)); 92 free(s); 93 free(nm); 94 return; 95 } 96 LEXOUT(("switch_to_include_file(%s)\n", filename)); 97 s->filename = cfg_parser->filename; 98 s->line = cfg_parser->line; 99 s->buffer = YY_CURRENT_BUFFER; 100 s->next = config_include_stack; 101 config_include_stack = s; 102 cfg_parser->filename = nm; 103 cfg_parser->line = 1; 104 yy_switch_to_buffer(yy_create_buffer(input, YY_BUF_SIZE)); 105} 106 107static void config_start_include_glob(const char* filename) 108{ 109 110 /* check for wildcards */ 111#ifdef HAVE_GLOB 112 glob_t g; 113 size_t i; 114 int r, flags; 115 if(!(!strchr(filename, '*') && !strchr(filename, '?') && !strchr(filename, '[') && 116 !strchr(filename, '{') && !strchr(filename, '~'))) { 117 flags = 0 118#ifdef GLOB_ERR 119 | GLOB_ERR 120#endif 121#ifdef GLOB_NOSORT 122 | GLOB_NOSORT 123#endif 124#ifdef GLOB_BRACE 125 | GLOB_BRACE 126#endif 127#ifdef GLOB_TILDE 128 | GLOB_TILDE 129#endif 130 ; 131 memset(&g, 0, sizeof(g)); 132 r = glob(filename, flags, NULL, &g); 133 if(r) { 134 /* some error */ 135 globfree(&g); 136 if(r == GLOB_NOMATCH) 137 return; /* no matches for pattern */ 138 config_start_include(filename); /* let original deal with it */ 139 return; 140 } 141 /* process files found, if any */ 142 for(i=0; i<(size_t)g.gl_pathc; i++) { 143 config_start_include(g.gl_pathv[i]); 144 } 145 globfree(&g); 146 return; 147 } 148#endif /* HAVE_GLOB */ 149 150 config_start_include(filename); 151} 152 153static void config_end_include(void) 154{ 155 struct inc_state* s = config_include_stack; 156 --inc_depth; 157 if(!s) return; 158 free(cfg_parser->filename); 159 cfg_parser->filename = s->filename; 160 cfg_parser->line = s->line; 161 yy_delete_buffer(YY_CURRENT_BUFFER); 162 yy_switch_to_buffer(s->buffer); 163 config_include_stack = s->next; 164 free(s); 165} 166 167#ifndef yy_set_bol /* compat definition, for flex 2.4.6 */ 168#define yy_set_bol(at_bol) \ 169 { \ 170 if ( ! yy_current_buffer ) \ 171 yy_current_buffer = yy_create_buffer( ub_c_in, YY_BUF_SIZE ); \ 172 yy_current_buffer->yy_ch_buf[0] = ((at_bol)?'\n':' '); \ 173 } 174#endif 175 176%} 177%option noinput 178%option nounput 179%{ 180#ifndef YY_NO_UNPUT 181#define YY_NO_UNPUT 1 182#endif 183#ifndef YY_NO_INPUT 184#define YY_NO_INPUT 1 185#endif 186%} 187 188SPACE [ \t] 189LETTER [a-zA-Z] 190UNQUOTEDLETTER [^\'\"\n\r \t\\]|\\. 191UNQUOTEDLETTER_NOCOLON [^\:\'\"\n\r \t\\]|\\. 192NEWLINE [\r\n] 193COMMENT \# 194COLON \: 195DQANY [^\"\n\r\\]|\\. 196SQANY [^\'\n\r\\]|\\. 197 198%x quotedstring singlequotedstr include include_quoted val 199 200%% 201<INITIAL,val>{SPACE}* { 202 LEXOUT(("SP ")); /* ignore */ } 203<INITIAL,val>{SPACE}*{COMMENT}.* { 204 /* note that flex makes the longest match and '.' is any but not nl */ 205 LEXOUT(("comment(%s) ", ub_c_text)); /* ignore */ } 206server{COLON} { YDVAR(0, VAR_SERVER) } 207num-threads{COLON} { YDVAR(1, VAR_NUM_THREADS) } 208verbosity{COLON} { YDVAR(1, VAR_VERBOSITY) } 209port{COLON} { YDVAR(1, VAR_PORT) } 210outgoing-range{COLON} { YDVAR(1, VAR_OUTGOING_RANGE) } 211outgoing-port-permit{COLON} { YDVAR(1, VAR_OUTGOING_PORT_PERMIT) } 212outgoing-port-avoid{COLON} { YDVAR(1, VAR_OUTGOING_PORT_AVOID) } 213outgoing-num-tcp{COLON} { YDVAR(1, VAR_OUTGOING_NUM_TCP) } 214incoming-num-tcp{COLON} { YDVAR(1, VAR_INCOMING_NUM_TCP) } 215do-ip4{COLON} { YDVAR(1, VAR_DO_IP4) } 216do-ip6{COLON} { YDVAR(1, VAR_DO_IP6) } 217do-udp{COLON} { YDVAR(1, VAR_DO_UDP) } 218do-tcp{COLON} { YDVAR(1, VAR_DO_TCP) } 219tcp-upstream{COLON} { YDVAR(1, VAR_TCP_UPSTREAM) } 220ssl-upstream{COLON} { YDVAR(1, VAR_SSL_UPSTREAM) } 221ssl-service-key{COLON} { YDVAR(1, VAR_SSL_SERVICE_KEY) } 222ssl-service-pem{COLON} { YDVAR(1, VAR_SSL_SERVICE_PEM) } 223ssl-port{COLON} { YDVAR(1, VAR_SSL_PORT) } 224do-daemonize{COLON} { YDVAR(1, VAR_DO_DAEMONIZE) } 225interface{COLON} { YDVAR(1, VAR_INTERFACE) } 226ip-address{COLON} { YDVAR(1, VAR_INTERFACE) } 227outgoing-interface{COLON} { YDVAR(1, VAR_OUTGOING_INTERFACE) } 228interface-automatic{COLON} { YDVAR(1, VAR_INTERFACE_AUTOMATIC) } 229so-rcvbuf{COLON} { YDVAR(1, VAR_SO_RCVBUF) } 230so-sndbuf{COLON} { YDVAR(1, VAR_SO_SNDBUF) } 231so-reuseport{COLON} { YDVAR(1, VAR_SO_REUSEPORT) } 232chroot{COLON} { YDVAR(1, VAR_CHROOT) } 233username{COLON} { YDVAR(1, VAR_USERNAME) } 234directory{COLON} { YDVAR(1, VAR_DIRECTORY) } 235logfile{COLON} { YDVAR(1, VAR_LOGFILE) } 236pidfile{COLON} { YDVAR(1, VAR_PIDFILE) } 237root-hints{COLON} { YDVAR(1, VAR_ROOT_HINTS) } 238edns-buffer-size{COLON} { YDVAR(1, VAR_EDNS_BUFFER_SIZE) } 239msg-buffer-size{COLON} { YDVAR(1, VAR_MSG_BUFFER_SIZE) } 240msg-cache-size{COLON} { YDVAR(1, VAR_MSG_CACHE_SIZE) } 241msg-cache-slabs{COLON} { YDVAR(1, VAR_MSG_CACHE_SLABS) } 242rrset-cache-size{COLON} { YDVAR(1, VAR_RRSET_CACHE_SIZE) } 243rrset-cache-slabs{COLON} { YDVAR(1, VAR_RRSET_CACHE_SLABS) } 244cache-max-ttl{COLON} { YDVAR(1, VAR_CACHE_MAX_TTL) } 245cache-min-ttl{COLON} { YDVAR(1, VAR_CACHE_MIN_TTL) } 246infra-host-ttl{COLON} { YDVAR(1, VAR_INFRA_HOST_TTL) } 247infra-lame-ttl{COLON} { YDVAR(1, VAR_INFRA_LAME_TTL) } 248infra-cache-slabs{COLON} { YDVAR(1, VAR_INFRA_CACHE_SLABS) } 249infra-cache-numhosts{COLON} { YDVAR(1, VAR_INFRA_CACHE_NUMHOSTS) } 250infra-cache-lame-size{COLON} { YDVAR(1, VAR_INFRA_CACHE_LAME_SIZE) } 251num-queries-per-thread{COLON} { YDVAR(1, VAR_NUM_QUERIES_PER_THREAD) } 252jostle-timeout{COLON} { YDVAR(1, VAR_JOSTLE_TIMEOUT) } 253delay-close{COLON} { YDVAR(1, VAR_DELAY_CLOSE) } 254target-fetch-policy{COLON} { YDVAR(1, VAR_TARGET_FETCH_POLICY) } 255harden-short-bufsize{COLON} { YDVAR(1, VAR_HARDEN_SHORT_BUFSIZE) } 256harden-large-queries{COLON} { YDVAR(1, VAR_HARDEN_LARGE_QUERIES) } 257harden-glue{COLON} { YDVAR(1, VAR_HARDEN_GLUE) } 258harden-dnssec-stripped{COLON} { YDVAR(1, VAR_HARDEN_DNSSEC_STRIPPED) } 259harden-below-nxdomain{COLON} { YDVAR(1, VAR_HARDEN_BELOW_NXDOMAIN) } 260harden-referral-path{COLON} { YDVAR(1, VAR_HARDEN_REFERRAL_PATH) } 261use-caps-for-id{COLON} { YDVAR(1, VAR_USE_CAPS_FOR_ID) } 262unwanted-reply-threshold{COLON} { YDVAR(1, VAR_UNWANTED_REPLY_THRESHOLD) } 263private-address{COLON} { YDVAR(1, VAR_PRIVATE_ADDRESS) } 264private-domain{COLON} { YDVAR(1, VAR_PRIVATE_DOMAIN) } 265prefetch-key{COLON} { YDVAR(1, VAR_PREFETCH_KEY) } 266prefetch{COLON} { YDVAR(1, VAR_PREFETCH) } 267stub-zone{COLON} { YDVAR(0, VAR_STUB_ZONE) } 268name{COLON} { YDVAR(1, VAR_NAME) } 269stub-addr{COLON} { YDVAR(1, VAR_STUB_ADDR) } 270stub-host{COLON} { YDVAR(1, VAR_STUB_HOST) } 271stub-prime{COLON} { YDVAR(1, VAR_STUB_PRIME) } 272stub-first{COLON} { YDVAR(1, VAR_STUB_FIRST) } 273forward-zone{COLON} { YDVAR(0, VAR_FORWARD_ZONE) } 274forward-addr{COLON} { YDVAR(1, VAR_FORWARD_ADDR) } 275forward-host{COLON} { YDVAR(1, VAR_FORWARD_HOST) } 276forward-first{COLON} { YDVAR(1, VAR_FORWARD_FIRST) } 277do-not-query-address{COLON} { YDVAR(1, VAR_DO_NOT_QUERY_ADDRESS) } 278do-not-query-localhost{COLON} { YDVAR(1, VAR_DO_NOT_QUERY_LOCALHOST) } 279access-control{COLON} { YDVAR(2, VAR_ACCESS_CONTROL) } 280hide-identity{COLON} { YDVAR(1, VAR_HIDE_IDENTITY) } 281hide-version{COLON} { YDVAR(1, VAR_HIDE_VERSION) } 282identity{COLON} { YDVAR(1, VAR_IDENTITY) } 283version{COLON} { YDVAR(1, VAR_VERSION) } 284module-config{COLON} { YDVAR(1, VAR_MODULE_CONF) } 285dlv-anchor{COLON} { YDVAR(1, VAR_DLV_ANCHOR) } 286dlv-anchor-file{COLON} { YDVAR(1, VAR_DLV_ANCHOR_FILE) } 287trust-anchor-file{COLON} { YDVAR(1, VAR_TRUST_ANCHOR_FILE) } 288auto-trust-anchor-file{COLON} { YDVAR(1, VAR_AUTO_TRUST_ANCHOR_FILE) } 289trusted-keys-file{COLON} { YDVAR(1, VAR_TRUSTED_KEYS_FILE) } 290trust-anchor{COLON} { YDVAR(1, VAR_TRUST_ANCHOR) } 291val-override-date{COLON} { YDVAR(1, VAR_VAL_OVERRIDE_DATE) } 292val-sig-skew-min{COLON} { YDVAR(1, VAR_VAL_SIG_SKEW_MIN) } 293val-sig-skew-max{COLON} { YDVAR(1, VAR_VAL_SIG_SKEW_MAX) } 294val-bogus-ttl{COLON} { YDVAR(1, VAR_BOGUS_TTL) } 295val-clean-additional{COLON} { YDVAR(1, VAR_VAL_CLEAN_ADDITIONAL) } 296val-permissive-mode{COLON} { YDVAR(1, VAR_VAL_PERMISSIVE_MODE) } 297ignore-cd-flag{COLON} { YDVAR(1, VAR_IGNORE_CD_FLAG) } 298val-log-level{COLON} { YDVAR(1, VAR_VAL_LOG_LEVEL) } 299key-cache-size{COLON} { YDVAR(1, VAR_KEY_CACHE_SIZE) } 300key-cache-slabs{COLON} { YDVAR(1, VAR_KEY_CACHE_SLABS) } 301neg-cache-size{COLON} { YDVAR(1, VAR_NEG_CACHE_SIZE) } 302val-nsec3-keysize-iterations{COLON} { 303 YDVAR(1, VAR_VAL_NSEC3_KEYSIZE_ITERATIONS) } 304add-holddown{COLON} { YDVAR(1, VAR_ADD_HOLDDOWN) } 305del-holddown{COLON} { YDVAR(1, VAR_DEL_HOLDDOWN) } 306keep-missing{COLON} { YDVAR(1, VAR_KEEP_MISSING) } 307use-syslog{COLON} { YDVAR(1, VAR_USE_SYSLOG) } 308log-time-ascii{COLON} { YDVAR(1, VAR_LOG_TIME_ASCII) } 309log-queries{COLON} { YDVAR(1, VAR_LOG_QUERIES) } 310local-zone{COLON} { YDVAR(2, VAR_LOCAL_ZONE) } 311local-data{COLON} { YDVAR(1, VAR_LOCAL_DATA) } 312local-data-ptr{COLON} { YDVAR(1, VAR_LOCAL_DATA_PTR) } 313unblock-lan-zones{COLON} { YDVAR(1, VAR_UNBLOCK_LAN_ZONES) } 314statistics-interval{COLON} { YDVAR(1, VAR_STATISTICS_INTERVAL) } 315statistics-cumulative{COLON} { YDVAR(1, VAR_STATISTICS_CUMULATIVE) } 316extended-statistics{COLON} { YDVAR(1, VAR_EXTENDED_STATISTICS) } 317remote-control{COLON} { YDVAR(0, VAR_REMOTE_CONTROL) } 318control-enable{COLON} { YDVAR(1, VAR_CONTROL_ENABLE) } 319control-interface{COLON} { YDVAR(1, VAR_CONTROL_INTERFACE) } 320control-port{COLON} { YDVAR(1, VAR_CONTROL_PORT) } 321server-key-file{COLON} { YDVAR(1, VAR_SERVER_KEY_FILE) } 322server-cert-file{COLON} { YDVAR(1, VAR_SERVER_CERT_FILE) } 323control-key-file{COLON} { YDVAR(1, VAR_CONTROL_KEY_FILE) } 324control-cert-file{COLON} { YDVAR(1, VAR_CONTROL_CERT_FILE) } 325python-script{COLON} { YDVAR(1, VAR_PYTHON_SCRIPT) } 326python{COLON} { YDVAR(0, VAR_PYTHON) } 327domain-insecure{COLON} { YDVAR(1, VAR_DOMAIN_INSECURE) } 328minimal-responses{COLON} { YDVAR(1, VAR_MINIMAL_RESPONSES) } 329rrset-roundrobin{COLON} { YDVAR(1, VAR_RRSET_ROUNDROBIN) } 330max-udp-size{COLON} { YDVAR(1, VAR_MAX_UDP_SIZE) } 331<INITIAL,val>{NEWLINE} { LEXOUT(("NL\n")); cfg_parser->line++; } 332 333 /* Quoted strings. Strip leading and ending quotes */ 334<val>\" { BEGIN(quotedstring); LEXOUT(("QS ")); } 335<quotedstring><<EOF>> { 336 ub_c_error("EOF inside quoted string"); 337 if(--num_args == 0) { BEGIN(INITIAL); } 338 else { BEGIN(val); } 339} 340<quotedstring>{DQANY}* { LEXOUT(("STR(%s) ", ub_c_text)); yymore(); } 341<quotedstring>{NEWLINE} { ub_c_error("newline inside quoted string, no end \""); 342 cfg_parser->line++; BEGIN(INITIAL); } 343<quotedstring>\" { 344 LEXOUT(("QE ")); 345 if(--num_args == 0) { BEGIN(INITIAL); } 346 else { BEGIN(val); } 347 ub_c_text[ub_c_leng - 1] = '\0'; 348 ub_c_lval.str = strdup(ub_c_text); 349 if(!ub_c_lval.str) 350 ub_c_error("out of memory"); 351 return STRING_ARG; 352} 353 354 /* Single Quoted strings. Strip leading and ending quotes */ 355<val>\' { BEGIN(singlequotedstr); LEXOUT(("SQS ")); } 356<singlequotedstr><<EOF>> { 357 ub_c_error("EOF inside quoted string"); 358 if(--num_args == 0) { BEGIN(INITIAL); } 359 else { BEGIN(val); } 360} 361<singlequotedstr>{SQANY}* { LEXOUT(("STR(%s) ", ub_c_text)); yymore(); } 362<singlequotedstr>{NEWLINE} { ub_c_error("newline inside quoted string, no end '"); 363 cfg_parser->line++; BEGIN(INITIAL); } 364<singlequotedstr>\' { 365 LEXOUT(("SQE ")); 366 if(--num_args == 0) { BEGIN(INITIAL); } 367 else { BEGIN(val); } 368 ub_c_text[ub_c_leng - 1] = '\0'; 369 ub_c_lval.str = strdup(ub_c_text); 370 if(!ub_c_lval.str) 371 ub_c_error("out of memory"); 372 return STRING_ARG; 373} 374 375 /* include: directive */ 376<INITIAL,val>include{COLON} { 377 LEXOUT(("v(%s) ", ub_c_text)); inc_prev = YYSTATE; BEGIN(include); } 378<include><<EOF>> { 379 ub_c_error("EOF inside include directive"); 380 BEGIN(inc_prev); 381} 382<include>{SPACE}* { LEXOUT(("ISP ")); /* ignore */ } 383<include>{NEWLINE} { LEXOUT(("NL\n")); cfg_parser->line++;} 384<include>\" { LEXOUT(("IQS ")); BEGIN(include_quoted); } 385<include>{UNQUOTEDLETTER}* { 386 LEXOUT(("Iunquotedstr(%s) ", ub_c_text)); 387 config_start_include_glob(ub_c_text); 388 BEGIN(inc_prev); 389} 390<include_quoted><<EOF>> { 391 ub_c_error("EOF inside quoted string"); 392 BEGIN(inc_prev); 393} 394<include_quoted>{DQANY}* { LEXOUT(("ISTR(%s) ", ub_c_text)); yymore(); } 395<include_quoted>{NEWLINE} { ub_c_error("newline before \" in include name"); 396 cfg_parser->line++; BEGIN(inc_prev); } 397<include_quoted>\" { 398 LEXOUT(("IQE ")); 399 ub_c_text[ub_c_leng - 1] = '\0'; 400 config_start_include_glob(ub_c_text); 401 BEGIN(inc_prev); 402} 403<INITIAL,val><<EOF>> { 404 LEXOUT(("LEXEOF ")); 405 yy_set_bol(1); /* Set beginning of line, so "^" rules match. */ 406 if (!config_include_stack) { 407 yyterminate(); 408 } else { 409 fclose(ub_c_in); 410 config_end_include(); 411 } 412} 413 414<val>{UNQUOTEDLETTER}* { LEXOUT(("unquotedstr(%s) ", ub_c_text)); 415 if(--num_args == 0) { BEGIN(INITIAL); } 416 ub_c_lval.str = strdup(ub_c_text); return STRING_ARG; } 417 418{UNQUOTEDLETTER_NOCOLON}* { 419 ub_c_error_msg("unknown keyword '%s'", ub_c_text); 420 } 421 422<*>. { 423 ub_c_error_msg("stray '%s'", ub_c_text); 424 } 425 426%% 427