|  | varnish-cache/lib/libvcc/vcc_source.c | 
| 0 | 
   | 
  /*-  | 
| 1 | 
   | 
   * Copyright (c) 2006 Verdens Gang AS  | 
| 2 | 
   | 
   * Copyright (c) 2006-2015 Varnish Software AS  | 
| 3 | 
   | 
   * All rights reserved.  | 
| 4 | 
   | 
   *  | 
| 5 | 
   | 
   * Author: Poul-Henning Kamp <phk@phk.freebsd.dk>  | 
| 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 | 
   | 
  #include "config.h"  | 
| 32 | 
   | 
   | 
| 33 | 
   | 
  #include <glob.h>  | 
| 34 | 
   | 
  #include <stdlib.h>  | 
| 35 | 
   | 
  #include <string.h>  | 
| 36 | 
   | 
  #include <unistd.h>  | 
| 37 | 
   | 
   | 
| 38 | 
   | 
  #include "vcc_compile.h"  | 
| 39 | 
   | 
   | 
| 40 | 
   | 
  #include "vfil.h"  | 
| 41 | 
   | 
   | 
| 42 | 
   | 
  struct source *  | 
| 43 | 
  186000 | 
  vcc_new_source(const char *src, const char *kind, const char *name)  | 
| 44 | 
   | 
  { | 
| 45 | 
   | 
          struct source *sp;  | 
| 46 | 
   | 
   | 
| 47 | 
  186000 | 
          AN(src);  | 
| 48 | 
  186000 | 
          AN(name);  | 
| 49 | 
  186000 | 
          ALLOC_OBJ(sp, SOURCE_MAGIC);  | 
| 50 | 
  186000 | 
          AN(sp);  | 
| 51 | 
  186000 | 
          REPLACE(sp->name, name);  | 
| 52 | 
  186000 | 
          sp->kind = kind;  | 
| 53 | 
  186000 | 
          sp->b = src;  | 
| 54 | 
  186000 | 
          sp->e = strchr(src, '\0');  | 
| 55 | 
  186000 | 
          VTAILQ_INIT(&sp->src_tokens);  | 
| 56 | 
  186000 | 
          return (sp);  | 
| 57 | 
   | 
  }  | 
| 58 | 
   | 
   | 
| 59 | 
   | 
  /*--------------------------------------------------------------------*/  | 
| 60 | 
   | 
   | 
| 61 | 
   | 
  struct source *  | 
| 62 | 
  2120 | 
  vcc_file_source(struct vcc *tl, const char *fn)  | 
| 63 | 
   | 
  { | 
| 64 | 
   | 
          char *f, *fnp;  | 
| 65 | 
   | 
          struct source *sp;  | 
| 66 | 
   | 
   | 
| 67 | 
  2120 | 
          if (!tl->unsafe_path && strchr(fn, '/') != NULL) { | 
| 68 | 
  40 | 
                  VSB_printf(tl->sb, "VCL filename '%s' is unsafe.\n", fn);  | 
| 69 | 
  40 | 
                  tl->err = 1;  | 
| 70 | 
  40 | 
                  return (NULL);  | 
| 71 | 
   | 
          }  | 
| 72 | 
  2080 | 
          f = NULL;  | 
| 73 | 
  2080 | 
          if (VFIL_searchpath(tl->vcl_path, NULL, &f, fn, &fnp) || f == NULL) { | 
| 74 | 
  80 | 
                  VSB_printf(tl->sb, "Cannot read file '%s' (%s)\n",  | 
| 75 | 
  40 | 
                      fnp != NULL ? fnp : fn, strerror(errno));  | 
| 76 | 
  40 | 
                  free(fnp);  | 
| 77 | 
  40 | 
                  tl->err = 1;  | 
| 78 | 
  40 | 
                  return (NULL);  | 
| 79 | 
   | 
          }  | 
| 80 | 
  2040 | 
          sp = vcc_new_source(f, "file", fnp);  | 
| 81 | 
  2040 | 
          free(fnp);  | 
| 82 | 
  2040 | 
          return (sp);  | 
| 83 | 
  2120 | 
  }  | 
| 84 | 
   | 
   | 
| 85 | 
   | 
  /*--------------------------------------------------------------------*/  | 
