asn1write.c 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479
  1. /*
  2. * ASN.1 buffer writing functionality
  3. *
  4. * Copyright The Mbed TLS Contributors
  5. * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
  6. */
  7. #include "common.h"
  8. #if defined(MBEDTLS_ASN1_WRITE_C)
  9. #include "mbedtls/asn1write.h"
  10. #include "mbedtls/error.h"
  11. #include <string.h>
  12. #include "mbedtls/platform.h"
  13. int mbedtls_asn1_write_len(unsigned char **p, unsigned char *start, size_t len)
  14. {
  15. if (len < 0x80) {
  16. if (*p - start < 1) {
  17. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  18. }
  19. *--(*p) = (unsigned char) len;
  20. return 1;
  21. }
  22. if (len <= 0xFF) {
  23. if (*p - start < 2) {
  24. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  25. }
  26. *--(*p) = (unsigned char) len;
  27. *--(*p) = 0x81;
  28. return 2;
  29. }
  30. if (len <= 0xFFFF) {
  31. if (*p - start < 3) {
  32. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  33. }
  34. *--(*p) = MBEDTLS_BYTE_0(len);
  35. *--(*p) = MBEDTLS_BYTE_1(len);
  36. *--(*p) = 0x82;
  37. return 3;
  38. }
  39. if (len <= 0xFFFFFF) {
  40. if (*p - start < 4) {
  41. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  42. }
  43. *--(*p) = MBEDTLS_BYTE_0(len);
  44. *--(*p) = MBEDTLS_BYTE_1(len);
  45. *--(*p) = MBEDTLS_BYTE_2(len);
  46. *--(*p) = 0x83;
  47. return 4;
  48. }
  49. int len_is_valid = 1;
  50. #if SIZE_MAX > 0xFFFFFFFF
  51. len_is_valid = (len <= 0xFFFFFFFF);
  52. #endif
  53. if (len_is_valid) {
  54. if (*p - start < 5) {
  55. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  56. }
  57. *--(*p) = MBEDTLS_BYTE_0(len);
  58. *--(*p) = MBEDTLS_BYTE_1(len);
  59. *--(*p) = MBEDTLS_BYTE_2(len);
  60. *--(*p) = MBEDTLS_BYTE_3(len);
  61. *--(*p) = 0x84;
  62. return 5;
  63. }
  64. return MBEDTLS_ERR_ASN1_INVALID_LENGTH;
  65. }
  66. int mbedtls_asn1_write_tag(unsigned char **p, unsigned char *start, unsigned char tag)
  67. {
  68. if (*p - start < 1) {
  69. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  70. }
  71. *--(*p) = tag;
  72. return 1;
  73. }
  74. int mbedtls_asn1_write_raw_buffer(unsigned char **p, unsigned char *start,
  75. const unsigned char *buf, size_t size)
  76. {
  77. size_t len = 0;
  78. if (*p < start || (size_t) (*p - start) < size) {
  79. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  80. }
  81. len = size;
  82. (*p) -= len;
  83. memcpy(*p, buf, len);
  84. return (int) len;
  85. }
  86. #if defined(MBEDTLS_BIGNUM_C)
  87. int mbedtls_asn1_write_mpi(unsigned char **p, unsigned char *start, const mbedtls_mpi *X)
  88. {
  89. int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
  90. size_t len = 0;
  91. // Write the MPI
  92. //
  93. len = mbedtls_mpi_size(X);
  94. /* DER represents 0 with a sign bit (0=nonnegative) and 7 value bits, not
  95. * as 0 digits. We need to end up with 020100, not with 0200. */
  96. if (len == 0) {
  97. len = 1;
  98. }
  99. if (*p < start || (size_t) (*p - start) < len) {
  100. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  101. }
  102. (*p) -= len;
  103. MBEDTLS_MPI_CHK(mbedtls_mpi_write_binary(X, *p, len));
  104. // DER format assumes 2s complement for numbers, so the leftmost bit
  105. // should be 0 for positive numbers and 1 for negative numbers.
  106. //
  107. if (X->s == 1 && **p & 0x80) {
  108. if (*p - start < 1) {
  109. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  110. }
  111. *--(*p) = 0x00;
  112. len += 1;
  113. }
  114. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
  115. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_INTEGER));
  116. ret = (int) len;
  117. cleanup:
  118. return ret;
  119. }
  120. #endif /* MBEDTLS_BIGNUM_C */
  121. int mbedtls_asn1_write_null(unsigned char **p, unsigned char *start)
  122. {
  123. int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
  124. size_t len = 0;
  125. // Write NULL
  126. //
  127. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, 0));
  128. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_NULL));
  129. return (int) len;
  130. }
  131. int mbedtls_asn1_write_oid(unsigned char **p, unsigned char *start,
  132. const char *oid, size_t oid_len)
  133. {
  134. int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
  135. size_t len = 0;
  136. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
  137. (const unsigned char *) oid, oid_len));
  138. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
  139. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_OID));
  140. return (int) len;
  141. }
  142. int mbedtls_asn1_write_algorithm_identifier(unsigned char **p, unsigned char *start,
  143. const char *oid, size_t oid_len,
  144. size_t par_len)
  145. {
  146. return mbedtls_asn1_write_algorithm_identifier_ext(p, start, oid, oid_len, par_len, 1);
  147. }
  148. int mbedtls_asn1_write_algorithm_identifier_ext(unsigned char **p, unsigned char *start,
  149. const char *oid, size_t oid_len,
  150. size_t par_len, int has_par)
  151. {
  152. int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
  153. size_t len = 0;
  154. if (has_par) {
  155. if (par_len == 0) {
  156. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_null(p, start));
  157. } else {
  158. len += par_len;
  159. }
  160. }
  161. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_oid(p, start, oid, oid_len));
  162. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
  163. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
  164. MBEDTLS_ASN1_CONSTRUCTED |
  165. MBEDTLS_ASN1_SEQUENCE));
  166. return (int) len;
  167. }
  168. int mbedtls_asn1_write_bool(unsigned char **p, unsigned char *start, int boolean)
  169. {
  170. int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
  171. size_t len = 0;
  172. if (*p - start < 1) {
  173. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  174. }
  175. *--(*p) = (boolean) ? 255 : 0;
  176. len++;
  177. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
  178. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_BOOLEAN));
  179. return (int) len;
  180. }
  181. static int asn1_write_tagged_int(unsigned char **p, unsigned char *start, int val, int tag)
  182. {
  183. int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
  184. size_t len = 0;
  185. do {
  186. if (*p - start < 1) {
  187. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  188. }
  189. len += 1;
  190. *--(*p) = val & 0xff;
  191. val >>= 8;
  192. } while (val > 0);
  193. if (**p & 0x80) {
  194. if (*p - start < 1) {
  195. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  196. }
  197. *--(*p) = 0x00;
  198. len += 1;
  199. }
  200. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
  201. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, tag));
  202. return (int) len;
  203. }
  204. int mbedtls_asn1_write_int(unsigned char **p, unsigned char *start, int val)
  205. {
  206. return asn1_write_tagged_int(p, start, val, MBEDTLS_ASN1_INTEGER);
  207. }
  208. int mbedtls_asn1_write_enum(unsigned char **p, unsigned char *start, int val)
  209. {
  210. return asn1_write_tagged_int(p, start, val, MBEDTLS_ASN1_ENUMERATED);
  211. }
  212. int mbedtls_asn1_write_tagged_string(unsigned char **p, unsigned char *start, int tag,
  213. const char *text, size_t text_len)
  214. {
  215. int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
  216. size_t len = 0;
  217. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start,
  218. (const unsigned char *) text,
  219. text_len));
  220. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
  221. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, tag));
  222. return (int) len;
  223. }
  224. int mbedtls_asn1_write_utf8_string(unsigned char **p, unsigned char *start,
  225. const char *text, size_t text_len)
  226. {
  227. return mbedtls_asn1_write_tagged_string(p, start, MBEDTLS_ASN1_UTF8_STRING, text, text_len);
  228. }
  229. int mbedtls_asn1_write_printable_string(unsigned char **p, unsigned char *start,
  230. const char *text, size_t text_len)
  231. {
  232. return mbedtls_asn1_write_tagged_string(p, start, MBEDTLS_ASN1_PRINTABLE_STRING, text,
  233. text_len);
  234. }
  235. int mbedtls_asn1_write_ia5_string(unsigned char **p, unsigned char *start,
  236. const char *text, size_t text_len)
  237. {
  238. return mbedtls_asn1_write_tagged_string(p, start, MBEDTLS_ASN1_IA5_STRING, text, text_len);
  239. }
  240. int mbedtls_asn1_write_named_bitstring(unsigned char **p,
  241. unsigned char *start,
  242. const unsigned char *buf,
  243. size_t bits)
  244. {
  245. size_t unused_bits, byte_len;
  246. const unsigned char *cur_byte;
  247. unsigned char cur_byte_shifted;
  248. unsigned char bit;
  249. byte_len = (bits + 7) / 8;
  250. unused_bits = (byte_len * 8) - bits;
  251. /*
  252. * Named bitstrings require that trailing 0s are excluded in the encoding
  253. * of the bitstring. Trailing 0s are considered part of the 'unused' bits
  254. * when encoding this value in the first content octet
  255. */
  256. if (bits != 0) {
  257. cur_byte = buf + byte_len - 1;
  258. cur_byte_shifted = *cur_byte >> unused_bits;
  259. for (;;) {
  260. bit = cur_byte_shifted & 0x1;
  261. cur_byte_shifted >>= 1;
  262. if (bit != 0) {
  263. break;
  264. }
  265. bits--;
  266. if (bits == 0) {
  267. break;
  268. }
  269. if (bits % 8 == 0) {
  270. cur_byte_shifted = *--cur_byte;
  271. }
  272. }
  273. }
  274. return mbedtls_asn1_write_bitstring(p, start, buf, bits);
  275. }
  276. int mbedtls_asn1_write_bitstring(unsigned char **p, unsigned char *start,
  277. const unsigned char *buf, size_t bits)
  278. {
  279. int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
  280. size_t len = 0;
  281. size_t unused_bits, byte_len;
  282. byte_len = (bits + 7) / 8;
  283. unused_bits = (byte_len * 8) - bits;
  284. if (*p < start || (size_t) (*p - start) < byte_len + 1) {
  285. return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
  286. }
  287. len = byte_len + 1;
  288. /* Write the bitstring. Ensure the unused bits are zeroed */
  289. if (byte_len > 0) {
  290. byte_len--;
  291. *--(*p) = buf[byte_len] & ~((0x1 << unused_bits) - 1);
  292. (*p) -= byte_len;
  293. memcpy(*p, buf, byte_len);
  294. }
  295. /* Write unused bits */
  296. *--(*p) = (unsigned char) unused_bits;
  297. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
  298. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_BIT_STRING));
  299. return (int) len;
  300. }
  301. int mbedtls_asn1_write_octet_string(unsigned char **p, unsigned char *start,
  302. const unsigned char *buf, size_t size)
  303. {
  304. int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
  305. size_t len = 0;
  306. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start, buf, size));
  307. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
  308. MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_OCTET_STRING));
  309. return (int) len;
  310. }
  311. /* This is a copy of the ASN.1 parsing function mbedtls_asn1_find_named_data(),
  312. * which is replicated to avoid a dependency ASN1_WRITE_C on ASN1_PARSE_C. */
  313. static mbedtls_asn1_named_data *asn1_find_named_data(
  314. mbedtls_asn1_named_data *list,
  315. const char *oid, size_t len)
  316. {
  317. while (list != NULL) {
  318. if (list->oid.len == len &&
  319. memcmp(list->oid.p, oid, len) == 0) {
  320. break;
  321. }
  322. list = list->next;
  323. }
  324. return list;
  325. }
  326. mbedtls_asn1_named_data *mbedtls_asn1_store_named_data(
  327. mbedtls_asn1_named_data **head,
  328. const char *oid, size_t oid_len,
  329. const unsigned char *val,
  330. size_t val_len)
  331. {
  332. mbedtls_asn1_named_data *cur;
  333. if ((cur = asn1_find_named_data(*head, oid, oid_len)) == NULL) {
  334. // Add new entry if not present yet based on OID
  335. //
  336. cur = (mbedtls_asn1_named_data *) mbedtls_calloc(1,
  337. sizeof(mbedtls_asn1_named_data));
  338. if (cur == NULL) {
  339. return NULL;
  340. }
  341. cur->oid.len = oid_len;
  342. cur->oid.p = mbedtls_calloc(1, oid_len);
  343. if (cur->oid.p == NULL) {
  344. mbedtls_free(cur);
  345. return NULL;
  346. }
  347. memcpy(cur->oid.p, oid, oid_len);
  348. cur->val.len = val_len;
  349. if (val_len != 0) {
  350. cur->val.p = mbedtls_calloc(1, val_len);
  351. if (cur->val.p == NULL) {
  352. mbedtls_free(cur->oid.p);
  353. mbedtls_free(cur);
  354. return NULL;
  355. }
  356. }
  357. cur->next = *head;
  358. *head = cur;
  359. } else if (val_len == 0) {
  360. mbedtls_free(cur->val.p);
  361. cur->val.p = NULL;
  362. } else if (cur->val.len != val_len) {
  363. /*
  364. * Enlarge existing value buffer if needed
  365. * Preserve old data until the allocation succeeded, to leave list in
  366. * a consistent state in case allocation fails.
  367. */
  368. void *p = mbedtls_calloc(1, val_len);
  369. if (p == NULL) {
  370. return NULL;
  371. }
  372. mbedtls_free(cur->val.p);
  373. cur->val.p = p;
  374. cur->val.len = val_len;
  375. }
  376. if (val != NULL && val_len != 0) {
  377. memcpy(cur->val.p, val, val_len);
  378. }
  379. return cur;
  380. }
  381. #endif /* MBEDTLS_ASN1_WRITE_C */