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
	initialized=0;
186 187
	}

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

B
Bodo Möller 已提交
195
	/*
U
Ulf Möller 已提交
196
	 * (Based on the rand(3) manpage)
B
Bodo Möller 已提交
197
	 *
198
	 * The input is chopped up into units of 20 bytes (or less for
U
Ulf Möller 已提交
199
	 * the last block).  Each of these blocks is run through the hash
200
	 * function as follows:  The data passed to the hash function
B
Bodo Möller 已提交
201 202 203 204 205
	 * 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 已提交
206 207
	 * 'state' at the same locations that were used as input into the
         * hash function.
B
Bodo Möller 已提交
208 209
	 */

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

B
Bodo Möller 已提交
213 214 215 216 217 218 219 220 221 222 223
	/* 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;
224
	if (state_index >= STATE_SIZE)
225 226 227 228 229 230 231 232 233
		{
		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 已提交
234 235 236 237 238 239 240 241
	/* 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);

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

	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 已提交
250
		MD_Update(&m,local_md,MD_DIGEST_LENGTH);
251 252 253 254 255 256 257 258 259 260
		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 已提交
261 262 263
		MD_Update(&m,(unsigned char *)&(md_c[0]),sizeof(md_c));
		MD_Final(local_md,&m);
		md_c[1]++;
264

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

		for (k=0; k<j; k++)
			{
B
Bodo Möller 已提交
269 270 271 272 273 274 275 276 277
			/* 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];
278 279 280 281 282
			if (st_idx >= STATE_SIZE)
				st_idx=0;
			}
		}
	memset((char *)&m,0,sizeof(m));
B
Bodo Möller 已提交
283

284
	if (!add_do_not_lock) CRYPTO_w_lock(CRYPTO_LOCK_RAND);
B
Bodo Möller 已提交
285 286 287 288 289 290 291 292
	/* 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 已提交
293 294
	if (entropy < ENTROPY_NEEDED) /* stop counting when we have enough */
	    entropy += add;
295
	if (!add_do_not_lock) CRYPTO_w_unlock(CRYPTO_LOCK_RAND);
B
Bodo Möller 已提交
296
	
297
#if !defined(OPENSSL_THREADS) && !defined(WIN32)
B
Bodo Möller 已提交
298 299
	assert(md_c[1] == md_count[1]);
#endif
300 301 302 303 304
	}

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

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

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

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

B
Bodo Möller 已提交
331
	/*
B
Bodo Möller 已提交
332
	 * (Based on the rand(3) manpage:)
B
Bodo Möller 已提交
333
	 *
334
	 * For each group of 10 bytes (or less), we do the following:
B
Bodo Möller 已提交
335
	 *
336 337 338 339
	 * 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 已提交
340
	 * 'state' (incrementing looping index).  From this digest output
341 342
	 * (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 已提交
343 344
	 * into the 'state'.
	 * Finally, after we have finished 'num' random bytes for the
B
Bodo Möller 已提交
345 346 347
	 * 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 已提交
348 349
	 */

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

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

357
	initialized = 1;
B
Bodo Möller 已提交
358 359 360
	if (!stirred_pool)
		do_stir_pool = 1;
	
361
	ok = (entropy >= ENTROPY_NEEDED);
B
Bodo Möller 已提交
362 363 364 365 366 367 368 369
	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 已提交
370 371 372 373 374
		 *
		 * 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 已提交
375 376 377 378 379
		 */
		entropy -= num;
		if (entropy < 0)
			entropy = 0;
		}
380

B
Bodo Möller 已提交
381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405
	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;
		}

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

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

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

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

	add_do_not_lock = 0;	/* If this would ever be forgotten, we can
				   expect any evil god to eat our souls. */
423 424 425 426 427 428 429
	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 已提交
430
#ifndef GETPID_IS_MEANINGLESS
431 432 433 434 435 436
		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 已提交
437 438
		MD_Update(&m,&(local_md[MD_DIGEST_LENGTH/2]),MD_DIGEST_LENGTH/2);
		MD_Update(&m,(unsigned char *)&(md_c[0]),sizeof(md_c));
439 440 441 442 443 444 445 446 447 448 449
#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 已提交
450
		MD_Final(local_md,&m);
451 452 453

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

	MD_Init(&m);
B
Bodo Möller 已提交
462 463 464
	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);
465 466
	MD_Update(&m,md,MD_DIGEST_LENGTH);
	MD_Final(md,&m);
B
Bodo Möller 已提交
467 468
	CRYPTO_w_unlock(CRYPTO_LOCK_RAND);

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

481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497
/* 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);
	}

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

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

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

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