md_rand.c 15.9 KB
Newer Older
1
/* crypto/rand/md_rand.c */
2
/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57
 * All rights reserved.
 *
 * This package is an SSL implementation written
 * by Eric Young (eay@cryptsoft.com).
 * The implementation was written so as to conform with Netscapes SSL.
 * 
 * This library is free for commercial and non-commercial use as long as
 * the following conditions are aheared to.  The following conditions
 * apply to all code found in this distribution, be it the RC4, RSA,
 * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
 * included with this distribution is covered by the same copyright terms
 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
 * 
 * Copyright remains Eric Young's, and as such any Copyright notices in
 * the code are not to be removed.
 * If this package is used in a product, Eric Young should be given attribution
 * as the author of the parts of the library used.
 * This can be in the form of a textual message at program startup or
 * in documentation (online or textual) provided with the package.
 * 
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. All advertising materials mentioning features or use of this software
 *    must display the following acknowledgement:
 *    "This product includes cryptographic software written by
 *     Eric Young (eay@cryptsoft.com)"
 *    The word 'cryptographic' can be left out if the rouines from the library
 *    being used are not cryptographic related :-).
 * 4. If you include any Windows specific code (or a derivative thereof) from 
 *    the apps directory (application code) you must include an acknowledgement:
 *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
 * 
 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 * 
 * The licence and distribution terms for any publically available version or
 * derivative of this code cannot be changed.  i.e. this code cannot simply be
 * copied and put under another distribution licence
 * [including the GNU Public Licence.]
 */
B
Bodo Möller 已提交
58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110
/* ====================================================================
 * Copyright (c) 1998-2000 The OpenSSL Project.  All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer. 
 *
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in
 *    the documentation and/or other materials provided with the
 *    distribution.
 *
 * 3. All advertising materials mentioning features or use of this
 *    software must display the following acknowledgment:
 *    "This product includes software developed by the OpenSSL Project
 *    for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
 *
 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
 *    endorse or promote products derived from this software without
 *    prior written permission. For written permission, please contact
 *    openssl-core@openssl.org.
 *
 * 5. Products derived from this software may not be called "OpenSSL"
 *    nor may "OpenSSL" appear in their names without prior written
 *    permission of the OpenSSL Project.
 *
 * 6. Redistributions of any form whatsoever must retain the following
 *    acknowledgment:
 *    "This product includes software developed by the OpenSSL Project
 *    for use in the OpenSSL Toolkit (http://www.openssl.org/)"
 *
 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 * ====================================================================
 *
 * This product includes cryptographic software written by Eric Young
 * (eay@cryptsoft.com).  This product includes software written by Tim
 * Hudson (tjh@cryptsoft.com).
 *
 */
111

112
#ifdef MD_RAND_DEBUG
B
Bodo Möller 已提交
113 114 115 116 117 118
# ifndef NDEBUG
#   define NDEBUG
# endif
#endif

#include <assert.h>
119
#include <stdio.h>
B
Ben Laurie 已提交
120
#include <string.h>
121

122
#include "openssl/e_os.h"
123

124 125 126
#include <openssl/rand.h>
#include "rand_lcl.h"

127
#include <openssl/crypto.h>
128
#include <openssl/err.h>
129

130 131 132 133
#ifdef BN_DEBUG
# define PREDICT
#endif

134
/* #define PREDICT	1 */
135 136 137

#define STATE_SIZE	1023
static int state_num=0,state_index=0;
138
static unsigned char state[STATE_SIZE+MD_DIGEST_LENGTH];
139
static unsigned char md[MD_DIGEST_LENGTH];
140
static long md_count[2]={0,0};
141
static double entropy=0;
U
Ulf Möller 已提交
142
static int initialized=0;
143

144 145 146 147 148
/* This should be set to 1 only when ssleay_rand_add() is called inside
   an already locked state, so it doesn't try to lock and thereby cause
   a hang.  And it should always be reset back to 0 before unlocking. */
static int add_do_not_lock=0;