| 86 | 
   | 
   | 
| 87 | 
   | 
  static void  | 
| 88 | 
  1600 | 
  vcc_include_file(struct vcc *tl, const struct source *src_sp,  | 
| 89 | 
   | 
      const char *filename, const struct token *parent_token)  | 
| 90 | 
   | 
  { | 
| 91 | 
   | 
          struct source *sp;  | 
| 92 | 
   | 
   | 
| 93 | 
  1600 | 
          sp = vcc_file_source(tl, filename);  | 
| 94 | 
  1600 | 
          if (sp == NULL)  | 
| 95 | 
  40 | 
                  return;  | 
| 96 | 
   | 
   | 
| 97 | 
  1560 | 
          sp->parent = src_sp;  | 
| 98 | 
  1560 | 
          sp->parent_tok = parent_token;  | 
| 99 | 
  1560 | 
          vcc_lex_source(tl, sp, 0);  | 
| 100 | 
  1600 | 
  }  | 
| 101 | 
   | 
   | 
| 102 | 
   | 
  /*--------------------------------------------------------------------*/  | 
| 103 | 
   | 
   | 
| 104 | 
   | 
  static void  | 
| 105 | 
  200 | 
  vcc_include_glob_file(struct vcc *tl, const struct source *src_sp,  | 
| 106 | 
   | 
      const char *filename, const struct token *parent_token)  | 
| 107 | 
   | 
  { | 
| 108 | 
   | 
          glob_t  g[1];  | 
| 109 | 
   | 
          unsigned u;  | 
| 110 | 
   | 
          int i;  | 
| 111 | 
   | 
   | 
| 112 | 
  200 | 
          if (filename[0] != '/' && (filename[0] != '.' || filename[1] != '/')) { | 
| 113 | 
  40 | 
                  VSB_cat(tl->sb,  | 
| 114 | 
   | 
                      "+glob can only be used with absolute paths or relative "  | 
| 115 | 
   | 
                      "paths starting with './'\n");  | 
| 116 | 
  40 | 
                  tl->err = 1;  | 
| 117 | 
  40 | 
                  return;  | 
| 118 | 
   | 
          }  | 
| 119 | 
  160 | 
          memset(g, 0, sizeof g);  | 
| 120 | 
  160 | 
          i = glob(filename, 0, NULL, g);  | 
| 121 | 
  160 | 
          switch (i) { | 
| 122 | 
   | 
          case 0:  | 
| 123 | 
  320 | 
                  for (u = 0; !tl->err && u < g->gl_pathc; u++) { | 
| 124 | 
  200 | 
                          vcc_include_file(  | 
| 125 | 
  200 | 
                              tl, src_sp, g->gl_pathv[u], parent_token);  | 
| 126 | 
  200 | 
                  }  | 
| 127 | 
  120 | 
                  break;  | 
| 128 | 
   | 
          case GLOB_NOMATCH:  | 
| 129 | 
  40 | 
                  VSB_cat(tl->sb, "glob pattern matched no files.\n");  | 
| 130 | 
  40 | 
                  tl->err = 1;  | 
| 131 | 
  40 | 
                  break;  | 
| 132 | 
   | 
          default:  | 
| 133 | 
  0 | 
                  VSB_printf(tl->sb, "glob(3) expansion failed (%d)\n", i);  | 
| 134 | 
  0 | 
                  tl->err = 1;  | 
| 135 | 
  0 | 
                  break;  | 
| 136 | 
   | 
          }  | 
| 137 | 
  160 | 
          globfree(g);  | 
| 138 | 
  200 | 
  }  | 
| 139 | 
   | 
   | 
| 140 | 
   | 
  /*--------------------------------------------------------------------  | 
| 141 | 
   | 
   * NB: We cannot use vcc_ErrWhere2() on tokens which are not on the  | 
| 142 | 
   | 
   * NB: tl->tokens list.  | 
| 143 | 
   | 
   */  | 
| 144 | 
   | 
   | 
| 145 | 
   | 
  static struct token *  | 
| 146 | 
  1800 | 
  vcc_lex_include(struct vcc *tl, const struct source *src_sp, struct token *t)  | 
