schema_init.c 127 KB
Newer Older
1
2
/* schema_init.c - init builtin schema */
/* $OpenLDAP$ */
Kurt Zeilenga's avatar
Kurt Zeilenga committed
3
4
/* This work is part of OpenLDAP Software <http://www.openldap.org/>.
 *
Kurt Zeilenga's avatar
Kurt Zeilenga committed
5
 * Copyright 1998-2008 The OpenLDAP Foundation.
Kurt Zeilenga's avatar
Kurt Zeilenga committed
6
7
8
9
10
11
12
13
14
 * 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
 * <http://www.OpenLDAP.org/license.html>.
15
16
17
18
19
 */

#include "portable.h"

#include <stdio.h>
Kurt Zeilenga's avatar
Kurt Zeilenga committed
20
#ifdef HAVE_LIMITS_H
Kurt Zeilenga's avatar
Kurt Zeilenga committed
21
#include <limits.h>
Kurt Zeilenga's avatar
Kurt Zeilenga committed
22
#endif
23
24

#include <ac/ctype.h>
25
#include <ac/errno.h>
26
27
28
29
#include <ac/string.h>
#include <ac/socket.h>

#include "slap.h"
30
#include "../../libraries/liblber/lber-int.h" /* get ber_ptrlen() */
31

32
33
#include "ldap_utf8.h"

34
#include "lutil.h"
35
36
37
38
39
40
#include "lutil_hash.h"
#define HASH_BYTES				LUTIL_HASH_BYTES
#define HASH_CONTEXT			lutil_HASH_CTX
#define HASH_Init(c)			lutil_HASHInit(c)
#define HASH_Update(c,buf,len)	lutil_HASHUpdate(c,buf,len)
#define HASH_Final(d,c)			lutil_HASHFinal(d,c)
41

42
43
/* approx matching rules */
#define directoryStringApproxMatchOID	"1.3.6.1.4.1.4203.666.4.4"
44
#define directoryStringApproxMatch		approxMatch
Gary Williams's avatar
Gary Williams committed
45
#define directoryStringApproxIndexer	approxIndexer
46
#define directoryStringApproxFilter		approxFilter
47
#define IA5StringApproxMatchOID			"1.3.6.1.4.1.4203.666.4.5"
Gary Williams's avatar
Gary Williams committed
48
#define IA5StringApproxMatch			approxMatch
49
#define IA5StringApproxIndexer			approxIndexer
Gary Williams's avatar
Gary Williams committed
50
#define IA5StringApproxFilter			approxFilter
51

Howard Chu's avatar
Howard Chu committed
52
53
54
55
56
57
/* Change Sequence Number (CSN) - much of this will change */
#define csnMatch				octetStringMatch
#define csnOrderingMatch		octetStringOrderingMatch
#define csnIndexer				generalizedTimeIndexer
#define csnFilter				generalizedTimeFilter

58
59
#define authzMatch				octetStringMatch

60
61
62
63
64
unsigned int index_substr_if_minlen = SLAP_INDEX_SUBSTR_IF_MINLEN_DEFAULT;
unsigned int index_substr_if_maxlen = SLAP_INDEX_SUBSTR_IF_MAXLEN_DEFAULT;
unsigned int index_substr_any_len = SLAP_INDEX_SUBSTR_ANY_LEN_DEFAULT;
unsigned int index_substr_any_step = SLAP_INDEX_SUBSTR_ANY_STEP_DEFAULT;

65
unsigned int index_intlen = SLAP_INDEX_INTLEN_DEFAULT;
Howard Chu's avatar
Howard Chu committed
66
67
unsigned int index_intlen_strlen = SLAP_INDEX_INTLEN_STRLEN(
	SLAP_INDEX_INTLEN_DEFAULT );
68

69
70
71
ldap_pvt_thread_mutex_t	ad_undef_mutex;
ldap_pvt_thread_mutex_t	oc_undef_mutex;

72
73
74
75
76
static int
generalizedTimeValidate(
	Syntax *syntax,
	struct berval *in );

Kurt Zeilenga's avatar
Kurt Zeilenga committed
77
78
79
80
static int
inValidate(
	Syntax *syntax,
	struct berval *in )
81
{
Kurt Zeilenga's avatar
Kurt Zeilenga committed
82
83
84
	/* no value allowed */
	return LDAP_INVALID_SYNTAX;
}
85

Kurt Zeilenga's avatar
Kurt Zeilenga committed
86
87
88
89
90
91
92
static int
blobValidate(
	Syntax *syntax,
	struct berval *in )
{
	/* any value allowed */
	return LDAP_SUCCESS;
93
}
94

Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
95
96
#define berValidate blobValidate

