Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 1 | /* BEGIN_HEADER */ |
Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 2 | #include "mbedtls/base64.h" |
Paul Elliott | 448d546 | 2021-02-24 15:32:42 +0000 | [diff] [blame] | 3 | #include <test/constant_flow.h> |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 4 | /* END_HEADER */ |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 5 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 6 | /* BEGIN_DEPENDENCIES |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 7 | * depends_on:MBEDTLS_BASE64_C |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 8 | * END_DEPENDENCIES |
| 9 | */ |
Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 10 | |
Gilles Peskine | a64417a | 2021-08-03 12:38:55 +0200 | [diff] [blame] | 11 | /* BEGIN_CASE depends_on:MBEDTLS_TEST_HOOKS */ |
| 12 | void mask_of_range( int low_arg, int high_arg ) |
| 13 | { |
| 14 | unsigned char low = low_arg, high = high_arg; |
| 15 | unsigned c; |
| 16 | for( c = 0; c <= 0xff; c++ ) |
| 17 | { |
| 18 | mbedtls_test_set_step( c ); |
| 19 | TEST_CF_SECRET( &c, sizeof( c ) ); |
| 20 | unsigned char m = mbedtls_base64_mask_of_range( low, high, c ); |
| 21 | TEST_CF_PUBLIC( &c, sizeof( c ) ); |
| 22 | if( low <= c && c <= high ) |
| 23 | TEST_EQUAL( m, 0xff ); |
| 24 | else |
| 25 | TEST_EQUAL( m, 0 ); |
| 26 | } |
| 27 | } |
| 28 | /* END_CASE */ |
| 29 | |
| 30 | /* BEGIN_CASE depends_on:MBEDTLS_TEST_HOOKS */ |
| 31 | void enc_chars( char *chars ) |
| 32 | { |
| 33 | for( unsigned value = 0; value < 64; value++ ) |
| 34 | { |
| 35 | mbedtls_test_set_step( value ); |
| 36 | TEST_CF_SECRET( &value, sizeof( value ) ); |
| 37 | unsigned char digit = mbedtls_base64_enc_char( value ); |
| 38 | TEST_CF_PUBLIC( &value, sizeof( value ) ); |
| 39 | TEST_CF_PUBLIC( &digit, sizeof( digit ) ); |
| 40 | TEST_EQUAL( digit, chars[value] ); |
| 41 | } |
| 42 | } |
| 43 | /* END_CASE */ |
| 44 | |
| 45 | /* BEGIN_CASE depends_on:MBEDTLS_TEST_HOOKS */ |
| 46 | void dec_chars( char *chars ) |
| 47 | { |
| 48 | char *p; |
| 49 | const size_t chars_len = strlen( chars ); |
| 50 | signed char expected; |
| 51 | |
| 52 | for( unsigned c = 0; c <= 0xff; c++ ) |
| 53 | { |
| 54 | mbedtls_test_set_step( c ); |
| 55 | p = memchr( chars, c, chars_len ); |
| 56 | if( p == NULL ) |
| 57 | expected = -1; |
| 58 | else |
| 59 | expected = p - chars; |
| 60 | TEST_CF_SECRET( &c, sizeof( c ) ); |
| 61 | signed char actual = mbedtls_base64_dec_value( c ); |
| 62 | TEST_CF_PUBLIC( &c, sizeof( c ) ); |
| 63 | TEST_CF_PUBLIC( &actual, sizeof( actual ) ); |
| 64 | TEST_EQUAL( actual, expected ); |
| 65 | } |
| 66 | } |
| 67 | /* END_CASE */ |
| 68 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 69 | /* BEGIN_CASE */ |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 70 | void mbedtls_base64_encode( char * src_string, char * dst_string, |
| 71 | int dst_buf_size, int result ) |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 72 | { |
| 73 | unsigned char src_str[1000]; |
| 74 | unsigned char dst_str[1000]; |
Paul Elliott | 448d546 | 2021-02-24 15:32:42 +0000 | [diff] [blame] | 75 | size_t len, src_len; |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 76 | |
| 77 | memset(src_str, 0x00, 1000); |
| 78 | memset(dst_str, 0x00, 1000); |
| 79 | |
Paul Bakker | dd0aae9 | 2014-04-17 16:06:37 +0200 | [diff] [blame] | 80 | strncpy( (char *) src_str, src_string, sizeof(src_str) - 1 ); |
Paul Elliott | 448d546 | 2021-02-24 15:32:42 +0000 | [diff] [blame] | 81 | src_len = strlen( (char *) src_str ); |
| 82 | |
| 83 | TEST_CF_SECRET( src_str, sizeof( src_str ) ); |
| 84 | TEST_ASSERT( mbedtls_base64_encode( dst_str, dst_buf_size, &len, src_str, src_len) == result ); |
| 85 | TEST_CF_PUBLIC( src_str, sizeof( src_str ) ); |
| 86 | |
Paul Elliott | c48cb80 | 2021-03-02 22:48:40 +0000 | [diff] [blame] | 87 | /* dest_str will have had tainted data copied to it, prevent the TEST_ASSERT below from triggering |
| 88 | CF failures by unmarking it. */ |
| 89 | TEST_CF_PUBLIC( dst_str, len ); |
| 90 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 91 | if( result == 0 ) |
Paul Bakker | 5946fd9 | 2009-07-11 15:29:30 +0000 | [diff] [blame] | 92 | { |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 93 | TEST_ASSERT( strcmp( (char *) dst_str, dst_string ) == 0 ); |
Paul Bakker | 5946fd9 | 2009-07-11 15:29:30 +0000 | [diff] [blame] | 94 | } |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 95 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 96 | /* END_CASE */ |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 97 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 98 | /* BEGIN_CASE */ |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 99 | void mbedtls_base64_decode( char * src_string, char * dst_string, int result ) |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 100 | { |
| 101 | unsigned char src_str[1000]; |
| 102 | unsigned char dst_str[1000]; |
Manuel Pégourié-Gonnard | ba56136 | 2015-06-02 16:30:35 +0100 | [diff] [blame] | 103 | size_t len; |
Manuel Pégourié-Gonnard | 64938c6 | 2014-10-15 21:45:39 +0200 | [diff] [blame] | 104 | int res; |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 105 | |
| 106 | memset(src_str, 0x00, 1000); |
| 107 | memset(dst_str, 0x00, 1000); |
Paul Bakker | dd0aae9 | 2014-04-17 16:06:37 +0200 | [diff] [blame] | 108 | |
| 109 | strncpy( (char *) src_str, src_string, sizeof(src_str) - 1 ); |
Manuel Pégourié-Gonnard | ba56136 | 2015-06-02 16:30:35 +0100 | [diff] [blame] | 110 | res = mbedtls_base64_decode( dst_str, sizeof( dst_str ), &len, src_str, strlen( (char *) src_str ) ); |
Paul Bakker | 94b916c | 2014-04-17 16:07:20 +0200 | [diff] [blame] | 111 | TEST_ASSERT( res == result ); |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 112 | if( result == 0 ) |
Paul Bakker | 5946fd9 | 2009-07-11 15:29:30 +0000 | [diff] [blame] | 113 | { |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 114 | TEST_ASSERT( strcmp( (char *) dst_str, dst_string ) == 0 ); |
Paul Bakker | 5946fd9 | 2009-07-11 15:29:30 +0000 | [diff] [blame] | 115 | } |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 116 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 117 | /* END_CASE */ |
Paul Bakker | 3d36082 | 2009-07-05 11:29:38 +0000 | [diff] [blame] | 118 | |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 119 | /* BEGIN_CASE */ |
Azim Khan | 5fcca46 | 2018-06-29 11:05:32 +0100 | [diff] [blame] | 120 | void base64_encode_hex( data_t * src, char * dst, int dst_buf_size, |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 121 | int result ) |
| 122 | { |
Azim Khan | d30ca13 | 2017-06-09 04:32:58 +0100 | [diff] [blame] | 123 | unsigned char *res = NULL; |
| 124 | size_t len; |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 125 | |
Ronald Cron | 690f3eb | 2020-06-10 10:42:18 +0200 | [diff] [blame] | 126 | res = mbedtls_test_zero_alloc( dst_buf_size ); |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 127 | |
Paul Elliott | 448d546 | 2021-02-24 15:32:42 +0000 | [diff] [blame] | 128 | TEST_CF_SECRET( src->x, src->len ); |
Azim Khan | d30ca13 | 2017-06-09 04:32:58 +0100 | [diff] [blame] | 129 | TEST_ASSERT( mbedtls_base64_encode( res, dst_buf_size, &len, src->x, src->len ) == result ); |
Paul Elliott | 448d546 | 2021-02-24 15:32:42 +0000 | [diff] [blame] | 130 | TEST_CF_PUBLIC( src->x, src->len ); |
| 131 | |
Paul Elliott | c48cb80 | 2021-03-02 22:48:40 +0000 | [diff] [blame] | 132 | /* res will have had tainted data copied to it, prevent the TEST_ASSERT below from triggering |
| 133 | CF failures by unmarking it. */ |
| 134 | TEST_CF_PUBLIC( res, len ); |
| 135 | |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 136 | if( result == 0 ) |
| 137 | { |
| 138 | TEST_ASSERT( len == strlen( dst ) ); |
| 139 | TEST_ASSERT( memcmp( dst, res, len ) == 0 ); |
| 140 | } |
Paul Bakker | 6697b6c | 2014-07-04 18:35:50 +0200 | [diff] [blame] | 141 | |
Paul Bakker | bd51b26 | 2014-07-10 15:26:12 +0200 | [diff] [blame] | 142 | exit: |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 143 | mbedtls_free( res ); |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 144 | } |
| 145 | /* END_CASE */ |
| 146 | |
| 147 | /* BEGIN_CASE */ |
Azim Khan | 5fcca46 | 2018-06-29 11:05:32 +0100 | [diff] [blame] | 148 | void base64_decode_hex( char * src, data_t * dst, int dst_buf_size, |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 149 | int result ) |
| 150 | { |
Azim Khan | d30ca13 | 2017-06-09 04:32:58 +0100 | [diff] [blame] | 151 | unsigned char *res = NULL; |
| 152 | size_t len; |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 153 | |
Ronald Cron | 690f3eb | 2020-06-10 10:42:18 +0200 | [diff] [blame] | 154 | res = mbedtls_test_zero_alloc( dst_buf_size ); |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 155 | |
Manuel Pégourié-Gonnard | ba56136 | 2015-06-02 16:30:35 +0100 | [diff] [blame] | 156 | TEST_ASSERT( mbedtls_base64_decode( res, dst_buf_size, &len, (unsigned char *) src, |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 157 | strlen( src ) ) == result ); |
| 158 | if( result == 0 ) |
| 159 | { |
Azim Khan | d30ca13 | 2017-06-09 04:32:58 +0100 | [diff] [blame] | 160 | TEST_ASSERT( len == dst->len ); |
| 161 | TEST_ASSERT( memcmp( dst->x, res, len ) == 0 ); |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 162 | } |
Paul Bakker | 6697b6c | 2014-07-04 18:35:50 +0200 | [diff] [blame] | 163 | |
Paul Bakker | bd51b26 | 2014-07-10 15:26:12 +0200 | [diff] [blame] | 164 | exit: |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 165 | mbedtls_free( res ); |
Paul Bakker | d598318 | 2014-07-04 13:50:31 +0200 | [diff] [blame] | 166 | } |
| 167 | /* END_CASE */ |
| 168 | |
Manuel Pégourié-Gonnard | 64938c6 | 2014-10-15 21:45:39 +0200 | [diff] [blame] | 169 | /* BEGIN_CASE */ |
Azim Khan | 5fcca46 | 2018-06-29 11:05:32 +0100 | [diff] [blame] | 170 | void base64_decode_hex_src( data_t * src, char * dst_ref, int result ) |
Manuel Pégourié-Gonnard | 64938c6 | 2014-10-15 21:45:39 +0200 | [diff] [blame] | 171 | { |
| 172 | unsigned char dst[1000] = { 0 }; |
Azim Khan | d30ca13 | 2017-06-09 04:32:58 +0100 | [diff] [blame] | 173 | size_t len; |
Manuel Pégourié-Gonnard | 64938c6 | 2014-10-15 21:45:39 +0200 | [diff] [blame] | 174 | |
Azim Khan | d30ca13 | 2017-06-09 04:32:58 +0100 | [diff] [blame] | 175 | TEST_ASSERT( mbedtls_base64_decode( dst, sizeof( dst ), &len, src->x, src->len ) == result ); |
Manuel Pégourié-Gonnard | 64938c6 | 2014-10-15 21:45:39 +0200 | [diff] [blame] | 176 | if( result == 0 ) |
| 177 | { |
| 178 | TEST_ASSERT( len == strlen( dst_ref ) ); |
| 179 | TEST_ASSERT( memcmp( dst, dst_ref, len ) == 0 ); |
| 180 | } |
| 181 | |
| 182 | exit: |
Azim Khan | d30ca13 | 2017-06-09 04:32:58 +0100 | [diff] [blame] | 183 | ;; |
Manuel Pégourié-Gonnard | 64938c6 | 2014-10-15 21:45:39 +0200 | [diff] [blame] | 184 | } |
| 185 | /* END_CASE */ |
| 186 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 187 | /* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */ |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 188 | void base64_selftest( ) |
Paul Bakker | 3d36082 | 2009-07-05 11:29:38 +0000 | [diff] [blame] | 189 | { |
Andres AG | 93012e8 | 2016-09-09 09:10:28 +0100 | [diff] [blame] | 190 | TEST_ASSERT( mbedtls_base64_self_test( 1 ) == 0 ); |
Paul Bakker | 3d36082 | 2009-07-05 11:29:38 +0000 | [diff] [blame] | 191 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 192 | /* END_CASE */ |