| 147 | 
   | 
  { | 
| 148 | 
   | 
          struct token *tok1;  | 
| 149 | 
  1800 | 
          int i, glob_flag = 0;  | 
| 150 | 
  1800 | 
          struct vsb *vsb = NULL;  | 
| 151 | 
   | 
          const char *filename;  | 
| 152 | 
   | 
          const char *p;  | 
| 153 | 
   | 
   | 
| 154 | 
  1800 | 
          assert(vcc_IdIs(t, "include"));  | 
| 155 | 
   | 
   | 
| 156 | 
  1800 | 
          tok1 = VTAILQ_NEXT(t, src_list);  | 
| 157 | 
  1800 | 
          AN(tok1);  | 
| 158 | 
   | 
   | 
| 159 | 
  2040 | 
          while (1) { | 
| 160 | 
  2040 | 
                  t = VTAILQ_NEXT(tok1, src_list);  | 
| 161 | 
  2040 | 
                  AN(t);  | 
| 162 | 
  2040 | 
                  i = vcc_IsFlagRaw(tl, tok1, t);  | 
| 163 | 
  2040 | 
                  if (i < 0)  | 
| 164 | 
  1800 | 
                          break;  | 
| 165 | 
  240 | 
                  if (vcc_IdIs(t, "glob")) { | 
| 166 | 
  240 | 
                          glob_flag = i;  | 
| 167 | 
  240 | 
                  } else { | 
| 168 | 
  0 | 
                          VSB_cat(tl->sb, "Unknown include flag:\n");  | 
| 169 | 
  0 | 
                          vcc_ErrWhere(tl, t);  | 
| 170 | 
  0 | 
                          return (t);  | 
| 171 | 
   | 
                  }  | 
| 172 | 
  240 | 
                  tok1 = VTAILQ_NEXT(t, src_list);  | 
| 173 | 
  240 | 
                  AN(tok1);  | 
| 174 | 
   | 
          }  | 
| 175 | 
   | 
   | 
| 176 | 
  1800 | 
          if (tok1->tok != CSTR) { | 
| 177 | 
  80 | 
                  VSB_cat(tl->sb,  | 
| 178 | 
   | 
                      "include not followed by string constant.\n");  | 
| 179 | 
  80 | 
                  vcc_ErrWhere(tl, tok1);  | 
| 180 | 
  80 | 
                  return (t);  | 
| 181 | 
   | 
          }  | 
| 182 | 
  1720 | 
          t = VTAILQ_NEXT(tok1, src_list);  | 
| 183 | 
  1720 | 
          AN(t);  | 
| 184 | 
   | 
   | 
| 185 | 
  1720 | 
          if (t->tok != ';') { | 
| 186 | 
  40 | 
                  VSB_cat(tl->sb,  | 
| 187 | 
   | 
                      "include <string> not followed by semicolon.\n");  | 
| 188 | 
  40 | 
                  vcc_ErrWhere(tl, tok1);  | 
| 189 | 
  40 | 
                  return (t);  | 
| 190 | 
   | 
          }  | 
| 191 | 
   | 
   | 
| 192 | 
  1680 | 
          filename = tok1->dec;  | 
| 193 | 
   | 
   | 
| 194 | 
  1680 | 
          if (filename[0] == '.' && filename[1] == '/') { | 
| 195 | 
   | 
                  /*  | 
| 196 | 
   | 
                   * Nested include filenames, starting with "./" are  | 
| 197 | 
   | 
                   * resolved relative to the VCL file which contains  | 
| 198 | 
   | 
                   * the include directive.  | 
| 199 | 
   | 
                   */  | 
| 200 | 
  400 | 
                  if (src_sp->name[0] != '/') { | 
| 201 | 
  80 | 
                          VSB_cat(tl->sb,  | 
| 202 | 
   | 
                              "include \"./xxxxx\"; needs absolute "  | 
| 203 | 
   | 
                              "filename of including file.\n");  | 
| 204 | 
  80 | 
                          vcc_ErrWhere(tl, tok1);  | 
| 205 | 
  80 | 
                          return (t);  | 
| 206 | 
   | 
                  }  | 
| 207 | 
  320 | 
                  vsb = VSB_new_auto();  | 
| 208 | 
  320 | 
                  AN(vsb);  | 
| 209 | 
  320 | 
                  p = strrchr(src_sp->name, '/');  | 
| 210 | 
  320 | 
                  AN(p);  | 
| 211 | 
  320 | 
                  VSB_bcat(vsb, src_sp->name, p - src_sp->name);  | 
| 212 | 
  320 | 
                  VSB_cat(vsb, filename + 1);  | 
| 213 | 
  320 | 
                  AZ(VSB_finish(vsb));  | 
| 214 | 
  320 | 
                  filename = VSB_data(vsb);  | 
| 215 | 
  320 | 
          }  | 
| 216 | 
   | 
   | 
| 217 | 
  1600 | 
          if (glob_flag)  | 
| 218 | 
  200 | 
                  vcc_include_glob_file(tl, src_sp, filename, tok1);  | 
| 219 | 
   | 
          else  | 
| 220 | 
  1400 | 
                  vcc_include_file(tl, src_sp, filename, tok1);  | 
| 221 | 
  1600 | 
          if (vsb != NULL)  | 
| 222 | 
  320 | 
                  VSB_destroy(&vsb);  | 
| 223 | 
  1600 | 
          if (tl->err)  | 
| 224 | 
  320 | 
                  vcc_ErrWhere(tl, tok1);  | 
| 225 | 
  1600 | 
          return (t);  | 
| 226 | 
  1800 | 
  }  | 