97
98
99
100
101
102
103
104
105
106
107
static int
sequenceValidate(
	Syntax *syntax,
	struct berval *in )
{
	if ( in->bv_len < 2 ) return LDAP_INVALID_SYNTAX;
	if ( in->bv_val[0] != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;

	return LDAP_SUCCESS;
}

108
109
110
111
112
113
114
/* X.509 related stuff */

enum {
	SLAP_X509_V1		= 0,
	SLAP_X509_V2		= 1,
	SLAP_X509_V3		= 2
};
115

116
117
118
119
120
121
enum {
	SLAP_TAG_UTCTIME		= 0x17U,
	SLAP_TAG_GENERALIZEDTIME	= 0x18U
};


122
123
124
125
126
127
128
129
130
131
132
133
134
135
#define	SLAP_X509_OPTION	(LBER_CLASS_CONTEXT|LBER_CONSTRUCTED)

enum {
	SLAP_X509_OPT_C_VERSION		= SLAP_X509_OPTION + 0,
	SLAP_X509_OPT_C_ISSUERUNIQUEID	= SLAP_X509_OPTION + 1,
	SLAP_X509_OPT_C_SUBJECTUNIQUEID	= SLAP_X509_OPTION + 2,
	SLAP_X509_OPT_C_EXTENSIONS	= SLAP_X509_OPTION + 3
};

enum {
	SLAP_X509_OPT_CL_CRLEXTENSIONS	= SLAP_X509_OPTION + 0
};

/* X.509 certificate validation */
136
137
static int
certificateValidate( Syntax *syntax, struct berval *in )
138
{
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
	BerElementBuffer berbuf;
	BerElement *ber = (BerElement *)&berbuf;
	ber_tag_t tag;
	ber_len_t len;
	ber_int_t version = SLAP_X509_V1;

	ber_init2( ber, in, LBER_USE_DER );
	tag = ber_skip_tag( ber, &len );	/* Signed wrapper */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	tag = ber_skip_tag( ber, &len );	/* Sequence */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	tag = ber_peek_tag( ber, &len );
	/* Optional version */
	if ( tag == SLAP_X509_OPT_C_VERSION ) {
		tag = ber_skip_tag( ber, &len );
		tag = ber_get_int( ber, &version );
		if ( tag != LBER_INTEGER ) return LDAP_INVALID_SYNTAX;
	}
	/* NOTE: don't try to parse Serial, because it might be longer
	 * than sizeof(ber_int_t); deferred to certificateExactNormalize() */
	tag = ber_skip_tag( ber, &len );	/* Serial */
	if ( tag != LBER_INTEGER ) return LDAP_INVALID_SYNTAX;
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );	/* Signature Algorithm */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );	/* Issuer DN */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );	/* Validity */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );	/* Subject DN */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );	/* Subject PublicKeyInfo */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );
	if ( tag == SLAP_X509_OPT_C_ISSUERUNIQUEID ) {	/* issuerUniqueID */
		if ( version < SLAP_X509_V2 ) return LDAP_INVALID_SYNTAX;
		ber_skip_data( ber, len );
		tag = ber_skip_tag( ber, &len );
	}
	if ( tag == SLAP_X509_OPT_C_SUBJECTUNIQUEID ) {	/* subjectUniqueID */
		if ( version < SLAP_X509_V2 ) return LDAP_INVALID_SYNTAX;
		ber_skip_data( ber, len );
		tag = ber_skip_tag( ber, &len );
	}
	if ( tag == SLAP_X509_OPT_C_EXTENSIONS ) {	/* Extensions */
		if ( version < SLAP_X509_V3 ) return LDAP_INVALID_SYNTAX;
		tag = ber_skip_tag( ber, &len );
		if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
		ber_skip_data( ber, len );
		tag = ber_skip_tag( ber, &len );
	}
	/* signatureAlgorithm */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );
	/* Signature */
	if ( tag != LBER_BITSTRING ) return LDAP_INVALID_SYNTAX; 
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );
	/* Must be at end now */
	if ( len || tag != LBER_DEFAULT ) return LDAP_INVALID_SYNTAX;
	return LDAP_SUCCESS;
}

/* X.509 certificate list validation */
209
210
static int
certificateListValidate( Syntax *syntax, struct berval *in )
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
{
	BerElementBuffer berbuf;
	BerElement *ber = (BerElement *)&berbuf;
	ber_tag_t tag;
	ber_len_t len;
	ber_int_t version = SLAP_X509_V1;

	ber_init2( ber, in, LBER_USE_DER );
	tag = ber_skip_tag( ber, &len );	/* Signed wrapper */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	tag = ber_skip_tag( ber, &len );	/* Sequence */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	tag = ber_peek_tag( ber, &len );
	/* Optional version */
	if ( tag == LBER_INTEGER ) {
		tag = ber_get_int( ber, &version );
		assert( tag == LBER_INTEGER );
		if ( version != SLAP_X509_V2 ) return LDAP_INVALID_SYNTAX;
	}
	tag = ber_skip_tag( ber, &len );	/* Signature Algorithm */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );	/* Issuer DN */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );	/* thisUpdate */
237
	/* Time is a CHOICE { UTCTime, GeneralizedTime } */
238
	if ( tag != SLAP_TAG_UTCTIME && tag != SLAP_TAG_GENERALIZEDTIME ) return LDAP_INVALID_SYNTAX;
239
240
241
	ber_skip_data( ber, len );
	/* Optional nextUpdate */
	tag = ber_skip_tag( ber, &len );
242
	if ( tag == SLAP_TAG_UTCTIME || tag == SLAP_TAG_GENERALIZEDTIME ) {
243
244
245
		ber_skip_data( ber, len );
		tag = ber_skip_tag( ber, &len );
	}
246
	/* revokedCertificates - Sequence of Sequence, Optional */
247
	if ( tag == LBER_SEQUENCE ) {
248
249
250
251
252
253
		ber_len_t seqlen;
		if ( ber_peek_tag( ber, &seqlen ) == LBER_SEQUENCE ) {
			/* Should NOT be empty */
			ber_skip_data( ber, len );
			tag = ber_skip_tag( ber, &len );
		}
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
	}
	/* Optional Extensions */
	if ( tag == SLAP_X509_OPT_CL_CRLEXTENSIONS ) { /* ? */
		if ( version != SLAP_X509_V2 ) return LDAP_INVALID_SYNTAX;
		tag = ber_skip_tag( ber, &len );
		if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
		ber_skip_data( ber, len );
		tag = ber_skip_tag( ber, &len );
	}
	/* signatureAlgorithm */
	if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );
	/* Signature */
	if ( tag != LBER_BITSTRING ) return LDAP_INVALID_SYNTAX; 
	ber_skip_data( ber, len );
	tag = ber_skip_tag( ber, &len );
	/* Must be at end now */
	if ( len || tag != LBER_DEFAULT ) return LDAP_INVALID_SYNTAX;
273
274
275
	return LDAP_SUCCESS;
}

276
int
277
278
octetStringMatch(
	int *matchp,
279
	slap_mask_t flags,
280
281
282
283
284
	Syntax *syntax,
	MatchingRule *mr,
	struct berval *value,
	void *assertedValue )
{
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
285
286
	struct berval *asserted = (struct berval *) assertedValue;
	int match = value->bv_len - asserted->bv_len;
287
288

	if( match == 0 ) {
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
289
		match = memcmp( value->bv_val, asserted->bv_val, value->bv_len );
290
291
292
293
294
295
	}

	*matchp = match;
	return LDAP_SUCCESS;
}

