test_suite_gcm.function 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285
  1. /* BEGIN_HEADER */
  2. #include "mbedtls/gcm.h"
  3. /* END_HEADER */
  4. /* BEGIN_DEPENDENCIES
  5. * depends_on:MBEDTLS_GCM_C
  6. * END_DEPENDENCIES
  7. */
  8. /* BEGIN_CASE */
  9. void gcm_bad_parameters( int cipher_id, int direction,
  10. data_t *key_str, data_t *src_str,
  11. data_t *iv_str, data_t *add_str,
  12. int tag_len_bits, int gcm_result )
  13. {
  14. unsigned char output[128];
  15. unsigned char tag_output[16];
  16. mbedtls_gcm_context ctx;
  17. size_t tag_len = tag_len_bits / 8;
  18. mbedtls_gcm_init( &ctx );
  19. memset( output, 0x00, sizeof( output ) );
  20. memset( tag_output, 0x00, sizeof( tag_output ) );
  21. TEST_ASSERT( mbedtls_gcm_setkey( &ctx, cipher_id, key_str->x, key_str->len * 8 ) == 0 );
  22. TEST_ASSERT( mbedtls_gcm_crypt_and_tag( &ctx, direction, src_str->len, iv_str->x, iv_str->len,
  23. add_str->x, add_str->len, src_str->x, output, tag_len, tag_output ) == gcm_result );
  24. exit:
  25. mbedtls_gcm_free( &ctx );
  26. }
  27. /* END_CASE */
  28. /* BEGIN_CASE */
  29. void gcm_encrypt_and_tag( int cipher_id, data_t * key_str,
  30. data_t * src_str, data_t * iv_str,
  31. data_t * add_str, data_t * dst,
  32. int tag_len_bits, data_t * tag,
  33. int init_result )
  34. {
  35. unsigned char output[128];
  36. unsigned char tag_output[16];
  37. mbedtls_gcm_context ctx;
  38. size_t tag_len = tag_len_bits / 8;
  39. mbedtls_gcm_init( &ctx );
  40. memset(output, 0x00, 128);
  41. memset(tag_output, 0x00, 16);
  42. TEST_ASSERT( mbedtls_gcm_setkey( &ctx, cipher_id, key_str->x, key_str->len * 8 ) == init_result );
  43. if( init_result == 0 )
  44. {
  45. TEST_ASSERT( mbedtls_gcm_crypt_and_tag( &ctx, MBEDTLS_GCM_ENCRYPT, src_str->len, iv_str->x, iv_str->len, add_str->x, add_str->len, src_str->x, output, tag_len, tag_output ) == 0 );
  46. TEST_ASSERT( mbedtls_test_hexcmp( output, dst->x,
  47. src_str->len, dst->len ) == 0 );
  48. TEST_ASSERT( mbedtls_test_hexcmp( tag_output, tag->x,
  49. tag_len, tag->len ) == 0 );
  50. }
  51. exit:
  52. mbedtls_gcm_free( &ctx );
  53. }
  54. /* END_CASE */
  55. /* BEGIN_CASE */
  56. void gcm_decrypt_and_verify( int cipher_id, data_t * key_str,
  57. data_t * src_str, data_t * iv_str,
  58. data_t * add_str, int tag_len_bits,
  59. data_t * tag_str, char * result,
  60. data_t * pt_result, int init_result )
  61. {
  62. unsigned char output[128];
  63. mbedtls_gcm_context ctx;
  64. int ret;
  65. size_t tag_len = tag_len_bits / 8;
  66. mbedtls_gcm_init( &ctx );
  67. memset(output, 0x00, 128);
  68. TEST_ASSERT( mbedtls_gcm_setkey( &ctx, cipher_id, key_str->x, key_str->len * 8 ) == init_result );
  69. if( init_result == 0 )
  70. {
  71. ret = mbedtls_gcm_auth_decrypt( &ctx, src_str->len, iv_str->x, iv_str->len, add_str->x, add_str->len, tag_str->x, tag_len, src_str->x, output );
  72. if( strcmp( "FAIL", result ) == 0 )
  73. {
  74. TEST_ASSERT( ret == MBEDTLS_ERR_GCM_AUTH_FAILED );
  75. }
  76. else
  77. {
  78. TEST_ASSERT( ret == 0 );
  79. TEST_ASSERT( mbedtls_test_hexcmp( output, pt_result->x,
  80. src_str->len,
  81. pt_result->len ) == 0 );
  82. }
  83. }
  84. exit:
  85. mbedtls_gcm_free( &ctx );
  86. }
  87. /* END_CASE */
  88. /* BEGIN_CASE depends_on:MBEDTLS_CHECK_PARAMS:!MBEDTLS_PARAM_FAILED_ALT */
  89. void gcm_invalid_param( )
  90. {
  91. mbedtls_gcm_context ctx;
  92. unsigned char valid_buffer[] = { 0x01, 0x02, 0x03, 0x04, 0x05, 0x06 };
  93. mbedtls_cipher_id_t valid_cipher = MBEDTLS_CIPHER_ID_AES;
  94. int valid_mode = MBEDTLS_GCM_ENCRYPT;
  95. int valid_len = sizeof(valid_buffer);
  96. int valid_bitlen = 128, invalid_bitlen = 1;
  97. mbedtls_gcm_init( &ctx );
  98. /* mbedtls_gcm_init() */
  99. TEST_INVALID_PARAM( mbedtls_gcm_init( NULL ) );
  100. /* mbedtls_gcm_setkey */
  101. TEST_INVALID_PARAM_RET(
  102. MBEDTLS_ERR_GCM_BAD_INPUT,
  103. mbedtls_gcm_setkey( NULL, valid_cipher, valid_buffer, valid_bitlen ) );
  104. TEST_INVALID_PARAM_RET(
  105. MBEDTLS_ERR_GCM_BAD_INPUT,
  106. mbedtls_gcm_setkey( &ctx, valid_cipher, NULL, valid_bitlen ) );
  107. TEST_INVALID_PARAM_RET(
  108. MBEDTLS_ERR_GCM_BAD_INPUT,
  109. mbedtls_gcm_setkey( &ctx, valid_cipher, valid_buffer, invalid_bitlen ) );
  110. /* mbedtls_gcm_crypt_and_tag() */
  111. TEST_INVALID_PARAM_RET(
  112. MBEDTLS_ERR_GCM_BAD_INPUT,
  113. mbedtls_gcm_crypt_and_tag( NULL, valid_mode, valid_len,
  114. valid_buffer, valid_len,
  115. valid_buffer, valid_len,
  116. valid_buffer, valid_buffer,
  117. valid_len, valid_buffer ) );
  118. TEST_INVALID_PARAM_RET(
  119. MBEDTLS_ERR_GCM_BAD_INPUT,
  120. mbedtls_gcm_crypt_and_tag( &ctx, valid_mode, valid_len,
  121. NULL, valid_len,
  122. valid_buffer, valid_len,
  123. valid_buffer, valid_buffer,
  124. valid_len, valid_buffer ) );
  125. TEST_INVALID_PARAM_RET(
  126. MBEDTLS_ERR_GCM_BAD_INPUT,
  127. mbedtls_gcm_crypt_and_tag( &ctx, valid_mode, valid_len,
  128. valid_buffer, valid_len,
  129. NULL, valid_len,
  130. valid_buffer, valid_buffer,
  131. valid_len, valid_buffer ) );
  132. TEST_INVALID_PARAM_RET(
  133. MBEDTLS_ERR_GCM_BAD_INPUT,
  134. mbedtls_gcm_crypt_and_tag( &ctx, valid_mode, valid_len,
  135. valid_buffer, valid_len,
  136. valid_buffer, valid_len,
  137. NULL, valid_buffer,
  138. valid_len, valid_buffer ) );
  139. TEST_INVALID_PARAM_RET(
  140. MBEDTLS_ERR_GCM_BAD_INPUT,
  141. mbedtls_gcm_crypt_and_tag( &ctx, valid_mode, valid_len,
  142. valid_buffer, valid_len,
  143. valid_buffer, valid_len,
  144. valid_buffer, NULL,
  145. valid_len, valid_buffer ) );
  146. TEST_INVALID_PARAM_RET(
  147. MBEDTLS_ERR_GCM_BAD_INPUT,
  148. mbedtls_gcm_crypt_and_tag( &ctx, valid_mode, valid_len,
  149. valid_buffer, valid_len,
  150. valid_buffer, valid_len,
  151. valid_buffer, valid_buffer,
  152. valid_len, NULL ) );
  153. /* mbedtls_gcm_auth_decrypt() */
  154. TEST_INVALID_PARAM_RET(
  155. MBEDTLS_ERR_GCM_BAD_INPUT,
  156. mbedtls_gcm_auth_decrypt( NULL, valid_len,
  157. valid_buffer, valid_len,
  158. valid_buffer, valid_len,
  159. valid_buffer, valid_len,
  160. valid_buffer, valid_buffer) );
  161. TEST_INVALID_PARAM_RET(
  162. MBEDTLS_ERR_GCM_BAD_INPUT,
  163. mbedtls_gcm_auth_decrypt( &ctx, valid_len,
  164. NULL, valid_len,
  165. valid_buffer, valid_len,
  166. valid_buffer, valid_len,
  167. valid_buffer, valid_buffer) );
  168. TEST_INVALID_PARAM_RET(
  169. MBEDTLS_ERR_GCM_BAD_INPUT,
  170. mbedtls_gcm_auth_decrypt( &ctx, valid_len,
  171. valid_buffer, valid_len,
  172. NULL, valid_len,
  173. valid_buffer, valid_len,
  174. valid_buffer, valid_buffer) );
  175. TEST_INVALID_PARAM_RET(
  176. MBEDTLS_ERR_GCM_BAD_INPUT,
  177. mbedtls_gcm_auth_decrypt( &ctx, valid_len,
  178. valid_buffer, valid_len,
  179. valid_buffer, valid_len,
  180. NULL, valid_len,
  181. valid_buffer, valid_buffer) );
  182. TEST_INVALID_PARAM_RET(
  183. MBEDTLS_ERR_GCM_BAD_INPUT,
  184. mbedtls_gcm_auth_decrypt( &ctx, valid_len,
  185. valid_buffer, valid_len,
  186. valid_buffer, valid_len,
  187. valid_buffer, valid_len,
  188. NULL, valid_buffer) );
  189. TEST_INVALID_PARAM_RET(
  190. MBEDTLS_ERR_GCM_BAD_INPUT,
  191. mbedtls_gcm_auth_decrypt( &ctx, valid_len,
  192. valid_buffer, valid_len,
  193. valid_buffer, valid_len,
  194. valid_buffer, valid_len,
  195. valid_buffer, NULL) );
  196. /* mbedtls_gcm_starts() */
  197. TEST_INVALID_PARAM_RET(
  198. MBEDTLS_ERR_GCM_BAD_INPUT,
  199. mbedtls_gcm_starts( NULL, valid_mode,
  200. valid_buffer, valid_len,
  201. valid_buffer, valid_len ) );
  202. TEST_INVALID_PARAM_RET(
  203. MBEDTLS_ERR_GCM_BAD_INPUT,
  204. mbedtls_gcm_starts( &ctx, valid_mode,
  205. NULL, valid_len,
  206. valid_buffer, valid_len ) );
  207. TEST_INVALID_PARAM_RET(
  208. MBEDTLS_ERR_GCM_BAD_INPUT,
  209. mbedtls_gcm_starts( &ctx, valid_mode,
  210. valid_buffer, valid_len,
  211. NULL, valid_len ) );
  212. /* mbedtls_gcm_update() */
  213. TEST_INVALID_PARAM_RET(
  214. MBEDTLS_ERR_GCM_BAD_INPUT,
  215. mbedtls_gcm_update( NULL, valid_len,
  216. valid_buffer, valid_buffer ) );
  217. TEST_INVALID_PARAM_RET(
  218. MBEDTLS_ERR_GCM_BAD_INPUT,
  219. mbedtls_gcm_update( &ctx, valid_len,
  220. NULL, valid_buffer ) );
  221. TEST_INVALID_PARAM_RET(
  222. MBEDTLS_ERR_GCM_BAD_INPUT,
  223. mbedtls_gcm_update( &ctx, valid_len,
  224. valid_buffer, NULL ) );
  225. /* mbedtls_gcm_finish() */
  226. TEST_INVALID_PARAM_RET(
  227. MBEDTLS_ERR_GCM_BAD_INPUT,
  228. mbedtls_gcm_finish( NULL, valid_buffer, valid_len ) );
  229. TEST_INVALID_PARAM_RET(
  230. MBEDTLS_ERR_GCM_BAD_INPUT,
  231. mbedtls_gcm_finish( &ctx, NULL, valid_len ) );
  232. exit:
  233. mbedtls_gcm_free( &ctx );
  234. }
  235. /* END_CASE */
  236. /* BEGIN_CASE */
  237. void gcm_valid_param( )
  238. {
  239. TEST_VALID_PARAM( mbedtls_gcm_free( NULL ) );
  240. exit:
  241. return;
  242. }
  243. /* END_CASE */
  244. /* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */
  245. void gcm_selftest( )
  246. {
  247. TEST_ASSERT( mbedtls_gcm_self_test( 1 ) == 0 );
  248. }
  249. /* END_CASE */