1 /*
2 * libxlu_cfg.c - xl configuration file parsing: setup and helper functions
3 *
4 * Copyright (C) 2010 Citrix Ltd.
5 * Author Ian Jackson <ian.jackson@eu.citrix.com>
6 *
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU Lesser General Public License as published
9 * by the Free Software Foundation; version 2.1 only. with the special
10 * exception on linking described in file LICENSE.
11 *
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU Lesser General Public License for more details.
16 */
17
18
19 #include "libxl_osdeps.h" /* must come before any other headers */
20
21 #include <limits.h>
22
23 #include "libxlu_internal.h"
24 #include "libxlu_cfg_y.h"
25 #include "libxlu_cfg_l.h"
26 #include "libxlu_cfg_i.h"
27
xlu_cfg_init(FILE * report,const char * report_source)28 XLU_Config *xlu_cfg_init(FILE *report, const char *report_source) {
29 XLU_Config *cfg;
30
31 cfg= malloc(sizeof(*cfg));
32 if (!cfg) return 0;
33
34 cfg->report= report;
35 cfg->config_source= strdup(report_source);
36 if (!cfg->config_source) { free(cfg); return 0; }
37
38 cfg->settings= 0;
39 return cfg;
40 }
41
ctx_prep(CfgParseContext * ctx,XLU_Config * cfg)42 static int ctx_prep(CfgParseContext *ctx, XLU_Config *cfg) {
43 int e;
44
45 ctx->cfg= cfg;
46 ctx->err= 0;
47 ctx->lexerrlineno= -1;
48 ctx->likely_python= 0;
49 ctx->scanner= 0;
50
51 e= xlu__cfg_yylex_init_extra(ctx, &ctx->scanner);
52 if (e) {
53 fprintf(cfg->report,"%s: unable to create scanner: %s\n",
54 cfg->config_source, strerror(e));
55 return e;
56 }
57 return 0;
58 }
59
ctx_dispose(CfgParseContext * ctx)60 static void ctx_dispose(CfgParseContext *ctx) {
61 if (ctx->scanner) xlu__cfg_yylex_destroy(ctx->scanner);
62 }
63
parse(CfgParseContext * ctx)64 static void parse(CfgParseContext *ctx) {
65 /* On return, ctx.err will be updated with the error status. */
66 int r;
67
68 xlu__cfg_yyset_lineno(1, ctx->scanner);
69
70 r= xlu__cfg_yyparse(ctx);
71 if (r) assert(ctx->err);
72
73 if (ctx->err && ctx->likely_python) {
74 fputs(
75 "warning: Config file looks like it contains Python code.\n"
76 "warning: Arbitrary Python is no longer supported.\n"
77 "warning: See http://wiki.xen.org/wiki/PythonInXlConfig\n",
78 ctx->cfg->report);
79 }
80 }
81
xlu_cfg_readfile(XLU_Config * cfg,const char * real_filename)82 int xlu_cfg_readfile(XLU_Config *cfg, const char *real_filename) {
83 FILE *f = 0;
84 int e;
85
86 CfgParseContext ctx;
87 e = ctx_prep(&ctx, cfg);
88 if (e) { ctx.err= e; goto xe; }
89
90 f= fopen(real_filename, "r");
91 if (!f) {
92 ctx.err = errno;
93 fprintf(cfg->report,"%s: unable to open configuration file: %s\n",
94 real_filename, strerror(e));
95 goto xe;
96 }
97
98 xlu__cfg_yyrestart(f, ctx.scanner);
99
100 parse(&ctx);
101
102 xe:
103 ctx_dispose(&ctx);
104 if (f) fclose(f);
105
106 return ctx.err;
107 }
108
xlu_cfg_readdata(XLU_Config * cfg,const char * data,int length)109 int xlu_cfg_readdata(XLU_Config *cfg, const char *data, int length) {
110 int e;
111 YY_BUFFER_STATE buf= 0;
112
113 CfgParseContext ctx;
114 e= ctx_prep(&ctx, cfg);
115 if (e) { ctx.err= e; goto xe; }
116
117 buf = xlu__cfg_yy_scan_bytes(data, length, ctx.scanner);
118 if (!buf) {
119 fprintf(cfg->report,"%s: unable to allocate scanner buffer\n",
120 cfg->config_source);
121 ctx.err= ENOMEM;
122 goto xe;
123 }
124
125 parse(&ctx);
126
127 xe:
128 if (buf) xlu__cfg_yy_delete_buffer(buf, ctx.scanner);
129 ctx_dispose(&ctx);
130
131 return ctx.err;
132 }
133
xlu__cfg_value_free(XLU_ConfigValue * value)134 void xlu__cfg_value_free(XLU_ConfigValue *value)
135 {
136 int i;
137
138 if (!value) return;
139
140 switch (value->type) {
141 case XLU_STRING:
142 free(value->u.string);
143 break;
144 case XLU_LIST:
145 for (i = 0; i < value->u.list.nvalues; i++)
146 xlu__cfg_value_free(value->u.list.values[i]);
147 free(value->u.list.values);
148 }
149 free(value);
150 }
151
xlu__cfg_set_free(XLU_ConfigSetting * set)152 void xlu__cfg_set_free(XLU_ConfigSetting *set) {
153 if (!set) return;
154 free(set->name);
155 xlu__cfg_value_free(set->value);
156 free(set);
157 }
158
xlu_cfg_destroy(XLU_Config * cfg)159 void xlu_cfg_destroy(XLU_Config *cfg) {
160 XLU_ConfigSetting *set, *set_next;
161
162 if (!cfg) return;
163 for (set= cfg->settings;
164 set;
165 set= set_next) {
166 set_next= set->next;
167 xlu__cfg_set_free(set);
168 }
169 free(cfg->config_source);
170 free(cfg);
171 }
172
find(const XLU_Config * cfg,const char * n)173 static XLU_ConfigSetting *find(const XLU_Config *cfg, const char *n) {
174 XLU_ConfigSetting *set;
175
176 for (set= cfg->settings;
177 set;
178 set= set->next)
179 if (!strcmp(set->name, n))
180 return set;
181 return 0;
182 }
183
find_atom(const XLU_Config * cfg,const char * n,XLU_ConfigSetting ** set_r,int dont_warn)184 static int find_atom(const XLU_Config *cfg, const char *n,
185 XLU_ConfigSetting **set_r, int dont_warn) {
186 XLU_ConfigSetting *set;
187
188 set= find(cfg,n);
189 if (!set) return ESRCH;
190
191 if (set->value->type!=XLU_STRING) {
192 if (!dont_warn)
193 fprintf(cfg->report,
194 "%s:%d: warning: parameter `%s' is"
195 " a list but should be a single value\n",
196 cfg->config_source, set->lineno, n);
197 return EINVAL;
198 }
199 *set_r= set;
200 return 0;
201 }
202
203
xlu_cfg_value_type(const XLU_ConfigValue * value)204 enum XLU_ConfigValueType xlu_cfg_value_type(const XLU_ConfigValue *value)
205 {
206 return value->type;
207 }
208
xlu_cfg_value_get_string(const XLU_Config * cfg,XLU_ConfigValue * value,char ** value_r,int dont_warn)209 int xlu_cfg_value_get_string(const XLU_Config *cfg, XLU_ConfigValue *value,
210 char **value_r, int dont_warn)
211 {
212 if (value->type != XLU_STRING) {
213 if (!dont_warn)
214 fprintf(cfg->report,
215 "%s:%d:%d: warning: value is not a string\n",
216 cfg->config_source, value->loc.first_line,
217 value->loc.first_column);
218 *value_r = NULL;
219 return EINVAL;
220 }
221
222 *value_r = value->u.string;
223 return 0;
224 }
225
xlu_cfg_value_get_list(const XLU_Config * cfg,XLU_ConfigValue * value,XLU_ConfigList ** value_r,int dont_warn)226 int xlu_cfg_value_get_list(const XLU_Config *cfg, XLU_ConfigValue *value,
227 XLU_ConfigList **value_r, int dont_warn)
228 {
229 if (value->type != XLU_LIST) {
230 if (!dont_warn)
231 fprintf(cfg->report,
232 "%s:%d:%d: warning: value is not a list\n",
233 cfg->config_source, value->loc.first_line,
234 value->loc.first_column);
235 *value_r = NULL;
236 return EINVAL;
237 }
238
239 *value_r = &value->u.list;
240 return 0;
241 }
242
xlu_cfg_get_listitem2(const XLU_ConfigList * list,int entry)243 XLU_ConfigValue *xlu_cfg_get_listitem2(const XLU_ConfigList *list,
244 int entry)
245 {
246 if (entry < 0 || entry >= list->nvalues) return NULL;
247 return list->values[entry];
248 }
249
xlu_cfg_get_string(const XLU_Config * cfg,const char * n,const char ** value_r,int dont_warn)250 int xlu_cfg_get_string(const XLU_Config *cfg, const char *n,
251 const char **value_r, int dont_warn) {
252 XLU_ConfigSetting *set;
253 int e;
254
255 e= find_atom(cfg,n,&set,dont_warn); if (e) return e;
256 *value_r= set->value->u.string;
257 return 0;
258 }
259
xlu_cfg_replace_string(const XLU_Config * cfg,const char * n,char ** value_r,int dont_warn)260 int xlu_cfg_replace_string(const XLU_Config *cfg, const char *n,
261 char **value_r, int dont_warn) {
262 XLU_ConfigSetting *set;
263 int e;
264
265 e= find_atom(cfg,n,&set,dont_warn); if (e) return e;
266 free(*value_r);
267 *value_r= strdup(set->value->u.string);
268 return 0;
269 }
270
xlu_cfg_get_long(const XLU_Config * cfg,const char * n,long * value_r,int dont_warn)271 int xlu_cfg_get_long(const XLU_Config *cfg, const char *n,
272 long *value_r, int dont_warn) {
273 long l;
274 XLU_ConfigSetting *set;
275 int e;
276 char *ep;
277
278 e= find_atom(cfg,n,&set,dont_warn); if (e) return e;
279 errno= 0; l= strtol(set->value->u.string, &ep, 0);
280 e= errno;
281 if (errno) {
282 e= errno;
283 assert(e==EINVAL || e==ERANGE);
284 if (!dont_warn)
285 fprintf(cfg->report,
286 "%s:%d: warning: parameter `%s' could not be parsed"
287 " as a number: %s\n",
288 cfg->config_source, set->lineno, n, strerror(e));
289 return e;
290 }
291 if (*ep || ep==set->value->u.string) {
292 if (!dont_warn)
293 fprintf(cfg->report,
294 "%s:%d: warning: parameter `%s' is not a valid number\n",
295 cfg->config_source, set->lineno, n);
296 return EINVAL;
297 }
298 *value_r= l;
299 return 0;
300 }
301
xlu_cfg_get_defbool(const XLU_Config * cfg,const char * n,libxl_defbool * b,int dont_warn)302 int xlu_cfg_get_defbool(const XLU_Config *cfg, const char *n, libxl_defbool *b,
303 int dont_warn)
304 {
305 int ret;
306 long l;
307
308 ret = xlu_cfg_get_long(cfg, n, &l, dont_warn);
309 if (ret) return ret;
310 libxl_defbool_set(b, !!l);
311 return 0;
312 }
313
xlu_cfg_get_list(const XLU_Config * cfg,const char * n,XLU_ConfigList ** list_r,int * entries_r,int dont_warn)314 int xlu_cfg_get_list(const XLU_Config *cfg, const char *n,
315 XLU_ConfigList **list_r, int *entries_r, int dont_warn) {
316 XLU_ConfigSetting *set;
317 set= find(cfg,n); if (!set) return ESRCH;
318 if (set->value->type!=XLU_LIST) {
319 if (!dont_warn) {
320 fprintf(cfg->report,
321 "%s:%d: warning: parameter `%s' is a single value"
322 " but should be a list\n",
323 cfg->config_source, set->lineno, n);
324 }
325 return EINVAL;
326 }
327 if (list_r) *list_r= &set->value->u.list;
328 if (entries_r) *entries_r= set->value->u.list.nvalues;
329 return 0;
330 }
331
xlu_cfg_get_list_as_string_list(const XLU_Config * cfg,const char * n,libxl_string_list * psl,int dont_warn)332 int xlu_cfg_get_list_as_string_list(const XLU_Config *cfg, const char *n,
333 libxl_string_list *psl, int dont_warn) {
334 int i, rc, nr;
335 XLU_ConfigList *list;
336 libxl_string_list sl;
337
338 rc = xlu_cfg_get_list(cfg, n, &list, &nr, dont_warn);
339 if (rc) return rc;
340
341 sl = malloc(sizeof(char*)*(nr + 1));
342 if (sl == NULL) return ENOMEM;
343
344 for (i=0; i<nr; i++) {
345 const char *a = xlu_cfg_get_listitem(list, i);
346 sl[i] = a ? strdup(a) : NULL;
347 }
348
349 sl[nr] = NULL;
350
351 *psl = sl;
352 return 0;
353 }
354
xlu_cfg_get_listitem(const XLU_ConfigList * list,int entry)355 const char *xlu_cfg_get_listitem(const XLU_ConfigList *list, int entry) {
356 if (entry < 0 || entry >= list->nvalues) return 0;
357 if (list->values[entry]->type != XLU_STRING) return 0;
358 return list->values[entry]->u.string;
359 }
360
361
xlu__cfg_string_mk(CfgParseContext * ctx,char * atom,YYLTYPE * loc)362 XLU_ConfigValue *xlu__cfg_string_mk(CfgParseContext *ctx, char *atom,
363 YYLTYPE *loc)
364 {
365 XLU_ConfigValue *value = NULL;
366
367 if (ctx->err) goto x;
368
369 value = malloc(sizeof(*value));
370 if (!value) goto xe;
371 value->type = XLU_STRING;
372 value->u.string = atom;
373 memcpy(&value->loc, loc, sizeof(*loc));
374
375 return value;
376
377 xe:
378 ctx->err= errno;
379 x:
380 free(value);
381 free(atom);
382 return NULL;
383 }
384
xlu__cfg_list_mk(CfgParseContext * ctx,XLU_ConfigValue * val,YYLTYPE * loc)385 XLU_ConfigValue *xlu__cfg_list_mk(CfgParseContext *ctx,
386 XLU_ConfigValue *val,
387 YYLTYPE *loc)
388 {
389 XLU_ConfigValue *value = NULL;
390 XLU_ConfigValue **values = NULL;
391
392 if (ctx->err) goto x;
393
394 values = malloc(sizeof(*values));
395 if (!values) goto xe;
396 values[0] = val;
397
398 value = malloc(sizeof(*value));
399 if (!value) goto xe;
400 value->type = XLU_LIST;
401 value->u.list.nvalues = !!val;
402 value->u.list.avalues = 1;
403 value->u.list.values = values;
404 memcpy(&value->loc, loc, sizeof(*loc));
405
406 return value;
407
408 xe:
409 ctx->err= errno;
410 x:
411 free(value);
412 free(values);
413 xlu__cfg_value_free(val);
414 return NULL;
415 }
416
xlu__cfg_list_append(CfgParseContext * ctx,XLU_ConfigValue * list,XLU_ConfigValue * val)417 void xlu__cfg_list_append(CfgParseContext *ctx,
418 XLU_ConfigValue *list,
419 XLU_ConfigValue *val)
420 {
421 if (ctx->err) return;
422
423 assert(val);
424 assert(list->type == XLU_LIST);
425
426 if (list->u.list.nvalues >= list->u.list.avalues) {
427 int new_avalues;
428 XLU_ConfigValue **new_values = NULL;
429
430 if (list->u.list.avalues > INT_MAX / 100) {
431 ctx->err = ERANGE;
432 xlu__cfg_value_free(val);
433 return;
434 }
435
436 new_avalues = list->u.list.avalues * 4;
437 new_values = realloc(list->u.list.values,
438 sizeof(*new_values) * new_avalues);
439 if (!new_values) {
440 ctx->err = errno;
441 xlu__cfg_value_free(val);
442 return;
443 }
444
445 list->u.list.avalues = new_avalues;
446 list->u.list.values = new_values;
447 }
448
449 list->u.list.values[list->u.list.nvalues] = val;
450 list->u.list.nvalues++;
451 }
452
xlu__cfg_set_store(CfgParseContext * ctx,char * name,XLU_ConfigValue * val,int lineno)453 void xlu__cfg_set_store(CfgParseContext *ctx, char *name,
454 XLU_ConfigValue *val, int lineno) {
455 XLU_ConfigSetting *set;
456
457 if (ctx->err) return;
458
459 assert(name);
460 set = malloc(sizeof(*set));
461 if (!set) {
462 ctx->err = errno;
463 return;
464 }
465 set->name= name;
466 set->value = val;
467 set->lineno= lineno;
468 set->next= ctx->cfg->settings;
469 ctx->cfg->settings= set;
470 }
471
xlu__cfgl_strdup(CfgParseContext * ctx,const char * src)472 char *xlu__cfgl_strdup(CfgParseContext *ctx, const char *src) {
473 char *result;
474
475 if (ctx->err) return 0;
476 result= strdup(src);
477 if (!result) ctx->err= errno;
478 return result;
479 }
480
xlu__cfgl_dequote(CfgParseContext * ctx,const char * src)481 char *xlu__cfgl_dequote(CfgParseContext *ctx, const char *src) {
482 char *result;
483 const char *p;
484 char *q;
485 int len, c, nc;
486
487 if (ctx->err) return 0;
488
489 len= strlen(src);
490 assert(len>=2 && src[0]==src[len-1]);
491
492 result= malloc(len-1);
493 if (!result) { ctx->err= errno; return 0; }
494
495 q= result;
496
497 for (p= src+1;
498 p < src+len-1;
499 ) {
500 c= *p++;
501 if (c=='\\') {
502 assert(p < src+len-1);
503 nc= *p++;
504 if (nc=='"' || nc=='\'' || nc=='\\') {
505 *q++= nc;
506 } else if (nc=='a') { *q++= '\007';
507 } else if (nc=='b') { *q++= '\010';
508 } else if (nc=='f') { *q++= '\014';
509 } else if (nc=='n') { *q++= '\n';
510 } else if (nc=='r') { *q++= '\r';
511 } else if (nc=='t') { *q++= '\t';
512 } else if (nc=='v') { *q++= '\013';
513 } else if (nc=='x') {
514
515 #define NUMERIC_CHAR(minlen,maxlen,base,basetext) do{ \
516 char numbuf[(maxlen)+1], *ep; \
517 unsigned long val; \
518 \
519 strncpy(numbuf,p,(maxlen)); \
520 numbuf[(maxlen)]= 0; \
521 val= strtoul(numbuf, &ep, (base)); \
522 if (ep <= numbuf+(minlen)) { \
523 xlu__cfgl_lexicalerror(ctx,"invalid digit after" \
524 " backslash " basetext "numerical character escape" \
525 " in quoted string"); \
526 ctx->err= EINVAL; \
527 goto x; \
528 } \
529 p += (ep - numbuf); \
530 }while(0)
531
532 p++;
533 NUMERIC_CHAR(2,2,16,"hex");
534 } else if (nc>='0' && nc<='7') {
535 NUMERIC_CHAR(1,3,10,"octal");
536 } else {
537 xlu__cfgl_lexicalerror(ctx,
538 "invalid character after backlash in quoted string");
539 ctx->err= EINVAL;
540 goto x;
541 }
542 assert(p <= src+len-1);
543 } else {
544 *q++= c;
545 }
546 }
547
548 x:
549 *q++= 0;
550 return result;
551 }
552
xlu__cfgl_lexicalerror(CfgParseContext * ctx,char const * msg)553 void xlu__cfgl_lexicalerror(CfgParseContext *ctx, char const *msg) {
554 YYLTYPE loc;
555 loc.first_line= xlu__cfg_yyget_lineno(ctx->scanner);
556 xlu__cfg_yyerror(&loc, ctx, msg);
557 ctx->lexerrlineno= loc.first_line;
558 }
559
xlu__cfg_yyerror(YYLTYPE * loc,CfgParseContext * ctx,char const * msg)560 void xlu__cfg_yyerror(YYLTYPE *loc, CfgParseContext *ctx, char const *msg) {
561 const char *text, *newline;
562 int len, lineno;
563
564 lineno= loc->first_line;
565 if (lineno <= ctx->lexerrlineno) return;
566
567 text= xlu__cfg_yyget_text(ctx->scanner);
568 len= xlu__cfg_yyget_leng(ctx->scanner);
569 newline= "";
570 if (len>0 && text[len-1]=='\n') {
571 len--;
572 lineno--;
573 if (!len) {
574 newline= "<newline>";
575 }
576 }
577 while (len>0 && (text[len-1]=='\t' || text[len-1]==' ')) {
578 len--;
579 }
580
581 fprintf(ctx->cfg->report,
582 "%s:%d: config parsing error near %s%.*s%s%s: %s\n",
583 ctx->cfg->config_source, lineno,
584 len?"`":"", len, text, len?"'":"", newline,
585 msg);
586 if (!ctx->err) ctx->err= EINVAL;
587 }
588
589 /*
590 * Local variables:
591 * mode: C
592 * c-basic-offset: 4
593 * indent-tabs-mode: nil
594 * End:
595 */
596