296
int
297
298
299
300
301
302
303
304
octetStringOrderingMatch(
	int *matchp,
	slap_mask_t flags,
	Syntax *syntax,
	MatchingRule *mr,
	struct berval *value,
	void *assertedValue )
{
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
305
	struct berval *asserted = (struct berval *) assertedValue;
306
	ber_len_t v_len  = value->bv_len;
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
307
	ber_len_t av_len = asserted->bv_len;
308

Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
309
	int match = memcmp( value->bv_val, asserted->bv_val,
310
		(v_len < av_len ? v_len : av_len) );
311
312
313

	if( match == 0 ) match = v_len - av_len;

314
315
316
317
	*matchp = match;
	return LDAP_SUCCESS;
}

Howard Chu's avatar
Howard Chu committed
318
319
static void
hashPreset(
320
321
322
323
	HASH_CONTEXT *HASHcontext,
	struct berval *prefix,
	char pre,
	Syntax *syntax,
Howard Chu's avatar
Howard Chu committed
324
	MatchingRule *mr)
325
326
327
328
329
330
331
332
333
334
335
336
{
	HASH_Init(HASHcontext);
	if(prefix && prefix->bv_len > 0) {
		HASH_Update(HASHcontext,
			(unsigned char *)prefix->bv_val, prefix->bv_len);
	}
	if(pre) HASH_Update(HASHcontext, (unsigned char*)&pre, sizeof(pre));
	HASH_Update(HASHcontext, (unsigned char*)syntax->ssyn_oid, syntax->ssyn_oidlen);
	HASH_Update(HASHcontext, (unsigned char*)mr->smr_oid, mr->smr_oidlen);
	return;
}

Howard Chu's avatar
Howard Chu committed
337
338
339
340
341
342
343
344
345
346
347
348
static void
hashIter(
	HASH_CONTEXT *HASHcontext,
	unsigned char *HASHdigest,
	unsigned char *value,
	int len)
{
	HASH_CONTEXT ctx = *HASHcontext;
	HASH_Update( &ctx, value, len );
	HASH_Final( HASHdigest, &ctx );
}

349
/* Index generation function */
350
int octetStringIndexer(
351
352
	slap_mask_t use,
	slap_mask_t flags,
353
354
355
	Syntax *syntax,
	MatchingRule *mr,
	struct berval *prefix,
356
	BerVarray values,
Howard Chu's avatar
Howard Chu committed
357
358
	BerVarray *keysp,
	void *ctx )
359
360
361
{
	int i;
	size_t slen, mlen;
362
	BerVarray keys;
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
363
364
	HASH_CONTEXT HASHcontext;
	unsigned char HASHdigest[HASH_BYTES];
365
	struct berval digest;
366
	digest.bv_val = (char *)HASHdigest;
367
	digest.bv_len = sizeof(HASHdigest);
368

369
	for( i=0; !BER_BVISNULL( &values[i] ); i++ ) {
370
371
372
		/* just count them */
	}

Kurt Zeilenga's avatar
Kurt Zeilenga committed
373
374
375
	/* we should have at least one value at this point */
	assert( i > 0 );

376
	keys = slap_sl_malloc( sizeof( struct berval ) * (i+1), ctx );
377

378
379
	slen = syntax->ssyn_oidlen;
	mlen = mr->smr_oidlen;
380

Howard Chu's avatar
Howard Chu committed
381
	hashPreset( &HASHcontext, prefix, 0, syntax, mr);
382
	for( i=0; !BER_BVISNULL( &values[i] ); i++ ) {
Howard Chu's avatar
Howard Chu committed
383
384
		hashIter( &HASHcontext, HASHdigest,
			(unsigned char *)values[i].bv_val, values[i].bv_len );
Howard Chu's avatar
Howard Chu committed
385
		ber_dupbv_x( &keys[i], &digest, ctx );
386
387
	}

388
	BER_BVZERO( &keys[i] );
389
390
391
392
393
394
395

	*keysp = keys;

	return LDAP_SUCCESS;
}

/* Index generation function */
396
int octetStringFilter(
397
398
	slap_mask_t use,
	slap_mask_t flags,
399
400
401
	Syntax *syntax,
	MatchingRule *mr,
	struct berval *prefix,
402
	void * assertedValue,
Howard Chu's avatar
Howard Chu committed
403
404
	BerVarray *keysp,
	void *ctx )
405
406
{
	size_t slen, mlen;
407
	BerVarray keys;
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
408
409
	HASH_CONTEXT HASHcontext;
	unsigned char HASHdigest[HASH_BYTES];
410
	struct berval *value = (struct berval *) assertedValue;
411
	struct berval digest;
412
	digest.bv_val = (char *)HASHdigest;
413
	digest.bv_len = sizeof(HASHdigest);
414

415
416
	slen = syntax->ssyn_oidlen;
	mlen = mr->smr_oidlen;
417

418
	keys = slap_sl_malloc( sizeof( struct berval ) * 2, ctx );
419

Howard Chu's avatar
Howard Chu committed
420
421
422
	hashPreset( &HASHcontext, prefix, 0, syntax, mr );
	hashIter( &HASHcontext, HASHdigest,
		(unsigned char *)value->bv_val, value->bv_len );
423

Howard Chu's avatar
Howard Chu committed
424
	ber_dupbv_x( keys, &digest, ctx );
425
	BER_BVZERO( &keys[1] );
426
427
428
429
430

	*keysp = keys;

	return LDAP_SUCCESS;
}
431

432
static int
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
433
octetStringSubstringsMatch(
Kurt Zeilenga's avatar
Kurt Zeilenga committed
434
435
	int *matchp,
	slap_mask_t flags,
436
	Syntax *syntax,
Kurt Zeilenga's avatar
Kurt Zeilenga committed
437
438
439
	MatchingRule *mr,
	struct berval *value,
	void *assertedValue )
