Fix small issues in tests found by Coverity

This commit is contained in:
Manuel Pégourié-Gonnard 2015-06-24 01:08:09 +02:00
parent bcc030849a
commit ac5361f7dc
5 changed files with 27 additions and 19 deletions

View File

@ -95,7 +95,7 @@ void cipher_null_args( )
void enc_dec_buf( int cipher_id, char *cipher_string, int key_len, void enc_dec_buf( int cipher_id, char *cipher_string, int key_len,
int length_val, int pad_mode ) int length_val, int pad_mode )
{ {
size_t length = length_val, outlen, total_len, i; size_t length = length_val, outlen, total_len, i, block_size;
unsigned char key[32]; unsigned char key[32];
unsigned char iv[16]; unsigned char iv[16];
unsigned char ad[13]; unsigned char ad[13];
@ -162,14 +162,17 @@ void enc_dec_buf( int cipher_id, char *cipher_string, int key_len,
TEST_ASSERT( 0 == mbedtls_cipher_update_ad( &ctx_enc, ad, sizeof( ad ) - i ) ); TEST_ASSERT( 0 == mbedtls_cipher_update_ad( &ctx_enc, ad, sizeof( ad ) - i ) );
#endif #endif
block_size = mbedtls_cipher_get_block_size( &ctx_enc );
TEST_ASSERT( block_size != 0 );
/* encode length number of bytes from inbuf */ /* encode length number of bytes from inbuf */
TEST_ASSERT( 0 == mbedtls_cipher_update( &ctx_enc, inbuf, length, encbuf, &outlen ) ); TEST_ASSERT( 0 == mbedtls_cipher_update( &ctx_enc, inbuf, length, encbuf, &outlen ) );
total_len = outlen; total_len = outlen;
TEST_ASSERT( total_len == length || TEST_ASSERT( total_len == length ||
( total_len % mbedtls_cipher_get_block_size( &ctx_enc ) == 0 && ( total_len % block_size == 0 &&
total_len < length && total_len < length &&
total_len + mbedtls_cipher_get_block_size( &ctx_enc ) > length ) ); total_len + block_size > length ) );
TEST_ASSERT( 0 == mbedtls_cipher_finish( &ctx_enc, encbuf + outlen, &outlen ) ); TEST_ASSERT( 0 == mbedtls_cipher_finish( &ctx_enc, encbuf + outlen, &outlen ) );
total_len += outlen; total_len += outlen;
@ -179,18 +182,18 @@ void enc_dec_buf( int cipher_id, char *cipher_string, int key_len,
#endif #endif
TEST_ASSERT( total_len == length || TEST_ASSERT( total_len == length ||
( total_len % mbedtls_cipher_get_block_size( &ctx_enc ) == 0 && ( total_len % block_size == 0 &&
total_len > length && total_len > length &&
total_len <= length + mbedtls_cipher_get_block_size( &ctx_enc ) ) ); total_len <= length + block_size ) );
/* decode the previously encoded string */ /* decode the previously encoded string */
TEST_ASSERT( 0 == mbedtls_cipher_update( &ctx_dec, encbuf, total_len, decbuf, &outlen ) ); TEST_ASSERT( 0 == mbedtls_cipher_update( &ctx_dec, encbuf, total_len, decbuf, &outlen ) );
total_len = outlen; total_len = outlen;
TEST_ASSERT( total_len == length || TEST_ASSERT( total_len == length ||
( total_len % mbedtls_cipher_get_block_size( &ctx_dec ) == 0 && ( total_len % block_size == 0 &&
total_len < length && total_len < length &&
total_len + mbedtls_cipher_get_block_size( &ctx_dec ) >= length ) ); total_len + block_size >= length ) );
TEST_ASSERT( 0 == mbedtls_cipher_finish( &ctx_dec, decbuf + outlen, &outlen ) ); TEST_ASSERT( 0 == mbedtls_cipher_finish( &ctx_dec, decbuf + outlen, &outlen ) );
total_len += outlen; total_len += outlen;
@ -322,6 +325,7 @@ void enc_dec_buf_multipart( int cipher_id, int key_len, int first_length_val,
size_t first_length = first_length_val; size_t first_length = first_length_val;
size_t second_length = second_length_val; size_t second_length = second_length_val;
size_t length = first_length + second_length; size_t length = first_length + second_length;
size_t block_size;
unsigned char key[32]; unsigned char key[32];
unsigned char iv[16]; unsigned char iv[16];
@ -367,31 +371,34 @@ void enc_dec_buf_multipart( int cipher_id, int key_len, int first_length_val,
TEST_ASSERT( 0 == mbedtls_cipher_update_ad( &ctx_enc, NULL, 0 ) ); TEST_ASSERT( 0 == mbedtls_cipher_update_ad( &ctx_enc, NULL, 0 ) );
#endif #endif
block_size = mbedtls_cipher_get_block_size( &ctx_enc );
TEST_ASSERT( block_size != 0 );
/* encode length number of bytes from inbuf */ /* encode length number of bytes from inbuf */
TEST_ASSERT( 0 == mbedtls_cipher_update( &ctx_enc, inbuf, first_length, encbuf, &outlen ) ); TEST_ASSERT( 0 == mbedtls_cipher_update( &ctx_enc, inbuf, first_length, encbuf, &outlen ) );
totaloutlen = outlen; totaloutlen = outlen;
TEST_ASSERT( 0 == mbedtls_cipher_update( &ctx_enc, inbuf + first_length, second_length, encbuf + totaloutlen, &outlen ) ); TEST_ASSERT( 0 == mbedtls_cipher_update( &ctx_enc, inbuf + first_length, second_length, encbuf + totaloutlen, &outlen ) );
totaloutlen += outlen; totaloutlen += outlen;
TEST_ASSERT( totaloutlen == length || TEST_ASSERT( totaloutlen == length ||
( totaloutlen % mbedtls_cipher_get_block_size( &ctx_enc ) == 0 && ( totaloutlen % block_size == 0 &&
totaloutlen < length && totaloutlen < length &&
totaloutlen + mbedtls_cipher_get_block_size( &ctx_enc ) > length ) ); totaloutlen + block_size > length ) );
TEST_ASSERT( 0 == mbedtls_cipher_finish( &ctx_enc, encbuf + totaloutlen, &outlen ) ); TEST_ASSERT( 0 == mbedtls_cipher_finish( &ctx_enc, encbuf + totaloutlen, &outlen ) );
totaloutlen += outlen; totaloutlen += outlen;
TEST_ASSERT( totaloutlen == length || TEST_ASSERT( totaloutlen == length ||
( totaloutlen % mbedtls_cipher_get_block_size( &ctx_enc ) == 0 && ( totaloutlen % block_size == 0 &&
totaloutlen > length && totaloutlen > length &&
totaloutlen <= length + mbedtls_cipher_get_block_size( &ctx_enc ) ) ); totaloutlen <= length + block_size ) );
/* decode the previously encoded string */ /* decode the previously encoded string */
TEST_ASSERT( 0 == mbedtls_cipher_update( &ctx_dec, encbuf, totaloutlen, decbuf, &outlen ) ); TEST_ASSERT( 0 == mbedtls_cipher_update( &ctx_dec, encbuf, totaloutlen, decbuf, &outlen ) );
totaloutlen = outlen; totaloutlen = outlen;
TEST_ASSERT( totaloutlen == length || TEST_ASSERT( totaloutlen == length ||
( totaloutlen % mbedtls_cipher_get_block_size( &ctx_dec ) == 0 && ( totaloutlen % block_size == 0 &&
totaloutlen < length && totaloutlen < length &&
totaloutlen + mbedtls_cipher_get_block_size( &ctx_dec ) >= length ) ); totaloutlen + block_size >= length ) );
TEST_ASSERT( 0 == mbedtls_cipher_finish( &ctx_dec, decbuf + outlen, &outlen ) ); TEST_ASSERT( 0 == mbedtls_cipher_finish( &ctx_dec, decbuf + outlen, &outlen ) );
totaloutlen += outlen; totaloutlen += outlen;

View File

@ -359,7 +359,7 @@ void mbedtls_md_file( char *text_md_name, char *filename, char *hex_hash_string
md_info = mbedtls_md_info_from_string( md_name ); md_info = mbedtls_md_info_from_string( md_name );
TEST_ASSERT( md_info != NULL ); TEST_ASSERT( md_info != NULL );
mbedtls_md_file( md_info, filename, output); TEST_ASSERT( mbedtls_md_file( md_info, filename, output ) == 0 );
hexify( hash_str, output, mbedtls_md_get_size(md_info) ); hexify( hash_str, output, mbedtls_md_get_size(md_info) );
TEST_ASSERT( strcmp( (char *) hash_str, hex_hash_string ) == 0 ); TEST_ASSERT( strcmp( (char *) hash_str, hex_hash_string ) == 0 );

View File

@ -150,6 +150,7 @@ void mbedtls_mpi_write_file( int radix_X, char *input_X, int output_radix,
{ {
mbedtls_mpi X, Y; mbedtls_mpi X, Y;
FILE *file_out, *file_in; FILE *file_out, *file_in;
int ret;
mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y );
@ -157,13 +158,15 @@ void mbedtls_mpi_write_file( int radix_X, char *input_X, int output_radix,
file_out = fopen( output_file, "w" ); file_out = fopen( output_file, "w" );
TEST_ASSERT( file_out != NULL ); TEST_ASSERT( file_out != NULL );
TEST_ASSERT( mbedtls_mpi_write_file( NULL, &X, output_radix, file_out ) == 0 ); ret = mbedtls_mpi_write_file( NULL, &X, output_radix, file_out );
fclose(file_out); fclose(file_out);
TEST_ASSERT( ret == 0 );
file_in = fopen( output_file, "r" ); file_in = fopen( output_file, "r" );
TEST_ASSERT( file_in != NULL ); TEST_ASSERT( file_in != NULL );
TEST_ASSERT( mbedtls_mpi_read_file( &Y, output_radix, file_in ) == 0 ); ret = mbedtls_mpi_read_file( &Y, output_radix, file_in );
fclose(file_in); fclose(file_in);
TEST_ASSERT( ret == 0 );
TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &Y ) == 0 ); TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &Y ) == 0 );

View File

@ -34,8 +34,6 @@ void pbkdf2_hmac( int hash, char *hex_password_string,
info = mbedtls_md_info_from_type( hash ); info = mbedtls_md_info_from_type( hash );
TEST_ASSERT( info != NULL ); TEST_ASSERT( info != NULL );
if( info == NULL )
return;
TEST_ASSERT( mbedtls_md_setup( &ctx, info, 1 ) == 0 ); TEST_ASSERT( mbedtls_md_setup( &ctx, info, 1 ) == 0 );
TEST_ASSERT( mbedtls_pkcs5_pbkdf2_hmac( &ctx, pw_str, pw_len, salt_str, salt_len, TEST_ASSERT( mbedtls_pkcs5_pbkdf2_hmac( &ctx, pw_str, pw_len, salt_str, salt_len,
it_cnt, key_len, key ) == 0 ); it_cnt, key_len, key ) == 0 );

View File

@ -119,8 +119,8 @@ void x509_crt_check( char *subject_key_file, char *subject_pwd,
f = fopen( cert_check_file, "r" ); f = fopen( cert_check_file, "r" );
TEST_ASSERT( f != NULL ); TEST_ASSERT( f != NULL );
olen = fread( check_buf, 1, sizeof(check_buf), f ); olen = fread( check_buf, 1, sizeof(check_buf), f );
TEST_ASSERT( olen < sizeof(check_buf) );
fclose( f ); fclose( f );
TEST_ASSERT( olen < sizeof(check_buf) );
TEST_ASSERT( olen >= pem_len - 1 ); TEST_ASSERT( olen >= pem_len - 1 );
TEST_ASSERT( memcmp( buf, check_buf, pem_len - 1 ) == 0 ); TEST_ASSERT( memcmp( buf, check_buf, pem_len - 1 ) == 0 );