X-Git-Url: https://git.sur5r.net/?a=blobdiff_plain;f=servers%2Fslapd%2Fschema_check.c;h=bf6b75a8ca21f9382b4818df1bcbe3bb840a2035;hb=f96e6378d6cd06c744a47af5e5e551cbb494826a;hp=b72517903a4baf0e43d6039ea72caee6c98f6e8a;hpb=f52cc9bab51e427afa3ed5d28be012d8da27a7a8;p=openldap diff --git a/servers/slapd/schema_check.c b/servers/slapd/schema_check.c index b72517903a..bf6b75a8ca 100644 --- a/servers/slapd/schema_check.c +++ b/servers/slapd/schema_check.c @@ -1,8 +1,17 @@ /* schema_check.c - routines to enforce schema definitions */ /* $OpenLDAP$ */ -/* - * Copyright 1998-2000 The OpenLDAP Foundation, All Rights Reserved. - * COPYING RESTRICTIONS APPLY, see COPYRIGHT file +/* This work is part of OpenLDAP Software . + * + * Copyright 1998-2006 The OpenLDAP Foundation. + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted only as authorized by the OpenLDAP + * Public License. + * + * A copy of this license is available in the file LICENSE in the + * top-level directory of the distribution or, alternatively, at + * . */ #include "portable.h" @@ -14,13 +23,17 @@ #include #include "slap.h" -#include "ldap_pvt.h" static char * oc_check_required( Entry *e, ObjectClass *oc, struct berval *ocname ); +static int entry_naming_check( + Entry *e, + int manage, + const char** text, + char *textbuf, size_t textlen ); /* * entry_schema_check - check that entry e conforms to the schema required * by its object class(es). @@ -30,12 +43,17 @@ static char * oc_check_required( int entry_schema_check( - Entry *e, Attribute *oldattrs, + Operation *op, + Entry *e, + Attribute *oldattrs, + int manage, const char** text, char *textbuf, size_t textlen ) { Attribute *a, *asc, *aoc; ObjectClass *sc, *oc; + AttributeType *at; + ContentRule *cr; int rc, i; struct berval nsc; AttributeDescription *ad_structuralObjectClass @@ -43,57 +61,71 @@ entry_schema_check( AttributeDescription *ad_objectClass = slap_schema.si_ad_objectClass; int extensible = 0; + int subentry = is_entry_subentry( e ); + int collectiveSubentry = 0; + + if ( SLAP_NO_SCHEMA_CHECK( op->o_bd )) { + return LDAP_SUCCESS; + } + + if ( get_no_schema_check( op ) ) { + return LDAP_SUCCESS; + } + + if( subentry ) { + collectiveSubentry = is_entry_collectiveAttributeSubentry( e ); + } *text = textbuf; - /* check single-valued attrs for multiple values */ + /* misc attribute checks */ for ( a = e->e_attrs; a != NULL; a = a->a_next ) { + const char *type = a->a_desc->ad_cname.bv_val; + /* there should be at least one value */ - assert( a->a_vals ); + assert( a->a_vals != NULL ); assert( a->a_vals[0].bv_val != NULL ); + if( a->a_desc->ad_type->sat_check ) { + int rc = (a->a_desc->ad_type->sat_check)( + op->o_bd, e, a, text, textbuf, textlen ); + if( rc != LDAP_SUCCESS ) { + return rc; + } + } + + if( !collectiveSubentry && is_at_collective( a->a_desc->ad_type ) ) { + snprintf( textbuf, textlen, + "'%s' can only appear in collectiveAttributeSubentry", + type ); + return LDAP_OBJECT_CLASS_VIOLATION; + } + /* if single value type, check for multiple values */ if( is_at_single_value( a->a_desc->ad_type ) && a->a_vals[1].bv_val != NULL ) { - char *type = a->a_desc->ad_cname.bv_val; - snprintf( textbuf, textlen, "attribute '%s' cannot have multiple values", type ); -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_INFO, - "entry_schema_check: dn=\"%s\" %s\n", - e->e_dn, textbuf )); -#else Debug( LDAP_DEBUG_ANY, "Entry (%s), %s\n", e->e_dn, textbuf, 0 ); -#endif return LDAP_CONSTRAINT_VIOLATION; } } - /* it's a REALLY bad idea to disable schema checks */ - if( !global_schemacheck ) return LDAP_SUCCESS; - - /* find the object class attribute - could error out here */ + /* find the structural object class attribute */ asc = attr_find( e->e_attrs, ad_structuralObjectClass ); if ( asc == NULL ) { -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_INFO, "entry_schema_check: " - "No structuralObjectClass for entry (%s)\n", - e->e_dn )); -#else Debug( LDAP_DEBUG_ANY, "No structuralObjectClass for entry (%s)\n", e->e_dn, 0, 0 ); -#endif *text = "no structuralObjectClass operational attribute"; - return LDAP_OBJECT_CLASS_VIOLATION; + return LDAP_OTHER; } assert( asc->a_vals != NULL ); @@ -104,17 +136,11 @@ entry_schema_check( if( sc == NULL ) { snprintf( textbuf, textlen, "unrecognized structuralObjectClass '%s'", - aoc->a_vals[0].bv_val ); + asc->a_vals[0].bv_val ); -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_INFO, - "entry_schema_check: dn (%s), %s\n", - e->e_dn, textbuf )); -#else Debug( LDAP_DEBUG_ANY, "entry_check_schema(%s): %s\n", e->e_dn, textbuf, 0 ); -#endif return LDAP_OBJECT_CLASS_VIOLATION; } @@ -122,17 +148,23 @@ entry_schema_check( if( sc->soc_kind != LDAP_SCHEMA_STRUCTURAL ) { snprintf( textbuf, textlen, "structuralObjectClass '%s' is not STRUCTURAL", - aoc->a_vals[0].bv_val ); + asc->a_vals[0].bv_val ); + + Debug( LDAP_DEBUG_ANY, + "entry_check_schema(%s): %s\n", + e->e_dn, textbuf, 0 ); + + return LDAP_OTHER; + } + + if( !manage && sc->soc_obsolete ) { + snprintf( textbuf, textlen, + "structuralObjectClass '%s' is OBSOLETE", + asc->a_vals[0].bv_val ); -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_INFO, - "entry_schema_check: dn (%s), %s\n", - e->e_dn, textbuf )); -#else Debug( LDAP_DEBUG_ANY, "entry_check_schema(%s): %s\n", e->e_dn, textbuf, 0 ); -#endif return LDAP_OBJECT_CLASS_VIOLATION; } @@ -140,14 +172,8 @@ entry_schema_check( /* find the object class attribute */ aoc = attr_find( e->e_attrs, ad_objectClass ); if ( aoc == NULL ) { -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_INFO, - "entry_schema_check: No objectClass for entry (%s).\n" - e->e_dn )); -#else Debug( LDAP_DEBUG_ANY, "No objectClass for entry (%s)\n", e->e_dn, 0, 0 ); -#endif *text = "no objectClass attribute"; return LDAP_OBJECT_CLASS_VIOLATION; @@ -156,27 +182,106 @@ entry_schema_check( assert( aoc->a_vals != NULL ); assert( aoc->a_vals[0].bv_val != NULL ); - rc = structural_class( aoc->a_vals, &nsc, text, textbuf, textlen ); + rc = structural_class( aoc->a_vals, &nsc, &oc, text, textbuf, textlen ); if( rc != LDAP_SUCCESS ) { return rc; - } else if ( nsc.bv_len == 0 ) { - return LDAP_OBJECT_CLASS_VIOLATION; } *text = textbuf; - oc = oc_bvfind( &nsc ); if ( oc == NULL ) { snprintf( textbuf, textlen, "unrecognized objectClass '%s'", - aoc->a_vals[i].bv_val ); + aoc->a_vals[0].bv_val ); return LDAP_OBJECT_CLASS_VIOLATION; - } else if ( sc != oc ) { + } else if ( sc != slap_schema.si_oc_glue && sc != oc ) { snprintf( textbuf, textlen, - "structuralObjectClass modification from '%s' to '%s' not allowed", + "structural object class modification " + "from '%s' to '%s' not allowed", asc->a_vals[0].bv_val, nsc.bv_val ); return LDAP_NO_OBJECT_CLASS_MODS; + } else if ( sc == slap_schema.si_oc_glue ) { + sc = oc; + } + + /* naming check */ + if ( !is_entry_objectclass ( e, slap_schema.si_oc_glue, 0 ) ) { + rc = entry_naming_check( e, manage, text, textbuf, textlen ); + if( rc != LDAP_SUCCESS ) { + return rc; + } + } else { + /* Glue Entry */ + } + + /* find the content rule for the structural class */ + cr = cr_find( sc->soc_oid ); + + /* the cr must be same as the structural class */ + assert( !cr || !strcmp( cr->scr_oid, sc->soc_oid ) ); + + /* check that the entry has required attrs of the content rule */ + if( cr ) { + if( !manage && cr->scr_obsolete ) { + snprintf( textbuf, textlen, + "content rule '%s' is obsolete", + ldap_contentrule2name( &cr->scr_crule )); + + Debug( LDAP_DEBUG_ANY, + "Entry (%s): %s\n", + e->e_dn, textbuf, 0 ); + + return LDAP_OBJECT_CLASS_VIOLATION; + } + + if( cr->scr_required ) for( i=0; cr->scr_required[i]; i++ ) { + at = cr->scr_required[i]; + + for ( a = e->e_attrs; a != NULL; a = a->a_next ) { + if( a->a_desc->ad_type == at ) { + break; + } + } + + /* not there => schema violation */ + if ( a == NULL ) { + snprintf( textbuf, textlen, + "content rule '%s' requires attribute '%s'", + ldap_contentrule2name( &cr->scr_crule ), + at->sat_cname.bv_val ); + + Debug( LDAP_DEBUG_ANY, + "Entry (%s): %s\n", + e->e_dn, textbuf, 0 ); + + return LDAP_OBJECT_CLASS_VIOLATION; + } + } + + if( cr->scr_precluded ) for( i=0; cr->scr_precluded[i]; i++ ) { + at = cr->scr_precluded[i]; + + for ( a = e->e_attrs; a != NULL; a = a->a_next ) { + if( a->a_desc->ad_type == at ) { + break; + } + } + + /* there => schema violation */ + if ( a != NULL ) { + snprintf( textbuf, textlen, + "content rule '%s' precluded attribute '%s'", + ldap_contentrule2name( &cr->scr_crule ), + at->sat_cname.bv_val ); + + Debug( LDAP_DEBUG_ANY, + "Entry (%s): %s\n", + e->e_dn, textbuf, 0 ); + + return LDAP_OBJECT_CLASS_VIOLATION; + } + } } /* check that the entry has required attrs for each oc */ @@ -186,19 +291,35 @@ entry_schema_check( "unrecognized objectClass '%s'", aoc->a_vals[i].bv_val ); -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_INFO, - "entry_schema_check: dn (%s), %s\n", - e->e_dn, textbuf )); -#else Debug( LDAP_DEBUG_ANY, "entry_check_schema(%s): %s\n", e->e_dn, textbuf, 0 ); -#endif return LDAP_OBJECT_CLASS_VIOLATION; + } + + if ( !manage && oc->soc_obsolete ) { + /* disallow obsolete classes */ + snprintf( textbuf, textlen, + "objectClass '%s' is OBSOLETE", + aoc->a_vals[i].bv_val ); + + Debug( LDAP_DEBUG_ANY, + "entry_check_schema(%s): %s\n", + e->e_dn, textbuf, 0 ); + + return LDAP_OBJECT_CLASS_VIOLATION; + } - } else if ( oc->soc_kind == LDAP_SCHEMA_ABSTRACT ) { + if ( oc->soc_check ) { + int rc = (oc->soc_check)( op->o_bd, e, oc, + text, textbuf, textlen ); + if( rc != LDAP_SUCCESS ) { + return rc; + } + } + + if ( oc->soc_kind == LDAP_SCHEMA_ABSTRACT ) { /* object class is abstract */ if ( oc != slap_schema.si_oc_top && !is_object_subclass( oc, sc )) @@ -213,15 +334,9 @@ entry_schema_check( "unrecognized objectClass '%s'", aoc->a_vals[i].bv_val ); -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_INFO, - "entry_schema_check: dn (%s), %s\n", - e->e_dn, textbuf )); -#else Debug( LDAP_DEBUG_ANY, "entry_check_schema(%s): %s\n", e->e_dn, textbuf, 0 ); -#endif return LDAP_OBJECT_CLASS_VIOLATION; } @@ -235,10 +350,9 @@ entry_schema_check( if ( xc->soc_kind == LDAP_SCHEMA_AUXILIARY && is_object_subclass( oc, xc ) ) { - break;; + xc = NULL; + break; } - - xc = NULL; } } @@ -247,37 +361,61 @@ entry_schema_check( "abstract objectClass '%s' not allowed", aoc->a_vals[i].bv_val ); -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_INFO, - "entry_schema_check: dn (%s), %s\n", - e->e_dn, textbuf )); -#else Debug( LDAP_DEBUG_ANY, "entry_check_schema(%s): %s\n", e->e_dn, textbuf, 0 ); -#endif return LDAP_OBJECT_CLASS_VIOLATION; } } } else if ( oc->soc_kind != LDAP_SCHEMA_STRUCTURAL || oc == sc ) { - char *s = oc_check_required( e, oc, &aoc->a_vals[i] ); + char *s; + + if( oc->soc_kind == LDAP_SCHEMA_AUXILIARY ) { + int k; + + if( cr ) { + int j; + + k = -1; + if( cr->scr_auxiliaries ) { + for( j = 0; cr->scr_auxiliaries[j]; j++ ) { + if( cr->scr_auxiliaries[j] == oc ) { + k = 0; + break; + } + } + } + } else if ( global_disallows & SLAP_DISALLOW_AUX_WO_CR ) { + k = -1; + } else { + k = 0; + } + + if( k == -1 ) { + snprintf( textbuf, textlen, + "content rule '%s' does not allow class '%s'", + ldap_contentrule2name( &cr->scr_crule ), + oc->soc_cname.bv_val ); + Debug( LDAP_DEBUG_ANY, + "Entry (%s): %s\n", + e->e_dn, textbuf, 0 ); + + return LDAP_OBJECT_CLASS_VIOLATION; + } + } + + s = oc_check_required( e, oc, &aoc->a_vals[i] ); if (s != NULL) { snprintf( textbuf, textlen, "object class '%s' requires attribute '%s'", aoc->a_vals[i].bv_val, s ); -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_INFO, - "entry_schema_check: dn=\"%s\" %s", - e->e_dn, textbuf )); -#else Debug( LDAP_DEBUG_ANY, "Entry (%s): %s\n", e->e_dn, textbuf, 0 ); -#endif return LDAP_OBJECT_CLASS_VIOLATION; } @@ -289,12 +427,39 @@ entry_schema_check( } if( extensible ) { + *text = NULL; return LDAP_SUCCESS; } /* check that each attr in the entry is allowed by some oc */ for ( a = e->e_attrs; a != NULL; a = a->a_next ) { - int ret = oc_check_allowed( a->a_desc->ad_type, aoc->a_vals, sc ); + int ret; + + ret = LDAP_OBJECT_CLASS_VIOLATION; + + if( cr && cr->scr_required ) { + for( i=0; cr->scr_required[i]; i++ ) { + if( cr->scr_required[i] == a->a_desc->ad_type ) { + ret = LDAP_SUCCESS; + break; + } + } + } + + if( ret != LDAP_SUCCESS && cr && cr->scr_allowed ) { + for( i=0; cr->scr_allowed[i]; i++ ) { + if( cr->scr_allowed[i] == a->a_desc->ad_type ) { + ret = LDAP_SUCCESS; + break; + } + } + } + + if( ret != LDAP_SUCCESS ) + { + ret = oc_check_allowed( a->a_desc->ad_type, aoc->a_vals, sc ); + } + if ( ret != LDAP_SUCCESS ) { char *type = a->a_desc->ad_cname.bv_val; @@ -302,20 +467,15 @@ entry_schema_check( "attribute '%s' not allowed", type ); -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_INFO, - "entry_schema_check: dn=\"%s\" %s\n", - e->e_dn, textbuf )); -#else Debug( LDAP_DEBUG_ANY, "Entry (%s), %s\n", e->e_dn, textbuf, 0 ); -#endif return ret; } } + *text = NULL; return LDAP_SUCCESS; } @@ -329,15 +489,9 @@ oc_check_required( int i; Attribute *a; -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_ENTRY, - "oc_check_required: dn (%s), objectClass \"%s\"\n", - e->e_dn, ocname->bv_val )); -#else Debug( LDAP_DEBUG_TRACE, "oc_check_required entry (%s), objectClass \"%s\"\n", e->e_dn, ocname->bv_val, 0 ); -#endif /* check for empty oc_required */ @@ -365,19 +519,14 @@ oc_check_required( int oc_check_allowed( AttributeType *at, - BVarray ocl, + BerVarray ocl, ObjectClass *sc ) { int i, j; -#ifdef NEW_LOGGING - LDAP_LOG(( "schema", LDAP_LEVEL_ENTRY, - "oc_check_allowed: type \"%s\"\n", at->sat_cname.bv_val )); -#else Debug( LDAP_DEBUG_TRACE, "oc_check_allowed type \"%s\"\n", at->sat_cname.bv_val, 0, 0 ); -#endif /* always allow objectClass attribute */ if ( strcasecmp( at->sat_cname.bv_val, "objectClass" ) == 0 ) { @@ -446,8 +595,9 @@ int oc_check_allowed( * Determine the structural object class from a set of OIDs */ int structural_class( - BVarray ocs, + BerVarray ocs, struct berval *scbv, + ObjectClass **scp, const char **text, char *textbuf, size_t textlen ) { @@ -464,7 +614,7 @@ int structural_class( if( oc == NULL ) { snprintf( textbuf, textlen, - "unrecongized objectClass '%s'", + "unrecognized objectClass '%s'", ocs[i].bv_val ); *text = textbuf; return LDAP_OBJECT_CLASS_VIOLATION; @@ -485,8 +635,8 @@ int structural_class( if( xc == NULL ) { snprintf( textbuf, textlen, - "unrecongized objectClass '%s'", - ocs[i].bv_val ); + "unrecognized objectClass '%s'", + ocs[j].bv_val ); *text = textbuf; return LDAP_OBJECT_CLASS_VIOLATION; } @@ -518,12 +668,29 @@ int structural_class( } } + if( scp ) { + *scp = sc; + } + if( sc == NULL ) { - *text = "no structural object classes provided"; + *text = "no structural object class provided"; + return LDAP_OBJECT_CLASS_VIOLATION; + } + + if( scn < 0 ) { + *text = "invalid structural object class"; return LDAP_OBJECT_CLASS_VIOLATION; } *scbv = ocs[scn]; + + if( scbv->bv_len == 0 ) { + *text = "invalid structural object class"; + return LDAP_OBJECT_CLASS_VIOLATION; + } + + *text = NULL; + return LDAP_SUCCESS; } @@ -553,11 +720,146 @@ int mods_structural_class( return LDAP_OBJECT_CLASS_VIOLATION; } - if( ocmod->sml_bvalues == NULL || ocmod->sml_bvalues[0].bv_val == NULL ) { + if( ocmod->sml_values == NULL || ocmod->sml_values[0].bv_val == NULL ) { *text = "objectClass attribute has no values"; return LDAP_OBJECT_CLASS_VIOLATION; } - return structural_class( ocmod->sml_bvalues, sc, + return structural_class( ocmod->sml_values, sc, NULL, text, textbuf, textlen ); } + + +static int +entry_naming_check( + Entry *e, + int manage, + const char** text, + char *textbuf, size_t textlen ) +{ + /* naming check */ + LDAPRDN rdn = NULL; + const char *p = NULL; + ber_len_t cnt; + int rc = LDAP_SUCCESS; + + if ( BER_BVISEMPTY( &e->e_name )) { + return LDAP_SUCCESS; + } + + /* + * Get attribute type(s) and attribute value(s) of our RDN + */ + if ( ldap_bv2rdn( &e->e_name, &rdn, (char **)&p, + LDAP_DN_FORMAT_LDAP ) ) + { + *text = "unrecongized attribute type(s) in RDN"; + return LDAP_INVALID_DN_SYNTAX; + } + + /* Check that each AVA of the RDN is present in the entry */ + /* FIXME: Should also check that each AVA lists a distinct type */ + for ( cnt = 0; rdn[cnt]; cnt++ ) { + LDAPAVA *ava = rdn[cnt]; + AttributeDescription *desc = NULL; + Attribute *attr; + const char *errtext; + + if( ava->la_flags & LDAP_AVA_BINARY ) { + snprintf( textbuf, textlen, + "value of naming attribute '%s' in unsupported BER form", + ava->la_attr.bv_val ); + rc = LDAP_NAMING_VIOLATION; + } + + rc = slap_bv2ad( &ava->la_attr, &desc, &errtext ); + if ( rc != LDAP_SUCCESS ) { + snprintf( textbuf, textlen, "%s (in RDN)", errtext ); + break; + } + + if( desc->ad_type->sat_usage ) { + snprintf( textbuf, textlen, + "naming attribute '%s' is operational", + ava->la_attr.bv_val ); + rc = LDAP_NAMING_VIOLATION; + break; + } + + if( desc->ad_type->sat_collective ) { + snprintf( textbuf, textlen, + "naming attribute '%s' is collective", + ava->la_attr.bv_val ); + rc = LDAP_NAMING_VIOLATION; + break; + } + + if( !manage && desc->ad_type->sat_obsolete ) { + snprintf( textbuf, textlen, + "naming attribute '%s' is obsolete", + ava->la_attr.bv_val ); + rc = LDAP_NAMING_VIOLATION; + break; + } + + if( !desc->ad_type->sat_equality ) { + snprintf( textbuf, textlen, + "naming attribute '%s' has no equality matching rule", + ava->la_attr.bv_val ); + rc = LDAP_NAMING_VIOLATION; + break; + } + + if( !desc->ad_type->sat_equality->smr_match ) { + snprintf( textbuf, textlen, + "naming attribute '%s' has unsupported equality matching rule", + ava->la_attr.bv_val ); + rc = LDAP_NAMING_VIOLATION; + break; + } + + /* find the naming attribute */ + attr = attr_find( e->e_attrs, desc ); + if ( attr == NULL ) { + snprintf( textbuf, textlen, + "naming attribute '%s' is not present in entry", + ava->la_attr.bv_val ); + rc = LDAP_NAMING_VIOLATION; + break; + } + + rc = value_find_ex( desc, SLAP_MR_VALUE_OF_ASSERTION_SYNTAX| + SLAP_MR_ATTRIBUTE_VALUE_NORMALIZED_MATCH, + attr->a_nvals, &ava->la_value, NULL ); + + if( rc != 0 ) { + switch( rc ) { + case LDAP_INAPPROPRIATE_MATCHING: + snprintf( textbuf, textlen, + "inappropriate matching for naming attribute '%s'", + ava->la_attr.bv_val ); + break; + case LDAP_INVALID_SYNTAX: + snprintf( textbuf, textlen, + "value of naming attribute '%s' is invalid", + ava->la_attr.bv_val ); + break; + case LDAP_NO_SUCH_ATTRIBUTE: + snprintf( textbuf, textlen, + "value of naming attribute '%s' is not present in entry", + ava->la_attr.bv_val ); + break; + default: + snprintf( textbuf, textlen, + "naming attribute '%s' is inappropriate", + ava->la_attr.bv_val ); + } + rc = LDAP_NAMING_VIOLATION; + break; + } + } + + ldap_rdnfree( rdn ); + return rc; +} +