440
{
Kurt Zeilenga's avatar
Kurt Zeilenga committed
441
442
443
444
	int match = 0;
	SubstringsAssertion *sub = assertedValue;
	struct berval left = *value;
	int i;
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
445
	ber_len_t inlen = 0;
446

Kurt Zeilenga's avatar
Kurt Zeilenga committed
447
	/* Add up asserted input length */
448
	if ( !BER_BVISNULL( &sub->sa_initial ) ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
449
		inlen += sub->sa_initial.bv_len;
450
	}
451
452
	if ( sub->sa_any ) {
		for ( i = 0; !BER_BVISNULL( &sub->sa_any[i] ); i++ ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
453
454
455
			inlen += sub->sa_any[i].bv_len;
		}
	}
456
	if ( !BER_BVISNULL( &sub->sa_final ) ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
457
		inlen += sub->sa_final.bv_len;
458
459
	}

460
461
	if ( !BER_BVISNULL( &sub->sa_initial ) ) {
		if ( inlen > left.bv_len ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
462
463
			match = 1;
			goto done;
464
465
		}

Kurt Zeilenga's avatar
Kurt Zeilenga committed
466
467
		match = memcmp( sub->sa_initial.bv_val, left.bv_val,
			sub->sa_initial.bv_len );
468

469
		if ( match != 0 ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
470
471
			goto done;
		}
472

Kurt Zeilenga's avatar
Kurt Zeilenga committed
473
474
475
476
		left.bv_val += sub->sa_initial.bv_len;
		left.bv_len -= sub->sa_initial.bv_len;
		inlen -= sub->sa_initial.bv_len;
	}
477

478
479
	if ( !BER_BVISNULL( &sub->sa_final ) ) {
		if ( inlen > left.bv_len ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
480
481
482
			match = 1;
			goto done;
		}
483

Kurt Zeilenga's avatar
Kurt Zeilenga committed
484
485
486
		match = memcmp( sub->sa_final.bv_val,
			&left.bv_val[left.bv_len - sub->sa_final.bv_len],
			sub->sa_final.bv_len );
487

488
		if ( match != 0 ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
489
			goto done;
490
491
		}

Kurt Zeilenga's avatar
Kurt Zeilenga committed
492
493
		left.bv_len -= sub->sa_final.bv_len;
		inlen -= sub->sa_final.bv_len;
494
495
	}

496
497
	if ( sub->sa_any ) {
		for ( i = 0; !BER_BVISNULL( &sub->sa_any[i] ); i++ ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
498
499
			ber_len_t idx;
			char *p;
500

Kurt Zeilenga's avatar
Kurt Zeilenga committed
501
retry:
502
			if ( inlen > left.bv_len ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
503
504
505
506
				/* not enough length */
				match = 1;
				goto done;
			}
507

508
			if ( BER_BVISEMPTY( &sub->sa_any[i] ) ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
509
510
				continue;
			}
511

Kurt Zeilenga's avatar
Kurt Zeilenga committed
512
			p = memchr( left.bv_val, *sub->sa_any[i].bv_val, left.bv_len );
513

Kurt Zeilenga's avatar
Kurt Zeilenga committed
514
515
516
			if( p == NULL ) {
				match = 1;
				goto done;
517
518
			}

Kurt Zeilenga's avatar
Kurt Zeilenga committed
519
			idx = p - left.bv_val;
520

521
			if ( idx >= left.bv_len ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
522
523
524
				/* this shouldn't happen */
				return LDAP_OTHER;
			}
525

Kurt Zeilenga's avatar
Kurt Zeilenga committed
526
527
			left.bv_val = p;
			left.bv_len -= idx;
528

529
			if ( sub->sa_any[i].bv_len > left.bv_len ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
530
531
532
533
				/* not enough left */
				match = 1;
				goto done;
			}
534

Kurt Zeilenga's avatar
Kurt Zeilenga committed
535
536
537
			match = memcmp( left.bv_val,
				sub->sa_any[i].bv_val,
				sub->sa_any[i].bv_len );
538

539
			if ( match != 0 ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
540
541
542
543
				left.bv_val++;
				left.bv_len--;
				goto retry;
			}
544

Kurt Zeilenga's avatar
Kurt Zeilenga committed
545
546
547
			left.bv_val += sub->sa_any[i].bv_len;
			left.bv_len -= sub->sa_any[i].bv_len;
			inlen -= sub->sa_any[i].bv_len;
548
549
550
		}
	}

Kurt Zeilenga's avatar
Kurt Zeilenga committed
551
552
done:
	*matchp = match;
553
554
555
	return LDAP_SUCCESS;
}

Kurt Zeilenga's avatar
Kurt Zeilenga committed
556
557
/* Substrings Index generation function */
static int
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
558
octetStringSubstringsIndexer(
Kurt Zeilenga's avatar
Kurt Zeilenga committed
559
560
561
562
563
564
	slap_mask_t use,
	slap_mask_t flags,
	Syntax *syntax,
	MatchingRule *mr,
	struct berval *prefix,
	BerVarray values,
Howard Chu's avatar
Howard Chu committed
565
566
	BerVarray *keysp,
	void *ctx )
