]> git.sur5r.net Git - openldap/blobdiff - servers/slapd/saslauthz.c
ITS#7341, ITS#8391, ITS#8587
[openldap] / servers / slapd / saslauthz.c
index b3885374fe1f1e8c2de8b31b011153d64b5119cd..8ef0e0e949bc5e48a8fc50be8cdca2649215bbe1 100644 (file)
@@ -1,7 +1,7 @@
 /* $OpenLDAP$ */
 /* This work is part of OpenLDAP Software <http://www.openldap.org/>.
  *
- * Copyright 1998-2005 The OpenLDAP Foundation.
+ * Copyright 1998-2017 The OpenLDAP Foundation.
  * Portions Copyright 2000 Mark Adamson, Carnegie Mellon.
  * All rights reserved.
  *
@@ -148,7 +148,7 @@ int slap_parse_user( struct berval *id, struct berval *user,
         *              u[.mech[/realm]]:user
         */
        
-       user->bv_val = strchr( id->bv_val, ':' );
+       user->bv_val = ber_bvchr( id, ':' );
        if ( BER_BVISNULL( user ) ) {
                return LDAP_PROTOCOL_ERROR;
        }
@@ -156,20 +156,19 @@ int slap_parse_user( struct berval *id, struct berval *user,
        user->bv_val++;
        user->bv_len = id->bv_len - ( user->bv_val - id->bv_val );
 
-       mech->bv_val = strchr( id->bv_val, '.' );
+       mech->bv_val = ber_bvchr( id, '.' );
        if ( !BER_BVISNULL( mech ) ) {
                mech->bv_val[ 0 ] = '\0';
                mech->bv_val++;
+               mech->bv_len = user->bv_val - mech->bv_val - 1;
 
-               realm->bv_val = strchr( mech->bv_val, '/' );
+               realm->bv_val = ber_bvchr( mech, '/' );
 
                if ( !BER_BVISNULL( realm ) ) {
                        realm->bv_val[ 0 ] = '\0';
                        realm->bv_val++;
                        mech->bv_len = realm->bv_val - mech->bv_val - 1;
                        realm->bv_len = user->bv_val - realm->bv_val - 1;
-               } else {
-                       mech->bv_len = user->bv_val - mech->bv_val - 1;
                }
 
        } else {
@@ -203,13 +202,725 @@ int slap_parse_user( struct berval *id, struct berval *user,
        return LDAP_SUCCESS;
 }
 
-static int slap_parseURI( Operation *op, struct berval *uri,
-       struct berval *base, struct berval *nbase,
-       int *scope, Filter **filter, struct berval *fstr )
+int
+authzValidate(
+       Syntax *syntax,
+       struct berval *in )
 {
-       struct berval bv;
-       int rc;
-       LDAPURLDesc *ludp;
+       struct berval   bv;
+       int             rc = LDAP_INVALID_SYNTAX;
+       LDAPURLDesc     *ludp = NULL;
+       int             scope = -1;
+
+       /*
+        * 1) <DN>
+        * 2) dn[.{exact|children|subtree|onelevel}]:{*|<DN>}
+        * 3) dn.regex:<pattern>
+        * 4) u[.mech[/realm]]:<ID>
+        * 5) group[/<groupClass>[/<memberAttr>]]:<DN>
+        * 6) <URL>
+        */
+
+       assert( in != NULL );
+       assert( !BER_BVISNULL( in ) );
+
+       Debug( LDAP_DEBUG_TRACE,
+               "authzValidate: parsing %s\n", in->bv_val, 0, 0 );
+
+       /*
+        * 2) dn[.{exact|children|subtree|onelevel}]:{*|<DN>}
+        * 3) dn.regex:<pattern>
+        *
+        * <DN> must pass DN normalization
+        */
+       if ( !strncasecmp( in->bv_val, "dn", STRLENOF( "dn" ) ) ) {
+               bv.bv_val = in->bv_val + STRLENOF( "dn" );
+
+               if ( bv.bv_val[ 0 ] == '.' ) {
+                       bv.bv_val++;
+
+                       if ( !strncasecmp( bv.bv_val, "exact:", STRLENOF( "exact:" ) ) ) {
+                               bv.bv_val += STRLENOF( "exact:" );
+                               scope = LDAP_X_SCOPE_EXACT;
+
+                       } else if ( !strncasecmp( bv.bv_val, "regex:", STRLENOF( "regex:" ) ) ) {
+                               bv.bv_val += STRLENOF( "regex:" );
+                               scope = LDAP_X_SCOPE_REGEX;
+
+                       } else if ( !strncasecmp( bv.bv_val, "children:", STRLENOF( "children:" ) ) ) {
+                               bv.bv_val += STRLENOF( "children:" );
+                               scope = LDAP_X_SCOPE_CHILDREN;
+
+                       } else if ( !strncasecmp( bv.bv_val, "subtree:", STRLENOF( "subtree:" ) ) ) {
+                               bv.bv_val += STRLENOF( "subtree:" );
+                               scope = LDAP_X_SCOPE_SUBTREE;
+
+                       } else if ( !strncasecmp( bv.bv_val, "onelevel:", STRLENOF( "onelevel:" ) ) ) {
+                               bv.bv_val += STRLENOF( "onelevel:" );
+                               scope = LDAP_X_SCOPE_ONELEVEL;
+
+                       } else {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+
+               } else {
+                       if ( bv.bv_val[ 0 ] != ':' ) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+                       scope = LDAP_X_SCOPE_EXACT;
+                       bv.bv_val++;
+               }
+
+               bv.bv_val += strspn( bv.bv_val, " " );
+               /* jump here in case no type specification was present
+                * and uri was not an URI... HEADS-UP: assuming EXACT */
+is_dn:         bv.bv_len = in->bv_len - ( bv.bv_val - in->bv_val );
+
+               /* a single '*' means any DN without using regexes */
+               if ( ber_bvccmp( &bv, '*' ) ) {
+                       /* LDAP_X_SCOPE_USERS */
+                       return LDAP_SUCCESS;
+               }
+
+               switch ( scope ) {
+               case LDAP_X_SCOPE_EXACT:
+               case LDAP_X_SCOPE_CHILDREN:
+               case LDAP_X_SCOPE_SUBTREE:
+               case LDAP_X_SCOPE_ONELEVEL:
+                       return dnValidate( NULL, &bv );
+
+               case LDAP_X_SCOPE_REGEX:
+                       return LDAP_SUCCESS;
+               }
+
+               return rc;
+
+       /*
+        * 4) u[.mech[/realm]]:<ID>
+        */
+       } else if ( ( in->bv_val[ 0 ] == 'u' || in->bv_val[ 0 ] == 'U' )
+                       && ( in->bv_val[ 1 ] == ':' 
+                               || in->bv_val[ 1 ] == '/' 
+                               || in->bv_val[ 1 ] == '.' ) )
+       {
+               char            buf[ SLAP_LDAPDN_MAXLEN ];
+               struct berval   id,
+                               user = BER_BVNULL,
+                               realm = BER_BVNULL,
+                               mech = BER_BVNULL;
+
+               if ( sizeof( buf ) <= in->bv_len ) {
+                       return LDAP_INVALID_SYNTAX;
+               }
+
+               id.bv_len = in->bv_len;
+               id.bv_val = buf;
+               strncpy( buf, in->bv_val, sizeof( buf ) );
+
+               rc = slap_parse_user( &id, &user, &realm, &mech );
+               if ( rc != LDAP_SUCCESS ) {
+                       return LDAP_INVALID_SYNTAX;
+               }
+
+               return rc;
+
+       /*
+        * 5) group[/groupClass[/memberAttr]]:<DN>
+        *
+        * <groupClass> defaults to "groupOfNames"
+        * <memberAttr> defaults to "member"
+        * 
+        * <DN> must pass DN normalization
+        */
+       } else if ( strncasecmp( in->bv_val, "group", STRLENOF( "group" ) ) == 0 )
+       {
+               struct berval   group_dn = BER_BVNULL,
+                               group_oc = BER_BVNULL,
+                               member_at = BER_BVNULL;
+
+               bv.bv_val = in->bv_val + STRLENOF( "group" );
+               bv.bv_len = in->bv_len - STRLENOF( "group" );
+               group_dn.bv_val = ber_bvchr( &bv, ':' );
+               if ( group_dn.bv_val == NULL ) {
+                       /* last chance: assume it's a(n exact) DN ... */
+                       bv.bv_val = in->bv_val;
+                       scope = LDAP_X_SCOPE_EXACT;
+                       goto is_dn;
+               }
+               
+               /*
+                * FIXME: we assume that "member" and "groupOfNames"
+                * are present in schema...
+                */
+               if ( bv.bv_val[ 0 ] == '/' ) {
+                       group_oc.bv_val = &bv.bv_val[ 1 ];
+                       group_oc.bv_len = group_dn.bv_val - group_oc.bv_val;
+
+                       member_at.bv_val = ber_bvchr( &group_oc, '/' );
+                       if ( member_at.bv_val ) {
+                               AttributeDescription    *ad = NULL;
+                               const char              *text = NULL;
+
+                               group_oc.bv_len = member_at.bv_val - group_oc.bv_val;
+                               member_at.bv_val++;
+                               member_at.bv_len = group_dn.bv_val - member_at.bv_val;
+                               rc = slap_bv2ad( &member_at, &ad, &text );
+                               if ( rc != LDAP_SUCCESS ) {
+                                       return rc;
+                               }
+                       }
+
+                       if ( oc_bvfind( &group_oc ) == NULL ) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+               }
+
+               group_dn.bv_val++;
+               group_dn.bv_len = in->bv_len - ( group_dn.bv_val - in->bv_val );
+
+               rc = dnValidate( NULL, &group_dn );
+               if ( rc != LDAP_SUCCESS ) {
+                       return rc;
+               }
+
+               return rc;
+       }
+
+       /*
+        * ldap:///<base>??<scope>?<filter>
+        * <scope> ::= {base|one|subtree}
+        *
+        * <scope> defaults to "base"
+        * <base> must pass DN normalization
+        * <filter> must pass str2filter()
+        */
+       rc = ldap_url_parse( in->bv_val, &ludp );
+       switch ( rc ) {
+       case LDAP_URL_SUCCESS:
+               /* FIXME: the check is pedantic, but I think it's necessary,
+                * because people tend to use things like ldaps:// which
+                * gives the idea SSL is being used.  Maybe we could
+                * accept ldapi:// as well, but the point is that we use
+                * an URL as an easy means to define bits of a search with
+                * little parsing.
+                */
+               if ( strcasecmp( ludp->lud_scheme, "ldap" ) != 0 ) {
+                       /*
+                        * must be ldap:///
+                        */
+                       rc = LDAP_INVALID_SYNTAX;
+                       goto done;
+               }
+               break;
+
+       case LDAP_URL_ERR_BADSCHEME:
+               /*
+                * last chance: assume it's a(n exact) DN ...
+                *
+                * NOTE: must pass DN normalization
+                */
+               ldap_free_urldesc( ludp );
+               bv.bv_val = in->bv_val;
+               scope = LDAP_X_SCOPE_EXACT;
+               goto is_dn;
+
+       default:
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
+
+       if ( ( ludp->lud_host && *ludp->lud_host )
+               || ludp->lud_attrs || ludp->lud_exts )
+       {
+               /* host part must be empty */
+               /* attrs and extensions parts must be empty */
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
+
+       /* Grab the filter */
+       if ( ludp->lud_filter ) {
+               Filter  *f = str2filter( ludp->lud_filter );
+               if ( f == NULL ) {
+                       rc = LDAP_INVALID_SYNTAX;
+                       goto done;
+               }
+               filter_free( f );
+       }
+
+       /* Grab the searchbase */
+       assert( ludp->lud_dn != NULL );
+       ber_str2bv( ludp->lud_dn, 0, 0, &bv );
+       rc = dnValidate( NULL, &bv );
+
+done:
+       ldap_free_urldesc( ludp );
+       return( rc );
+}
+
+static int
+authzPrettyNormal(
+       struct berval   *val,
+       struct berval   *normalized,
+       void            *ctx,
+       int             normalize )
+{
+       struct berval   bv;
+       int             rc = LDAP_INVALID_SYNTAX;
+       LDAPURLDesc     *ludp = NULL;
+       char            *lud_dn = NULL,
+                       *lud_filter = NULL;
+       int             scope = -1;
+
+       /*
+        * 1) <DN>
+        * 2) dn[.{exact|children|subtree|onelevel}]:{*|<DN>}
+        * 3) dn.regex:<pattern>
+        * 4) u[.mech[/realm]]:<ID>
+        * 5) group[/<groupClass>[/<memberAttr>]]:<DN>
+        * 6) <URL>
+        */
+
+       assert( val != NULL );
+       assert( !BER_BVISNULL( val ) );
+
+       /*
+        * 2) dn[.{exact|children|subtree|onelevel}]:{*|<DN>}
+        * 3) dn.regex:<pattern>
+        *
+        * <DN> must pass DN normalization
+        */
+       if ( !strncasecmp( val->bv_val, "dn", STRLENOF( "dn" ) ) ) {
+               struct berval   out = BER_BVNULL,
+                               prefix = BER_BVNULL;
+               char            *ptr;
+
+               bv.bv_val = val->bv_val + STRLENOF( "dn" );
+
+               if ( bv.bv_val[ 0 ] == '.' ) {
+                       bv.bv_val++;
+
+                       if ( !strncasecmp( bv.bv_val, "exact:", STRLENOF( "exact:" ) ) ) {
+                               bv.bv_val += STRLENOF( "exact:" );
+                               scope = LDAP_X_SCOPE_EXACT;
+
+                       } else if ( !strncasecmp( bv.bv_val, "regex:", STRLENOF( "regex:" ) ) ) {
+                               bv.bv_val += STRLENOF( "regex:" );
+                               scope = LDAP_X_SCOPE_REGEX;
+
+                       } else if ( !strncasecmp( bv.bv_val, "children:", STRLENOF( "children:" ) ) ) {
+                               bv.bv_val += STRLENOF( "children:" );
+                               scope = LDAP_X_SCOPE_CHILDREN;
+
+                       } else if ( !strncasecmp( bv.bv_val, "subtree:", STRLENOF( "subtree:" ) ) ) {
+                               bv.bv_val += STRLENOF( "subtree:" );
+                               scope = LDAP_X_SCOPE_SUBTREE;
+
+                       } else if ( !strncasecmp( bv.bv_val, "onelevel:", STRLENOF( "onelevel:" ) ) ) {
+                               bv.bv_val += STRLENOF( "onelevel:" );
+                               scope = LDAP_X_SCOPE_ONELEVEL;
+
+                       } else {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+
+               } else {
+                       if ( bv.bv_val[ 0 ] != ':' ) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+                       scope = LDAP_X_SCOPE_EXACT;
+                       bv.bv_val++;
+               }
+
+               bv.bv_val += strspn( bv.bv_val, " " );
+               /* jump here in case no type specification was present
+                * and uri was not an URI... HEADS-UP: assuming EXACT */
+is_dn:         bv.bv_len = val->bv_len - ( bv.bv_val - val->bv_val );
+
+               /* a single '*' means any DN without using regexes */
+               if ( ber_bvccmp( &bv, '*' ) ) {
+                       ber_str2bv_x( "dn:*", STRLENOF( "dn:*" ), 1, normalized, ctx );
+                       return LDAP_SUCCESS;
+               }
+
+               switch ( scope ) {
+               case LDAP_X_SCOPE_EXACT:
+               case LDAP_X_SCOPE_CHILDREN:
+               case LDAP_X_SCOPE_SUBTREE:
+               case LDAP_X_SCOPE_ONELEVEL:
+                       if ( normalize ) {
+                               rc = dnNormalize( 0, NULL, NULL, &bv, &out, ctx );
+                       } else {
+                               rc = dnPretty( NULL, &bv, &out, ctx );
+                       }
+                       if( rc != LDAP_SUCCESS ) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+                       break;
+
+               case LDAP_X_SCOPE_REGEX:
+                       normalized->bv_len = STRLENOF( "dn.regex:" ) + bv.bv_len;
+                       normalized->bv_val = ber_memalloc_x( normalized->bv_len + 1, ctx );
+                       ptr = lutil_strcopy( normalized->bv_val, "dn.regex:" );
+                       ptr = lutil_strncopy( ptr, bv.bv_val, bv.bv_len );
+                       ptr[ 0 ] = '\0';
+                       return LDAP_SUCCESS;
+
+               default:
+                       return LDAP_INVALID_SYNTAX;
+               }
+
+               /* prepare prefix */
+               switch ( scope ) {
+               case LDAP_X_SCOPE_EXACT:
+                       BER_BVSTR( &prefix, "dn:" );
+                       break;
+
+               case LDAP_X_SCOPE_CHILDREN:
+                       BER_BVSTR( &prefix, "dn.children:" );
+                       break;
+
+               case LDAP_X_SCOPE_SUBTREE:
+                       BER_BVSTR( &prefix, "dn.subtree:" );
+                       break;
+
+               case LDAP_X_SCOPE_ONELEVEL:
+                       BER_BVSTR( &prefix, "dn.onelevel:" );
+                       break;
+
+               default:
+                       assert( 0 );
+                       break;
+               }
+
+               normalized->bv_len = prefix.bv_len + out.bv_len;
+               normalized->bv_val = ber_memalloc_x( normalized->bv_len + 1, ctx );
+               
+               ptr = lutil_strcopy( normalized->bv_val, prefix.bv_val );
+               ptr = lutil_strncopy( ptr, out.bv_val, out.bv_len );
+               ptr[ 0 ] = '\0';
+               ber_memfree_x( out.bv_val, ctx );
+
+               return LDAP_SUCCESS;
+
+       /*
+        * 4) u[.mech[/realm]]:<ID>
+        */
+       } else if ( ( val->bv_val[ 0 ] == 'u' || val->bv_val[ 0 ] == 'U' )
+                       && ( val->bv_val[ 1 ] == ':' 
+                               || val->bv_val[ 1 ] == '/' 
+                               || val->bv_val[ 1 ] == '.' ) )
+       {
+               char            buf[ SLAP_LDAPDN_MAXLEN ];
+               struct berval   id,
+                               user = BER_BVNULL,
+                               realm = BER_BVNULL,
+                               mech = BER_BVNULL;
+
+               if ( sizeof( buf ) <= val->bv_len ) {
+                       return LDAP_INVALID_SYNTAX;
+               }
+
+               id.bv_len = val->bv_len;
+               id.bv_val = buf;
+               strncpy( buf, val->bv_val, sizeof( buf ) );
+
+               rc = slap_parse_user( &id, &user, &realm, &mech );
+               if ( rc != LDAP_SUCCESS ) {
+                       return LDAP_INVALID_SYNTAX;
+               }
+
+               ber_dupbv_x( normalized, val, ctx );
+
+               return rc;
+
+       /*
+        * 5) group[/groupClass[/memberAttr]]:<DN>
+        *
+        * <groupClass> defaults to "groupOfNames"
+        * <memberAttr> defaults to "member"
+        * 
+        * <DN> must pass DN normalization
+        */
+       } else if ( strncasecmp( val->bv_val, "group", STRLENOF( "group" ) ) == 0 )
+       {
+               struct berval   group_dn = BER_BVNULL,
+                               group_oc = BER_BVNULL,
+                               member_at = BER_BVNULL,
+                               out = BER_BVNULL;
+               char            *ptr;
+
+               bv.bv_val = val->bv_val + STRLENOF( "group" );
+               bv.bv_len = val->bv_len - STRLENOF( "group" );
+               group_dn.bv_val = ber_bvchr( &bv, ':' );
+               if ( group_dn.bv_val == NULL ) {
+                       /* last chance: assume it's a(n exact) DN ... */
+                       bv.bv_val = val->bv_val;
+                       scope = LDAP_X_SCOPE_EXACT;
+                       goto is_dn;
+               }
+
+               /*
+                * FIXME: we assume that "member" and "groupOfNames"
+                * are present in schema...
+                */
+               if ( bv.bv_val[ 0 ] == '/' ) {
+                       ObjectClass             *oc = NULL;
+
+                       group_oc.bv_val = &bv.bv_val[ 1 ];
+                       group_oc.bv_len = group_dn.bv_val - group_oc.bv_val;
+
+                       member_at.bv_val = ber_bvchr( &group_oc, '/' );
+                       if ( member_at.bv_val ) {
+                               AttributeDescription    *ad = NULL;
+                               const char              *text = NULL;
+
+                               group_oc.bv_len = member_at.bv_val - group_oc.bv_val;
+                               member_at.bv_val++;
+                               member_at.bv_len = group_dn.bv_val - member_at.bv_val;
+                               rc = slap_bv2ad( &member_at, &ad, &text );
+                               if ( rc != LDAP_SUCCESS ) {
+                                       return rc;
+                               }
+
+                               member_at = ad->ad_cname;
+
+                       }
+
+                       oc = oc_bvfind( &group_oc );
+                       if ( oc == NULL ) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+
+                       group_oc = oc->soc_cname;
+               }
+
+               group_dn.bv_val++;
+               group_dn.bv_len = val->bv_len - ( group_dn.bv_val - val->bv_val );
+
+               if ( normalize ) {
+                       rc = dnNormalize( 0, NULL, NULL, &group_dn, &out, ctx );
+               } else {
+                       rc = dnPretty( NULL, &group_dn, &out, ctx );
+               }
+               if ( rc != LDAP_SUCCESS ) {
+                       return rc;
+               }
+
+               normalized->bv_len = STRLENOF( "group" ":" ) + out.bv_len;
+               if ( !BER_BVISNULL( &group_oc ) ) {
+                       normalized->bv_len += STRLENOF( "/" ) + group_oc.bv_len;
+                       if ( !BER_BVISNULL( &member_at ) ) {
+                               normalized->bv_len += STRLENOF( "/" ) + member_at.bv_len;
+                       }
+               }
+
+               normalized->bv_val = ber_memalloc_x( normalized->bv_len + 1, ctx );
+               ptr = lutil_strcopy( normalized->bv_val, "group" );
+               if ( !BER_BVISNULL( &group_oc ) ) {
+                       ptr[ 0 ] = '/';
+                       ptr++;
+                       ptr = lutil_strncopy( ptr, group_oc.bv_val, group_oc.bv_len );
+                       if ( !BER_BVISNULL( &member_at ) ) {
+                               ptr[ 0 ] = '/';
+                               ptr++;
+                               ptr = lutil_strncopy( ptr, member_at.bv_val, member_at.bv_len );
+                       }
+               }
+               ptr[ 0 ] = ':';
+               ptr++;
+               ptr = lutil_strncopy( ptr, out.bv_val, out.bv_len );
+               ptr[ 0 ] = '\0';
+               ber_memfree_x( out.bv_val, ctx );
+
+               return rc;
+       }
+
+       /*
+        * ldap:///<base>??<scope>?<filter>
+        * <scope> ::= {base|one|subtree}
+        *
+        * <scope> defaults to "base"
+        * <base> must pass DN normalization
+        * <filter> must pass str2filter()
+        */
+       rc = ldap_url_parse( val->bv_val, &ludp );
+       switch ( rc ) {
+       case LDAP_URL_SUCCESS:
+               /* FIXME: the check is pedantic, but I think it's necessary,
+                * because people tend to use things like ldaps:// which
+                * gives the idea SSL is being used.  Maybe we could
+                * accept ldapi:// as well, but the point is that we use
+                * an URL as an easy means to define bits of a search with
+                * little parsing.
+                */
+               if ( strcasecmp( ludp->lud_scheme, "ldap" ) != 0 ) {
+                       /*
+                        * must be ldap:///
+                        */
+                       rc = LDAP_INVALID_SYNTAX;
+                       goto done;
+               }
+
+               AC_MEMCPY( ludp->lud_scheme, "ldap", STRLENOF( "ldap" ) );
+               break;
+
+       case LDAP_URL_ERR_BADSCHEME:
+               /*
+                * last chance: assume it's a(n exact) DN ...
+                *
+                * NOTE: must pass DN normalization
+                */
+               ldap_free_urldesc( ludp );
+               bv.bv_val = val->bv_val;
+               scope = LDAP_X_SCOPE_EXACT;
+               goto is_dn;
+
+       default:
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
+
+       if ( ( ludp->lud_host && *ludp->lud_host )
+               || ludp->lud_attrs || ludp->lud_exts )
+       {
+               /* host part must be empty */
+               /* attrs and extensions parts must be empty */
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
+
+       /* Grab the filter */
+       if ( ludp->lud_filter ) {
+               struct berval   filterstr;
+               Filter          *f;
+
+               lud_filter = ludp->lud_filter;
+
+               f = str2filter( lud_filter );
+               if ( f == NULL ) {
+                       rc = LDAP_INVALID_SYNTAX;
+                       goto done;
+               }
+               filter2bv( f, &filterstr );
+               filter_free( f );
+               if ( BER_BVISNULL( &filterstr ) ) {
+                       rc = LDAP_INVALID_SYNTAX;
+                       goto done;
+               }
+
+               ludp->lud_filter = filterstr.bv_val;
+       }
+
+       /* Grab the searchbase */
+       assert( ludp->lud_dn != NULL );
+       if ( ludp->lud_dn ) {
+               struct berval   out = BER_BVNULL;
+
+               lud_dn = ludp->lud_dn;
+
+               ber_str2bv( lud_dn, 0, 0, &bv );
+               if ( normalize ) {
+                       rc = dnNormalize( 0, NULL, NULL, &bv, &out, ctx );
+               } else {
+                       rc = dnPretty( NULL, &bv, &out, ctx );
+               }
+
+               if ( rc != LDAP_SUCCESS ) {
+                       goto done;
+               }
+
+               ludp->lud_dn = out.bv_val;
+       }
+
+       ludp->lud_port = 0;
+       normalized->bv_val = ldap_url_desc2str( ludp );
+       if ( normalized->bv_val ) {
+               normalized->bv_len = strlen( normalized->bv_val );
+
+       } else {
+               rc = LDAP_INVALID_SYNTAX;
+       }
+
+done:
+       if ( lud_filter ) {
+               if ( ludp->lud_filter != lud_filter ) {
+                       ber_memfree( ludp->lud_filter );
+               }
+               ludp->lud_filter = lud_filter;
+       }
+
+       if ( lud_dn ) {
+               if ( ludp->lud_dn != lud_dn ) {
+                       ber_memfree( ludp->lud_dn );
+               }
+               ludp->lud_dn = lud_dn;
+       }
+
+       ldap_free_urldesc( ludp );
+
+       return( rc );
+}
+
+int
+authzNormalize(
+       slap_mask_t     usage,
+       Syntax          *syntax,
+       MatchingRule    *mr,
+       struct berval   *val,
+       struct berval   *normalized,
+       void            *ctx )
+{
+       int             rc;
+
+       Debug( LDAP_DEBUG_TRACE, ">>> authzNormalize: <%s>\n",
+               val->bv_val, 0, 0 );
+
+       rc = authzPrettyNormal( val, normalized, ctx, 1 );
+
+       Debug( LDAP_DEBUG_TRACE, "<<< authzNormalize: <%s> (%d)\n",
+               normalized->bv_val, rc, 0 );
+
+       return rc;
+}
+
+int
+authzPretty(
+       Syntax *syntax,
+       struct berval *val,
+       struct berval *out,
+       void *ctx)
+{
+       int             rc;
+
+       Debug( LDAP_DEBUG_TRACE, ">>> authzPretty: <%s>\n",
+               val->bv_val, 0, 0 );
+
+       rc = authzPrettyNormal( val, out, ctx, 0 );
+
+       Debug( LDAP_DEBUG_TRACE, "<<< authzPretty: <%s> (%d)\n",
+               out->bv_val, rc, 0 );
+
+       return rc;
+}
+
+
+static int
+slap_parseURI(
+       Operation       *op,
+       struct berval   *uri,
+       struct berval   *base,
+       struct berval   *nbase,
+       int             *scope,
+       Filter          **filter,
+       struct berval   *fstr,
+       int             normalize )
+{
+       struct berval   bv;
+       int             rc;
+       LDAPURLDesc     *ludp;
+
+       struct berval   idx;
 
        assert( uri != NULL && !BER_BVISNULL( uri ) );
        BER_BVZERO( base );
@@ -223,6 +934,19 @@ static int slap_parseURI( Operation *op, struct berval *uri,
 
        rc = LDAP_PROTOCOL_ERROR;
 
+       idx = *uri;
+       if ( idx.bv_val[ 0 ] == '{' ) {
+               char    *ptr;
+
+               ptr = ber_bvchr( &idx, '}' ) + 1;
+
+               assert( ptr != (void *)1 );
+
+               idx.bv_len -= ptr - idx.bv_val;
+               idx.bv_val = ptr;
+               uri = &idx;
+       }
+
        /*
         * dn[.<dnstyle>]:<dnpattern>
         * <dnstyle> ::= {exact|regex|children|subtree|onelevel}
@@ -283,9 +1007,14 @@ is_dn:            bv.bv_len = uri->bv_len - (bv.bv_val - uri->bv_val);
                case LDAP_X_SCOPE_CHILDREN:
                case LDAP_X_SCOPE_SUBTREE:
                case LDAP_X_SCOPE_ONELEVEL:
-                       rc = dnNormalize( 0, NULL, NULL, &bv, nbase, op->o_tmpmemctx );
-                       if( rc != LDAP_SUCCESS ) {
-                               *scope = -1;
+                       if ( normalize ) {
+                               rc = dnNormalize( 0, NULL, NULL, &bv, nbase, op->o_tmpmemctx );
+                               if( rc != LDAP_SUCCESS ) {
+                                       *scope = -1;
+                               }
+                       } else {
+                               ber_dupbv_x( nbase, &bv, op->o_tmpmemctx );
+                               rc = LDAP_SUCCESS;
                        }
                        break;
 
@@ -362,7 +1091,8 @@ is_dn:             bv.bv_len = uri->bv_len - (bv.bv_val - uri->bv_val);
                char            *tmp;
 
                bv.bv_val = uri->bv_val + STRLENOF( "group" );
-               group_dn.bv_val = strchr( bv.bv_val, ':' );
+               bv.bv_len = uri->bv_len - STRLENOF( "group" );
+               group_dn.bv_val = ber_bvchr( &bv, ':' );
                if ( group_dn.bv_val == NULL ) {
                        /* last chance: assume it's a(n exact) DN ... */
                        bv.bv_val = uri->bv_val;
@@ -372,28 +1102,34 @@ is_dn:           bv.bv_len = uri->bv_len - (bv.bv_val - uri->bv_val);
                
                if ( bv.bv_val[ 0 ] == '/' ) {
                        group_oc.bv_val = &bv.bv_val[ 1 ];
+                       group_oc.bv_len = group_dn.bv_val - group_oc.bv_val;
 
-                       member_at.bv_val = strchr( group_oc.bv_val, '/' );
+                       member_at.bv_val = ber_bvchr( &group_oc, '/' );
                        if ( member_at.bv_val ) {
                                group_oc.bv_len = member_at.bv_val - group_oc.bv_val;
                                member_at.bv_val++;
                                member_at.bv_len = group_dn.bv_val - member_at.bv_val;
 
                        } else {
-                               group_oc.bv_len = group_dn.bv_val - group_oc.bv_val;
                                BER_BVSTR( &member_at, SLAPD_GROUP_ATTR );
                        }
 
                } else {
                        BER_BVSTR( &group_oc, SLAPD_GROUP_CLASS );
+                       BER_BVSTR( &member_at, SLAPD_GROUP_ATTR );
                }
                group_dn.bv_val++;
                group_dn.bv_len = uri->bv_len - ( group_dn.bv_val - uri->bv_val );
 
-               rc = dnNormalize( 0, NULL, NULL, &group_dn, nbase, op->o_tmpmemctx );
-               if ( rc != LDAP_SUCCESS ) {
-                       *scope = -1;
-                       return rc;
+               if ( normalize ) {
+                       rc = dnNormalize( 0, NULL, NULL, &group_dn, nbase, op->o_tmpmemctx );
+                       if ( rc != LDAP_SUCCESS ) {
+                               *scope = -1;
+                               return rc;
+                       }
+               } else {
+                       ber_dupbv_x( nbase, &group_dn, op->o_tmpmemctx );
+                       rc = LDAP_SUCCESS;
                }
                *scope = LDAP_X_SCOPE_GROUP;
 
@@ -481,11 +1217,19 @@ is_dn:           bv.bv_len = uri->bv_len - (bv.bv_val - uri->bv_val);
 
        /* Grab the searchbase */
        ber_str2bv( ludp->lud_dn, 0, 0, base );
-       rc = dnNormalize( 0, NULL, NULL, base, nbase, op->o_tmpmemctx );
+       if ( normalize ) {
+               rc = dnNormalize( 0, NULL, NULL, base, nbase, op->o_tmpmemctx );
+       } else {
+               ber_dupbv_x( nbase, base, op->o_tmpmemctx );
+               rc = LDAP_SUCCESS;
+       }
 
 done:
        if( rc != LDAP_SUCCESS ) {
-               if( *filter ) filter_free_x( op, *filter );
+               if( *filter ) {
+                       filter_free_x( op, *filter, 1 );
+                       *filter = NULL;
+               }
                BER_BVZERO( base );
                BER_BVZERO( fstr );
        } else {
@@ -559,7 +1303,8 @@ int slap_sasl_rewrite_config(
        return rc;
 }
 
-int slap_sasl_rewrite_destroy( void )
+static int
+slap_sasl_rewrite_destroy( void )
 {
        if ( sasl_rwinfo ) {
                rewrite_info_delete( &sasl_rwinfo );
@@ -619,32 +1364,59 @@ int slap_sasl_regexp_config( const char *match, const char *replace )
 
        reg = &SaslRegexp[nSaslRegexp];
 
-       reg->sr_match = ch_strdup( match );
-       reg->sr_replace = ch_strdup( replace );
-
 #ifdef SLAP_AUTH_REWRITE
        rc = slap_sasl_regexp_rewrite_config( "sasl-regexp", 0,
                        match, replace, AUTHID_CONTEXT );
-       if ( rc == LDAP_SUCCESS ) nSaslRegexp++;
-       return rc;
 #else /* ! SLAP_AUTH_REWRITE */
 
        /* Precompile matching pattern */
-       rc = regcomp( &reg->sr_workspace, reg->sr_match, REG_EXTENDED|REG_ICASE );
+       rc = regcomp( &reg->sr_workspace, match, REG_EXTENDED|REG_ICASE );
        if ( rc ) {
                Debug( LDAP_DEBUG_ANY,
-               "SASL match pattern %s could not be compiled by regexp engine\n",
-               reg->sr_match, 0, 0 );
+                       "SASL match pattern %s could not be compiled by regexp engine\n",
+                       match, 0, 0 );
 
+#ifdef ENABLE_REWRITE
+               /* Dummy block to force symbol references in librewrite */
+               if ( slapMode == ( SLAP_SERVER_MODE|SLAP_TOOL_MODE )) {
+                       rewrite_info_init( 0 );
+               }
+#endif
                return( LDAP_OTHER );
        }
 
-       rc = slap_sasl_rx_off( reg->sr_replace, reg->sr_offset );
-       if ( rc != LDAP_SUCCESS ) return rc;
-
-       nSaslRegexp++;
-       return( LDAP_SUCCESS );
+       rc = slap_sasl_rx_off( replace, reg->sr_offset );
 #endif /* ! SLAP_AUTH_REWRITE */
+       if ( rc == LDAP_SUCCESS ) {
+               reg->sr_match = ch_strdup( match );
+               reg->sr_replace = ch_strdup( replace );
+
+               nSaslRegexp++;
+       }
+
+       return rc;
+}
+
+void
+slap_sasl_regexp_destroy( void )
+{
+       if ( SaslRegexp ) {
+               int     n;
+
+               for ( n = 0; n < nSaslRegexp; n++ ) {
+                       ch_free( SaslRegexp[ n ].sr_match );
+                       ch_free( SaslRegexp[ n ].sr_replace );
+#ifndef SLAP_AUTH_REWRITE
+                       regfree( &SaslRegexp[ n ].sr_workspace );
+#endif /* SLAP_AUTH_REWRITE */
+               }
+
+               ch_free( SaslRegexp );
+       }
+
+#ifdef SLAP_AUTH_REWRITE
+       slap_sasl_rewrite_destroy();
+#endif /* SLAP_AUTH_REWRITE */
 }
 
 void slap_sasl_regexp_unparse( BerVarray *out )
@@ -810,24 +1582,25 @@ static int slap_authz_regexp( struct berval *in, struct berval *out,
 }
 
 /* This callback actually does some work...*/
-static int sasl_sc_sasl2dn( Operation *o, SlapReply *rs )
+static int sasl_sc_sasl2dn( Operation *op, SlapReply *rs )
 {
-       struct berval *ndn = o->o_callback->sc_private;
+       struct berval *ndn = op->o_callback->sc_private;
 
-       if (rs->sr_type != REP_SEARCH) return 0;
+       if ( rs->sr_type != REP_SEARCH ) return LDAP_SUCCESS;
 
        /* We only want to be called once */
        if ( !BER_BVISNULL( ndn ) ) {
-               o->o_tmpfree(ndn->bv_val, o->o_tmpmemctx);
+               op->o_tmpfree( ndn->bv_val, op->o_tmpmemctx );
                BER_BVZERO( ndn );
 
                Debug( LDAP_DEBUG_TRACE,
-                       "slap_sc_sasl2dn: search DN returned more than 1 entry\n", 0, 0, 0 );
-               return -1;
+                       "%s: slap_sc_sasl2dn: search DN returned more than 1 entry\n",
+                       op->o_log_prefix, 0, 0 );
+               return LDAP_UNAVAILABLE; /* short-circuit the search */
        }
 
-       ber_dupbv_x(ndn, &rs->sr_entry->e_nname, o->o_tmpmemctx);
-       return 0;
+       ber_dupbv_x( ndn, &rs->sr_entry->e_nname, op->o_tmpmemctx );
+       return LDAP_SUCCESS;
 }
 
 
@@ -840,23 +1613,11 @@ static int sasl_sc_smatch( Operation *o, SlapReply *rs )
 {
        smatch_info *sm = o->o_callback->sc_private;
 
-       if ( rs->sr_type != REP_SEARCH ) {
-               if ( rs->sr_err != LDAP_SUCCESS ) {
-                       sm->match = -1;
-               }
-               return 0;
-       }
-
-       if ( sm->match == 1 ) {
-               sm->match = -1;
-               return 0;
-       }
+       if (rs->sr_type != REP_SEARCH) return 0;
 
        if (dn_match(sm->dn, &rs->sr_entry->e_nname)) {
                sm->match = 1;
-
-       } else {
-               sm->match = -1;
+               return LDAP_UNAVAILABLE;        /* short-circuit the search */
        }
 
        return 0;
@@ -907,11 +1668,12 @@ slap_sasl_match( Operation *opx, struct berval *rule,
 
        Debug( LDAP_DEBUG_TRACE,
           "===>slap_sasl_match: comparing DN %s to rule %s\n",
-               assertDN->bv_val, rule->bv_val, 0 );
+               assertDN->bv_len ? assertDN->bv_val : "(null)", rule->bv_val, 0 );
+
+       /* NOTE: don't normalize rule if authz syntax is enabled */
+       rc = slap_parseURI( opx, rule, &base, &op.o_req_ndn,
+               &op.ors_scope, &op.ors_filter, &op.ors_filterstr, 0 );
 
-       rc = slap_parseURI( opx, rule, &base,
-               &op.o_req_ndn, &op.ors_scope, &op.ors_filter,
-               &op.ors_filterstr );
        if( rc != LDAP_SUCCESS ) goto CONCLUDED;
 
        switch ( op.ors_scope ) {
@@ -940,7 +1702,7 @@ exact_match:
 
                        /* leave room for at least one char of attributeType,
                         * one for '=' and one for ',' */
-                       if ( d < STRLENOF( "x=,") ) {
+                       if ( d < (int) STRLENOF( "x=,") ) {
                                goto CONCLUDED;
                        }
 
@@ -1047,7 +1809,7 @@ exact_match:
           "slap_sasl_match: performing internal search (base=%s, scope=%d)\n",
           op.o_req_ndn.bv_val, op.ors_scope, 0 );
 
-       op.o_bd = select_backend( &op.o_req_ndn, 0, 1 );
+       op.o_bd = select_backend( &op.o_req_ndn, 1 );
        if(( op.o_bd == NULL ) || ( op.o_bd->be_search == NULL)) {
                rc = LDAP_INAPPROPRIATE_AUTH;
                goto CONCLUDED;
@@ -1057,7 +1819,7 @@ exact_match:
        op.o_tag = LDAP_REQ_SEARCH;
        op.o_ndn = *authc;
        op.o_callback = &cb;
-       op.o_time = slap_get_time();
+       slap_op_time( &op.o_time, &op.o_tincr );
        op.o_do_not_cache = 1;
        op.o_is_auth_check = 1;
        /* use req_ndn as req_dn instead of non-pretty base of uri */
@@ -1075,7 +1837,7 @@ exact_match:
 
        op.o_bd->be_search( &op, &rs );
 
-       if (sm.match == 1) {
+       if (sm.match) {
                rc = LDAP_SUCCESS;
        } else {
                rc = LDAP_INAPPROPRIATE_AUTH;
@@ -1084,7 +1846,7 @@ exact_match:
 CONCLUDED:
        if( !BER_BVISNULL( &op.o_req_dn ) ) slap_sl_free( op.o_req_dn.bv_val, opx->o_tmpmemctx );
        if( !BER_BVISNULL( &op.o_req_ndn ) ) slap_sl_free( op.o_req_ndn.bv_val, opx->o_tmpmemctx );
-       if( op.ors_filter ) filter_free_x( opx, op.ors_filter );
+       if( op.ors_filter ) filter_free_x( opx, op.ors_filter, 1 );
        if( !BER_BVISNULL( &op.ors_filterstr ) ) ch_free( op.ors_filterstr.bv_val );
 
        Debug( LDAP_DEBUG_TRACE,
@@ -1109,14 +1871,18 @@ slap_sasl_check_authz( Operation *op,
        AttributeDescription *ad,
        struct berval *authc )
 {
-       int rc;
-       BerVarray vals = NULL;
+       int             rc,
+                       do_not_cache = op->o_do_not_cache;
+       BerVarray       vals = NULL;
 
        Debug( LDAP_DEBUG_TRACE,
           "==>slap_sasl_check_authz: does %s match %s rule in %s?\n",
           assertDN->bv_val, ad->ad_cname.bv_val, searchDN->bv_val);
 
+       /* ITS#4760: don't cache group access */
+       op->o_do_not_cache = 1;
        rc = backend_attribute( op, NULL, searchDN, ad, &vals, ACL_AUTH );
+       op->o_do_not_cache = do_not_cache;
        if( rc != LDAP_SUCCESS ) goto COMPLETE;
 
        /* Check if the *assertDN matches any *vals */
@@ -1166,16 +1932,17 @@ slap_sasl2dn(
                goto FINISHED;
        }
 
-       rc = slap_parseURI( opx, &regout, &base,
-               &op.o_req_ndn, &op.ors_scope, &op.ors_filter,
-               &op.ors_filterstr );
+       /* NOTE: always normalize regout because it results
+        * from string submatch expansion */
+       rc = slap_parseURI( opx, &regout, &base, &op.o_req_ndn,
+               &op.ors_scope, &op.ors_filter, &op.ors_filterstr, 1 );
        if ( !BER_BVISNULL( &regout ) ) slap_sl_free( regout.bv_val, opx->o_tmpmemctx );
        if ( rc != LDAP_SUCCESS ) {
                goto FINISHED;
        }
 
        /* Must do an internal search */
-       op.o_bd = select_backend( &op.o_req_ndn, 0, 1 );
+       op.o_bd = select_backend( &op.o_req_ndn, 1 );
 
        switch ( op.ors_scope ) {
        case LDAP_X_SCOPE_EXACT:
@@ -1195,9 +1962,7 @@ slap_sasl2dn(
        case LDAP_SCOPE_BASE:
        case LDAP_SCOPE_ONELEVEL:
        case LDAP_SCOPE_SUBTREE:
-#ifdef LDAP_SCOPE_SUBORDINATE
        case LDAP_SCOPE_SUBORDINATE:
-#endif
                /* do a search */
                break;
 
@@ -1224,7 +1989,7 @@ slap_sasl2dn(
        op.o_tag = LDAP_REQ_SEARCH;
        op.o_ndn = opx->o_conn->c_ndn;
        op.o_callback = &cb;
-       op.o_time = slap_get_time();
+       slap_op_time( &op.o_time, &op.o_tincr );
        op.o_do_not_cache = 1;
        op.o_is_auth_check = 1;
        op.ors_deref = LDAP_DEREF_NEVER;
@@ -1243,7 +2008,7 @@ slap_sasl2dn(
        op.o_bd->be_search( &op, &rs );
        
 FINISHED:
-       if( !BER_BVISEMPTY( sasldn ) ) {
+       if( opx == opx->o_conn->c_sasl_bindop && !BER_BVISEMPTY( sasldn ) ) {
                opx->o_conn->c_authz_backend = op.o_bd;
        }
        if( !BER_BVISNULL( &op.o_req_dn ) ) {
@@ -1253,7 +2018,7 @@ FINISHED:
                slap_sl_free( op.o_req_ndn.bv_val, opx->o_tmpmemctx );
        }
        if( op.ors_filter ) {
-               filter_free_x( opx, op.ors_filter );
+               filter_free_x( opx, op.ors_filter, 1 );
        }
        if( !BER_BVISNULL( &op.ors_filterstr ) ) {
                ch_free( op.ors_filterstr.bv_val );
@@ -1276,14 +2041,20 @@ int slap_sasl_authorized( Operation *op,
        int rc = LDAP_INAPPROPRIATE_AUTH;
 
        /* User binding as anonymous */
-       if ( authzDN == NULL ) {
+       if ( !authzDN || !authzDN->bv_len || !authzDN->bv_val ) {
                rc = LDAP_SUCCESS;
                goto DONE;
        }
 
+       /* User is anonymous */
+       if ( !authcDN || !authcDN->bv_len || !authcDN->bv_val ) {
+               goto DONE;
+       }
+
        Debug( LDAP_DEBUG_TRACE,
           "==>slap_sasl_authorized: can %s become %s?\n",
-               authcDN->bv_val, authzDN->bv_val, 0 );
+               authcDN->bv_len ? authcDN->bv_val : "(null)",
+               authzDN->bv_len ? authzDN->bv_val : "(null)",  0 );
 
        /* If person is authorizing to self, succeed */
        if ( dn_match( authcDN, authzDN ) ) {