source/heimdal/lib/krb5/transited.c

   1 /*
   2  * Copyright (c) 1997 - 2001, 2003 Kungliga Tekniska Högskolan
   3  * (Royal Institute of Technology, Stockholm, Sweden).
   4  * All rights reserved.
   5  *
   6  * Redistribution and use in source and binary forms, with or without
   7  * modification, are permitted provided that the following conditions
   8  * are met:
   9  *
  10  * 1. Redistributions of source code must retain the above copyright
  11  *    notice, this list of conditions and the following disclaimer.
  12  *
  13  * 2. Redistributions in binary form must reproduce the above copyright
  14  *    notice, this list of conditions and the following disclaimer in the
  15  *    documentation and/or other materials provided with the distribution.
  16  *
  17  * 3. Neither the name of the Institute nor the names of its contributors
  18  *    may be used to endorse or promote products derived from this software
  19  *    without specific prior written permission.
  20  *
  21  * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
  22  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  23  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  24  * ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
  25  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  26  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  27  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  28  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  29  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  30  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  31  * SUCH DAMAGE.
  32  */
  33
  34 #include "krb5_locl.h"
  35
  36 RCSID("$Id: transited.c 17043 2006-04-10 10:26:35Z lha $");
  37
  38 /* this is an attempt at one of the most horrible `compression'
  39    schemes that has ever been invented; it's so amazingly brain-dead
  40    that words can not describe it, and all this just to save a few
  41    silly bytes */
  42
  43 struct tr_realm {
  44     char *realm;
  45     unsigned leading_space:1;
  46     unsigned leading_slash:1;
  47     unsigned trailing_dot:1;
  48     struct tr_realm *next;
  49 };
  50
  51 static void
  52 free_realms(struct tr_realm *r)
  53 {
  54     struct tr_realm *p;
  55     while(r){
  56         p = r;
  57         r = r->next;
  58         free(p->realm);
  59         free(p);
  60     }
  61 }
  62
  63 static int
  64 make_path(krb5_context context, struct tr_realm *r,
  65           const char *from, const char *to)
  66 {
  67     const char *p;
  68     struct tr_realm *path = r->next;
  69     struct tr_realm *tmp;
  70
  71     if(strlen(from) < strlen(to)){
  72         const char *str;
  73         str = from;
  74         from = to;
  75         to = str;
  76     }
  77
  78     if(strcmp(from + strlen(from) - strlen(to), to) == 0){
  79         p = from;
  80         while(1){
  81             p = strchr(p, '.');
  82             if(p == NULL) {
  83                 krb5_clear_error_string (context);
  84                 return KRB5KDC_ERR_POLICY;
  85             }
  86             p++;
  87             if(strcmp(p, to) == 0)
  88                 break;
  89             tmp = calloc(1, sizeof(*tmp));
  90             tmp->next = path;
  91             path = tmp;
  92             path->realm = strdup(p);
  93             if(path->realm == NULL){
  94                 r->next = path; /* XXX */
  95                 krb5_set_error_string (context, "malloc: out of memory");
  96                 return ENOMEM;;
  97             }
  98         }
  99     }else if(strncmp(from, to, strlen(to)) == 0){
 100         p = from + strlen(from);
 101         while(1){
 102             while(p >= from && *p != '/') p--;
 103             if(p == from) {
 104                 r->next = path; /* XXX */
 105                 return KRB5KDC_ERR_POLICY;
 106             }
 107             if(strncmp(to, from, p - from) == 0)
 108                 break;
 109             tmp = calloc(1, sizeof(*tmp));
 110             tmp->next = path;
 111             path = tmp;
 112             path->realm = malloc(p - from + 1);
 113             if(path->realm == NULL){
 114                 r->next = path; /* XXX */
 115                 krb5_set_error_string (context, "malloc: out of memory");
 116                 return ENOMEM;
 117             }
 118             memcpy(path->realm, from, p - from);
 119             path->realm[p - from] = '\0';
 120             p--;
 121         }
 122     } else {
 123         krb5_clear_error_string (context);
 124         return KRB5KDC_ERR_POLICY;
 125     }
 126     r->next = path;
 127
 128     return 0;
 129 }
 130
 131 static int
 132 make_paths(krb5_context context,
 133            struct tr_realm *realms, const char *client_realm,
 134            const char *server_realm)
 135 {
 136     struct tr_realm *r;
 137     int ret;
 138     const char *prev_realm = client_realm;
 139     const char *next_realm = NULL;
 140     for(r = realms; r; r = r->next){
 141         /* it *might* be that you can have more than one empty
 142            component in a row, at least that's how I interpret the
 143            "," exception in 1510 */
 144         if(r->realm[0] == '\0'){
 145             while(r->next && r->next->realm[0] == '\0')
 146                 r = r->next;
 147             if(r->next)
 148                 next_realm = r->next->realm;
 149             else
 150                 next_realm = server_realm;
 151             ret = make_path(context, r, prev_realm, next_realm);
 152             if(ret){
 153                 free_realms(realms);
 154                 return ret;
 155             }
 156         }
 157         prev_realm = r->realm;
 158     }
 159     return 0;
 160 }
 161
 162 static int
 163 expand_realms(krb5_context context,
 164               struct tr_realm *realms, const char *client_realm)
 165 {
 166     struct tr_realm *r;
 167     const char *prev_realm = NULL;
 168     for(r = realms; r; r = r->next){
 169         if(r->trailing_dot){
 170             char *tmp;
 171             size_t len;
 172
 173             if(prev_realm == NULL)
 174                 prev_realm = client_realm;
 175
 176             len = strlen(r->realm) + strlen(prev_realm) + 1;
 177
 178             tmp = realloc(r->realm, len);
 179             if(tmp == NULL){
 180                 free_realms(realms);
 181                 krb5_set_error_string (context, "malloc: out of memory");
 182                 return ENOMEM;
 183             }
 184             r->realm = tmp;
 185             strlcat(r->realm, prev_realm, len);
 186         }else if(r->leading_slash && !r->leading_space && prev_realm){
 187             /* yet another exception: if you use x500-names, the
 188                leading realm doesn't have to be "quoted" with a space */
 189             char *tmp;
 190             size_t len = strlen(r->realm) + strlen(prev_realm) + 1;
 191
 192             tmp = malloc(len);
 193             if(tmp == NULL){
 194                 free_realms(realms);
 195                 krb5_set_error_string (context, "malloc: out of memory");
 196                 return ENOMEM;
 197             }
 198             strlcpy(tmp, prev_realm, len);
 199             strlcat(tmp, r->realm, len);
 200             free(r->realm);
 201             r->realm = tmp;
 202         }
 203         prev_realm = r->realm;
 204     }
 205     return 0;
 206 }
 207
 208 static struct tr_realm *
 209 make_realm(char *realm)
 210 {
 211     struct tr_realm *r;
 212     char *p, *q;
 213     int quote = 0;
 214     r = calloc(1, sizeof(*r));
 215     if(r == NULL){
 216         free(realm);
 217         return NULL;
 218     }
 219     r->realm = realm;
 220     for(p = q = r->realm; *p; p++){
 221         if(p == r->realm && *p == ' '){
 222             r->leading_space = 1;
 223             continue;
 224         }
 225         if(q == r->realm && *p == '/')
 226             r->leading_slash = 1;
 227         if(quote){
 228             *q++ = *p;
 229             quote = 0;
 230             continue;
 231         }
 232         if(*p == '\\'){
 233             quote = 1;
 234             continue;
 235         }
 236         if(p[0] == '.' && p[1] == '\0')
 237             r->trailing_dot = 1;
 238         *q++ = *p;
 239     }
 240     *q = '\0';
 241     return r;
 242 }
 243
 244 static struct tr_realm*
 245 append_realm(struct tr_realm *head, struct tr_realm *r)
 246 {
 247     struct tr_realm *p;
 248     if(head == NULL){
 249         r->next = NULL;
 250         return r;
 251     }
 252     p = head;
 253     while(p->next) p = p->next;
 254     p->next = r;
 255     return head;
 256 }
 257
 258 static int
 259 decode_realms(krb5_context context,
 260               const char *tr, int length, struct tr_realm **realms)
 261 {
 262     struct tr_realm *r = NULL;
 263
 264     char *tmp;
 265     int quote = 0;
 266     const char *start = tr;
 267     int i;
 268
 269     for(i = 0; i < length; i++){
 270         if(quote){
 271             quote = 0;
 272             continue;
 273         }
 274         if(tr[i] == '\\'){
 275             quote = 1;
 276             continue;
 277         }
 278         if(tr[i] == ','){
 279             tmp = malloc(tr + i - start + 1);
 280             memcpy(tmp, start, tr + i - start);
 281             tmp[tr + i - start] = '\0';
 282             r = make_realm(tmp);
 283             if(r == NULL){
 284                 free_realms(*realms);
 285                 krb5_set_error_string (context, "malloc: out of memory");
 286                 return ENOMEM;
 287             }
 288             *realms = append_realm(*realms, r);
 289             start = tr + i + 1;
 290         }
 291     }
 292     tmp = malloc(tr + i - start + 1);
 293     memcpy(tmp, start, tr + i - start);
 294     tmp[tr + i - start] = '\0';
 295     r = make_realm(tmp);
 296     if(r == NULL){
 297         free_realms(*realms);
 298         krb5_set_error_string (context, "malloc: out of memory");
 299         return ENOMEM;
 300     }
 301     *realms = append_realm(*realms, r);
 302
 303     return 0;
 304 }
 305
 306
 307 krb5_error_code KRB5_LIB_FUNCTION
 308 krb5_domain_x500_decode(krb5_context context,
 309                         krb5_data tr, char ***realms, int *num_realms,
 310                         const char *client_realm, const char *server_realm)
 311 {
 312     struct tr_realm *r = NULL;
 313     struct tr_realm *p, **q;
 314     int ret;
 315
 316     if(tr.length == 0) {
 317         *realms = NULL;
 318         *num_realms = 0;
 319         return 0;
 320     }
 321
 322     /* split string in components */
 323     ret = decode_realms(context, tr.data, tr.length, &r);
 324     if(ret)
 325         return ret;
 326
 327     /* apply prefix rule */
 328     ret = expand_realms(context, r, client_realm);
 329     if(ret)
 330         return ret;
 331
 332     ret = make_paths(context, r, client_realm, server_realm);
 333     if(ret)
 334         return ret;
 335
 336     /* remove empty components and count realms */
 337     q = &r;
 338     *num_realms = 0;
 339     for(p = r; p; ){
 340         if(p->realm[0] == '\0'){
 341             free(p->realm);
 342             *q = p->next;
 343             free(p);
 344             p = *q;
 345         }else{
 346             q = &p->next;
 347             p = p->next;
 348             (*num_realms)++;
 349         }
 350     }
 351     if (*num_realms < 0 || *num_realms + 1 > UINT_MAX/sizeof(**realms))
 352         return ERANGE;
 353
 354     {
 355         char **R;
 356         R = malloc((*num_realms + 1) * sizeof(*R));
 357         if (R == NULL)
 358             return ENOMEM;
 359         *realms = R;
 360         while(r){
 361             *R++ = r->realm;
 362             p = r->next;
 363             free(r);
 364             r = p;
 365         }
 366     }
 367     return 0;
 368 }
 369
 370 krb5_error_code KRB5_LIB_FUNCTION
 371 krb5_domain_x500_encode(char **realms, int num_realms, krb5_data *encoding)
 372 {
 373     char *s = NULL;
 374     int len = 0;
 375     int i;
 376     krb5_data_zero(encoding);
 377     if (num_realms == 0)
 378         return 0;
 379     for(i = 0; i < num_realms; i++){
 380         len += strlen(realms[i]);
 381         if(realms[i][0] == '/')
 382             len++;
 383     }
 384     len += num_realms - 1;
 385     s = malloc(len + 1);
 386     if (s == NULL)
 387         return ENOMEM;
 388     *s = '\0';
 389     for(i = 0; i < num_realms; i++){
 390         if(i && i < num_realms - 1)
 391             strlcat(s, ",", len + 1);
 392         if(realms[i][0] == '/')
 393             strlcat(s, " ", len + 1);
 394         strlcat(s, realms[i], len + 1);
 395     }
 396     encoding->data = s;
 397     encoding->length = strlen(s);
 398     return 0;
 399 }
 400
 401 krb5_error_code KRB5_LIB_FUNCTION
 402 krb5_check_transited(krb5_context context,
 403                      krb5_const_realm client_realm,
 404                      krb5_const_realm server_realm,
 405                      krb5_realm *realms,
 406                      int num_realms,
 407                      int *bad_realm)
 408 {
 409     char **tr_realms;
 410     char **p;
 411     int i;
 412
 413     if(num_realms == 0)
 414         return 0;
 415
 416     tr_realms = krb5_config_get_strings(context, NULL,
 417                                         "capaths",
 418                                         client_realm,
 419                                         server_realm,
 420                                         NULL);
 421     for(i = 0; i < num_realms; i++) {
 422         for(p = tr_realms; p && *p; p++) {
 423             if(strcmp(*p, realms[i]) == 0)
 424                 break;
 425         }
 426         if(p == NULL || *p == NULL) {
 427             krb5_config_free_strings(tr_realms);
 428             krb5_set_error_string (context, "no transit through realm %s",
 429                                    realms[i]);
 430             if(bad_realm)
 431                 *bad_realm = i;
 432             return KRB5KRB_AP_ERR_ILL_CR_TKT;
 433         }
 434     }
 435     krb5_config_free_strings(tr_realms);
 436     return 0;
 437 }
 438
 439 krb5_error_code KRB5_LIB_FUNCTION
 440 krb5_check_transited_realms(krb5_context context,
 441                             const char *const *realms,
 442                             int num_realms,
 443                             int *bad_realm)
 444 {
 445     int i;
 446     int ret = 0;
 447     char **bad_realms = krb5_config_get_strings(context, NULL,
 448                                                 "libdefaults",
 449                                                 "transited_realms_reject",
 450                                                 NULL);
 451     if(bad_realms == NULL)
 452         return 0;
 453
 454     for(i = 0; i < num_realms; i++) {
 455         char **p;
 456         for(p = bad_realms; *p; p++)
 457             if(strcmp(*p, realms[i]) == 0) {
 458                 krb5_set_error_string (context, "no transit through realm %s",
 459                                        *p);
 460                 ret = KRB5KRB_AP_ERR_ILL_CR_TKT;
 461                 if(bad_realm)
 462                     *bad_realm = i;
 463                 break;
 464             }
 465     }
 466     krb5_config_free_strings(bad_realms);
 467     return ret;
 468 }
 469
 470 #if 0
 471 int
 472 main(int argc, char **argv)
 473 {
 474     krb5_data x;
 475     char **r;
 476     int num, i;
 477     x.data = argv[1];
 478     x.length = strlen(x.data);
 479     if(domain_expand(x, &r, &num, argv[2], argv[3]))
 480         exit(1);
 481     for(i = 0; i < num; i++)
 482         printf("%s\n", r[i]);
 483     return 0;
 484 }
 485 #endif
 486