Kurt Zeilenga's avatar
Kurt Zeilenga committed
567
{
Howard Chu's avatar
Howard Chu committed
568
	ber_len_t i, nkeys;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
569
570
571
	size_t slen, mlen;
	BerVarray keys;

Howard Chu's avatar
Howard Chu committed
572
	HASH_CONTEXT HCany, HCini, HCfin;
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
573
	unsigned char HASHdigest[HASH_BYTES];
Kurt Zeilenga's avatar
Kurt Zeilenga committed
574
	struct berval digest;
575
	digest.bv_val = (char *)HASHdigest;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
576
577
	digest.bv_len = sizeof(HASHdigest);

578
	nkeys = 0;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
579

580
	for ( i = 0; !BER_BVISNULL( &values[i] ); i++ ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
581
582
		/* count number of indices to generate */
		if( flags & SLAP_INDEX_SUBSTR_INITIAL ) {
583
584
585
586
587
			if( values[i].bv_len >= index_substr_if_maxlen ) {
				nkeys += index_substr_if_maxlen -
					(index_substr_if_minlen - 1);
			} else if( values[i].bv_len >= index_substr_if_minlen ) {
				nkeys += values[i].bv_len - (index_substr_if_minlen - 1);
Kurt Zeilenga's avatar
Kurt Zeilenga committed
588
589
590
591
			}
		}

		if( flags & SLAP_INDEX_SUBSTR_ANY ) {
592
593
			if( values[i].bv_len >= index_substr_any_len ) {
				nkeys += values[i].bv_len - (index_substr_any_len - 1);
Kurt Zeilenga's avatar
Kurt Zeilenga committed
594
595
596
597
			}
		}

		if( flags & SLAP_INDEX_SUBSTR_FINAL ) {
598
599
600
601
602
			if( values[i].bv_len >= index_substr_if_maxlen ) {
				nkeys += index_substr_if_maxlen -
					(index_substr_if_minlen - 1);
			} else if( values[i].bv_len >= index_substr_if_minlen ) {
				nkeys += values[i].bv_len - (index_substr_if_minlen - 1);
Kurt Zeilenga's avatar
Kurt Zeilenga committed
603
604
605
606
607
608
609
610
611
612
			}
		}
	}

	if( nkeys == 0 ) {
		/* no keys to generate */
		*keysp = NULL;
		return LDAP_SUCCESS;
	}

613
	keys = slap_sl_malloc( sizeof( struct berval ) * (nkeys+1), ctx );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
614
615
616
617

	slen = syntax->ssyn_oidlen;
	mlen = mr->smr_oidlen;

Howard Chu's avatar
Howard Chu committed
618
619
620
621
622
623
624
	if ( flags & SLAP_INDEX_SUBSTR_ANY )
		hashPreset( &HCany, prefix, SLAP_INDEX_SUBSTR_PREFIX, syntax, mr );
	if( flags & SLAP_INDEX_SUBSTR_INITIAL )
		hashPreset( &HCini, prefix, SLAP_INDEX_SUBSTR_INITIAL_PREFIX, syntax, mr );
	if( flags & SLAP_INDEX_SUBSTR_FINAL )
		hashPreset( &HCfin, prefix, SLAP_INDEX_SUBSTR_FINAL_PREFIX, syntax, mr );

625
626
	nkeys = 0;
	for ( i = 0; !BER_BVISNULL( &values[i] ); i++ ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
627
628
629
		ber_len_t j,max;

		if( ( flags & SLAP_INDEX_SUBSTR_ANY ) &&
630
			( values[i].bv_len >= index_substr_any_len ) )
Kurt Zeilenga's avatar
Kurt Zeilenga committed
631
		{
632
			max = values[i].bv_len - (index_substr_any_len - 1);
Kurt Zeilenga's avatar
Kurt Zeilenga committed
633
634

			for( j=0; j<max; j++ ) {
Howard Chu's avatar
Howard Chu committed
635
636
637
				hashIter( &HCany, HASHdigest,
					(unsigned char *)&values[i].bv_val[j],
					index_substr_any_len );
Howard Chu's avatar
Howard Chu committed
638
				ber_dupbv_x( &keys[nkeys++], &digest, ctx );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
639
640
641
			}
		}

642
		/* skip if too short */ 
643
		if( values[i].bv_len < index_substr_if_minlen ) continue;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
644

645
646
		max = index_substr_if_maxlen < values[i].bv_len
			? index_substr_if_maxlen : values[i].bv_len;
647

648
		for( j=index_substr_if_minlen; j<=max; j++ ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
649
650

			if( flags & SLAP_INDEX_SUBSTR_INITIAL ) {
Howard Chu's avatar
Howard Chu committed
651
652
				hashIter( &HCini, HASHdigest,
					(unsigned char *)values[i].bv_val, j );
Howard Chu's avatar
Howard Chu committed
653
				ber_dupbv_x( &keys[nkeys++], &digest, ctx );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
654
655
656
			}

			if( flags & SLAP_INDEX_SUBSTR_FINAL ) {
Howard Chu's avatar
Howard Chu committed
657
658
				hashIter( &HCfin, HASHdigest,
					(unsigned char *)&values[i].bv_val[values[i].bv_len-j], j );
Howard Chu's avatar
Howard Chu committed
659
				ber_dupbv_x( &keys[nkeys++], &digest, ctx );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
660
661
662
663
664
665
			}

		}
	}

	if( nkeys > 0 ) {
666
		BER_BVZERO( &keys[nkeys] );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
		*keysp = keys;
	} else {
		ch_free( keys );
		*keysp = NULL;
	}

	return LDAP_SUCCESS;
}

static int
octetStringSubstringsFilter (
	slap_mask_t use,
	slap_mask_t flags,
	Syntax *syntax,
	MatchingRule *mr,
	struct berval *prefix,
	void * assertedValue,
Howard Chu's avatar
Howard Chu committed
684
685
	BerVarray *keysp,
	void *ctx)
