pintos-os.org Git - pspp/blob - tests/test-canonicalize.c

   1 /* Test of execution of file name canonicalization.
   2    Copyright (C) 2007-2009 Free Software Foundation, Inc.
   3
   4    This program is free software: you can redistribute it and/or modify
   5    it under the terms of the GNU General Public License as published by
   6    the Free Software Foundation; either version 3 of the License, or
   7    (at your option) any later version.
   8
   9    This program is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12    GNU General Public License for more details.
  13
  14    You should have received a copy of the GNU General Public License
  15    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  16
  17 /* Written by Bruno Haible <bruno@clisp.org>, 2007.  */
  18
  19 #include <config.h>
  20
  21 #include "canonicalize.h"
  22
  23 #include <errno.h>
  24 #include <fcntl.h>
  25 #include <stdio.h>
  26 #include <stdlib.h>
  27 #include <string.h>
  28 #include <sys/stat.h>
  29 #include <unistd.h>
  30
  31 #if !HAVE_SYMLINK
  32 # define symlink(a,b) (-1)
  33 #endif
  34
  35 #define ASSERT(expr) \
  36   do                                                                         \
  37     {                                                                        \
  38       if (!(expr))                                                           \
  39         {                                                                    \
  40           fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \
  41           fflush (stderr);                                                   \
  42           abort ();                                                          \
  43         }                                                                    \
  44     }                                                                        \
  45   while (0)
  46
  47 #define BASE "t-can.tmp"
  48
  49 int
  50 main ()
  51 {
  52   /* Setup some hierarchy to be used by this test.  Start by removing
  53      any leftovers from a previous partial run.  */
  54   {
  55     int fd;
  56     ASSERT (system ("rm -rf " BASE " ise") == 0);
  57     ASSERT (mkdir (BASE, 0700) == 0);
  58     fd = creat (BASE "/tra", 0600);
  59     ASSERT (0 <= fd);
  60     ASSERT (close (fd) == 0);
  61   }
  62
  63   /* Check for ., .., intermediate // handling, and for error cases.  */
  64   {
  65     char *result1 = canonicalize_file_name (BASE "//./..//" BASE "/tra");
  66     char *result2 = canonicalize_filename_mode (BASE "//./..//" BASE "/tra",
  67                                                 CAN_EXISTING);
  68     ASSERT (result1 != NULL);
  69     ASSERT (result2 != NULL);
  70     ASSERT (strcmp (result1, result2) == 0);
  71     ASSERT (strstr (result1, "/" BASE "/tra")
  72             == result1 + strlen (result1) - strlen ("/" BASE "/tra"));
  73     free (result1);
  74     free (result2);
  75     errno = 0;
  76     result1 = canonicalize_file_name ("");
  77     ASSERT (result1 == NULL);
  78     ASSERT (errno == ENOENT);
  79     errno = 0;
  80     result2 = canonicalize_filename_mode ("", CAN_EXISTING);
  81     ASSERT (result2 == NULL);
  82     ASSERT (errno == ENOENT);
  83     errno = 0;
  84     result1 = canonicalize_file_name (NULL);
  85     ASSERT (result1 == NULL);
  86     ASSERT (errno == EINVAL);
  87     errno = 0;
  88     result2 = canonicalize_filename_mode (NULL, CAN_EXISTING);
  89     ASSERT (result2 == NULL);
  90     ASSERT (errno == EINVAL);
  91   }
  92
  93   /* Check that a non-directory with trailing slash yields NULL.  */
  94   {
  95     char *result1;
  96     char *result2;
  97     errno = 0;
  98     result1 = canonicalize_file_name (BASE "/tra/");
  99     ASSERT (result1 == NULL);
 100     ASSERT (errno == ENOTDIR);
 101     errno = 0;
 102     result2 = canonicalize_filename_mode (BASE "/tra/", CAN_EXISTING);
 103     ASSERT (result2 == NULL);
 104     ASSERT (errno == ENOTDIR);
 105   }
 106
 107   /* Check that a missing directory yields NULL.  */
 108   {
 109     char *result1;
 110     char *result2;
 111     errno = 0;
 112     result1 = canonicalize_file_name (BASE "/zzz/..");
 113     ASSERT (result1 == NULL);
 114     ASSERT (errno == ENOENT);
 115     errno = 0;
 116     result2 = canonicalize_filename_mode (BASE "/zzz/..", CAN_EXISTING);
 117     ASSERT (result2 == NULL);
 118     ASSERT (errno == ENOENT);
 119   }
 120
 121   /* From here on out, tests involve symlinks.  */
 122   if (symlink (BASE "/ket", "ise") != 0)
 123     {
 124       ASSERT (remove (BASE "/tra") == 0);
 125       ASSERT (rmdir (BASE) == 0);
 126       fputs ("skipping test: symlinks not supported on this filesystem\n",
 127              stderr);
 128       return 77;
 129     }
 130   ASSERT (symlink ("bef", BASE "/plo") == 0);
 131   ASSERT (symlink ("tra", BASE "/huk") == 0);
 132   ASSERT (symlink ("lum", BASE "/bef") == 0);
 133   ASSERT (symlink ("wum", BASE "/ouk") == 0);
 134   ASSERT (symlink ("../ise", BASE "/ket") == 0);
 135   ASSERT (mkdir (BASE "/lum", 0700) == 0);
 136   ASSERT (symlink ("s", BASE "/p") == 0);
 137   ASSERT (symlink ("d", BASE "/s") == 0);
 138   ASSERT (mkdir (BASE "/d", 0700) == 0);
 139   ASSERT (close (creat (BASE "/d/2", 0600)) == 0);
 140   ASSERT (symlink ("../s/2", BASE "/d/1") == 0);
 141
 142   /* Check that the symbolic link to a file can be resolved.  */
 143   {
 144     char *result1 = canonicalize_file_name (BASE "/huk");
 145     char *result2 = canonicalize_file_name (BASE "/tra");
 146     char *result3 = canonicalize_filename_mode (BASE "/huk", CAN_EXISTING);
 147     ASSERT (result1 != NULL);
 148     ASSERT (result2 != NULL);
 149     ASSERT (result3 != NULL);
 150     ASSERT (strcmp (result1, result2) == 0);
 151     ASSERT (strcmp (result2, result3) == 0);
 152     ASSERT (strcmp (result1 + strlen (result1) - strlen ("/" BASE "/tra"),
 153                     "/" BASE "/tra") == 0);
 154     free (result1);
 155     free (result2);
 156     free (result3);
 157   }
 158
 159   /* Check that the symbolic link to a directory can be resolved.  */
 160   {
 161     char *result1 = canonicalize_file_name (BASE "/plo");
 162     char *result2 = canonicalize_file_name (BASE "/bef");
 163     char *result3 = canonicalize_file_name (BASE "/lum");
 164     char *result4 = canonicalize_filename_mode (BASE "/plo", CAN_EXISTING);
 165     ASSERT (result1 != NULL);
 166     ASSERT (result2 != NULL);
 167     ASSERT (result3 != NULL);
 168     ASSERT (result4 != NULL);
 169     ASSERT (strcmp (result1, result2) == 0);
 170     ASSERT (strcmp (result2, result3) == 0);
 171     ASSERT (strcmp (result3, result4) == 0);
 172     ASSERT (strcmp (result1 + strlen (result1) - strlen ("/" BASE "/lum"),
 173                     "/" BASE "/lum") == 0);
 174     free (result1);
 175     free (result2);
 176     free (result3);
 177     free (result4);
 178   }
 179
 180   /* Check that a symbolic link to a nonexistent file yields NULL.  */
 181   {
 182     char *result1;
 183     char *result2;
 184     errno = 0;
 185     result1 = canonicalize_file_name (BASE "/ouk");
 186     ASSERT (result1 == NULL);
 187     ASSERT (errno == ENOENT);
 188     errno = 0;
 189     result2 = canonicalize_filename_mode (BASE "/ouk", CAN_EXISTING);
 190     ASSERT (result2 == NULL);
 191     ASSERT (errno == ENOENT);
 192   }
 193
 194   /* Check that a non-directory symlink with trailing slash yields NULL.  */
 195   {
 196     char *result1;
 197     char *result2;
 198     errno = 0;
 199     result1 = canonicalize_file_name (BASE "/huk/");
 200     ASSERT (result1 == NULL);
 201     ASSERT (errno == ENOTDIR);
 202     errno = 0;
 203     result2 = canonicalize_filename_mode (BASE "/huk/", CAN_EXISTING);
 204     ASSERT (result2 == NULL);
 205     ASSERT (errno == ENOTDIR);
 206   }
 207
 208   /* Check that a missing directory via symlink yields NULL.  */
 209   {
 210     char *result1;
 211     char *result2;
 212     errno = 0;
 213     result1 = canonicalize_file_name (BASE "/ouk/..");
 214     ASSERT (result1 == NULL);
 215     ASSERT (errno == ENOENT);
 216     errno = 0;
 217     result2 = canonicalize_filename_mode (BASE "/ouk/..", CAN_EXISTING);
 218     ASSERT (result2 == NULL);
 219     ASSERT (errno == ENOENT);
 220   }
 221
 222   /* Check that a loop of symbolic links is detected.  */
 223   {
 224     char *result1;
 225     char *result2;
 226     errno = 0;
 227     result1 = canonicalize_file_name ("ise");
 228     ASSERT (result1 == NULL);
 229     ASSERT (errno == ELOOP);
 230     errno = 0;
 231     result2 = canonicalize_filename_mode ("ise", CAN_EXISTING);
 232     ASSERT (result2 == NULL);
 233     ASSERT (errno == ELOOP);
 234   }
 235
 236   /* Check that alternate modes can resolve missing basenames.  */
 237   {
 238     char *result1 = canonicalize_filename_mode (BASE "/zzz", CAN_ALL_BUT_LAST);
 239     char *result2 = canonicalize_filename_mode (BASE "/zzz", CAN_MISSING);
 240     ASSERT (result1 != NULL);
 241     ASSERT (result2 != NULL);
 242     ASSERT (strcmp (result1, result2) == 0);
 243     ASSERT (strcmp (result1 + strlen (result1) - strlen ("/" BASE "/zzz"),
 244                     "/" BASE "/zzz") == 0);
 245     free (result1);
 246     free (result2);
 247   }
 248
 249   /* Check that alternate modes can resolve broken symlink basenames.  */
 250   {
 251     char *result1 = canonicalize_filename_mode (BASE "/ouk", CAN_ALL_BUT_LAST);
 252     char *result2 = canonicalize_filename_mode (BASE "/ouk", CAN_MISSING);
 253     ASSERT (result1 != NULL);
 254     ASSERT (result2 != NULL);
 255     ASSERT (strcmp (result1, result2) == 0);
 256     ASSERT (strcmp (result1 + strlen (result1) - strlen ("/" BASE "/wum"),
 257                     "/" BASE "/wum") == 0);
 258     free (result1);
 259     free (result2);
 260   }
 261
 262   /* Check that alternate modes can handle missing dirnames.  */
 263   {
 264     char *result1 = canonicalize_filename_mode ("t-can.zzz/zzz", CAN_ALL_BUT_LAST);
 265     char *result2 = canonicalize_filename_mode ("t-can.zzz/zzz", CAN_MISSING);
 266     ASSERT (result1 == NULL);
 267     ASSERT (result2 != NULL);
 268     ASSERT (strcmp (result2 + strlen (result2) - 14, "/t-can.zzz/zzz") == 0);
 269     free (result2);
 270   }
 271
 272   /* Ensure that the following is resolved properly.
 273      Before 2007-09-27, it would mistakenly report a loop.  */
 274   {
 275     char *result1 = canonicalize_filename_mode (BASE, CAN_EXISTING);
 276     char *result2 = canonicalize_filename_mode (BASE "/p/1", CAN_EXISTING);
 277     ASSERT (result1 != NULL);
 278     ASSERT (result2 != NULL);
 279     ASSERT (strcmp (result2 + strlen (result1), "/d/2") == 0);
 280     free (result1);
 281     free (result2);
 282   }
 283
 284   /* Cleanup.  */
 285   ASSERT (remove (BASE "/d/1") == 0);
 286   ASSERT (remove (BASE "/d/2") == 0);
 287   ASSERT (remove (BASE "/d") == 0);
 288   ASSERT (remove (BASE "/s") == 0);
 289   ASSERT (remove (BASE "/p") == 0);
 290   ASSERT (remove (BASE "/plo") == 0);
 291   ASSERT (remove (BASE "/huk") == 0);
 292   ASSERT (remove (BASE "/bef") == 0);
 293   ASSERT (remove (BASE "/ouk") == 0);
 294   ASSERT (remove (BASE "/ket") == 0);
 295   ASSERT (remove (BASE "/lum") == 0);
 296   ASSERT (remove (BASE "/tra") == 0);
 297   ASSERT (remove (BASE) == 0);
 298   ASSERT (remove ("ise") == 0);
 299
 300   return 0;
 301 }