149 150 151 152
#ifdef PREDICT
int rand_predictable=0;
#endif

B
Ben Laurie 已提交
153
const char *RAND_version="RAND" OPENSSL_VERSION_PTEXT;
154

155
static void ssleay_rand_cleanup(void);
156
static void ssleay_rand_seed(const void *buf, int num);
157
static void ssleay_rand_add(const void *buf, int num, double add_entropy);
158
static int ssleay_rand_bytes(unsigned char *buf, int num);
159
static int ssleay_rand_pseudo_bytes(unsigned char *buf, int num);
160
static int ssleay_rand_status(void);
161

162
RAND_METHOD rand_ssleay_meth={
163 164 165
	ssleay_rand_seed,
	ssleay_rand_bytes,
	ssleay_rand_cleanup,
166
	ssleay_rand_add,
167
	ssleay_rand_pseudo_bytes,
168
	ssleay_rand_status
169 170
	}; 

U
Ulf Möller 已提交
171
RAND_METHOD *RAND_SSLeay(void)
172
	{
173
	return(&rand_ssleay_meth);
174 175
	}

U
Ulf Möller 已提交
176
static void ssleay_rand_cleanup(void)
177
	{
178
	memset(state,0,sizeof(state));
179 180 181
	state_num=0;
	state_index=0;
	memset(md,0,MD_DIGEST_LENGTH);
182 183
	md_count[0]=0;
	md_count[1]=0;
184
	entropy=0;
185 186
	}