Kurt Zeilenga's avatar
Kurt Zeilenga committed
686
687
688
{
	SubstringsAssertion *sa;
	char pre;
Howard Chu's avatar
Howard Chu committed
689
	ber_len_t nkeys = 0;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
690
691
	size_t slen, mlen, klen;
	BerVarray keys;
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
692
693
	HASH_CONTEXT HASHcontext;
	unsigned char HASHdigest[HASH_BYTES];
Kurt Zeilenga's avatar
Kurt Zeilenga committed
694
695
696
697
698
	struct berval *value;
	struct berval digest;

	sa = (SubstringsAssertion *) assertedValue;

699
	if( flags & SLAP_INDEX_SUBSTR_INITIAL &&
700
		!BER_BVISNULL( &sa->sa_initial ) &&
701
		sa->sa_initial.bv_len >= index_substr_if_minlen )
Kurt Zeilenga's avatar
Kurt Zeilenga committed
702
703
	{
		nkeys++;
704
		if ( sa->sa_initial.bv_len > index_substr_if_maxlen &&
705
706
			( flags & SLAP_INDEX_SUBSTR_ANY ))
		{
707
			nkeys += 1 + (sa->sa_initial.bv_len - index_substr_if_maxlen) / index_substr_any_step;
708
		}
Kurt Zeilenga's avatar
Kurt Zeilenga committed
709
710
	}

711
	if ( flags & SLAP_INDEX_SUBSTR_ANY && sa->sa_any != NULL ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
712
		ber_len_t i;
713
		for( i=0; !BER_BVISNULL( &sa->sa_any[i] ); i++ ) {
714
			if( sa->sa_any[i].bv_len >= index_substr_any_len ) {
715
				/* don't bother accounting with stepping */
Kurt Zeilenga's avatar
Kurt Zeilenga committed
716
				nkeys += sa->sa_any[i].bv_len -
717
					( index_substr_any_len - 1 );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
718
719
720
721
			}
		}
	}

722
	if( flags & SLAP_INDEX_SUBSTR_FINAL &&
723
		!BER_BVISNULL( &sa->sa_final ) &&
724
		sa->sa_final.bv_len >= index_substr_if_minlen )
Kurt Zeilenga's avatar
Kurt Zeilenga committed
725
726
	{
		nkeys++;
727
		if ( sa->sa_final.bv_len > index_substr_if_maxlen &&
728
729
			( flags & SLAP_INDEX_SUBSTR_ANY ))
		{
730
			nkeys += 1 + (sa->sa_final.bv_len - index_substr_if_maxlen) / index_substr_any_step;
731
		}
Kurt Zeilenga's avatar
Kurt Zeilenga committed
732
733
734
735
736
737
738
	}

	if( nkeys == 0 ) {
		*keysp = NULL;
		return LDAP_SUCCESS;
	}

739
	digest.bv_val = (char *)HASHdigest;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
740
741
742
743
744
	digest.bv_len = sizeof(HASHdigest);

	slen = syntax->ssyn_oidlen;
	mlen = mr->smr_oidlen;

745
	keys = slap_sl_malloc( sizeof( struct berval ) * (nkeys+1), ctx );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
746
747
	nkeys = 0;

748
	if( flags & SLAP_INDEX_SUBSTR_INITIAL &&
749
		!BER_BVISNULL( &sa->sa_initial ) &&
750
		sa->sa_initial.bv_len >= index_substr_if_minlen )
Kurt Zeilenga's avatar
Kurt Zeilenga committed
751
752
753
754
	{
		pre = SLAP_INDEX_SUBSTR_INITIAL_PREFIX;
		value = &sa->sa_initial;

755
756
		klen = index_substr_if_maxlen < value->bv_len
			? index_substr_if_maxlen : value->bv_len;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
757

Howard Chu's avatar
Howard Chu committed
758
759
760
		hashPreset( &HASHcontext, prefix, pre, syntax, mr );
		hashIter( &HASHcontext, HASHdigest,
			(unsigned char *)value->bv_val, klen );
Howard Chu's avatar
Howard Chu committed
761
		ber_dupbv_x( &keys[nkeys++], &digest, ctx );
762
763
764
765

		/* If initial is too long and we have subany indexed, use it
		 * to match the excess...
		 */
766
		if (value->bv_len > index_substr_if_maxlen && (flags & SLAP_INDEX_SUBSTR_ANY))
767
768
769
		{
			ber_len_t j;
			pre = SLAP_INDEX_SUBSTR_PREFIX;
Howard Chu's avatar
Howard Chu committed
770
			hashPreset( &HASHcontext, prefix, pre, syntax, mr);
771
			for ( j=index_substr_if_maxlen-1; j <= value->bv_len - index_substr_any_len; j+=index_substr_any_step )
772
			{
Howard Chu's avatar
Howard Chu committed
773
774
				hashIter( &HASHcontext, HASHdigest,
					(unsigned char *)&value->bv_val[j], index_substr_any_len );
775
776
777
				ber_dupbv_x( &keys[nkeys++], &digest, ctx );
			}
		}
Kurt Zeilenga's avatar
Kurt Zeilenga committed
778
779
780
781
782
	}

	if( flags & SLAP_INDEX_SUBSTR_ANY && sa->sa_any != NULL ) {
		ber_len_t i, j;
		pre = SLAP_INDEX_SUBSTR_PREFIX;
783
		klen = index_substr_any_len;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
784

785
		for( i=0; !BER_BVISNULL( &sa->sa_any[i] ); i++ ) {
786
			if( sa->sa_any[i].bv_len < index_substr_any_len ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
787
788
789
790
791
				continue;
			}

			value = &sa->sa_any[i];

Howard Chu's avatar
Howard Chu committed
792
			hashPreset( &HASHcontext, prefix, pre, syntax, mr);
Kurt Zeilenga's avatar
Kurt Zeilenga committed
793
			for(j=0;
794
795
				j <= value->bv_len - index_substr_any_len;
				j += index_substr_any_step )
Kurt Zeilenga's avatar
Kurt Zeilenga committed
796
			{
Howard Chu's avatar
Howard Chu committed
797
798
				hashIter( &HASHcontext, HASHdigest,
					(unsigned char *)&value->bv_val[j], klen ); 
Howard Chu's avatar
Howard Chu committed
799
				ber_dupbv_x( &keys[nkeys++], &digest, ctx );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
800
801
802
803
			}
		}
	}

804
	if( flags & SLAP_INDEX_SUBSTR_FINAL &&
805
		!BER_BVISNULL( &sa->sa_final ) &&
806
		sa->sa_final.bv_len >= index_substr_if_minlen )
Kurt Zeilenga's avatar
Kurt Zeilenga committed
807
808
809
810
	{
		pre = SLAP_INDEX_SUBSTR_FINAL_PREFIX;
		value = &sa->sa_final;

811
812
		klen = index_substr_if_maxlen < value->bv_len
			? index_substr_if_maxlen : value->bv_len;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
813

Howard Chu's avatar
Howard Chu committed
814
815
816
		hashPreset( &HASHcontext, prefix, pre, syntax, mr );
		hashIter( &HASHcontext, HASHdigest,
			(unsigned char *)&value->bv_val[value->bv_len-klen], klen );
Howard Chu's avatar
Howard Chu committed
817
		ber_dupbv_x( &keys[nkeys++], &digest, ctx );
818
819
820
821

		/* If final is too long and we have subany indexed, use it
		 * to match the excess...
		 */
822
		if (value->bv_len > index_substr_if_maxlen && (flags & SLAP_INDEX_SUBSTR_ANY))
823
824
825
		{
			ber_len_t j;
			pre = SLAP_INDEX_SUBSTR_PREFIX;
Howard Chu's avatar
Howard Chu committed
826
			hashPreset( &HASHcontext, prefix, pre, syntax, mr);
827
			for ( j=0; j <= value->bv_len - index_substr_if_maxlen; j+=index_substr_any_step )
828
			{
Howard Chu's avatar
Howard Chu committed
829
830
				hashIter( &HASHcontext, HASHdigest,
					(unsigned char *)&value->bv_val[j], index_substr_any_len );
831
832
833
				ber_dupbv_x( &keys[nkeys++], &digest, ctx );
			}
		}
Kurt Zeilenga's avatar
Kurt Zeilenga committed
834
835
836
	}

	if( nkeys > 0 ) {
837
		BER_BVZERO( &keys[nkeys] );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
		*keysp = keys;
	} else {
		ch_free( keys );
		*keysp = NULL;
	}

	return LDAP_SUCCESS;
}

