UINT16-marshal.c 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235
  1. /* SPDX-License-Identifier: BSD-2-Clause */
  2. /***********************************************************************
  3. * Copyright (c) 2017-2018, Intel Corporation
  4. *
  5. * All rights reserved.
  6. ***********************************************************************/
  7. #ifdef HAVE_CONFIG_H
  8. #include <config.h>
  9. #endif
  10. #include <stdlib.h>
  11. #include <stdio.h>
  12. #include <setjmp.h>
  13. #include <cmocka.h>
  14. #include "tss2_mu.h"
  15. /*
  16. * Test case for successful UINT16 marshaling with NULL offset.
  17. */
  18. void
  19. UINT16_marshal_success (void **state)
  20. {
  21. UINT16 src = 0xdead;
  22. uint8_t buffer [2] = { 0 };
  23. size_t buffer_size = sizeof (buffer);
  24. TSS2_RC rc;
  25. rc = Tss2_MU_UINT16_Marshal (src, buffer, buffer_size, NULL);
  26. assert_int_equal (rc, TSS2_RC_SUCCESS);
  27. assert_int_equal (0xde, buffer [0]);
  28. assert_int_equal (0xad, buffer [1]);
  29. }
  30. /*
  31. * Test case for successful UINT16 marshaling with offset.
  32. */
  33. void
  34. UINT16_marshal_success_offset (void **state)
  35. {
  36. UINT16 src = 0xbeef;
  37. uint8_t buffer [3] = { 0 };
  38. size_t buffer_size = sizeof (buffer);
  39. size_t offset = 1;
  40. TSS2_RC rc;
  41. rc = Tss2_MU_UINT16_Marshal (src, buffer, buffer_size, &offset);
  42. assert_int_equal (rc, TSS2_RC_SUCCESS);
  43. assert_int_equal ((src & 0xff00) >> 8, buffer [1]);
  44. assert_int_equal (src & 0xff, buffer [2]);
  45. assert_int_equal (offset, sizeof (buffer));
  46. }
  47. /*
  48. * Test case passing NULL buffer and non-NULL offset. Test to be sure offset
  49. * is updated to the size of the src parameter.
  50. */
  51. void
  52. UINT16_marshal_buffer_null_with_offset (void **state)
  53. {
  54. UINT16 src = 0xdead;
  55. size_t offset = 100;
  56. TSS2_RC rc;
  57. rc = Tss2_MU_UINT16_Marshal (src, NULL, 2, &offset);
  58. assert_int_equal (rc, TSS2_RC_SUCCESS);
  59. assert_int_equal (offset, 100 + sizeof (src));
  60. }
  61. /*
  62. * Test case passing NULL buffer and NULL offset.
  63. */
  64. void
  65. UINT16_marshal_buffer_null_offset_null (void **state)
  66. {
  67. UINT16 src = 0xbeef;
  68. TSS2_RC rc;
  69. rc = Tss2_MU_UINT16_Marshal (src, NULL, sizeof (src), NULL);
  70. assert_int_equal (rc, TSS2_MU_RC_BAD_REFERENCE);
  71. }
  72. /*
  73. * Test failing case where buffer_size - offset (size of available space
  74. * in buffer) is less than sizeof (UINT16). Also check offset is unchanged.
  75. */
  76. void
  77. UINT16_marshal_buffer_size_lt_data (void **state)
  78. {
  79. UINT16 src = 0xdead;
  80. uint8_t buffer [2] = { 0 };
  81. size_t offset = 2;
  82. TSS2_RC rc;
  83. rc = Tss2_MU_UINT16_Marshal (src, buffer, sizeof (src), &offset);
  84. assert_int_equal (rc, TSS2_MU_RC_INSUFFICIENT_BUFFER);
  85. assert_int_equal (offset, 2);
  86. }
  87. /*
  88. * Test failing case where buffer_size is less than the offset value.
  89. * This should return INSUFFICIENT_BUFFER and the offset should be unchanged.
  90. */
  91. void
  92. UINT16_marshal_buffer_size_lt_offset (void **state)
  93. {
  94. UINT16 src = 0xbeef;
  95. uint8_t buffer [2] = { 0 };
  96. size_t buffer_size = sizeof (buffer);
  97. size_t offset = sizeof (buffer) + 1;
  98. TSS2_RC rc;
  99. rc = Tss2_MU_UINT16_Marshal (src, buffer, buffer_size, &offset);
  100. assert_int_equal (rc, TSS2_MU_RC_INSUFFICIENT_BUFFER);
  101. assert_int_equal (offset, sizeof (buffer) + 1);
  102. }
  103. /*
  104. * Test case for successful UINT16 unmarshaling.
  105. */
  106. void
  107. UINT16_unmarshal_success (void **state)
  108. {
  109. uint8_t buffer [2] = { 0xde, 0xad };
  110. uint8_t buffer_size = sizeof (buffer);
  111. UINT16 dest = 0;
  112. TSS2_RC rc;
  113. rc = Tss2_MU_UINT16_Unmarshal (buffer, buffer_size, NULL, &dest);
  114. assert_int_equal (rc, TSS2_RC_SUCCESS);
  115. assert_int_equal (buffer [0], (dest & 0xff00) >> 8);
  116. assert_int_equal (buffer [1], (dest & 0xff));
  117. }
  118. /*
  119. * Test case for successful UINT16 unmarshaling with offset.
  120. */
  121. void
  122. UINT16_unmarshal_success_offset (void **state)
  123. {
  124. UINT16 dest = 0;
  125. uint8_t buffer [3] = { 0xbe, 0xef };
  126. size_t buffer_size = sizeof (buffer);
  127. size_t offset = 1;
  128. TSS2_RC rc;
  129. rc = Tss2_MU_UINT16_Unmarshal (buffer, buffer_size, &offset, &dest);
  130. assert_int_equal (rc, TSS2_RC_SUCCESS);
  131. assert_int_equal (buffer [1], (dest & 0xff00) >> 8);
  132. assert_int_equal (buffer [2], (dest & 0xff) >> 8);
  133. assert_int_equal (offset, 3);
  134. }
  135. /*
  136. * Test case ensures a NULL buffer parameter produces a BAD_REFERENCE RC.
  137. */
  138. void
  139. UINT16_unmarshal_buffer_null (void **state)
  140. {
  141. TSS2_RC rc;
  142. rc = Tss2_MU_UINT16_Unmarshal (NULL, 1, NULL, NULL);
  143. assert_int_equal (rc, TSS2_MU_RC_BAD_REFERENCE);
  144. }
  145. /*
  146. * Test case ensures a NULL dest and offset parameters produce an
  147. * INSUFFICIENT_BUFFER RC.
  148. */
  149. void
  150. UINT16_unmarshal_dest_null (void **state)
  151. {
  152. uint8_t buffer [1] = { 0 };
  153. TSS2_RC rc;
  154. rc = Tss2_MU_UINT16_Unmarshal (buffer, sizeof (buffer), NULL, NULL);
  155. assert_int_equal (rc, TSS2_MU_RC_BAD_REFERENCE);
  156. }
  157. /*
  158. * Test case ensures that INSUFFICIENT_BUFFER is returned when buffer_size
  159. * is less than the provided offset.
  160. */
  161. void
  162. UINT16_unmarshal_buffer_size_lt_offset (void **state)
  163. {
  164. UINT16 dest = 0;
  165. uint8_t buffer [1] = { 0 };
  166. size_t offset = sizeof (buffer) + 1;
  167. TSS2_RC rc;
  168. rc = Tss2_MU_UINT16_Unmarshal (buffer, sizeof (buffer), &offset, &dest);
  169. assert_int_equal (rc, TSS2_MU_RC_INSUFFICIENT_BUFFER);
  170. assert_int_equal (offset, sizeof (buffer) + 1);
  171. assert_int_equal (dest, 0);
  172. }
  173. /*
  174. * Test case ensures that INSUFFICIENT_BUFFER is returned when buffer_size -
  175. * local_offset is less than dest (the destination type).
  176. */
  177. void
  178. UINT16_unmarshal_buffer_size_lt_dest (void **state)
  179. {
  180. UINT16 dest = 0;
  181. uint8_t buffer [1] = { 0 };
  182. size_t offset = sizeof (buffer);
  183. TSS2_RC rc;
  184. rc = Tss2_MU_UINT16_Unmarshal (buffer, sizeof (buffer), &offset, &dest);
  185. assert_int_equal (rc, TSS2_MU_RC_INSUFFICIENT_BUFFER);
  186. assert_int_equal (offset, sizeof (buffer));
  187. assert_int_equal (dest, 0);
  188. }
  189. int
  190. main (void)
  191. {
  192. const struct CMUnitTest tests [] = {
  193. cmocka_unit_test (UINT16_marshal_success),
  194. cmocka_unit_test (UINT16_marshal_success_offset),
  195. cmocka_unit_test (UINT16_marshal_buffer_null_with_offset),
  196. cmocka_unit_test (UINT16_marshal_buffer_null_offset_null),
  197. cmocka_unit_test (UINT16_marshal_buffer_size_lt_data),
  198. cmocka_unit_test (UINT16_marshal_buffer_size_lt_offset),
  199. cmocka_unit_test (UINT16_unmarshal_success),
  200. cmocka_unit_test (UINT16_unmarshal_success_offset),
  201. cmocka_unit_test (UINT16_unmarshal_buffer_null),
  202. cmocka_unit_test (UINT16_unmarshal_dest_null),
  203. cmocka_unit_test (UINT16_unmarshal_buffer_size_lt_offset),
  204. cmocka_unit_test (UINT16_unmarshal_buffer_size_lt_dest),
  205. };
  206. return cmocka_run_group_tests (tests, NULL, NULL);
  207. }