187
static void ssleay_rand_add(const void *buf, int num, double add)
188
	{
B
Bodo Möller 已提交
189 190 191
	int i,j,k,st_idx;
	long md_c[2];
	unsigned char local_md[MD_DIGEST_LENGTH];
192 193
	MD_CTX m;

B
Bodo Möller 已提交
194
	/*
U
Ulf Möller 已提交
195
	 * (Based on the rand(3) manpage)
B
Bodo Möller 已提交
196
	 *
197
	 * The input is chopped up into units of 20 bytes (or less for
U
Ulf Möller 已提交
198
	 * the last block).  Each of these blocks is run through the hash
199
	 * function as follows:  The data passed to the hash function
B
Bodo Möller 已提交
200 201 202 203 204
	 * is the current 'md', the same number of bytes from the 'state'
	 * (the location determined by in incremented looping index) as
	 * the current 'block', the new key data 'block', and 'count'
	 * (which is incremented after each use).
	 * The result of this is kept in 'md' and also xored into the
U
Ulf Möller 已提交
205 206
	 * 'state' at the same locations that were used as input into the
         * hash function.
B
Bodo Möller 已提交
207 208
	 */

209
	if (!add_do_not_lock) CRYPTO_w_lock(CRYPTO_LOCK_RAND);
210 211
	st_idx=state_index;

B
Bodo Möller 已提交
212 213 214 215 216 217 218 219 220 221 222
	/* use our own copies of the counters so that even
	 * if a concurrent thread seeds with exactly the
	 * same data and uses the same subarray there's _some_
	 * difference */
	md_c[0] = md_count[0];
	md_c[1] = md_count[1];

	memcpy(local_md, md, sizeof md);

	/* state_index <= state_num <= STATE_SIZE */
	state_index += num;
223
	if (state_index >= STATE_SIZE)
224 225 226 227 228 229 230 231 232
		{
		state_index%=STATE_SIZE;
		state_num=STATE_SIZE;
		}
	else if (state_num < STATE_SIZE)	
		{
		if (state_index > state_num)
			state_num=state_index;
		}
B
Bodo Möller 已提交
233 234 235 236 237 238 239 240
	/* state_index <= state_num <= STATE_SIZE */

	/* state[st_idx], ..., state[(st_idx + num - 1) % STATE_SIZE]
	 * are what we will use now, but other threads may use them
	 * as well */

	md_count[1] += (num / MD_DIGEST_LENGTH) + (num % MD_DIGEST_LENGTH > 0);

241
	if (!add_do_not_lock) CRYPTO_w_unlock(CRYPTO_LOCK_RAND);
242 243 244 245 246 247 248

	for (i=0; i<num; i+=MD_DIGEST_LENGTH)
		{
		j=(num-i);
		j=(j > MD_DIGEST_LENGTH)?MD_DIGEST_LENGTH:j;

		MD_Init(&m);
B
Bodo Möller 已提交
249
		MD_Update(&m,local_md,MD_DIGEST_LENGTH);
250 251 252 253 254 255 256 257 258 259
		k=(st_idx+j)-STATE_SIZE;
		if (k > 0)
			{
			MD_Update(&m,&(state[st_idx]),j-k);
			MD_Update(&m,&(state[0]),k);
			}
		else
			MD_Update(&m,&(state[st_idx]),j);
			
		MD_Update(&m,buf,j);
B
Bodo Möller 已提交
260 261 262
		MD_Update(&m,(unsigned char *)&(md_c[0]),sizeof(md_c));
		MD_Final(local_md,&m);
		md_c[1]++;
263

B
Ben Laurie 已提交
264
		buf=(const char *)buf + j;
265 266 267

		for (k=0; k<j; k++)
			{
B
Bodo Möller 已提交
268 269 270 271 272 273 274 275 276
			/* Parallel threads may interfere with this,
			 * but always each byte of the new state is
			 * the XOR of some previous value of its
			 * and local_md (itermediate values may be lost).
			 * Alway using locking could hurt performance more
			 * than necessary given that conflicts occur only
			 * when the total seeding is longer than the random
			 * state. */
			state[st_idx++]^=local_md[k];
277 278 279 280 281
			if (st_idx >= STATE_SIZE)
				st_idx=0;
			}
		}
	memset((char *)&m,0,sizeof(m));
B
Bodo Möller 已提交
282

283
	if (!add_do_not_lock) CRYPTO_w_lock(CRYPTO_LOCK_RAND);
B
Bodo Möller 已提交
284 285 286 287 288 289 290 291
	/* Don't just copy back local_md into md -- this could mean that
	 * other thread's seeding remains without effect (except for
	 * the incremented counter).  By XORing it we keep at least as
	 * much entropy as fits into md. */
	for (k = 0; k < sizeof md; k++)
		{
		md[k] ^= local_md[k];
		}
B
Bodo Möller 已提交
292 293
	if (entropy < ENTROPY_NEEDED) /* stop counting when we have enough */
	    entropy += add;
294
	if (!add_do_not_lock) CRYPTO_w_unlock(CRYPTO_LOCK_RAND);
B
Bodo Möller 已提交
295 296 297 298
	
#ifndef THREADS	
	assert(md_c[1] == md_count[1]);
#endif
299 300 301 302 303
	}

static void ssleay_rand_seed(const void *buf, int num)
	{
	ssleay_rand_add(buf, num, num);
304 305
	}

