Merge branch 'pr_1083' into mbedtls-1.3

Merge PR #1083 plus ChangeLog entry.
This commit is contained in:
Gilles Peskine 2017-11-28 18:42:21 +01:00
commit 8c946113ba
7 changed files with 44 additions and 12 deletions

View file

@ -30,6 +30,7 @@ Bugfix
RSA implementations. Raised by J.B. in the Mbed TLS forum. Fixes #1011. RSA implementations. Raised by J.B. in the Mbed TLS forum. Fixes #1011.
* Don't print X.509 version tag for v1 CRT's, and omit extensions for * Don't print X.509 version tag for v1 CRT's, and omit extensions for
non-v3 CRT's. non-v3 CRT's.
* Fix bugs in RSA test suite under MBEDTLS_NO_PLATFORM_ENTROPY. #1023 #1024
Changes Changes
* Extend cert_write example program by options to set the CRT version * Extend cert_write example program by options to set the CRT version

View file

@ -61,6 +61,9 @@ void entropy_init( entropy_context *ctx )
{ {
memset( ctx, 0, sizeof(entropy_context) ); memset( ctx, 0, sizeof(entropy_context) );
/* Reminder: Update ENTROPY_HAVE_DEFAULT in the test files
* when adding more strong entropy sources here. */
#if defined(POLARSSL_THREADING_C) #if defined(POLARSSL_THREADING_C)
polarssl_mutex_init( &ctx->mutex ); polarssl_mutex_init( &ctx->mutex );
#endif #endif

View file

@ -194,7 +194,7 @@ END
# and make check code # and make check code
my $dep_check_code; my $dep_check_code;
my @res = $test_data =~ /^depends_on:([\w:]+)/msg; my @res = $test_data =~ /^depends_on:([!:\w]+)/msg;
my %case_deps; my %case_deps;
foreach my $deps (@res) foreach my $deps (@res)
{ {
@ -205,7 +205,23 @@ foreach my $deps (@res)
} }
while( my ($key, $value) = each(%case_deps) ) while( my ($key, $value) = each(%case_deps) )
{ {
$dep_check_code .= << "END"; if( substr($key, 0, 1) eq "!" )
{
my $key = substr($key, 1);
$dep_check_code .= << "END";
if( strcmp( str, "!$key" ) == 0 )
{
#if !defined($key)
return( 0 );
#else
return( 1 );
#endif
}
END
}
else
{
$dep_check_code .= << "END";
if( strcmp( str, "$key" ) == 0 ) if( strcmp( str, "$key" ) == 0 )
{ {
#if defined($key) #if defined($key)
@ -215,6 +231,7 @@ while( my ($key, $value) = each(%case_deps) )
#endif #endif
} }
END END
}
} }
# Make mapping code # Make mapping code

View file

@ -55,6 +55,17 @@ typedef UINT32 uint32_t;
} }
#endif #endif
/* Helper flags for complex dependencies */
/* Indicates whether we expect mbedtls_entropy_init
* to initialize some strong entropy source. */
#if !defined(POLARSSL_NO_DEFAULT_ENTROPY_SOURCES) && \
( !defined(POLARSSL_NO_PLATFORM_ENTROPY) || \
defined(POLARSSL_HAVEGE_C) || \
defined(POLARSSL_TIMING_C) )
#define ENTROPY_HAVE_DEFAULT
#endif
static int unhexify( unsigned char *obuf, const char *ibuf ) static int unhexify( unsigned char *obuf, const char *ibuf )
{ {
unsigned char c, c2; unsigned char c, c2;
@ -214,7 +225,7 @@ typedef struct
* This function returns random based on a buffer it receives. * This function returns random based on a buffer it receives.
* *
* rng_state shall be a pointer to a rnd_buf_info structure. * rng_state shall be a pointer to a rnd_buf_info structure.
* *
* The number of bytes released from the buffer on each call to * The number of bytes released from the buffer on each call to
* the random function is specified by per_call. (Can be between * the random function is specified by per_call. (Can be between
* 1 and 4) * 1 and 4)

View file

@ -31,10 +31,10 @@ entropy_threshold:16:2:8
Entropy threshold #2 Entropy threshold #2
entropy_threshold:32:1:32 entropy_threshold:32:1:32
Entropy thershold #3 Entropy threshold #3
entropy_threshold:16:0:POLARSSL_ERR_ENTROPY_SOURCE_FAILED entropy_threshold:16:0:POLARSSL_ERR_ENTROPY_SOURCE_FAILED
Entropy thershold #4 Entropy threshold #4
entropy_threshold:1024:1:POLARSSL_ERR_ENTROPY_SOURCE_FAILED entropy_threshold:1024:1:POLARSSL_ERR_ENTROPY_SOURCE_FAILED
Entropy self test Entropy self test

View file

@ -40,7 +40,7 @@ static int entropy_dummy_source( void *data, unsigned char *output,
* END_DEPENDENCIES * END_DEPENDENCIES
*/ */
/* BEGIN_CASE depends_on:POLARSSL_FS_IO */ /* BEGIN_CASE depends_on:POLARSSL_FS_IO:ENTROPY_HAVE_DEFAULT */
void entropy_seed_file( char *path, int ret ) void entropy_seed_file( char *path, int ret )
{ {
entropy_context ctx; entropy_context ctx;
@ -78,7 +78,7 @@ exit:
} }
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE depends_on:ENTROPY_HAVE_DEFAULT */
void entropy_func_len( int len, int ret ) void entropy_func_len( int len, int ret )
{ {
entropy_context ctx; entropy_context ctx;
@ -137,7 +137,7 @@ exit:
} }
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE depends_on:ENTROPY_HAVE_DEFAULT */
void entropy_threshold( int threshold, int chunk_size, int result ) void entropy_threshold( int threshold, int chunk_size, int result )
{ {
entropy_context ctx; entropy_context ctx;
@ -167,7 +167,7 @@ exit:
} }
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE depends_on:POLARSSL_SELF_TEST */ /* BEGIN_CASEdepends_on:ENTROPY_HAVE_DEFAULT:POLARSSL_SELF_TEST */
void entropy_selftest( ) void entropy_selftest( )
{ {
TEST_ASSERT( entropy_self_test( 0 ) == 0 ); TEST_ASSERT( entropy_self_test( 0 ) == 0 );

View file

@ -658,7 +658,7 @@ exit:
} }
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE depends_on:POLARSSL_CTR_DRBG_C:POLARSSL_ENTROPY_C */ /* BEGIN_CASE depends_on:POLARSSL_CTR_DRBG_C:POLARSSL_ENTROPY_C:ENTROPY_HAVE_DEFAULT */
void rsa_gen_key( int nrbits, int exponent, int result) void rsa_gen_key( int nrbits, int exponent, int result)
{ {
rsa_context ctx; rsa_context ctx;
@ -667,12 +667,12 @@ void rsa_gen_key( int nrbits, int exponent, int result)
const char *pers = "test_suite_rsa"; const char *pers = "test_suite_rsa";
entropy_init( &entropy ); entropy_init( &entropy );
rsa_init( &ctx, 0, 0 );
TEST_ASSERT( ctr_drbg_init( &ctr_drbg, entropy_func, &entropy, TEST_ASSERT( ctr_drbg_init( &ctr_drbg, entropy_func, &entropy,
(const unsigned char *) pers, (const unsigned char *) pers,
strlen( pers ) ) == 0 ); strlen( pers ) ) == 0 );
rsa_init( &ctx, 0, 0 );
TEST_ASSERT( rsa_gen_key( &ctx, ctr_drbg_random, &ctr_drbg, nrbits, TEST_ASSERT( rsa_gen_key( &ctx, ctr_drbg_random, &ctr_drbg, nrbits,
exponent ) == result ); exponent ) == result );
if( result == 0 ) if( result == 0 )