static int
bitStringValidate(
	Syntax *syntax,
	struct berval *in )
{
	ber_len_t i;

	/* very unforgiving validation, requires no normalization
	 * before simplistic matching
	 */
	if( in->bv_len < 3 ) {
		return LDAP_INVALID_SYNTAX;
	}

Kurt Zeilenga's avatar
Kurt Zeilenga committed
861
	/* RFC 4517 Section 3.3.2 Bit String:
862
863
	 *	BitString    = SQUOTE *binary-digit SQUOTE "B"
	 *	binary-digit = "0" / "1"
Kurt Zeilenga's avatar
Kurt Zeilenga committed
864
865
866
867
868
	 *
	 * where SQUOTE [RFC4512] is
	 *	SQUOTE  = %x27 ; single quote ("'")
	 *
	 * Example: '0101111101'B
Kurt Zeilenga's avatar
Kurt Zeilenga committed
869
870
871
	 */
	
	if( in->bv_val[0] != '\'' ||
872
873
		in->bv_val[in->bv_len - 2] != '\'' ||
		in->bv_val[in->bv_len - 1] != 'B' )
Kurt Zeilenga's avatar
Kurt Zeilenga committed
874
875
876
877
	{
		return LDAP_INVALID_SYNTAX;
	}

878
	for( i = in->bv_len - 3; i > 0; i-- ) {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
879
880
881
882
883
884
885
886
		if( in->bv_val[i] != '0' && in->bv_val[i] != '1' ) {
			return LDAP_INVALID_SYNTAX;
		}
	}

	return LDAP_SUCCESS;
}

887
/*
Kurt Zeilenga's avatar
Kurt Zeilenga committed
888
 * Syntaxes from RFC 4517
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
 *

3.3.2.  Bit String

   A value of the Bit String syntax is a sequence of binary digits.  The
   LDAP-specific encoding of a value of this syntax is defined by the
   following ABNF:

      BitString    = SQUOTE *binary-digit SQUOTE "B"

      binary-digit = "0" / "1"

   The <SQUOTE> rule is defined in [MODELS].

      Example:
         '0101111101'B

   The LDAP definition for the Bit String syntax is:

      ( 1.3.6.1.4.1.1466.115.121.1.6 DESC 'Bit String' )

   This syntax corresponds to the BIT STRING ASN.1 type from [ASN.1].

   ...

3.3.21.  Name and Optional UID

   A value of the Name and Optional UID syntax is the distinguished name
   [MODELS] of an entity optionally accompanied by a unique identifier
   that serves to differentiate the entity from others with an identical
   distinguished name.

   The LDAP-specific encoding of a value of this syntax is defined by
   the following ABNF:

       NameAndOptionalUID = distinguishedName [ SHARP BitString ]

   The <BitString> rule is defined in Section 3.3.2.  The
   <distinguishedName> rule is defined in [LDAPDN].  The <SHARP> rule is
   defined in [MODELS].

   Note that although the '#' character may occur in the string
   representation of a distinguished name, no additional escaping of
   this character is performed when a <distinguishedName> is encoded in
   a <NameAndOptionalUID>.

      Example:
         1.3.6.1.4.1.1466.0=#04024869,O=Test,C=GB#'0101'B

   The LDAP definition for the Name and Optional UID syntax is:

      ( 1.3.6.1.4.1.1466.115.121.1.34 DESC 'Name And Optional UID' )

   This syntax corresponds to the NameAndOptionalUID ASN.1 type from
   [X.520].

 *
Kurt Zeilenga's avatar
Kurt Zeilenga committed
946
 * RFC 4512 says:
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
 *

1.4. Common ABNF Productions

  ...
      SHARP   = %x23 ; octothorpe (or sharp sign) ("#")
  ...
      SQUOTE  = %x27 ; single quote ("'")
  ...
      
 *
 * Note: normalization strips any leading "0"s, unless the
 * bit string is exactly "'0'B", so the normalized example,
 * in slapd, would result in
 * 
 * 1.3.6.1.4.1.1466.0=#04024869,o=test,c=gb#'101'B
 * 
Kurt Zeilenga's avatar
Kurt Zeilenga committed
964
965
966
967
968
 * RFC 4514 clarifies that SHARP, i.e. "#", doesn't have to
 * be escaped except when at the beginning of a value, the
 * definition of Name and Optional UID appears to be flawed,
 * because there is no clear means to determine whether the
 * UID part is present or not.
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
 *
 * Example:
 *
 * 	cn=Someone,dc=example,dc=com#'1'B
 *
 * could be either a NameAndOptionalUID with trailing UID, i.e.
 *
 * 	DN = "cn=Someone,dc=example,dc=com"
 * 	UID = "'1'B"
 * 
 * or a NameAndOptionalUID with no trailing UID, and the AVA
 * in the last RDN made of
 *
 * 	attributeType = dc 
 * 	attributeValue = com#'1'B
 *
 * in fact "com#'1'B" is a valid IA5 string.
 *
 * As a consequence, current slapd code assumes that the
 * presence of portions of a BitString at the end of the string 
 * representation of a NameAndOptionalUID means a BitString
 * is expected, and cause an error otherwise.  This is quite
 * arbitrary, and might change in the future.
 */


Kurt Zeilenga's avatar
Kurt Zeilenga committed
995
996
997
998
999
1000
static int
nameUIDValidate(
	Syntax *syntax,
	struct berval *in )
{
	int rc;
1001
	struct berval dn, uid;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
1002

1003
	if( BER_BVISEMPTY( in ) ) return LDAP_SUCCESS;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
1004
1005
1006
1007

	ber_dupbv( &dn, in );
	if( !dn.bv_val ) return LDAP_OTHER;

1008
1009
	/* if there's a "#", try bitStringValidate()... */
	uid.bv_val = strrchr( dn.bv_val, '#' );
1010
	if ( !BER_BVISNULL( &uid ) ) {
1011
1012
1013
1014
1015
1016
1017
1018
1019
		uid.bv_val++;
		uid.bv_len = dn.bv_len - ( uid.bv_val - dn.bv_val );

		rc = bitStringValidate( NULL, &uid );
		if ( rc == LDAP_SUCCESS ) {
			/* in case of success, trim the UID,
			 * otherwise treat it as part of the DN */
			dn.bv_len -= uid.bv_len + 1;
			uid.bv_val[-1] = '\0';
Kurt Zeilenga's avatar
Kurt Zeilenga committed
1020
1021
1022
1023
1024
1025
1026
1027
1028
		}
	}