| 227 | 
   | 
   | 
| 228 | 
   | 
  void  | 
| 229 | 
  186000 | 
  vcc_lex_source(struct vcc *tl, struct source *src_sp, int eoi)  | 
| 230 | 
   | 
  { | 
| 231 | 
   | 
          struct token *t;  | 
| 232 | 
   | 
          const struct source *sp1;  | 
| 233 | 
   | 
   | 
| 234 | 
  186000 | 
          CHECK_OBJ_NOTNULL(src_sp, SOURCE_MAGIC);  | 
| 235 | 
   | 
   | 
| 236 | 
  188080 | 
          for (sp1 = src_sp->parent; sp1 != NULL; sp1 = sp1->parent) { | 
| 237 | 
  2160 | 
                  if (!strcmp(sp1->name, src_sp->name) &&  | 
| 238 | 
  80 | 
                      !strcmp(sp1->kind, src_sp->kind)) { | 
| 239 | 
  160 | 
                          VSB_printf(tl->sb,  | 
| 240 | 
   | 
                              "Recursive use of %s \"%s\"\n\n",  | 
| 241 | 
  80 | 
                              src_sp->kind, src_sp->name);  | 
| 242 | 
  80 | 
                          tl->err = 1;  | 
| 243 | 
  80 | 
                          return;  | 
| 244 | 
   | 
                  }  | 
| 245 | 
  2080 | 
          }  | 
| 246 | 
   | 
   | 
| 247 | 
  185920 | 
          VTAILQ_INSERT_TAIL(&tl->sources, src_sp, list);  | 
| 248 | 
  185920 | 
          src_sp->idx = tl->nsources++;  | 
| 249 | 
   | 
   | 
| 250 | 
  185920 | 
          vcc_Lexer(tl, src_sp);  | 
| 251 | 
  185920 | 
          if (tl->err)  | 
| 252 | 
  960 | 
                  return;  | 
| 253 | 
  111355440 | 
          VTAILQ_FOREACH(t, &src_sp->src_tokens, src_list) { | 
| 254 | 
  111232920 | 
                  if (!eoi && t->tok == EOI)  | 
| 255 | 
  61920 | 
                          break;  | 
| 256 | 
   | 
   | 
| 257 | 
  111171000 | 
                  if (t->tok == ID && vcc_IdIs(t, "include")) { | 
| 258 | 
  1800 | 
                          t = vcc_lex_include(tl, src_sp, t);  | 
| 259 | 
  1800 | 
                  } else { | 
| 260 | 
  111169200 | 
                          VTAILQ_INSERT_TAIL(&tl->tokens, t, list);  | 
| 261 | 
   | 
                  }  | 
| 262 | 
  111171000 | 
                  if (tl->err)  | 
| 263 | 
  520 | 
                          return;  | 
| 264 | 
  111170480 | 
          }  | 
| 265 | 
  186000 | 
  }  |