TrustedFirmware Git Browser
Code Review Sign In
review.trustedfirmware.org / mirror / mbed-tls / b168c0d2e651aff4e8402208741a77f7ee81e658 / . / tests / suites / test_suite_ccm.function
blob: 5a3726e07bb14372d7e8265b139e106f86bc3a90 [file] [log] [blame]
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200[diff] [blame]1/* BEGIN_HEADER */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000[diff] [blame]2#include "mbedtls/ccm.h"
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200[diff] [blame]3/* END_HEADER */
4
5/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]6 * depends_on:MBEDTLS_CCM_C
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200[diff] [blame]7 * END_DEPENDENCIES
8 */
9
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]10/* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST:MBEDTLS_AES_C */
Azim Khanf1aaec92017-05-30 14:23:15 +0100[diff] [blame]11void mbedtls_ccm_self_test( )
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200[diff] [blame]12{
Andres AG93012e82016-09-09 09:10:28 +0100[diff] [blame]13 TEST_ASSERT( mbedtls_ccm_self_test( 1 ) == 0 );
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200[diff] [blame]14}
15/* END_CASE */
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200[diff] [blame]16
17/* BEGIN_CASE */
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200[diff] [blame]18void mbedtls_ccm_setkey( int cipher_id, int key_size, int result )
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200[diff] [blame]19{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]20 mbedtls_ccm_context ctx;
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200[diff] [blame]21 unsigned char key[32];
22 int ret;
23
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200[diff] [blame]24 mbedtls_ccm_init( &ctx );
25
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200[diff] [blame]26 memset( key, 0x2A, sizeof( key ) );
27 TEST_ASSERT( (unsigned) key_size <= 8 * sizeof( key ) );
28
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200[diff] [blame]29 ret = mbedtls_ccm_setkey( &ctx, cipher_id, key, key_size );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200[diff] [blame]30 TEST_ASSERT( ret == result );
31
Paul Bakkerbd51b262014-07-10 15:26:12 +0200[diff] [blame]32exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]33 mbedtls_ccm_free( &ctx );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200[diff] [blame]34}
35/* END_CASE */
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]36
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]37/* BEGIN_CASE depends_on:MBEDTLS_AES_C */
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +0200[diff] [blame]38void ccm_lengths( int msg_len, int iv_len, int add_len, int tag_len, int res )
39{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]40 mbedtls_ccm_context ctx;
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +0200[diff] [blame]41 unsigned char key[16];
42 unsigned char msg[10];
43 unsigned char iv[14];
Dave Rodgman2e680342020-10-15 14:00:40 +0100[diff] [blame]44 unsigned char *add = NULL;
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +0200[diff] [blame]45 unsigned char out[10];
46 unsigned char tag[18];
47 int decrypt_ret;
48
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200[diff] [blame]49 mbedtls_ccm_init( &ctx );
50
Dave Rodgman2e680342020-10-15 14:00:40 +0100[diff] [blame]51 ASSERT_ALLOC_WEAK( add, add_len );
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +0200[diff] [blame]52 memset( key, 0, sizeof( key ) );
53 memset( msg, 0, sizeof( msg ) );
54 memset( iv, 0, sizeof( iv ) );
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +0200[diff] [blame]55 memset( out, 0, sizeof( out ) );
56 memset( tag, 0, sizeof( tag ) );
57
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200[diff] [blame]58 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, MBEDTLS_CIPHER_ID_AES,
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +0200[diff] [blame]59 key, 8 * sizeof( key ) ) == 0 );
60
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]61 TEST_ASSERT( mbedtls_ccm_encrypt_and_tag( &ctx, msg_len, iv, iv_len, add, add_len,
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +0200[diff] [blame]62 msg, out, tag, tag_len ) == res );
63
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]64 decrypt_ret = mbedtls_ccm_auth_decrypt( &ctx, msg_len, iv, iv_len, add, add_len,
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +0200[diff] [blame]65 msg, out, tag, tag_len );
66
67 if( res == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]68 TEST_ASSERT( decrypt_ret == MBEDTLS_ERR_CCM_AUTH_FAILED );
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +0200[diff] [blame]69 else
70 TEST_ASSERT( decrypt_ret == res );
71
Paul Bakkerbd51b262014-07-10 15:26:12 +0200[diff] [blame]72exit:
Dave Rodgman2e680342020-10-15 14:00:40 +0100[diff] [blame]73 mbedtls_free( add );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]74 mbedtls_ccm_free( &ctx );
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +0200[diff] [blame]75}
76/* END_CASE */
77
Janos Follath95ab93d2018-05-14 14:32:41 +0100[diff] [blame]78/* BEGIN_CASE depends_on:MBEDTLS_AES_C */
79void ccm_star_lengths( int msg_len, int iv_len, int add_len, int tag_len,
80 int res )
81{
82 mbedtls_ccm_context ctx;
83 unsigned char key[16];
84 unsigned char msg[10];
85 unsigned char iv[14];
86 unsigned char add[10];
87 unsigned char out[10];
88 unsigned char tag[18];
89 int decrypt_ret;
90
91 mbedtls_ccm_init( &ctx );
92
93 memset( key, 0, sizeof( key ) );
94 memset( msg, 0, sizeof( msg ) );
95 memset( iv, 0, sizeof( iv ) );
96 memset( add, 0, sizeof( add ) );
97 memset( out, 0, sizeof( out ) );
98 memset( tag, 0, sizeof( tag ) );
99
100 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, MBEDTLS_CIPHER_ID_AES,
101 key, 8 * sizeof( key ) ) == 0 );
102
103 TEST_ASSERT( mbedtls_ccm_star_encrypt_and_tag( &ctx, msg_len, iv, iv_len,
104 add, add_len, msg, out, tag, tag_len ) == res );
105
106 decrypt_ret = mbedtls_ccm_star_auth_decrypt( &ctx, msg_len, iv, iv_len, add,
107 add_len, msg, out, tag, tag_len );
108
109 if( res == 0 && tag_len != 0 )
110 TEST_ASSERT( decrypt_ret == MBEDTLS_ERR_CCM_AUTH_FAILED );
111 else
112 TEST_ASSERT( decrypt_ret == res );
113
114exit:
115 mbedtls_ccm_free( &ctx );
116}
117/* END_CASE */
118
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]119/* BEGIN_CASE */
Azim Khan5fcca462018-06-29 11:05:32 +0100[diff] [blame]120void mbedtls_ccm_encrypt_and_tag( int cipher_id, data_t * key,
121 data_t * msg, data_t * iv,
122 data_t * add, data_t * result )
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]123{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]124 mbedtls_ccm_context ctx;
Azim Khanf1aaec92017-05-30 14:23:15 +0100[diff] [blame]125 size_t tag_len;
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]126 uint8_t * msg_n_tag = (uint8_t *)malloc( result->len + 2 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]127
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200[diff] [blame]128 mbedtls_ccm_init( &ctx );
129
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]130 memset( msg_n_tag, 0, result->len + 2 );
131 memcpy( msg_n_tag, msg->x, msg->len );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]132
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]133 tag_len = result->len - msg->len;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]134
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]135 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, cipher_id, key->x, key->len * 8 ) == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]136
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200[diff] [blame]137 /* Test with input == output */
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]138 TEST_ASSERT( mbedtls_ccm_encrypt_and_tag( &ctx, msg->len, iv->x, iv->len, add->x, add->len,
139 msg_n_tag, msg_n_tag, msg_n_tag + msg->len, tag_len ) == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]140
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]141 TEST_ASSERT( memcmp( msg_n_tag, result->x, result->len ) == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]142
143 /* Check we didn't write past the end */
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]144 TEST_ASSERT( msg_n_tag[result->len] == 0 && msg_n_tag[result->len + 1] == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]145
Paul Bakkerbd51b262014-07-10 15:26:12 +0200[diff] [blame]146exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]147 mbedtls_ccm_free( &ctx );
Azim Khan46c9b1f2017-05-31 20:46:35 +0100[diff] [blame]148 free( msg_n_tag );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200[diff] [blame]149}
150/* END_CASE */
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]151
152/* BEGIN_CASE */
Azim Khan5fcca462018-06-29 11:05:32 +0100[diff] [blame]153void mbedtls_ccm_auth_decrypt( int cipher_id, data_t * key,
154 data_t * msg, data_t * iv,
155 data_t * add, int tag_len, int result,
Ronald Cronac6ae352020-06-26 14:33:03 +0200[diff] [blame]156 data_t * expected_msg )
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]157{
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200[diff] [blame]158 unsigned char tag[16];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]159 mbedtls_ccm_context ctx;
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]160
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200[diff] [blame]161 mbedtls_ccm_init( &ctx );
162
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200[diff] [blame]163 memset( tag, 0x00, sizeof( tag ) );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]164
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]165 msg->len -= tag_len;
166 memcpy( tag, msg->x + msg->len, tag_len );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]167
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]168 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, cipher_id, key->x, key->len * 8 ) == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]169
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200[diff] [blame]170 /* Test with input == output */
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]171 TEST_ASSERT( mbedtls_ccm_auth_decrypt( &ctx, msg->len, iv->x, iv->len, add->x, add->len,
Mohammad Azim Khancfd83422018-06-26 18:15:18 +0100[diff] [blame]172 msg->x, msg->x, msg->x + msg->len, tag_len ) == result );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]173
Mohammad Azim Khancfd83422018-06-26 18:15:18 +0100[diff] [blame]174 if( result == 0 )
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]175 {
Ronald Cronac6ae352020-06-26 14:33:03 +0200[diff] [blame]176 TEST_ASSERT( memcmp( msg->x, expected_msg->x, expected_msg->len ) == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]177 }
178 else
179 {
180 size_t i;
181
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]182 for( i = 0; i < msg->len; i++ )
183 TEST_ASSERT( msg->x[i] == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]184 }
185
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200[diff] [blame]186 /* Check we didn't write past the end (where the original tag is) */
Azim Khand30ca132017-06-09 04:32:58 +0100[diff] [blame]187 TEST_ASSERT( memcmp( msg->x + msg->len, tag, tag_len ) == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]188
Paul Bakkerbd51b262014-07-10 15:26:12 +0200[diff] [blame]189exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]190 mbedtls_ccm_free( &ctx );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200[diff] [blame]191}
192/* END_CASE */
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]193
194/* BEGIN_CASE */
195void mbedtls_ccm_star_encrypt_and_tag( int cipher_id,
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]196 data_t *key, data_t *msg,
197 data_t *source_address, data_t *frame_counter,
198 int sec_level, data_t *add,
199 data_t *expected_result, int output_ret )
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]200{
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]201 unsigned char iv[13];
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]202 unsigned char result[50];
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]203 mbedtls_ccm_context ctx;
Gilles Peskineb168c0d2021-02-09 12:00:13 +0100[diff] [blame^]204 size_t iv_len, tag_len;
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]205 int ret;
206
207 mbedtls_ccm_init( &ctx );
208
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]209 memset( result, 0x00, sizeof( result ) );
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]210
211 if( sec_level % 4 == 0)
212 tag_len = 0;
213 else
214 tag_len = 1 << ( sec_level % 4 + 1);
215
Gilles Peskineb168c0d2021-02-09 12:00:13 +0100[diff] [blame^]216 TEST_ASSERT( source_address->len == 8 );
217 TEST_ASSERT( frame_counter->len == 4 );
218 memcpy( iv, source_address->x, source_address->len );
219 memcpy( iv + source_address->len, frame_counter->x, frame_counter->len );
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]220 iv[source_address->len + frame_counter->len] = sec_level;
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]221 iv_len = sizeof( iv );
222
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]223 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, cipher_id,
224 key->x, key->len * 8 ) == 0 );
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]225
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]226 ret = mbedtls_ccm_star_encrypt_and_tag( &ctx, msg->len, iv, iv_len,
227 add->x, add->len, msg->x,
228 result, result + msg->len, tag_len );
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]229
230 TEST_ASSERT( ret == output_ret );
231
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]232 TEST_ASSERT( memcmp( result,
233 expected_result->x, expected_result->len ) == 0 );
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]234
235 /* Check we didn't write past the end */
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]236 TEST_ASSERT( result[expected_result->len] == 0 &&
237 result[expected_result->len + 1] == 0 );
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]238
239exit:
240 mbedtls_ccm_free( &ctx );
241}
242/* END_CASE */
243
244/* BEGIN_CASE */
245void mbedtls_ccm_star_auth_decrypt( int cipher_id,
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]246 data_t *key, data_t *msg,
247 data_t *source_address, data_t *frame_counter,
248 int sec_level, data_t *add,
249 data_t *expected_result, int output_ret )
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]250{
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]251 unsigned char iv[13];
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]252 unsigned char result[50];
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]253 mbedtls_ccm_context ctx;
Gilles Peskineb168c0d2021-02-09 12:00:13 +0100[diff] [blame^]254 size_t iv_len, tag_len;
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]255 int ret;
256
257 mbedtls_ccm_init( &ctx );
258
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]259 memset( iv, 0x00, sizeof( iv ) );
Ronald Cronc7ba5602020-06-25 14:47:40 +0200[diff] [blame]260 memset( result, '+', sizeof( result ) );
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]261
262 if( sec_level % 4 == 0)
263 tag_len = 0;
264 else
265 tag_len = 1 << ( sec_level % 4 + 1);
266
Gilles Peskineb168c0d2021-02-09 12:00:13 +0100[diff] [blame^]267 TEST_ASSERT( source_address->len == 8 );
268 TEST_ASSERT( frame_counter->len == 4 );
269 memcpy( iv, source_address->x, source_address->len );
270 memcpy( iv + source_address->len, frame_counter->x, frame_counter->len );
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]271 iv[source_address->len + frame_counter->len] = sec_level;
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]272 iv_len = sizeof( iv );
273
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]274 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, cipher_id, key->x, key->len * 8 ) == 0 );
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]275
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]276 ret = mbedtls_ccm_star_auth_decrypt( &ctx, msg->len - tag_len, iv, iv_len,
277 add->x, add->len, msg->x, result,
278 msg->x + msg->len - tag_len, tag_len );
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]279
280 TEST_ASSERT( ret == output_ret );
281
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]282 TEST_ASSERT( memcmp( result, expected_result->x,
283 expected_result->len ) == 0 );
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]284
285 /* Check we didn't write past the end (where the original tag is) */
Ronald Cron9ed40732020-06-25 09:03:34 +0200[diff] [blame]286 TEST_ASSERT( ( msg->len + 2 ) <= sizeof( result ) );
287 TEST_EQUAL( result[msg->len], '+' );
288 TEST_EQUAL( result[msg->len + 1], '+' );
Darryl Green0daf4ca2018-05-29 14:12:26 +0100[diff] [blame]289
290exit:
291 mbedtls_ccm_free( &ctx );
292}
293/* END_CASE */
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500[diff] [blame]294
295/* BEGIN_CASE depends_on:MBEDTLS_CHECK_PARAMS:!MBEDTLS_PARAM_FAILED_ALT */
296void ccm_invalid_param( )
297{
298 struct mbedtls_ccm_context ctx;
299 unsigned char valid_buffer[] = { 0x01, 0x02, 0x03, 0x04, 0x05, 0x06 };
300 mbedtls_cipher_id_t valid_cipher = MBEDTLS_CIPHER_ID_AES;
301 int valid_len = sizeof(valid_buffer);
302 int valid_bitlen = valid_len * 8;
303
304 mbedtls_ccm_init( &ctx );
305
306 /* mbedtls_ccm_init() */
307 TEST_INVALID_PARAM( mbedtls_ccm_init( NULL ) );
308
309 /* mbedtls_ccm_setkey() */
310 TEST_INVALID_PARAM_RET(
311 MBEDTLS_ERR_CCM_BAD_INPUT,
312 mbedtls_ccm_setkey( NULL, valid_cipher, valid_buffer, valid_bitlen ) );
313 TEST_INVALID_PARAM_RET(
314 MBEDTLS_ERR_CCM_BAD_INPUT,
315 mbedtls_ccm_setkey( &ctx, valid_cipher, NULL, valid_bitlen ) );
316
317 /* mbedtls_ccm_encrypt_and_tag() */
318 TEST_INVALID_PARAM_RET(
319 MBEDTLS_ERR_CCM_BAD_INPUT,
320 mbedtls_ccm_encrypt_and_tag( NULL, valid_len,
321 valid_buffer, valid_len,
322 valid_buffer, valid_len,
323 valid_buffer, valid_buffer,
324 valid_buffer, valid_len ) );
325 TEST_INVALID_PARAM_RET(
326 MBEDTLS_ERR_CCM_BAD_INPUT,
327 mbedtls_ccm_encrypt_and_tag( &ctx, valid_len,
328 NULL, valid_len,
329 valid_buffer, valid_len,
330 valid_buffer, valid_buffer,
331 valid_buffer, valid_len ) );
332 TEST_INVALID_PARAM_RET(
333 MBEDTLS_ERR_CCM_BAD_INPUT,
334 mbedtls_ccm_encrypt_and_tag( &ctx, valid_len,
335 valid_buffer, valid_len,
336 NULL, valid_len,
337 valid_buffer, valid_buffer,
338 valid_buffer, valid_len ) );
339 TEST_INVALID_PARAM_RET(
340 MBEDTLS_ERR_CCM_BAD_INPUT,
341 mbedtls_ccm_encrypt_and_tag( &ctx, valid_len,
342 valid_buffer, valid_len,
343 valid_buffer, valid_len,
344 NULL, valid_buffer,
345 valid_buffer, valid_len ) );
346 TEST_INVALID_PARAM_RET(
347 MBEDTLS_ERR_CCM_BAD_INPUT,
348 mbedtls_ccm_encrypt_and_tag( &ctx, valid_len,
349 valid_buffer, valid_len,
350 valid_buffer, valid_len,
351 valid_buffer, NULL,
352 valid_buffer, valid_len ) );
353 TEST_INVALID_PARAM_RET(
354 MBEDTLS_ERR_CCM_BAD_INPUT,
355 mbedtls_ccm_encrypt_and_tag( &ctx, valid_len,
356 valid_buffer, valid_len,
357 valid_buffer, valid_len,
358 valid_buffer, valid_buffer,
359 NULL, valid_len ) );
360
361 /* mbedtls_ccm_star_encrypt_and_tag() */
362 TEST_INVALID_PARAM_RET(
363 MBEDTLS_ERR_CCM_BAD_INPUT,
364 mbedtls_ccm_star_encrypt_and_tag( NULL, valid_len,
365 valid_buffer, valid_len,
366 valid_buffer, valid_len,
367 valid_buffer, valid_buffer,
368 valid_buffer, valid_len) );
369 TEST_INVALID_PARAM_RET(
370 MBEDTLS_ERR_CCM_BAD_INPUT,
371 mbedtls_ccm_star_encrypt_and_tag( &ctx, valid_len,
372 NULL, valid_len,
373 valid_buffer, valid_len,
374 valid_buffer, valid_buffer,
375 valid_buffer, valid_len ) );
376 TEST_INVALID_PARAM_RET(
377 MBEDTLS_ERR_CCM_BAD_INPUT,
378 mbedtls_ccm_star_encrypt_and_tag( &ctx, valid_len,
379 valid_buffer, valid_len,
380 NULL, valid_len,
381 valid_buffer, valid_buffer,
382 valid_buffer, valid_len ) );
383 TEST_INVALID_PARAM_RET(
384 MBEDTLS_ERR_CCM_BAD_INPUT,
385 mbedtls_ccm_star_encrypt_and_tag( &ctx, valid_len,
386 valid_buffer, valid_len,
387 valid_buffer, valid_len,
388 NULL, valid_buffer,
389 valid_buffer, valid_len ) );
390 TEST_INVALID_PARAM_RET(
391 MBEDTLS_ERR_CCM_BAD_INPUT,
392 mbedtls_ccm_star_encrypt_and_tag( &ctx, valid_len,
393 valid_buffer, valid_len,
394 valid_buffer, valid_len,
395 valid_buffer, NULL,
396 valid_buffer, valid_len ) );
397 TEST_INVALID_PARAM_RET(
398 MBEDTLS_ERR_CCM_BAD_INPUT,
399 mbedtls_ccm_star_encrypt_and_tag( &ctx, valid_len,
400 valid_buffer, valid_len,
401 valid_buffer, valid_len,
402 valid_buffer, valid_buffer,
403 NULL, valid_len ) );
404
405 /* mbedtls_ccm_auth_decrypt() */
406 TEST_INVALID_PARAM_RET(
407 MBEDTLS_ERR_CCM_BAD_INPUT,
408 mbedtls_ccm_auth_decrypt( NULL, valid_len,
409 valid_buffer, valid_len,
410 valid_buffer, valid_len,
411 valid_buffer, valid_buffer,
412 valid_buffer, valid_len ) );
413 TEST_INVALID_PARAM_RET(
414 MBEDTLS_ERR_CCM_BAD_INPUT,
415 mbedtls_ccm_auth_decrypt( &ctx, valid_len,
416 NULL, valid_len,
417 valid_buffer, valid_len,
418 valid_buffer, valid_buffer,
419 valid_buffer, valid_len ) );
420 TEST_INVALID_PARAM_RET(
421 MBEDTLS_ERR_CCM_BAD_INPUT,
422 mbedtls_ccm_auth_decrypt( &ctx, valid_len,
423 valid_buffer, valid_len,
424 NULL, valid_len,
425 valid_buffer, valid_buffer,
426 valid_buffer, valid_len ) );
427 TEST_INVALID_PARAM_RET(
428 MBEDTLS_ERR_CCM_BAD_INPUT,
429 mbedtls_ccm_auth_decrypt( &ctx, valid_len,
430 valid_buffer, valid_len,
431 valid_buffer, valid_len,
432 NULL, valid_buffer,
433 valid_buffer, valid_len ) );
434 TEST_INVALID_PARAM_RET(
435 MBEDTLS_ERR_CCM_BAD_INPUT,
436 mbedtls_ccm_auth_decrypt( &ctx, valid_len,
437 valid_buffer, valid_len,
438 valid_buffer, valid_len,
439 valid_buffer, NULL,
440 valid_buffer, valid_len ) );
441 TEST_INVALID_PARAM_RET(
442 MBEDTLS_ERR_CCM_BAD_INPUT,
443 mbedtls_ccm_auth_decrypt( &ctx, valid_len,
444 valid_buffer, valid_len,
445 valid_buffer, valid_len,
446 valid_buffer, valid_buffer,
447 NULL, valid_len ) );
448
449 /* mbedtls_ccm_star_auth_decrypt() */
450 TEST_INVALID_PARAM_RET(
451 MBEDTLS_ERR_CCM_BAD_INPUT,
452 mbedtls_ccm_star_auth_decrypt( NULL, valid_len,
453 valid_buffer, valid_len,
454 valid_buffer, valid_len,
455 valid_buffer, valid_buffer,
456 valid_buffer, valid_len ) );
457 TEST_INVALID_PARAM_RET(
458 MBEDTLS_ERR_CCM_BAD_INPUT,
459 mbedtls_ccm_star_auth_decrypt( &ctx, valid_len,
460 NULL, valid_len,
461 valid_buffer, valid_len,
462 valid_buffer, valid_buffer,
463 valid_buffer, valid_len ) );
464 TEST_INVALID_PARAM_RET(
465 MBEDTLS_ERR_CCM_BAD_INPUT,
466 mbedtls_ccm_star_auth_decrypt( &ctx, valid_len,
467 valid_buffer, valid_len,
468 NULL, valid_len,
469 valid_buffer, valid_buffer,
470 valid_buffer, valid_len ) );
471 TEST_INVALID_PARAM_RET(
472 MBEDTLS_ERR_CCM_BAD_INPUT,
473 mbedtls_ccm_star_auth_decrypt( &ctx, valid_len,
474 valid_buffer, valid_len,
475 valid_buffer, valid_len,
476 NULL, valid_buffer,
477 valid_buffer, valid_len ) );
478 TEST_INVALID_PARAM_RET(
479 MBEDTLS_ERR_CCM_BAD_INPUT,
480 mbedtls_ccm_star_auth_decrypt( &ctx, valid_len,
481 valid_buffer, valid_len,
482 valid_buffer, valid_len,
483 valid_buffer, NULL,
484 valid_buffer, valid_len ) );
485 TEST_INVALID_PARAM_RET(
486 MBEDTLS_ERR_CCM_BAD_INPUT,
487 mbedtls_ccm_star_auth_decrypt( &ctx, valid_len,
488 valid_buffer, valid_len,
489 valid_buffer, valid_len,
490 valid_buffer, valid_buffer,
491 NULL, valid_len ) );
492
493exit:
494 mbedtls_ccm_free( &ctx );
495 return;
496}
497/* END_CASE */
498
499/* BEGIN_CASE */
500void ccm_valid_param( )
501{
502 TEST_VALID_PARAM( mbedtls_ccm_free( NULL ) );
503exit:
504 return;
505}
506/* END_CASE */