yuzu/mbedtls
1
0
Fork 0
mirror of https://github.com/yuzu-emu/mbedtls.git synced 2024-12-23 09:35:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Don't pass zero to rsa_complete() as a param

Browse source 
When parsing a PKCS#1 RSAPrivateKey structure, all parameters are always
present. After importing them, we need to call rsa_complete() for the sake of
alternative implementations. That function interprets zero as a signal for
"this parameter was not provided". As that's never the case, we mustn't pass
any zero value to that function, so we need to explicitly check for it.
This commit is contained in:
Manuel Pégourié-Gonnard 2020-02-18 10:12:14 +01:00 committed by Manuel Pégourié-Gonnard
parent a59988e197
commit 9ab0305700
1 changed files with 50 additions and 31 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

81
library/pkparse.c
View file

@ -677,6 +677,32 @@ int mbedtls_pk_parse_subpubkey( unsigned char **p, const unsigned char *end,
} }
#if defined(MBEDTLS_RSA_C) #if defined(MBEDTLS_RSA_C)
/*
* Wrapper around mbedtls_asn1_get_mpi() that rejects zero.
*
* The value zero is:
* - never a valid value for an RSA parameter
* - interpreted as "omitted, please reconstruct" by mbedtls_rsa_complete().
*
* Since values can't be omitted in PKCS#1, passing a zero value to
* rsa_complete() would be incorrect, so reject zero values early.
*/
static int asn1_get_nonzero_mpi( unsigned char **p,
const unsigned char *end,
mbedtls_mpi *X )
{
int ret;
ret = mbedtls_asn1_get_mpi( p, end, X );
if( ret != 0 )
return( ret );
if( mbedtls_mpi_cmp_int( X, 0 ) == 0 )
return( MBEDTLS_ERR_PK_KEY_INVALID_FORMAT );
return( 0 );
}
/* /*
* Parse a PKCS#1 encoded private RSA key * Parse a PKCS#1 encoded private RSA key
*/ */
@ -729,44 +755,34 @@ static int pk_parse_key_pkcs1_der( mbedtls_rsa_context *rsa,
} }
/* Import N */ /* Import N */
if( ( ret = mbedtls_asn1_get_tag( &p, end, &len, if( ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 ||
MBEDTLS_ASN1_INTEGER ) ) != 0 || ( ret = mbedtls_rsa_import( rsa, &T, NULL, NULL,
( ret = mbedtls_rsa_import_raw( rsa, p, len, NULL, 0, NULL, 0, NULL, NULL ) ) != 0 )
NULL, 0, NULL, 0 ) ) != 0 )
goto cleanup; goto cleanup;
p += len;
/* Import E */ /* Import E */
if( ( ret = mbedtls_asn1_get_tag( &p, end, &len, if( ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 ||
MBEDTLS_ASN1_INTEGER ) ) != 0 || ( ret = mbedtls_rsa_import( rsa, NULL, NULL, NULL,
( ret = mbedtls_rsa_import_raw( rsa, NULL, 0, NULL, 0, NULL, 0, NULL, &T ) ) != 0 )
NULL, 0, p, len ) ) != 0 )
goto cleanup; goto cleanup;
p += len;
/* Import D */ /* Import D */
if( ( ret = mbedtls_asn1_get_tag( &p, end, &len, if( ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 ||
MBEDTLS_ASN1_INTEGER ) ) != 0 || ( ret = mbedtls_rsa_import( rsa, NULL, NULL, NULL,
( ret = mbedtls_rsa_import_raw( rsa, NULL, 0, NULL, 0, NULL, 0, &T, NULL ) ) != 0 )
p, len, NULL, 0 ) ) != 0 )
goto cleanup; goto cleanup;
p += len;
/* Import P */ /* Import P */
if( ( ret = mbedtls_asn1_get_tag( &p, end, &len, if( ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 ||
MBEDTLS_ASN1_INTEGER ) ) != 0 || ( ret = mbedtls_rsa_import( rsa, NULL, &T, NULL,
( ret = mbedtls_rsa_import_raw( rsa, NULL, 0, p, len, NULL, 0, NULL, NULL ) ) != 0 )
NULL, 0, NULL, 0 ) ) != 0 )
goto cleanup; goto cleanup;
p += len;
/* Import Q */ /* Import Q */
if( ( ret = mbedtls_asn1_get_tag( &p, end, &len, if( ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 ||
MBEDTLS_ASN1_INTEGER ) ) != 0 || ( ret = mbedtls_rsa_import( rsa, NULL, NULL, &T,
( ret = mbedtls_rsa_import_raw( rsa, NULL, 0, NULL, 0, p, len, NULL, NULL ) ) != 0 )
NULL, 0, NULL, 0 ) ) != 0 )
goto cleanup; goto cleanup;
p += len;
#if !defined(MBEDTLS_RSA_NO_CRT) #if !defined(MBEDTLS_RSA_NO_CRT)
/* /*
@ -781,22 +797,25 @@ static int pk_parse_key_pkcs1_der( mbedtls_rsa_context *rsa,
*/ */
/* Import DP */ /* Import DP */
if( ( ret = mbedtls_asn1_get_mpi( &p, end, &rsa->DP ) ) != 0) if( ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 ||
( ret = mbedtls_mpi_copy( &rsa->DP, &T ) ) != 0 )
goto cleanup; goto cleanup;
/* Import DQ */ /* Import DQ */
if( ( ret = mbedtls_asn1_get_mpi( &p, end, &rsa->DQ ) ) != 0) if( ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 ||
( ret = mbedtls_mpi_copy( &rsa->DQ, &T ) ) != 0 )
goto cleanup; goto cleanup;
/* Import QP */ /* Import QP */
if( ( ret = mbedtls_asn1_get_mpi( &p, end, &rsa->QP ) ) != 0) if( ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 ||
( ret = mbedtls_mpi_copy( &rsa->QP, &T ) ) != 0 )
goto cleanup; goto cleanup;
#else #else
/* Verify existance of the CRT params */ /* Verify existance of the CRT params */
if( ( ret = mbedtls_asn1_get_mpi( &p, end, &T ) ) != 0 || if( ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 ||
( ret = mbedtls_asn1_get_mpi( &p, end, &T ) ) != 0 || ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 ||
( ret = mbedtls_asn1_get_mpi( &p, end, &T ) ) != 0 ) ( ret = asn1_get_nonzero_mpi( &p, end, &T ) ) != 0 )
goto cleanup; goto cleanup;
#endif #endif