1148 lines
44 KiB
Text
1148 lines
44 KiB
Text
/* BEGIN_HEADER */
|
|
|
|
#include <stdlib.h>
|
|
|
|
#include "mps_reader.h"
|
|
|
|
/*
|
|
* Compile-time configuration for test suite.
|
|
*/
|
|
|
|
/* Comment/Uncomment this to disable/enable the
|
|
* testing of the various MPS layers.
|
|
* This can be useful for time-consuming instrumentation
|
|
* tasks such as the conversion of E-ACSL annotations
|
|
* into runtime assertions. */
|
|
#define TEST_SUITE_MPS_READER
|
|
|
|
/* End of compile-time configuration. */
|
|
|
|
/* END_HEADER */
|
|
|
|
/* BEGIN_DEPENDENCIES
|
|
* depends_on:MBEDTLS_SSL_PROTO_TLS1_3_EXPERIMENTAL
|
|
* END_DEPENDENCIES
|
|
*/
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_no_pausing_single_step_single_round( int with_acc )
|
|
{
|
|
/* This test exercises the most basic use of the MPS reader:
|
|
* - The 'producing' layer provides a buffer
|
|
* - The 'consuming' layer fetches it in a single go.
|
|
* - After processing, the consuming layer commits the data
|
|
* and the reader is moved back to producing mode.
|
|
*
|
|
* Parameters:
|
|
* - with_acc: 0 if the reader should be initialized without accumulator.
|
|
* 1 if the reader should be initialized with accumulator.
|
|
*
|
|
* Whether the accumulator is present or not should not matter,
|
|
* since the consumer's request can be fulfilled from the data
|
|
* that the producer has provided.
|
|
*/
|
|
unsigned char bufA[100];
|
|
unsigned char acc[10];
|
|
unsigned char *tmp;
|
|
int paused;
|
|
mbedtls_mps_reader rd;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufA ); i++ )
|
|
bufA[i] = (unsigned char) i;
|
|
|
|
/* Preparation (lower layer) */
|
|
if( with_acc == 0 )
|
|
mbedtls_mps_reader_init( &rd, NULL, 0 );
|
|
else
|
|
mbedtls_mps_reader_init( &rd, acc, sizeof( acc ) );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufA, sizeof( bufA ) ) == 0 );
|
|
/* Consumption (upper layer) */
|
|
/* Consume exactly what's available */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 100, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 100, bufA, 100 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
/* Wrapup (lower layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, &paused ) == 0 );
|
|
TEST_ASSERT( paused == 0 );
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_no_pausing_single_step_multiple_rounds( int with_acc )
|
|
{
|
|
/* This test exercises multiple rounds of the basic use of the MPS reader:
|
|
* - The 'producing' layer provides a buffer
|
|
* - The 'consuming' layer fetches it in a single go.
|
|
* - After processing, the consuming layer commits the data
|
|
* and the reader is moved back to producing mode.
|
|
*
|
|
* Parameters:
|
|
* - with_acc: 0 if the reader should be initialized without accumulator.
|
|
* 1 if the reader should be initialized with accumulator.
|
|
*
|
|
* Whether the accumulator is present or not should not matter,
|
|
* since the consumer's request can be fulfilled from the data
|
|
* that the producer has provided.
|
|
*/
|
|
|
|
unsigned char bufA[100], bufB[100];
|
|
unsigned char acc[10];
|
|
unsigned char *tmp;
|
|
mbedtls_mps_reader rd;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufA ); i++ )
|
|
bufA[i] = (unsigned char) i;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufB ); i++ )
|
|
bufB[i] = ~ ((unsigned char) i);
|
|
|
|
/* Preparation (lower layer) */
|
|
if( with_acc == 0 )
|
|
mbedtls_mps_reader_init( &rd, NULL, 0 );
|
|
else
|
|
mbedtls_mps_reader_init( &rd, acc, sizeof( acc ) );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufA, sizeof( bufA ) ) == 0 );
|
|
/* Consumption (upper layer) */
|
|
/* Consume exactly what's available */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 100, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 100, bufA, 100 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
/* Preparation */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB, sizeof( bufB ) ) == 0 );
|
|
/* Consumption */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 100, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 100, bufB, 100 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
/* Wrapup (lower layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_no_pausing_multiple_steps_single_round( int with_acc )
|
|
{
|
|
/* This test exercises one round of the following:
|
|
* - The 'producing' layer provides a buffer
|
|
* - The 'consuming' layer fetches it in multiple calls
|
|
* to `mbedtls_mps_reader_get()`, without committing in between.
|
|
* - After processing, the consuming layer commits the data
|
|
* and the reader is moved back to producing mode.
|
|
*
|
|
* Parameters:
|
|
* - with_acc: 0 if the reader should be initialized without accumulator.
|
|
* 1 if the reader should be initialized with accumulator.
|
|
*
|
|
* Whether the accumulator is present or not should not matter,
|
|
* since the consumer's requests can be fulfilled from the data
|
|
* that the producer has provided.
|
|
*/
|
|
|
|
/* Lower layer provides data that the upper layer fully consumes
|
|
* through multiple `get` calls. */
|
|
unsigned char buf[100];
|
|
unsigned char acc[10];
|
|
unsigned char *tmp;
|
|
mbedtls_mps_size_t tmp_len;
|
|
mbedtls_mps_reader rd;
|
|
for( size_t i=0; (unsigned) i < sizeof( buf ); i++ )
|
|
buf[i] = (unsigned char) i;
|
|
|
|
/* Preparation (lower layer) */
|
|
if( with_acc == 0 )
|
|
mbedtls_mps_reader_init( &rd, NULL, 0 );
|
|
else
|
|
mbedtls_mps_reader_init( &rd, acc, sizeof( acc ) );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, buf, sizeof( buf ) ) == 0 );
|
|
/* Consumption (upper layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, buf, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 70, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 70, buf + 10, 70 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 30, &tmp, &tmp_len ) == 0 );
|
|
ASSERT_COMPARE( tmp, tmp_len, buf + 80, 20 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
/* Wrapup (lower layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_no_pausing_multiple_steps_multiple_rounds( int with_acc )
|
|
{
|
|
/* This test exercises one round of fetching a buffer in multiple chunks
|
|
* and passing it back to the producer afterwards, followed by another
|
|
* single-step sequence of feed-fetch-commit-reclaim.
|
|
*/
|
|
unsigned char bufA[100], bufB[100];
|
|
unsigned char acc[10];
|
|
unsigned char *tmp;
|
|
mbedtls_mps_size_t tmp_len;
|
|
mbedtls_mps_reader rd;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufA ); i++ )
|
|
bufA[i] = (unsigned char) i;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufB ); i++ )
|
|
bufB[i] = ~ ((unsigned char) i);
|
|
|
|
/* Preparation (lower layer) */
|
|
if( with_acc == 0 )
|
|
mbedtls_mps_reader_init( &rd, NULL, 0 );
|
|
else
|
|
mbedtls_mps_reader_init( &rd, acc, sizeof( acc ) );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufA, sizeof( bufA ) ) == 0 );
|
|
/* Consumption (upper layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 70, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 70, bufA + 10, 70 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 30, &tmp, &tmp_len ) == 0 );
|
|
ASSERT_COMPARE( tmp, tmp_len, bufA + 80, 20 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
/* Preparation */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB, sizeof( bufB ) ) == 0 );
|
|
/* Consumption */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 100, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 100, bufB, 100 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
/* Wrapup */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_pausing_needed_disabled()
|
|
{
|
|
/* This test exercises the behaviour of the MPS reader when a read request
|
|
* of the consumer exceeds what has been provided by the producer, and when
|
|
* no accumulator is available in the reader.
|
|
*
|
|
* In this case, we expect the reader to fail.
|
|
*/
|
|
|
|
unsigned char buf[100];
|
|
unsigned char *tmp;
|
|
mbedtls_mps_reader rd;
|
|
for( size_t i=0; (unsigned) i < sizeof( buf ); i++ )
|
|
buf[i] = (unsigned char) i;
|
|
|
|
/* Preparation (lower layer) */
|
|
mbedtls_mps_reader_init( &rd, NULL, 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, buf, sizeof( buf ) ) == 0 );
|
|
/* Consumption (upper layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 50, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 50, buf, 50 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 100, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
/* Wrapup (lower layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_NEED_ACCUMULATOR );
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_pausing_needed_buffer_too_small()
|
|
{
|
|
/* This test exercises the behaviour of the MPS reader with accumulator
|
|
* in the situation where a read request goes beyond the bounds of the
|
|
* current read buffer, _and_ the reader's accumulator is too small to
|
|
* hold the requested amount of data.
|
|
*
|
|
* In this case, we expect mbedtls_mps_reader_reclaim() to fail,
|
|
* but it should be possible to continue fetching data as if
|
|
* there had been no excess request via mbedtls_mps_reader_get()
|
|
* and the call to mbedtls_mps_reader_reclaim() had been rejected
|
|
* because of data remaining.
|
|
*/
|
|
|
|
unsigned char buf[100];
|
|
unsigned char acc[10];
|
|
unsigned char *tmp;
|
|
mbedtls_mps_reader rd;
|
|
mbedtls_mps_size_t tmp_len;
|
|
|
|
for( size_t i=0; (unsigned) i < sizeof( buf ); i++ )
|
|
buf[i] = (unsigned char) i;
|
|
|
|
/* Preparation (lower layer) */
|
|
mbedtls_mps_reader_init( &rd, acc, sizeof( acc ) );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, buf, sizeof( buf ) ) == 0 );
|
|
/* Consumption (upper layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 50, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 50, buf, 50 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, buf + 50, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 100, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
/* Wrapup (lower layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_ACCUMULATOR_TOO_SMALL );
|
|
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 50, &tmp, &tmp_len ) == 0 );
|
|
ASSERT_COMPARE( tmp, tmp_len, buf + 50, 50 );
|
|
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_reclaim_overflow()
|
|
{
|
|
/* This test exercises the behaviour of the MPS reader with accumulator
|
|
* in the situation where upon calling mbedtls_mps_reader_reclaim(), the
|
|
* uncommitted data together with the excess data missing in the last
|
|
* call to medtls_mps_reader_get() exceeds the bounds of the type
|
|
* holding the buffer length.
|
|
*/
|
|
|
|
unsigned char buf[100];
|
|
unsigned char acc[50];
|
|
unsigned char *tmp;
|
|
mbedtls_mps_reader rd;
|
|
|
|
for( size_t i=0; (unsigned) i < sizeof( buf ); i++ )
|
|
buf[i] = (unsigned char) i;
|
|
|
|
/* Preparation (lower layer) */
|
|
mbedtls_mps_reader_init( &rd, acc, sizeof( acc ) );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, buf, sizeof( buf ) ) == 0 );
|
|
/* Consumption (upper layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 50, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 50, buf, 50 );
|
|
/* Excess request */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, (mbedtls_mps_size_t) -1, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
/* Wrapup (lower layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_ACCUMULATOR_TOO_SMALL );
|
|
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_pausing( int option )
|
|
{
|
|
/* This test exercises the behaviour of the reader when the
|
|
* accumulator is used to fulfill a consumer's request.
|
|
*
|
|
* More detailed:
|
|
* - The producer feeds some data.
|
|
* - The consumer asks for more data than what's available.
|
|
* - The reader remembers the request and goes back to
|
|
* producing mode, waiting for more data from the producer.
|
|
* - The producer provides another chunk of data which is
|
|
* sufficient to fulfill the original read request.
|
|
* - The consumer retries the original read request, which
|
|
* should now succeed.
|
|
*
|
|
* This test comes in multiple variants controlled by the
|
|
* `option` parameter and documented below.
|
|
*/
|
|
|
|
unsigned char bufA[100], bufB[100];
|
|
unsigned char *tmp;
|
|
unsigned char acc[40];
|
|
int paused;
|
|
mbedtls_mps_reader rd;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufA ); i++ )
|
|
bufA[i] = (unsigned char) i;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufB ); i++ )
|
|
bufB[i] = ~ ((unsigned char) i);
|
|
|
|
/* Preparation (lower layer) */
|
|
mbedtls_mps_reader_init( &rd, acc, sizeof( acc ) );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufA, sizeof( bufA ) ) == 0 );
|
|
|
|
/* Consumption (upper layer) */
|
|
/* Ask for more than what's available. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 80, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 80, bufA, 80 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 80, 10 );
|
|
switch( option )
|
|
{
|
|
case 0: /* Single uncommitted fetch at pausing */
|
|
case 1:
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
break;
|
|
default: /* Multiple uncommitted fetches at pausing */
|
|
break;
|
|
}
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
|
|
/* Preparation */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, &paused ) == 0 );
|
|
TEST_ASSERT( paused == 1 );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB, sizeof( bufB ) ) == 0 );
|
|
|
|
/* Consumption */
|
|
switch( option )
|
|
{
|
|
case 0: /* Single fetch at pausing, re-fetch with commit. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 90, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufB, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
break;
|
|
|
|
case 1: /* Single fetch at pausing, re-fetch without commit. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 90, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufB, 10 );
|
|
break;
|
|
|
|
case 2: /* Multiple fetches at pausing, repeat without commit. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 80, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 90, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufB, 10 );
|
|
break;
|
|
|
|
case 3: /* Multiple fetches at pausing, repeat with commit 1. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 80, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 90, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufB, 10 );
|
|
break;
|
|
|
|
case 4: /* Multiple fetches at pausing, repeat with commit 2. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 80, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 90, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufB, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
break;
|
|
|
|
case 5: /* Multiple fetches at pausing, repeat with commit 3. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 80, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 90, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufB, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
break;
|
|
|
|
default:
|
|
TEST_ASSERT( 0 );
|
|
}
|
|
|
|
/* In all cases, fetch the rest of the second buffer. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 90, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 90, bufB + 10, 90 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
|
|
/* Wrapup */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_pausing_multiple_feeds( int option )
|
|
{
|
|
/* This test exercises the behaviour of the MPS reader
|
|
* in the following situation:
|
|
* - The consumer has asked for more than what's available, so the
|
|
* reader pauses and waits for further input data via
|
|
* `mbedtls_mps_reader_feed()`
|
|
* - Multiple such calls to `mbedtls_mps_reader_feed()` are necessary
|
|
* to fulfill the original request, and the reader needs to do
|
|
* the necessary bookkeeping under the hood.
|
|
*
|
|
* This test comes in a few variants differing in the number and
|
|
* size of feed calls that the producer issues while the reader is
|
|
* accumulating the necessary data - see the comments below.
|
|
*/
|
|
|
|
unsigned char bufA[100], bufB[100];
|
|
unsigned char *tmp;
|
|
unsigned char acc[70];
|
|
mbedtls_mps_reader rd;
|
|
mbedtls_mps_size_t fetch_len;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufA ); i++ )
|
|
bufA[i] = (unsigned char) i;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufB ); i++ )
|
|
bufB[i] = ~ ((unsigned char) i);
|
|
|
|
/* Preparation (lower layer) */
|
|
mbedtls_mps_reader_init( &rd, acc, sizeof( acc ) );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufA, sizeof( bufA ) ) == 0 );
|
|
|
|
/* Consumption (upper layer) */
|
|
/* Ask for more than what's available. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 80, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 80, bufA, 80 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
/* 20 left, ask for 70 -> 50 overhead */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 70, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
|
|
/* Preparation */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
switch( option )
|
|
{
|
|
case 0: /* 10 + 10 + 80 byte feed */
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB, 10 ) ==
|
|
MBEDTLS_ERR_MPS_READER_NEED_MORE );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB + 10, 10 ) ==
|
|
MBEDTLS_ERR_MPS_READER_NEED_MORE );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB + 20, 80 ) == 0 );
|
|
break;
|
|
|
|
case 1: /* 50 x 1byte */
|
|
for( size_t num_feed = 0; num_feed < 49; num_feed++ )
|
|
{
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB + num_feed, 1 ) ==
|
|
MBEDTLS_ERR_MPS_READER_NEED_MORE );
|
|
}
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB + 49, 1 ) == 0 );
|
|
break;
|
|
|
|
case 2: /* 49 x 1byte + 51bytes */
|
|
for( size_t num_feed = 0; num_feed < 49; num_feed++ )
|
|
{
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB + num_feed, 1 ) ==
|
|
MBEDTLS_ERR_MPS_READER_NEED_MORE );
|
|
}
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB + 49, 51 ) == 0 );
|
|
break;
|
|
|
|
default:
|
|
TEST_ASSERT( 0 );
|
|
break;
|
|
}
|
|
|
|
/* Consumption */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 70, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 20, bufA + 80, 20 );
|
|
ASSERT_COMPARE( tmp + 20, 50, bufB, 50 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 1000, &tmp, &fetch_len ) == 0 );
|
|
switch( option )
|
|
{
|
|
case 0:
|
|
TEST_ASSERT( fetch_len == 50 );
|
|
break;
|
|
|
|
case 1:
|
|
TEST_ASSERT( fetch_len == 0 );
|
|
break;
|
|
|
|
case 2:
|
|
TEST_ASSERT( fetch_len == 50 );
|
|
break;
|
|
|
|
default:
|
|
TEST_ASSERT( 0 );
|
|
break;
|
|
}
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
|
|
/* Wrapup */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_reclaim_data_left( int option )
|
|
{
|
|
/* This test exercises the behaviour of the MPS reader when a
|
|
* call to mbedtls_mps_reader_reclaim() is made before all data
|
|
* provided by the producer has been fetched and committed. */
|
|
|
|
unsigned char buf[100];
|
|
unsigned char *tmp;
|
|
mbedtls_mps_reader rd;
|
|
for( size_t i=0; (unsigned) i < sizeof( buf ); i++ )
|
|
buf[i] = (unsigned char) i;
|
|
|
|
/* Preparation (lower layer) */
|
|
mbedtls_mps_reader_init( &rd, NULL, 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, buf, sizeof( buf ) ) == 0 );
|
|
|
|
/* Consumption (upper layer) */
|
|
switch( option )
|
|
{
|
|
case 0:
|
|
/* Fetch (but not commit) the entire buffer. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, sizeof( buf ), &tmp, NULL )
|
|
== 0 );
|
|
ASSERT_COMPARE( tmp, 100, buf, 100 );
|
|
break;
|
|
|
|
case 1:
|
|
/* Fetch (but not commit) parts of the buffer. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, sizeof( buf ) / 2,
|
|
&tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, sizeof( buf ) / 2, buf, sizeof( buf ) / 2 );
|
|
break;
|
|
|
|
case 2:
|
|
/* Fetch and commit parts of the buffer, then
|
|
* fetch but not commit the rest of the buffer. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, sizeof( buf ) / 2,
|
|
&tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, sizeof( buf ) / 2, buf, sizeof( buf ) / 2 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, sizeof( buf ) / 2,
|
|
&tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, sizeof( buf ) / 2,
|
|
buf + sizeof( buf ) / 2,
|
|
sizeof( buf ) / 2 );
|
|
break;
|
|
|
|
default:
|
|
TEST_ASSERT( 0 );
|
|
break;
|
|
}
|
|
|
|
/* Wrapup */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_DATA_LEFT );
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_reclaim_data_left_retry()
|
|
{
|
|
/* This test exercises the behaviour of the MPS reader when an attempt
|
|
* by the producer to reclaim the reader fails because of more data pending
|
|
* to be processed, and the consumer subsequently fetches more data. */
|
|
unsigned char buf[100];
|
|
unsigned char *tmp;
|
|
mbedtls_mps_reader rd;
|
|
|
|
for( size_t i=0; (unsigned) i < sizeof( buf ); i++ )
|
|
buf[i] = (unsigned char) i;
|
|
|
|
/* Preparation (lower layer) */
|
|
mbedtls_mps_reader_init( &rd, NULL, 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, buf, sizeof( buf ) ) == 0 );
|
|
/* Consumption (upper layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 50, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 50, buf, 50 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 50, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 50, buf + 50, 50 );
|
|
/* Preparation */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_DATA_LEFT );
|
|
/* Consumption */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 50, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 50, buf + 50, 50 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
/* Wrapup */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_multiple_pausing( int option )
|
|
{
|
|
/* This test exercises the behaviour of the MPS reader
|
|
* in the following situation:
|
|
* - A read request via `mbedtls_mps_reader_get()` can't
|
|
* be served and the reader is paused to accumulate
|
|
* the desired amount of data from the producer.
|
|
* - Once enough data is available, the consumer successfully
|
|
* reads the data from the reader, but afterwards exceeds
|
|
* the available data again - pausing is necessary for a
|
|
* second time.
|
|
*/
|
|
|
|
unsigned char bufA[100], bufB[20], bufC[10];
|
|
unsigned char *tmp;
|
|
unsigned char acc[50];
|
|
mbedtls_mps_size_t tmp_len;
|
|
mbedtls_mps_reader rd;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufA ); i++ )
|
|
bufA[i] = (unsigned char) i;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufB ); i++ )
|
|
bufB[i] = ~ ((unsigned char) i);
|
|
for( size_t i=0; (unsigned) i < sizeof( bufC ); i++ )
|
|
bufC[i] = ~ ((unsigned char) i);
|
|
|
|
/* Preparation (lower layer) */
|
|
mbedtls_mps_reader_init( &rd, acc, sizeof( acc ) );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufA, sizeof( bufA ) ) == 0 );
|
|
|
|
/* Consumption (upper layer) */
|
|
/* Ask for more than what's available. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 80, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 80, bufA, 80 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 80, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
|
|
/* Preparation */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB, sizeof( bufB ) ) == 0 );
|
|
|
|
switch( option )
|
|
{
|
|
case 0: /* Fetch same chunks, commit afterwards, and
|
|
* then exceed bounds of new buffer; accumulator
|
|
* large enough. */
|
|
|
|
/* Consume */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, &tmp_len ) == 0 );
|
|
ASSERT_COMPARE( tmp, tmp_len, bufA + 80, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 90, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufB, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
|
|
/* Prepare */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufC, sizeof( bufC ) ) == 0 );;
|
|
|
|
/* Consume */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufB + 10, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufC, 10 );
|
|
break;
|
|
|
|
case 1: /* Fetch same chunks, commit afterwards, and
|
|
* then exceed bounds of new buffer; accumulator
|
|
* not large enough. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 80, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 90, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufB, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 51, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
|
|
/* Prepare */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_ACCUMULATOR_TOO_SMALL );
|
|
break;
|
|
|
|
case 2: /* Fetch same chunks, don't commit afterwards, and
|
|
* then exceed bounds of new buffer; accumulator
|
|
* large enough. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 80, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 90, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufB, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
|
|
/* Prepare */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufC, sizeof( bufC ) ) == 0 );;
|
|
|
|
/* Consume */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 50, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 20, bufA + 80, 20 );
|
|
ASSERT_COMPARE( tmp + 20, 20, bufB, 20 );
|
|
ASSERT_COMPARE( tmp + 40, 10, bufC, 10 );
|
|
break;
|
|
|
|
case 3: /* Fetch same chunks, don't commit afterwards, and
|
|
* then exceed bounds of new buffer; accumulator
|
|
* not large enough. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 80, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 10, bufA + 90, 10 );
|
|
ASSERT_COMPARE( tmp + 10, 10, bufB, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 21, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
|
|
/* Prepare */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_ACCUMULATOR_TOO_SMALL );
|
|
break;
|
|
|
|
default:
|
|
TEST_ASSERT( 0 );
|
|
break;
|
|
}
|
|
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER:MBEDTLS_MPS_STATE_VALIDATION */
|
|
void mbedtls_mps_reader_random_usage( int num_out_chunks,
|
|
int max_chunk_size,
|
|
int max_request,
|
|
int acc_size )
|
|
|
|
{
|
|
/* Randomly pass a reader object back and forth between lower and
|
|
* upper layer and let each of them call the respective reader API
|
|
* functions in a random fashion.
|
|
*
|
|
* On the lower layer, we're tracking and concatenating
|
|
* the data passed to successful feed calls.
|
|
*
|
|
* For the upper layer, we track and concatenate buffers
|
|
* obtained from successful get calls.
|
|
*
|
|
* As long as the lower layer calls reclaim at least once, (resetting the
|
|
* fetched but not-yet-committed data), this should always lead to the same
|
|
* stream of outgoing/incoming data for the lower/upper layers, even if
|
|
* most of the random calls fail.
|
|
*
|
|
* NOTE: This test uses rand() for random data, which is not optimal.
|
|
* Instead, it would be better to get the random data from a
|
|
* static buffer. This both eases reproducibility and allows
|
|
* simple conversion to a fuzz target.
|
|
*/
|
|
int ret;
|
|
unsigned char *acc = NULL;
|
|
unsigned char *outgoing = NULL, *incoming = NULL;
|
|
unsigned char *cur_chunk = NULL;
|
|
size_t cur_out_chunk, out_pos, in_commit, in_fetch;
|
|
int rand_op; /* Lower layer:
|
|
* - Reclaim (0)
|
|
* - Feed (1)
|
|
* Upper layer:
|
|
* - Get, do tolerate smaller output (0)
|
|
* - Get, don't tolerate smaller output (1)
|
|
* - Commit (2) */
|
|
int mode = 0; /* Lower layer (0) or Upper layer (1) */
|
|
int reclaimed = 1; /* Have to call reclaim at least once before
|
|
* returning the reader to the upper layer. */
|
|
mbedtls_mps_reader rd;
|
|
|
|
if( acc_size > 0 )
|
|
{
|
|
ASSERT_ALLOC( acc, acc_size );
|
|
}
|
|
|
|
/* This probably needs to be changed because we want
|
|
* our tests to be deterministic. */
|
|
// srand( time( NULL ) );
|
|
|
|
ASSERT_ALLOC( outgoing, num_out_chunks * max_chunk_size );
|
|
ASSERT_ALLOC( incoming, num_out_chunks * max_chunk_size );
|
|
|
|
mbedtls_mps_reader_init( &rd, acc, acc_size );
|
|
|
|
cur_out_chunk = 0;
|
|
in_commit = 0;
|
|
in_fetch = 0;
|
|
out_pos = 0;
|
|
while( cur_out_chunk < (unsigned) num_out_chunks )
|
|
{
|
|
if( mode == 0 )
|
|
{
|
|
/* Choose randomly between reclaim and feed */
|
|
rand_op = rand() % 2;
|
|
|
|
if( rand_op == 0 )
|
|
{
|
|
/* Reclaim */
|
|
ret = mbedtls_mps_reader_reclaim( &rd, NULL );
|
|
|
|
if( ret == 0 )
|
|
{
|
|
TEST_ASSERT( cur_chunk != NULL );
|
|
mbedtls_free( cur_chunk );
|
|
cur_chunk = NULL;
|
|
}
|
|
reclaimed = 1;
|
|
}
|
|
else
|
|
{
|
|
/* Feed reader with a random chunk */
|
|
unsigned char *tmp = NULL;
|
|
size_t tmp_size;
|
|
if( cur_out_chunk == (unsigned) num_out_chunks )
|
|
continue;
|
|
|
|
tmp_size = ( rand() % max_chunk_size ) + 1;
|
|
ASSERT_ALLOC( tmp, tmp_size );
|
|
|
|
TEST_ASSERT( mbedtls_test_rnd_std_rand( NULL, tmp, tmp_size ) == 0 );
|
|
ret = mbedtls_mps_reader_feed( &rd, tmp, tmp_size );
|
|
|
|
if( ret == 0 || ret == MBEDTLS_ERR_MPS_READER_NEED_MORE )
|
|
{
|
|
cur_out_chunk++;
|
|
memcpy( outgoing + out_pos, tmp, tmp_size );
|
|
out_pos += tmp_size;
|
|
}
|
|
|
|
if( ret == 0 )
|
|
{
|
|
TEST_ASSERT( cur_chunk == NULL );
|
|
cur_chunk = tmp;
|
|
}
|
|
else
|
|
{
|
|
mbedtls_free( tmp );
|
|
}
|
|
|
|
}
|
|
|
|
/* Randomly switch to consumption mode if reclaim
|
|
* was called at least once. */
|
|
if( reclaimed == 1 && rand() % 3 == 0 )
|
|
{
|
|
in_fetch = 0;
|
|
mode = 1;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
/* Choose randomly between get tolerating fewer data,
|
|
* get not tolerating fewer data, and commit. */
|
|
rand_op = rand() % 3;
|
|
if( rand_op == 0 || rand_op == 1 )
|
|
{
|
|
mbedtls_mps_size_t get_size, real_size;
|
|
unsigned char *chunk_get;
|
|
get_size = ( rand() % max_request ) + 1;
|
|
if( rand_op == 0 )
|
|
{
|
|
ret = mbedtls_mps_reader_get( &rd, get_size, &chunk_get,
|
|
&real_size );
|
|
}
|
|
else
|
|
{
|
|
real_size = get_size;
|
|
ret = mbedtls_mps_reader_get( &rd, get_size, &chunk_get, NULL );
|
|
}
|
|
|
|
/* Check if output is in accordance with what was written */
|
|
if( ret == 0 )
|
|
{
|
|
memcpy( incoming + in_commit + in_fetch,
|
|
chunk_get, real_size );
|
|
TEST_ASSERT( memcmp( incoming + in_commit + in_fetch,
|
|
outgoing + in_commit + in_fetch,
|
|
real_size ) == 0 );
|
|
in_fetch += real_size;
|
|
}
|
|
}
|
|
else if( rand_op == 2 ) /* Commit */
|
|
{
|
|
ret = mbedtls_mps_reader_commit( &rd );
|
|
if( ret == 0 )
|
|
{
|
|
in_commit += in_fetch;
|
|
in_fetch = 0;
|
|
}
|
|
}
|
|
|
|
/* Randomly switch back to preparation */
|
|
if( rand() % 3 == 0 )
|
|
{
|
|
reclaimed = 0;
|
|
mode = 0;
|
|
}
|
|
}
|
|
}
|
|
|
|
/* Cleanup */
|
|
mbedtls_mps_reader_free( &rd );
|
|
mbedtls_free( incoming );
|
|
mbedtls_free( outgoing );
|
|
mbedtls_free( acc );
|
|
mbedtls_free( cur_chunk );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_reader_inconsistent_usage( int option )
|
|
{
|
|
/* This test exercises the behaviour of the MPS reader
|
|
* in the following situation:
|
|
* - The consumer asks for more data than what's available
|
|
* - The reader is paused and receives more data from the
|
|
* producer until the original read request can be fulfilled.
|
|
* - The consumer does not repeat the original request but
|
|
* requests data in a different way.
|
|
*
|
|
* The reader does not guarantee that inconsistent read requests
|
|
* after pausing will succeed, and this test triggers some cases
|
|
* where the request fails.
|
|
*/
|
|
|
|
unsigned char bufA[100], bufB[100];
|
|
unsigned char *tmp;
|
|
unsigned char acc[40];
|
|
mbedtls_mps_reader rd;
|
|
int success = 0;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufA ); i++ )
|
|
bufA[i] = (unsigned char) i;
|
|
for( size_t i=0; (unsigned) i < sizeof( bufB ); i++ )
|
|
bufB[i] = ~ ((unsigned char) i);
|
|
|
|
/* Preparation (lower layer) */
|
|
mbedtls_mps_reader_init( &rd, acc, sizeof( acc ) );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufA, sizeof( bufA ) ) == 0 );
|
|
/* Consumption (upper layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 80, &tmp, NULL ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 20, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_OUT_OF_DATA );
|
|
/* Preparation */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, bufB, sizeof( bufB ) ) == 0 );
|
|
/* Consumption */
|
|
switch( option )
|
|
{
|
|
case 0:
|
|
/* Ask for buffered data in a single chunk, no commit */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 30, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 20, bufA + 80, 20 );
|
|
ASSERT_COMPARE( tmp + 20, 10, bufB, 10 );
|
|
success = 1;
|
|
break;
|
|
|
|
case 1:
|
|
/* Ask for buffered data in a single chunk, with commit */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 30, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 20, bufA + 80, 20 );
|
|
ASSERT_COMPARE( tmp + 20, 10, bufB, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
success = 1;
|
|
break;
|
|
|
|
case 2:
|
|
/* Ask for more than was requested when pausing, #1 */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 31, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_INCONSISTENT_REQUESTS );
|
|
break;
|
|
|
|
case 3:
|
|
/* Ask for more than was requested when pausing #2 */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, (mbedtls_mps_size_t) -1, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_INCONSISTENT_REQUESTS );
|
|
break;
|
|
|
|
case 4:
|
|
/* Asking for buffered data in different
|
|
* chunks than before CAN fail. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 15, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 15, bufA + 80, 15 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 10, &tmp, NULL ) ==
|
|
MBEDTLS_ERR_MPS_READER_INCONSISTENT_REQUESTS );
|
|
break;
|
|
|
|
case 5:
|
|
/* Asking for buffered data different chunks
|
|
* than before NEED NOT fail - no commits */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 15, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 15, bufA + 80, 15 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 15, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 5, bufA + 95, 5 );
|
|
ASSERT_COMPARE( tmp + 5, 10, bufB, 10 );
|
|
success = 1;
|
|
break;
|
|
|
|
case 6:
|
|
/* Asking for buffered data different chunks
|
|
* than before NEED NOT fail - intermediate commit */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 15, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 15, bufA + 80, 15 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 15, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 5, bufA + 95, 5 );
|
|
ASSERT_COMPARE( tmp + 5, 10, bufB, 10 );
|
|
success = 1;
|
|
break;
|
|
|
|
case 7:
|
|
/* Asking for buffered data different chunks
|
|
* than before NEED NOT fail - end commit */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 15, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 15, bufA + 80, 15 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 15, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 5, bufA + 95, 5 );
|
|
ASSERT_COMPARE( tmp + 5, 10, bufB, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
success = 1;
|
|
break;
|
|
|
|
case 8:
|
|
/* Asking for buffered data different chunks
|
|
* than before NEED NOT fail - intermediate & end commit */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 15, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 15, bufA + 80, 15 );
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 15, &tmp, NULL ) == 0 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
ASSERT_COMPARE( tmp, 5, bufA + 95, 5 );
|
|
ASSERT_COMPARE( tmp + 5, 10, bufB, 10 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
success = 1;
|
|
break;
|
|
|
|
default:
|
|
TEST_ASSERT( 0 );
|
|
break;
|
|
}
|
|
|
|
if( success == 1 )
|
|
{
|
|
/* In all succeeding cases, fetch the rest of the second buffer. */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 90, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 90, bufB + 10, 90 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
|
|
/* Wrapup */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
}
|
|
|
|
/* Wrapup */
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:TEST_SUITE_MPS_READER */
|
|
void mbedtls_mps_reader_feed_empty()
|
|
{
|
|
/* This test exercises the behaviour of the reader when it is
|
|
* fed with a NULL buffer. */
|
|
unsigned char buf[100];
|
|
unsigned char *tmp;
|
|
mbedtls_mps_reader rd;
|
|
for( size_t i=0; (unsigned) i < sizeof( buf ); i++ )
|
|
buf[i] = (unsigned char) i;
|
|
|
|
/* Preparation (lower layer) */
|
|
mbedtls_mps_reader_init( &rd, NULL, 0 );
|
|
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, NULL, sizeof( buf ) ) ==
|
|
MBEDTLS_ERR_MPS_READER_INVALID_ARG );
|
|
|
|
/* Subsequent feed-calls should still succeed. */
|
|
TEST_ASSERT( mbedtls_mps_reader_feed( &rd, buf, sizeof( buf ) ) == 0 );
|
|
|
|
/* Consumption (upper layer) */
|
|
TEST_ASSERT( mbedtls_mps_reader_get( &rd, 100, &tmp, NULL ) == 0 );
|
|
ASSERT_COMPARE( tmp, 100, buf, 100 );
|
|
TEST_ASSERT( mbedtls_mps_reader_commit( &rd ) == 0 );
|
|
|
|
/* Wrapup */
|
|
TEST_ASSERT( mbedtls_mps_reader_reclaim( &rd, NULL ) == 0 );
|
|
mbedtls_mps_reader_free( &rd );
|
|
}
|
|
/* END_CASE */
|