1 /* schema_check.c - routines to enforce schema definitions */
3 /* This work is part of OpenLDAP Software <http://www.openldap.org/>.
5 * Copyright 1998-2008 The OpenLDAP Foundation.
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted only as authorized by the OpenLDAP
12 * A copy of this license is available in the file LICENSE in the
13 * top-level directory of the distribution or, alternatively, at
14 * <http://www.OpenLDAP.org/license.html>.
22 #include <ac/string.h>
23 #include <ac/socket.h>
27 static char * oc_check_required(
30 struct berval *ocname );
32 static int entry_naming_check(
37 char *textbuf, size_t textlen );
39 * entry_schema_check - check that entry e conforms to the schema required
40 * by its object class(es).
42 * returns 0 if so, non-zero otherwise.
53 char *textbuf, size_t textlen )
55 Attribute *a, *asc = NULL, *aoc = NULL;
56 ObjectClass *sc, *oc, **socs = NULL;
60 AttributeDescription *ad_structuralObjectClass
61 = slap_schema.si_ad_structuralObjectClass;
62 AttributeDescription *ad_objectClass
63 = slap_schema.si_ad_objectClass;
65 int subentry = is_entry_subentry( e );
66 int collectiveSubentry = 0;
68 if ( SLAP_NO_SCHEMA_CHECK( op->o_bd )) {
72 if ( get_no_schema_check( op ) ) {
77 collectiveSubentry = is_entry_collectiveAttributeSubentry( e );
82 /* misc attribute checks */
83 for ( a = e->e_attrs; a != NULL; a = a->a_next ) {
84 const char *type = a->a_desc->ad_cname.bv_val;
86 /* there should be at least one value */
87 assert( a->a_vals != NULL );
88 assert( a->a_vals[0].bv_val != NULL );
90 if( a->a_desc->ad_type->sat_check ) {
91 rc = (a->a_desc->ad_type->sat_check)(
92 op->o_bd, e, a, text, textbuf, textlen );
93 if( rc != LDAP_SUCCESS ) {
98 if( a->a_desc == ad_structuralObjectClass )
100 else if ( a->a_desc == ad_objectClass )
103 if( !collectiveSubentry && is_at_collective( a->a_desc->ad_type ) ) {
104 snprintf( textbuf, textlen,
105 "'%s' can only appear in collectiveAttributeSubentry",
107 return LDAP_OBJECT_CLASS_VIOLATION;
110 /* if single value type, check for multiple values */
111 if( is_at_single_value( a->a_desc->ad_type ) &&
112 a->a_vals[1].bv_val != NULL )
114 snprintf( textbuf, textlen,
115 "attribute '%s' cannot have multiple values",
118 Debug( LDAP_DEBUG_ANY,
120 e->e_dn, textbuf, 0 );
122 return LDAP_CONSTRAINT_VIOLATION;
126 /* check the object class attribute */
128 Debug( LDAP_DEBUG_ANY, "No objectClass for entry (%s)\n",
131 *text = "no objectClass attribute";
132 return LDAP_OBJECT_CLASS_VIOLATION;
135 assert( aoc->a_vals != NULL );
136 assert( aoc->a_vals[0].bv_val != NULL );
138 /* check the structural object class attribute */
139 if ( asc == NULL && !add ) {
140 Debug( LDAP_DEBUG_ANY,
141 "No structuralObjectClass for entry (%s)\n",
144 *text = "no structuralObjectClass operational attribute";
148 rc = structural_class( aoc->a_vals, &oc, &socs, text, textbuf, textlen,
150 if( rc != LDAP_SUCCESS ) {
154 if ( asc == NULL && add ) {
155 attr_merge_one( e, ad_structuralObjectClass, &oc->soc_cname, NULL );
156 asc = attr_find( e->e_attrs, ad_structuralObjectClass );
161 assert( asc->a_vals != NULL );
162 assert( asc->a_vals[0].bv_val != NULL );
163 assert( asc->a_vals[1].bv_val == NULL );
165 sc = oc_bvfind( &asc->a_vals[0] );
167 snprintf( textbuf, textlen,
168 "unrecognized structuralObjectClass '%s'",
169 asc->a_vals[0].bv_val );
171 Debug( LDAP_DEBUG_ANY,
172 "entry_check_schema(%s): %s\n",
173 e->e_dn, textbuf, 0 );
175 rc = LDAP_OBJECT_CLASS_VIOLATION;
179 if( sc->soc_kind != LDAP_SCHEMA_STRUCTURAL ) {
180 snprintf( textbuf, textlen,
181 "structuralObjectClass '%s' is not STRUCTURAL",
182 asc->a_vals[0].bv_val );
184 Debug( LDAP_DEBUG_ANY,
185 "entry_check_schema(%s): %s\n",
186 e->e_dn, textbuf, 0 );
193 if( !manage && sc->soc_obsolete ) {
194 snprintf( textbuf, textlen,
195 "structuralObjectClass '%s' is OBSOLETE",
196 asc->a_vals[0].bv_val );
198 Debug( LDAP_DEBUG_ANY,
199 "entry_check_schema(%s): %s\n",
200 e->e_dn, textbuf, 0 );
202 rc = LDAP_OBJECT_CLASS_VIOLATION;
209 snprintf( textbuf, textlen,
210 "unrecognized objectClass '%s'",
211 aoc->a_vals[0].bv_val );
212 rc = LDAP_OBJECT_CLASS_VIOLATION;
215 } else if ( sc != slap_schema.si_oc_glue && sc != oc ) {
216 snprintf( textbuf, textlen,
217 "structural object class modification "
218 "from '%s' to '%s' not allowed",
219 asc->a_vals[0].bv_val, oc->soc_cname.bv_val );
220 rc = LDAP_NO_OBJECT_CLASS_MODS;
222 } else if ( sc == slap_schema.si_oc_glue ) {
227 if ( !is_entry_glue ( e ) ) {
228 rc = entry_naming_check( e, manage, add, text, textbuf, textlen );
229 if( rc != LDAP_SUCCESS ) {
236 /* find the content rule for the structural class */
237 cr = cr_find( sc->soc_oid );
239 /* the cr must be same as the structural class */
240 assert( !cr || !strcmp( cr->scr_oid, sc->soc_oid ) );
242 /* check that the entry has required attrs of the content rule */
244 if( !manage && cr->scr_obsolete ) {
245 snprintf( textbuf, textlen,
246 "content rule '%s' is obsolete",
247 ldap_contentrule2name( &cr->scr_crule ));
249 Debug( LDAP_DEBUG_ANY,
251 e->e_dn, textbuf, 0 );
253 rc = LDAP_OBJECT_CLASS_VIOLATION;
257 if( cr->scr_required ) for( i=0; cr->scr_required[i]; i++ ) {
258 at = cr->scr_required[i];
260 for ( a = e->e_attrs; a != NULL; a = a->a_next ) {
261 if( a->a_desc->ad_type == at ) {
266 /* not there => schema violation */
268 snprintf( textbuf, textlen,
269 "content rule '%s' requires attribute '%s'",
270 ldap_contentrule2name( &cr->scr_crule ),
271 at->sat_cname.bv_val );
273 Debug( LDAP_DEBUG_ANY,
275 e->e_dn, textbuf, 0 );
277 rc = LDAP_OBJECT_CLASS_VIOLATION;
282 if( cr->scr_precluded ) for( i=0; cr->scr_precluded[i]; i++ ) {
283 at = cr->scr_precluded[i];
285 for ( a = e->e_attrs; a != NULL; a = a->a_next ) {
286 if( a->a_desc->ad_type == at ) {
291 /* there => schema violation */
293 snprintf( textbuf, textlen,
294 "content rule '%s' precluded attribute '%s'",
295 ldap_contentrule2name( &cr->scr_crule ),
296 at->sat_cname.bv_val );
298 Debug( LDAP_DEBUG_ANY,
300 e->e_dn, textbuf, 0 );
302 rc = LDAP_OBJECT_CLASS_VIOLATION;
308 /* check that the entry has required attrs for each oc */
309 for ( i = 0; socs[i]; i++ ) {
311 if ( !manage && oc->soc_obsolete ) {
312 /* disallow obsolete classes */
313 snprintf( textbuf, textlen,
314 "objectClass '%s' is OBSOLETE",
315 aoc->a_vals[i].bv_val );
317 Debug( LDAP_DEBUG_ANY,
318 "entry_check_schema(%s): %s\n",
319 e->e_dn, textbuf, 0 );
321 rc = LDAP_OBJECT_CLASS_VIOLATION;
325 if ( oc->soc_check ) {
326 rc = (oc->soc_check)( op->o_bd, e, oc,
327 text, textbuf, textlen );
328 if( rc != LDAP_SUCCESS ) {
333 if ( oc->soc_kind == LDAP_SCHEMA_ABSTRACT ) {
334 /* object class is abstract */
335 if ( oc != slap_schema.si_oc_top &&
336 !is_object_subclass( oc, sc ))
339 ObjectClass *xc = NULL;
340 for( j=0; socs[j]; j++ ) {
344 /* since we previous check against the
345 * structural object of this entry, the
346 * abstract class must be a (direct or indirect)
347 * superclass of one of the auxiliary classes of
350 if ( xc->soc_kind == LDAP_SCHEMA_AUXILIARY &&
351 is_object_subclass( oc, xc ) )
360 snprintf( textbuf, textlen, "instantiation of "
361 "abstract objectClass '%s' not allowed",
362 aoc->a_vals[i].bv_val );
364 Debug( LDAP_DEBUG_ANY,
365 "entry_check_schema(%s): %s\n",
366 e->e_dn, textbuf, 0 );
368 rc = LDAP_OBJECT_CLASS_VIOLATION;
373 } else if ( oc->soc_kind != LDAP_SCHEMA_STRUCTURAL || oc == sc ) {
376 if( oc->soc_kind == LDAP_SCHEMA_AUXILIARY ) {
383 if( cr->scr_auxiliaries ) {
384 for( j = 0; cr->scr_auxiliaries[j]; j++ ) {
385 if( cr->scr_auxiliaries[j] == oc ) {
392 snprintf( textbuf, textlen,
393 "class '%s' not allowed by content rule '%s'",
394 oc->soc_cname.bv_val,
395 ldap_contentrule2name( &cr->scr_crule ) );
397 } else if ( global_disallows & SLAP_DISALLOW_AUX_WO_CR ) {
399 snprintf( textbuf, textlen,
400 "class '%s' not allowed by any content rule",
401 oc->soc_cname.bv_val );
407 Debug( LDAP_DEBUG_ANY,
409 e->e_dn, textbuf, 0 );
411 rc = LDAP_OBJECT_CLASS_VIOLATION;
416 s = oc_check_required( e, oc, &aoc->a_vals[i] );
418 snprintf( textbuf, textlen,
419 "object class '%s' requires attribute '%s'",
420 aoc->a_vals[i].bv_val, s );
422 Debug( LDAP_DEBUG_ANY,
424 e->e_dn, textbuf, 0 );
426 rc = LDAP_OBJECT_CLASS_VIOLATION;
430 if( oc == slap_schema.si_oc_extensibleObject ) {
442 /* check that each attr in the entry is allowed by some oc */
443 for ( a = e->e_attrs; a != NULL; a = a->a_next ) {
444 rc = LDAP_OBJECT_CLASS_VIOLATION;
446 if( cr && cr->scr_required ) {
447 for( i=0; cr->scr_required[i]; i++ ) {
448 if( cr->scr_required[i] == a->a_desc->ad_type ) {
455 if( rc != LDAP_SUCCESS && cr && cr->scr_allowed ) {
456 for( i=0; cr->scr_allowed[i]; i++ ) {
457 if( cr->scr_allowed[i] == a->a_desc->ad_type ) {
464 if( rc != LDAP_SUCCESS )
466 rc = oc_check_allowed( a->a_desc->ad_type, socs, sc );
469 if ( rc != LDAP_SUCCESS ) {
470 char *type = a->a_desc->ad_cname.bv_val;
472 snprintf( textbuf, textlen,
473 "attribute '%s' not allowed",
476 Debug( LDAP_DEBUG_ANY,
478 e->e_dn, textbuf, 0 );
486 slap_sl_free( socs, op->o_tmpmemctx );
494 struct berval *ocname )
500 Debug( LDAP_DEBUG_TRACE,
501 "oc_check_required entry (%s), objectClass \"%s\"\n",
502 e->e_dn, ocname->bv_val, 0 );
505 /* check for empty oc_required */
506 if(oc->soc_required == NULL) {
510 /* for each required attribute */
511 for ( i = 0; oc->soc_required[i] != NULL; i++ ) {
512 at = oc->soc_required[i];
513 /* see if it's in the entry */
514 for ( a = e->e_attrs; a != NULL; a = a->a_next ) {
515 if( a->a_desc->ad_type == at ) {
519 /* not there => schema violation */
521 return at->sat_cname.bv_val;
528 int oc_check_allowed(
535 Debug( LDAP_DEBUG_TRACE,
536 "oc_check_allowed type \"%s\"\n",
537 at->sat_cname.bv_val, 0, 0 );
539 /* always allow objectClass attribute */
540 if ( strcasecmp( at->sat_cname.bv_val, "objectClass" ) == 0 ) {
545 * All operational attributions are allowed by schema rules.
547 if( is_at_operational(at) ) {
551 /* check to see if its allowed by the structuralObjectClass */
553 /* does it require the type? */
554 for ( j = 0; sc->soc_required != NULL &&
555 sc->soc_required[j] != NULL; j++ )
557 if( at == sc->soc_required[j] ) {
562 /* does it allow the type? */
563 for ( j = 0; sc->soc_allowed != NULL &&
564 sc->soc_allowed[j] != NULL; j++ )
566 if( at == sc->soc_allowed[j] ) {
572 /* check that the type appears as req or opt in at least one oc */
573 for ( i = 0; socs[i]; i++ ) {
574 /* if we know about the oc */
575 ObjectClass *oc = socs[i];
576 /* extensibleObject allows all */
577 if ( oc == slap_schema.si_oc_extensibleObject ) {
580 if ( oc != NULL && oc->soc_kind != LDAP_SCHEMA_ABSTRACT &&
581 ( sc == NULL || oc->soc_kind == LDAP_SCHEMA_AUXILIARY ))
583 /* does it require the type? */
584 for ( j = 0; oc->soc_required != NULL &&
585 oc->soc_required[j] != NULL; j++ )
587 if( at == oc->soc_required[j] ) {
591 /* does it allow the type? */
592 for ( j = 0; oc->soc_allowed != NULL &&
593 oc->soc_allowed[j] != NULL; j++ )
595 if( at == oc->soc_allowed[j] ) {
602 /* not allowed by any oc */
603 return LDAP_OBJECT_CLASS_VIOLATION;
607 * Determine the structural object class from a set of OIDs
609 int structural_class(
612 ObjectClass ***socsp,
614 char *textbuf, size_t textlen,
618 ObjectClass *oc, **socs;
619 ObjectClass *sc = NULL;
622 *text = "structural_class: internal error";
625 for( i=0; ocs[i].bv_val; i++ ) ;
628 socs = slap_sl_malloc( (nocs+1) * sizeof(ObjectClass *), ctx );
630 for( i=0; ocs[i].bv_val; i++ ) {
631 socs[i] = oc_bvfind( &ocs[i] );
633 if( socs[i] == NULL ) {
634 snprintf( textbuf, textlen,
635 "unrecognized objectClass '%s'",
643 for( i=0; ocs[i].bv_val; i++ ) {
645 if( oc->soc_kind == LDAP_SCHEMA_STRUCTURAL ) {
646 if( sc == NULL || is_object_subclass( sc, oc ) ) {
650 } else if ( !is_object_subclass( oc, sc ) ) {
652 ObjectClass *xc = NULL;
654 /* find common superior */
655 for( j=i+1; ocs[j].bv_val; j++ ) {
659 snprintf( textbuf, textlen,
660 "unrecognized objectClass '%s'",
666 if( xc->soc_kind != LDAP_SCHEMA_STRUCTURAL ) {
671 if( is_object_subclass( sc, xc ) &&
672 is_object_subclass( oc, xc ) )
674 /* found common subclass */
682 /* no common subclass */
683 snprintf( textbuf, textlen,
684 "invalid structural object class chain (%s/%s)",
685 ocs[scn].bv_val, ocs[i].bv_val );
698 *text = "no structural object class provided";
703 *text = "invalid structural object class";
710 slap_sl_free( socs, ctx );
717 slap_sl_free( socs, ctx );
718 return LDAP_OBJECT_CLASS_VIOLATION;
722 * Return structural object class from list of modifications
724 int mods_structural_class(
728 char *textbuf, size_t textlen, void *ctx )
730 Modifications *ocmod = NULL;
734 for( ; mods != NULL; mods = mods->sml_next ) {
735 if( mods->sml_desc == slap_schema.si_ad_objectClass ) {
736 if( ocmod != NULL ) {
737 *text = "entry has multiple objectClass attributes";
738 return LDAP_OBJECT_CLASS_VIOLATION;
744 if( ocmod == NULL ) {
745 *text = "entry has no objectClass attribute";
746 return LDAP_OBJECT_CLASS_VIOLATION;
749 if( ocmod->sml_values == NULL || ocmod->sml_values[0].bv_val == NULL ) {
750 *text = "objectClass attribute has no values";
751 return LDAP_OBJECT_CLASS_VIOLATION;
754 rc = structural_class( ocmod->sml_values, &ssc, NULL,
755 text, textbuf, textlen, ctx );
756 if ( rc == LDAP_SUCCESS )
757 *sc = ssc->soc_cname;
768 char *textbuf, size_t textlen )
772 const char *p = NULL;
774 int rc = LDAP_SUCCESS;
776 if ( BER_BVISEMPTY( &e->e_name )) {
781 * Get attribute type(s) and attribute value(s) of our RDN
783 if ( ldap_bv2rdn( &e->e_name, &rdn, (char **)&p,
784 LDAP_DN_FORMAT_LDAP ) )
786 *text = "unrecongized attribute type(s) in RDN";
787 return LDAP_INVALID_DN_SYNTAX;
790 /* Check that each AVA of the RDN is present in the entry */
791 /* FIXME: Should also check that each AVA lists a distinct type */
792 for ( cnt = 0; rdn[cnt]; cnt++ ) {
793 LDAPAVA *ava = rdn[cnt];
794 AttributeDescription *desc = NULL;
799 if( ava->la_flags & LDAP_AVA_BINARY ) {
800 snprintf( textbuf, textlen,
801 "value of naming attribute '%s' in unsupported BER form",
802 ava->la_attr.bv_val );
803 rc = LDAP_NAMING_VIOLATION;
806 rc = slap_bv2ad( &ava->la_attr, &desc, &errtext );
807 if ( rc != LDAP_SUCCESS ) {
808 snprintf( textbuf, textlen, "%s (in RDN)", errtext );
812 if( desc->ad_type->sat_usage ) {
813 snprintf( textbuf, textlen,
814 "naming attribute '%s' is operational",
815 ava->la_attr.bv_val );
816 rc = LDAP_NAMING_VIOLATION;
820 if( desc->ad_type->sat_collective ) {
821 snprintf( textbuf, textlen,
822 "naming attribute '%s' is collective",
823 ava->la_attr.bv_val );
824 rc = LDAP_NAMING_VIOLATION;
828 if( !manage && desc->ad_type->sat_obsolete ) {
829 snprintf( textbuf, textlen,
830 "naming attribute '%s' is obsolete",
831 ava->la_attr.bv_val );
832 rc = LDAP_NAMING_VIOLATION;
836 if( !desc->ad_type->sat_equality ) {
837 snprintf( textbuf, textlen,
838 "naming attribute '%s' has no equality matching rule",
839 ava->la_attr.bv_val );
840 rc = LDAP_NAMING_VIOLATION;
844 if( !desc->ad_type->sat_equality->smr_match ) {
845 snprintf( textbuf, textlen,
846 "naming attribute '%s' has unsupported equality matching rule",
847 ava->la_attr.bv_val );
848 rc = LDAP_NAMING_VIOLATION;
852 /* find the naming attribute */
853 attr = attr_find( e->e_attrs, desc );
854 if ( attr == NULL ) {
855 snprintf( textbuf, textlen,
856 "naming attribute '%s' is not present in entry",
857 ava->la_attr.bv_val );
862 rc = LDAP_NAMING_VIOLATION;
866 rc = attr_valfind( attr, SLAP_MR_VALUE_OF_ASSERTION_SYNTAX|
867 SLAP_MR_ATTRIBUTE_VALUE_NORMALIZED_MATCH,
868 &ava->la_value, NULL, NULL );
872 case LDAP_INAPPROPRIATE_MATCHING:
873 snprintf( textbuf, textlen,
874 "inappropriate matching for naming attribute '%s'",
875 ava->la_attr.bv_val );
877 case LDAP_INVALID_SYNTAX:
878 snprintf( textbuf, textlen,
879 "value of naming attribute '%s' is invalid",
880 ava->la_attr.bv_val );
882 case LDAP_NO_SUCH_ATTRIBUTE:
883 snprintf( textbuf, textlen,
884 "value of naming attribute '%s' is not present in entry",
885 ava->la_attr.bv_val );
891 snprintf( textbuf, textlen,
892 "naming attribute '%s' is inappropriate",
893 ava->la_attr.bv_val );
895 rc = LDAP_NAMING_VIOLATION;
900 attr_merge_normalize_one( e, desc, &ava->la_value, NULL );
902 } else if ( rc != LDAP_SUCCESS ) {