	rc = dnValidate( NULL, &dn );

	ber_memfree( dn.bv_val );
	return rc;
}

1029
1030
1031
1032
1033
1034
1035
int
nameUIDPretty(
	Syntax *syntax,
	struct berval *val,
	struct berval *out,
	void *ctx )
{
1036
1037
	assert( val != NULL );
	assert( out != NULL );
1038
1039
1040
1041


	Debug( LDAP_DEBUG_TRACE, ">>> nameUIDPretty: <%s>\n", val->bv_val, 0, 0 );

1042
	if( BER_BVISEMPTY( val ) ) {
1043
1044
1045
1046
1047
1048
		ber_dupbv_x( out, val, ctx );

	} else if ( val->bv_len > SLAP_LDAPDN_MAXLEN ) {
		return LDAP_INVALID_SYNTAX;

	} else {
1049
1050
1051
		int		rc;
		struct berval	dnval = *val;
		struct berval	uidval = BER_BVNULL;
1052

1053
		uidval.bv_val = strrchr( val->bv_val, '#' );
1054
		if ( !BER_BVISNULL( &uidval ) ) {
1055
1056
			uidval.bv_val++;
			uidval.bv_len = val->bv_len - ( uidval.bv_val - val->bv_val );
1057

1058
			rc = bitStringValidate( NULL, &uidval );
1059

1060
1061
1062
1063
			if ( rc == LDAP_SUCCESS ) {
				ber_dupbv_x( &dnval, val, ctx );
				dnval.bv_len -= uidval.bv_len + 1;
				dnval.bv_val[dnval.bv_len] = '\0';
1064

1065
			} else {
1066
				BER_BVZERO( &uidval );
1067
			}
1068
1069
1070
		}

		rc = dnPretty( syntax, &dnval, out, ctx );
1071
1072
1073
1074
1075
1076
		if ( dnval.bv_val != val->bv_val ) {
			slap_sl_free( dnval.bv_val, ctx );
		}
		if( rc != LDAP_SUCCESS ) {
			return rc;
		}
1077

1078
		if( !BER_BVISNULL( &uidval ) ) {
1079
1080
1081
			int	i, c, got1;
			char	*tmp;

1082
1083
			tmp = slap_sl_realloc( out->bv_val, out->bv_len 
				+ STRLENOF( "#" ) + uidval.bv_len + 1,
Kurt Zeilenga's avatar
cleanup    
Kurt Zeilenga committed
1084
				ctx );
1085
1086
1087
1088
			if( tmp == NULL ) {
				ber_memfree_x( out->bv_val, ctx );
				return LDAP_OTHER;
			}
1089
			out->bv_val = tmp;
1090
			out->bv_val[out->bv_len++] = '#';
1091
			out->bv_val[out->bv_len++] = '\'';
1092
1093

			got1 = uidval.bv_len < sizeof("'0'B"); 
1094
			for( i = 1; i < uidval.bv_len - 2; i++ ) {
1095
1096
1097
1098
1099
1100
1101
1102
				c = uidval.bv_val[i];
				switch(c) {
					case '0':
						if( got1 ) out->bv_val[out->bv_len++] = c;
						break;
					case '1':
						got1 = 1;
						out->bv_val[out->bv_len++] = c;
1103
						break;
1104
1105
1106
				}
			}

1107
1108
			out->bv_val[out->bv_len++] = '\'';
			out->bv_val[out->bv_len++] = 'B';
1109
1110
1111
1112
1113
1114
1115
1116
1117
			out->bv_val[out->bv_len] = '\0';
		}
	}

	Debug( LDAP_DEBUG_TRACE, "<<< nameUIDPretty: <%s>\n", out->bv_val, 0, 0 );

	return LDAP_SUCCESS;
}

Kurt Zeilenga's avatar
Kurt Zeilenga committed
1118
1119
1120
1121
1122
1123
static int
uniqueMemberNormalize(
	slap_mask_t usage,
	Syntax *syntax,
	MatchingRule *mr,
	struct berval *val,
Howard Chu's avatar
Howard Chu committed
1124
1125
	struct berval *normalized,
	void *ctx )
Kurt Zeilenga's avatar
Kurt Zeilenga committed
1126
1127
1128
1129
{
	struct berval out;
	int rc;

1130
	assert( SLAP_MR_IS_VALUE_OF_SYNTAX( usage ) != 0 );
1131

Pierangelo Masarati's avatar
Pierangelo Masarati committed
1132
1133
	ber_dupbv_x( &out, val, ctx );
	if ( BER_BVISEMPTY( &out ) ) {
1134
1135
1136
		*normalized = out;

	} else {
Kurt Zeilenga's avatar
Kurt Zeilenga committed
1137
		struct berval uid = BER_BVNULL;
Kurt Zeilenga's avatar
Kurt Zeilenga committed
1138

1139
		uid.bv_val = strrchr( out.bv_val, '#' );
1140
		if ( !BER_BVISNULL( &uid ) ) {
1141
1142
1143
1144
1145
1146
1147
1148
			uid.bv_val++;
			uid.bv_len = out.bv_len - ( uid.bv_val - out.bv_val );

			rc = bitStringValidate( NULL, &uid );
			if ( rc == LDAP_SUCCESS ) {
				uid.bv_val[-1] = '\0';
				out.bv_len -= uid.bv_len + 1;
			} else {
1149
				BER_BVZERO( &uid );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
1150
1151
1152
			}
		}

Kurt Zeilenga's avatar
Kurt Zeilenga committed
1153
		rc = dnNormalize( 0, NULL, NULL, &out, normalized, ctx );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
1154
1155

		if( rc != LDAP_SUCCESS ) {
Pierangelo Masarati's avatar
Pierangelo Masarati committed
1156
			slap_sl_free( out.bv_val, ctx );
Kurt Zeilenga's avatar
Kurt Zeilenga committed
1157
1158
1159
			return LDAP_INVALID_SYNTAX;
		}

Pierangelo Masarati's avatar