306
static int ssleay_rand_bytes(unsigned char *buf, int num)
307
	{
B
Bodo Möller 已提交
308
	static volatile int stirred_pool = 0;
309
	int i,j,k,st_num,st_idx;
310
	int ok;
B
Bodo Möller 已提交
311 312
	long md_c[2];
	unsigned char local_md[MD_DIGEST_LENGTH];
313
	MD_CTX m;
A
Andy Polyakov 已提交
314
#ifndef GETPID_IS_MEANINGLESS
315
	pid_t curr_pid = getpid();
B
Bodo Möller 已提交
316
#endif
B
Bodo Möller 已提交
317
	int do_stir_pool = 0;
318 319

#ifdef PREDICT
320 321 322
	if (rand_predictable)
		{
		static unsigned char val=0;
323

324 325 326 327
		for (i=0; i<num; i++)
			buf[i]=val++;
		return(1);
		}
328 329
#endif

B
Bodo Möller 已提交
330
	/*
B
Bodo Möller 已提交
331
	 * (Based on the rand(3) manpage:)
B
Bodo Möller 已提交
332
	 *
333
	 * For each group of 10 bytes (or less), we do the following:
B
Bodo Möller 已提交
334
	 *
335 336 337 338
	 * Input into the hash function the top 10 bytes from the
	 * local 'md' (which is initialized from the global 'md'
	 * before any bytes are generated), the bytes that are
	 * to be overwritten by the random bytes, and bytes from the
B
Bodo Möller 已提交
339
	 * 'state' (incrementing looping index).  From this digest output
340 341
	 * (which is kept in 'md'), the top (up to) 10 bytes are
	 * returned to the caller and the bottom (up to) 10 bytes are xored
B
Bodo Möller 已提交
342 343
	 * into the 'state'.
	 * Finally, after we have finished 'num' random bytes for the
B
Bodo Möller 已提交
344 345 346
	 * caller, 'count' (which is incremented) and the local and global 'md'
	 * are fed into the hash function and the results are kept in the
	 * global 'md'.
B
Bodo Möller 已提交
347 348
	 */

U
Ulf Möller 已提交
349
	if (!initialized)
350 351 352
		RAND_poll();

	CRYPTO_w_lock(CRYPTO_LOCK_RAND);
353 354
	add_do_not_lock = 1;	/* Since we call ssleay_rand_add while in
				   this locked state. */
355

356
	initialized = 1;
B
Bodo Möller 已提交
357 358 359
	if (!stirred_pool)
		do_stir_pool = 1;
	
360
	ok = (entropy >= ENTROPY_NEEDED);
B
Bodo Möller 已提交
361 362 363 364 365 366 367 368
	if (!ok)
		{
		/* If the PRNG state is not yet unpredictable, then seeing
		 * the PRNG output may help attackers to determine the new
		 * state; thus we have to decrease the entropy estimate.
		 * Once we've had enough initial seeding we don't bother to
		 * adjust the entropy count, though, because we're not ambitious
		 * to provide *information-theoretic* randomness.
B
Bodo Möller 已提交
369 370 371 372 373
		 *
		 * NOTE: This approach fails if the program forks before
		 * we have enough entropy. Entropy should be collected
		 * in a separate input pool and be transferred to the
		 * output pool only when the entropy limit has been reached.
B
Bodo Möller 已提交
374 375 376 377 378
		 */
		entropy -= num;
		if (entropy < 0)
			entropy = 0;
		}
379

B
Bodo Möller 已提交
380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404
	if (do_stir_pool)
		{
		/* Our output function chains only half of 'md', so we better
		 * make sure that the required entropy gets 'evenly distributed'
		 * through 'state', our randomness pool.  The input function
		 * (ssleay_rand_add) chains all of 'md', which makes it more
		 * suitable for this purpose.
		 */

		int n = STATE_SIZE; /* so that the complete pool gets accessed */
		while (n > 0)
			{
#if MD_DIGEST_LENGTH > 20
# error "Please adjust DUMMY_SEED."
#endif
#define DUMMY_SEED "...................." /* at least MD_DIGEST_LENGTH */
			/* Note that the seed does not matter, it's just that
			 * ssleay_rand_add expects to have something to hash. */
			ssleay_rand_add(DUMMY_SEED, MD_DIGEST_LENGTH, 0.0);
			n -= MD_DIGEST_LENGTH;
			}
		if (ok)
			stirred_pool = 1;
		}

405 406
	st_idx=state_index;
	st_num=state_num;
B
Bodo Möller 已提交
407 408 409 410
	md_c[0] = md_count[0];
	md_c[1] = md_count[1];
	memcpy(local_md, md, sizeof md);

411 412
	state_index+=num;
	if (state_index > state_num)
B
Bodo Möller 已提交
413 414 415 416
		state_index %= state_num;

	/* state[st_idx], ..., state[(st_idx + num - 1) % st_num]
	 * are now ours (but other threads may use them too) */
417

B
Bodo Möller 已提交
418
	md_count[0] += 1;
419 420 421

	add_do_not_lock = 0;	/* If this would ever be forgotten, we can
				   expect any evil god to eat our souls. */
422 423 424 425 426 427 428
	CRYPTO_w_unlock(CRYPTO_LOCK_RAND);

	while (num > 0)
		{
		j=(num >= MD_DIGEST_LENGTH/2)?MD_DIGEST_LENGTH/2:num;
		num-=j;
		MD_Init(&m);
A
Andy Polyakov 已提交
429
#ifndef GETPID_IS_MEANINGLESS
430 431 432 433 434 435
		if (curr_pid) /* just in the first iteration to save time */
			{
			MD_Update(&m,(unsigned char*)&curr_pid,sizeof curr_pid);
			curr_pid = 0;
			}
#endif
B
Bodo Möller 已提交
436 437
		MD_Update(&m,&(local_md[MD_DIGEST_LENGTH/2]),MD_DIGEST_LENGTH/2);
		MD_Update(&m,(unsigned char *)&(md_c[0]),sizeof(md_c));
438 439 440 441 442 443 444 445 446 447 448
#ifndef PURIFY
		MD_Update(&m,buf,j); /* purify complains */
#endif
		k=(st_idx+j)-st_num;
		if (k > 0)
			{
			MD_Update(&m,&(state[st_idx]),j-k);
			MD_Update(&m,&(state[0]),k);
			}
		else
			MD_Update(&m,&(state[st_idx]),j);
B
Bodo Möller 已提交
449
		MD_Final(local_md,&m);
450 451 452

		for (i=0; i<j; i++)
			{
B
Bodo Möller 已提交
453 454
			state[st_idx++]^=local_md[i]; /* may compete with other threads */
			*(buf++)=local_md[i+MD_DIGEST_LENGTH/2];
455 456 457 458 459 460
			if (st_idx >= st_num)
				st_idx=0;
			}
		}

	MD_Init(&m);
B
Bodo Möller 已提交
461 462 463
	MD_Update(&m,(unsigned char *)&(md_c[0]),sizeof(md_c));
	MD_Update(&m,local_md,MD_DIGEST_LENGTH);
	CRYPTO_w_lock(CRYPTO_LOCK_RAND);
464 465
	MD_Update(&m,md,MD_DIGEST_LENGTH);
	MD_Final(md,&m);
B
Bodo Möller 已提交
466 467
	CRYPTO_w_unlock(CRYPTO_LOCK_RAND);

468
	memset(&m,0,sizeof(m));
469 470 471 472 473
	if (ok)
		return(1);
	else
		{
		RANDerr(RAND_F_SSLEAY_RAND_BYTES,RAND_R_PRNG_NOT_SEEDED);
474 475
		ERR_add_error_data(1, "You need to read the OpenSSL FAQ, "
			"http://www.openssl.org/support/faq.html");
476 477
		return(0);
		}
478 479
	}

480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496
/* pseudo-random bytes that are guaranteed to be unique but not
   unpredictable */
static int ssleay_rand_pseudo_bytes(unsigned char *buf, int num) 
	{
	int ret, err;

	ret = RAND_bytes(buf, num);
	if (ret == 0)
		{
		err = ERR_peek_error();
		if (ERR_GET_LIB(err) == ERR_LIB_RAND &&
		    ERR_GET_REASON(err) == RAND_R_PRNG_NOT_SEEDED)
			(void)ERR_get_error();
		}
	return (ret);
	}

497
static int ssleay_rand_status(void)
U
Ulf Möller 已提交
498
	{
499 500
	int ret;

U
Ulf Möller 已提交
501
	if (!initialized)
502
		RAND_poll();
503

504 505 506
	CRYPTO_w_lock(CRYPTO_LOCK_RAND);
	initialized = 1;
	ret = entropy >= ENTROPY_NEEDED;
507 508
	CRYPTO_w_unlock(CRYPTO_LOCK_RAND);

509
	return ret;
U
Ulf Möller 已提交
510
	}