1/* BEGIN_HEADER */ 2#include "mbedtls/poly1305.h" 3#include <stddef.h> 4/* END_HEADER */ 5 6/* BEGIN_DEPENDENCIES 7 * depends_on:MBEDTLS_POLY1305_C 8 * END_DEPENDENCIES 9 */ 10 11/* BEGIN_CASE */ 12void mbedtls_poly1305( data_t *key, data_t *expected_mac, data_t *src_str ) 13{ 14 unsigned char mac[16]; /* size set by the standard */ 15 mbedtls_poly1305_context ctx; 16 17 memset( mac, 0x00, sizeof( mac ) ); 18 19 /* 20 * Test the integrated API 21 */ 22 TEST_ASSERT( mbedtls_poly1305_mac( key->x, src_str->x, 23 src_str->len, mac ) == 0 ); 24 25 ASSERT_COMPARE( mac, expected_mac->len, 26 expected_mac->x, expected_mac->len ); 27 28 /* 29 * Test the streaming API 30 */ 31 mbedtls_poly1305_init( &ctx ); 32 33 TEST_ASSERT( mbedtls_poly1305_starts( &ctx, key->x ) == 0 ); 34 35 TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x, src_str->len ) == 0 ); 36 37 TEST_ASSERT( mbedtls_poly1305_finish( &ctx, mac ) == 0 ); 38 39 ASSERT_COMPARE( mac, expected_mac->len, 40 expected_mac->x, expected_mac->len ); 41 42 /* 43 * Test the streaming API again, piecewise 44 */ 45 46 /* Don't free/init the context, in order to test that starts() does the 47 * right thing. */ 48 if( src_str->len >= 1 ) 49 { 50 TEST_ASSERT( mbedtls_poly1305_starts( &ctx, key->x ) == 0 ); 51 52 TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x, 1 ) == 0 ); 53 TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x + 1, src_str->len - 1 ) == 0 ); 54 55 TEST_ASSERT( mbedtls_poly1305_finish( &ctx, mac ) == 0 ); 56 57 ASSERT_COMPARE( mac, expected_mac->len, 58 expected_mac->x, expected_mac->len ); 59 } 60 61 /* 62 * Again with more pieces 63 */ 64 if( src_str->len >= 2 ) 65 { 66 TEST_ASSERT( mbedtls_poly1305_starts( &ctx, key->x ) == 0 ); 67 68 TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x, 1 ) == 0 ); 69 TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x + 1, 1 ) == 0 ); 70 TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x + 2, src_str->len - 2 ) == 0 ); 71 72 TEST_ASSERT( mbedtls_poly1305_finish( &ctx, mac ) == 0 ); 73 74 ASSERT_COMPARE( mac, expected_mac->len, 75 expected_mac->x, expected_mac->len ); 76 } 77 78 mbedtls_poly1305_free( &ctx ); 79} 80/* END_CASE */ 81 82/* BEGIN_CASE depends_on:MBEDTLS_CHECK_PARAMS:!MBEDTLS_PARAM_FAILED_ALT */ 83void poly1305_bad_params() 84{ 85 unsigned char src[1]; 86 unsigned char key[32]; 87 unsigned char mac[16]; 88 size_t src_len = sizeof( src ); 89 mbedtls_poly1305_context ctx; 90 91 TEST_INVALID_PARAM( mbedtls_poly1305_init( NULL ) ); 92 TEST_VALID_PARAM( mbedtls_poly1305_free( NULL ) ); 93 94 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_POLY1305_BAD_INPUT_DATA, 95 mbedtls_poly1305_starts( NULL, key ) ); 96 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_POLY1305_BAD_INPUT_DATA, 97 mbedtls_poly1305_starts( &ctx, NULL ) ); 98 99 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_POLY1305_BAD_INPUT_DATA, 100 mbedtls_poly1305_update( NULL, src, 0 ) ); 101 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_POLY1305_BAD_INPUT_DATA, 102 mbedtls_poly1305_update( &ctx, NULL, src_len ) ); 103 104 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_POLY1305_BAD_INPUT_DATA, 105 mbedtls_poly1305_finish( NULL, mac ) ); 106 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_POLY1305_BAD_INPUT_DATA, 107 mbedtls_poly1305_finish( &ctx, NULL ) ); 108 109 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_POLY1305_BAD_INPUT_DATA, 110 mbedtls_poly1305_mac( NULL, src, 0, mac ) ); 111 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_POLY1305_BAD_INPUT_DATA, 112 mbedtls_poly1305_mac( key, NULL, src_len, mac ) ); 113 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_POLY1305_BAD_INPUT_DATA, 114 mbedtls_poly1305_mac( key, src, 0, NULL ) ); 115 116exit: 117 return; 118} 119/* END_CASE */ 120 121/* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */ 122void poly1305_selftest() 123{ 124 TEST_ASSERT( mbedtls_poly1305_self_test( 1 ) == 0 ); 125} 126/* END_CASE */ 127