1*8edacedfSDaniel Fojt /* $OpenBSD: bs_cbb.c,v 1.23 2020/09/16 05:52:04 jsing Exp $ */ 2f5b1c8a1SJohn Marino /* 3f5b1c8a1SJohn Marino * Copyright (c) 2014, Google Inc. 4f5b1c8a1SJohn Marino * 5f5b1c8a1SJohn Marino * Permission to use, copy, modify, and/or distribute this software for any 6f5b1c8a1SJohn Marino * purpose with or without fee is hereby granted, provided that the above 7f5b1c8a1SJohn Marino * copyright notice and this permission notice appear in all copies. 8f5b1c8a1SJohn Marino * 9f5b1c8a1SJohn Marino * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES 10f5b1c8a1SJohn Marino * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF 11f5b1c8a1SJohn Marino * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY 12f5b1c8a1SJohn Marino * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES 13f5b1c8a1SJohn Marino * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION 14f5b1c8a1SJohn Marino * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN 15f5b1c8a1SJohn Marino * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */ 16f5b1c8a1SJohn Marino 17f5b1c8a1SJohn Marino #include <stdlib.h> 18f5b1c8a1SJohn Marino #include <string.h> 19f5b1c8a1SJohn Marino 20f5b1c8a1SJohn Marino #include <openssl/opensslconf.h> 21f5b1c8a1SJohn Marino 22f5b1c8a1SJohn Marino #include "bytestring.h" 23f5b1c8a1SJohn Marino 2472c33676SMaxim Ag #define CBB_INITIAL_SIZE 64 2572c33676SMaxim Ag 26f5b1c8a1SJohn Marino static int 27f5b1c8a1SJohn Marino cbb_init(CBB *cbb, uint8_t *buf, size_t cap) 28f5b1c8a1SJohn Marino { 29f5b1c8a1SJohn Marino struct cbb_buffer_st *base; 30f5b1c8a1SJohn Marino 31cca6fc52SDaniel Fojt if ((base = calloc(1, sizeof(struct cbb_buffer_st))) == NULL) 32f5b1c8a1SJohn Marino return 0; 33f5b1c8a1SJohn Marino 34f5b1c8a1SJohn Marino base->buf = buf; 35f5b1c8a1SJohn Marino base->len = 0; 36f5b1c8a1SJohn Marino base->cap = cap; 37f5b1c8a1SJohn Marino base->can_resize = 1; 38f5b1c8a1SJohn Marino 39f5b1c8a1SJohn Marino cbb->base = base; 40f5b1c8a1SJohn Marino cbb->is_top_level = 1; 41f5b1c8a1SJohn Marino 42f5b1c8a1SJohn Marino return 1; 43f5b1c8a1SJohn Marino } 44f5b1c8a1SJohn Marino 45f5b1c8a1SJohn Marino int 46f5b1c8a1SJohn Marino CBB_init(CBB *cbb, size_t initial_capacity) 47f5b1c8a1SJohn Marino { 48f5b1c8a1SJohn Marino uint8_t *buf = NULL; 49f5b1c8a1SJohn Marino 50f5b1c8a1SJohn Marino memset(cbb, 0, sizeof(*cbb)); 51f5b1c8a1SJohn Marino 5272c33676SMaxim Ag if (initial_capacity == 0) 5372c33676SMaxim Ag initial_capacity = CBB_INITIAL_SIZE; 5472c33676SMaxim Ag 55cca6fc52SDaniel Fojt if ((buf = calloc(1, initial_capacity)) == NULL) 56f5b1c8a1SJohn Marino return 0; 57f5b1c8a1SJohn Marino 58f5b1c8a1SJohn Marino if (!cbb_init(cbb, buf, initial_capacity)) { 59f5b1c8a1SJohn Marino free(buf); 60f5b1c8a1SJohn Marino return 0; 61f5b1c8a1SJohn Marino } 62f5b1c8a1SJohn Marino 63f5b1c8a1SJohn Marino return 1; 64f5b1c8a1SJohn Marino } 65f5b1c8a1SJohn Marino 66f5b1c8a1SJohn Marino int 67f5b1c8a1SJohn Marino CBB_init_fixed(CBB *cbb, uint8_t *buf, size_t len) 68f5b1c8a1SJohn Marino { 69f5b1c8a1SJohn Marino memset(cbb, 0, sizeof(*cbb)); 70f5b1c8a1SJohn Marino 71f5b1c8a1SJohn Marino if (!cbb_init(cbb, buf, len)) 72f5b1c8a1SJohn Marino return 0; 73f5b1c8a1SJohn Marino 74f5b1c8a1SJohn Marino cbb->base->can_resize = 0; 75f5b1c8a1SJohn Marino 76f5b1c8a1SJohn Marino return 1; 77f5b1c8a1SJohn Marino } 78f5b1c8a1SJohn Marino 79f5b1c8a1SJohn Marino void 80f5b1c8a1SJohn Marino CBB_cleanup(CBB *cbb) 81f5b1c8a1SJohn Marino { 82f5b1c8a1SJohn Marino if (cbb->base) { 83f5b1c8a1SJohn Marino if (cbb->base->can_resize) 8472c33676SMaxim Ag freezero(cbb->base->buf, cbb->base->cap); 85f5b1c8a1SJohn Marino free(cbb->base); 86f5b1c8a1SJohn Marino } 87f5b1c8a1SJohn Marino cbb->base = NULL; 8872c33676SMaxim Ag cbb->child = NULL; 89f5b1c8a1SJohn Marino } 90f5b1c8a1SJohn Marino 91f5b1c8a1SJohn Marino static int 92f5b1c8a1SJohn Marino cbb_buffer_add(struct cbb_buffer_st *base, uint8_t **out, size_t len) 93f5b1c8a1SJohn Marino { 94f5b1c8a1SJohn Marino size_t newlen; 95f5b1c8a1SJohn Marino 96f5b1c8a1SJohn Marino if (base == NULL) 97f5b1c8a1SJohn Marino return 0; 98f5b1c8a1SJohn Marino 99f5b1c8a1SJohn Marino newlen = base->len + len; 100f5b1c8a1SJohn Marino if (newlen < base->len) 101f5b1c8a1SJohn Marino /* Overflow */ 102f5b1c8a1SJohn Marino return 0; 103f5b1c8a1SJohn Marino 104f5b1c8a1SJohn Marino if (newlen > base->cap) { 105f5b1c8a1SJohn Marino size_t newcap = base->cap * 2; 106f5b1c8a1SJohn Marino uint8_t *newbuf; 107f5b1c8a1SJohn Marino 108f5b1c8a1SJohn Marino if (!base->can_resize) 109f5b1c8a1SJohn Marino return 0; 110f5b1c8a1SJohn Marino 111f5b1c8a1SJohn Marino if (newcap < base->cap || newcap < newlen) 112f5b1c8a1SJohn Marino newcap = newlen; 113f5b1c8a1SJohn Marino 11472c33676SMaxim Ag newbuf = recallocarray(base->buf, base->cap, newcap, 1); 115f5b1c8a1SJohn Marino if (newbuf == NULL) 116f5b1c8a1SJohn Marino return 0; 117f5b1c8a1SJohn Marino 118f5b1c8a1SJohn Marino base->buf = newbuf; 119f5b1c8a1SJohn Marino base->cap = newcap; 120f5b1c8a1SJohn Marino } 121f5b1c8a1SJohn Marino 122f5b1c8a1SJohn Marino if (out) 123f5b1c8a1SJohn Marino *out = base->buf + base->len; 124f5b1c8a1SJohn Marino 125f5b1c8a1SJohn Marino base->len = newlen; 126f5b1c8a1SJohn Marino return 1; 127f5b1c8a1SJohn Marino } 128f5b1c8a1SJohn Marino 129f5b1c8a1SJohn Marino static int 130f5b1c8a1SJohn Marino cbb_add_u(CBB *cbb, uint32_t v, size_t len_len) 131f5b1c8a1SJohn Marino { 132f5b1c8a1SJohn Marino uint8_t *buf; 133f5b1c8a1SJohn Marino size_t i; 134f5b1c8a1SJohn Marino 135f5b1c8a1SJohn Marino if (len_len == 0) 136f5b1c8a1SJohn Marino return 1; 137f5b1c8a1SJohn Marino 138f5b1c8a1SJohn Marino if (len_len > 4) 139f5b1c8a1SJohn Marino return 0; 140f5b1c8a1SJohn Marino 141f5b1c8a1SJohn Marino if (!CBB_flush(cbb) || !cbb_buffer_add(cbb->base, &buf, len_len)) 142f5b1c8a1SJohn Marino return 0; 143f5b1c8a1SJohn Marino 144f5b1c8a1SJohn Marino for (i = len_len - 1; i < len_len; i--) { 145f5b1c8a1SJohn Marino buf[i] = v; 146f5b1c8a1SJohn Marino v >>= 8; 147f5b1c8a1SJohn Marino } 148f5b1c8a1SJohn Marino return 1; 149f5b1c8a1SJohn Marino } 150f5b1c8a1SJohn Marino 151f5b1c8a1SJohn Marino int 152f5b1c8a1SJohn Marino CBB_finish(CBB *cbb, uint8_t **out_data, size_t *out_len) 153f5b1c8a1SJohn Marino { 154f5b1c8a1SJohn Marino if (!cbb->is_top_level) 155f5b1c8a1SJohn Marino return 0; 156f5b1c8a1SJohn Marino 157f5b1c8a1SJohn Marino if (!CBB_flush(cbb)) 158f5b1c8a1SJohn Marino return 0; 159f5b1c8a1SJohn Marino 160f5b1c8a1SJohn Marino if (cbb->base->can_resize && (out_data == NULL || out_len == NULL)) 161f5b1c8a1SJohn Marino /* 162f5b1c8a1SJohn Marino * |out_data| and |out_len| can only be NULL if the CBB is 163f5b1c8a1SJohn Marino * fixed. 164f5b1c8a1SJohn Marino */ 165f5b1c8a1SJohn Marino return 0; 166f5b1c8a1SJohn Marino 167f5b1c8a1SJohn Marino if (out_data != NULL) 168f5b1c8a1SJohn Marino *out_data = cbb->base->buf; 169f5b1c8a1SJohn Marino 170f5b1c8a1SJohn Marino if (out_len != NULL) 171f5b1c8a1SJohn Marino *out_len = cbb->base->len; 172f5b1c8a1SJohn Marino 173f5b1c8a1SJohn Marino cbb->base->buf = NULL; 174f5b1c8a1SJohn Marino CBB_cleanup(cbb); 175f5b1c8a1SJohn Marino return 1; 176f5b1c8a1SJohn Marino } 177f5b1c8a1SJohn Marino 178f5b1c8a1SJohn Marino /* 179f5b1c8a1SJohn Marino * CBB_flush recurses and then writes out any pending length prefix. The current 180f5b1c8a1SJohn Marino * length of the underlying base is taken to be the length of the 181f5b1c8a1SJohn Marino * length-prefixed data. 182f5b1c8a1SJohn Marino */ 183f5b1c8a1SJohn Marino int 184f5b1c8a1SJohn Marino CBB_flush(CBB *cbb) 185f5b1c8a1SJohn Marino { 186f5b1c8a1SJohn Marino size_t child_start, i, len; 187f5b1c8a1SJohn Marino 188f5b1c8a1SJohn Marino if (cbb->base == NULL) 189f5b1c8a1SJohn Marino return 0; 190f5b1c8a1SJohn Marino 191f5b1c8a1SJohn Marino if (cbb->child == NULL || cbb->pending_len_len == 0) 192f5b1c8a1SJohn Marino return 1; 193f5b1c8a1SJohn Marino 194f5b1c8a1SJohn Marino child_start = cbb->offset + cbb->pending_len_len; 195f5b1c8a1SJohn Marino 196f5b1c8a1SJohn Marino if (!CBB_flush(cbb->child) || child_start < cbb->offset || 197f5b1c8a1SJohn Marino cbb->base->len < child_start) 198f5b1c8a1SJohn Marino return 0; 199f5b1c8a1SJohn Marino 200f5b1c8a1SJohn Marino len = cbb->base->len - child_start; 201f5b1c8a1SJohn Marino 202f5b1c8a1SJohn Marino if (cbb->pending_is_asn1) { 203f5b1c8a1SJohn Marino /* 204f5b1c8a1SJohn Marino * For ASN.1, we assumed that we were using short form which 205f5b1c8a1SJohn Marino * only requires a single byte for the length octet. 206f5b1c8a1SJohn Marino * 207f5b1c8a1SJohn Marino * If it turns out that we need long form, we have to move 208f5b1c8a1SJohn Marino * the contents along in order to make space for more length 209f5b1c8a1SJohn Marino * octets. 210f5b1c8a1SJohn Marino */ 211f5b1c8a1SJohn Marino size_t len_len = 1; /* total number of length octets */ 212f5b1c8a1SJohn Marino uint8_t initial_length_byte; 213f5b1c8a1SJohn Marino 214f5b1c8a1SJohn Marino /* We already wrote 1 byte for the length. */ 21572c33676SMaxim Ag if (cbb->pending_len_len != 1) 21672c33676SMaxim Ag return 0; 217f5b1c8a1SJohn Marino 218f5b1c8a1SJohn Marino /* Check for long form */ 219f5b1c8a1SJohn Marino if (len > 0xfffffffe) 220f5b1c8a1SJohn Marino return 0; /* 0xffffffff is reserved */ 221f5b1c8a1SJohn Marino else if (len > 0xffffff) 222f5b1c8a1SJohn Marino len_len = 5; 223f5b1c8a1SJohn Marino else if (len > 0xffff) 224f5b1c8a1SJohn Marino len_len = 4; 225f5b1c8a1SJohn Marino else if (len > 0xff) 226f5b1c8a1SJohn Marino len_len = 3; 227f5b1c8a1SJohn Marino else if (len > 0x7f) 228f5b1c8a1SJohn Marino len_len = 2; 229f5b1c8a1SJohn Marino 230f5b1c8a1SJohn Marino if (len_len == 1) { 231f5b1c8a1SJohn Marino /* For short form, the initial byte is the length. */ 232f5b1c8a1SJohn Marino initial_length_byte = len; 233f5b1c8a1SJohn Marino len = 0; 234f5b1c8a1SJohn Marino 235f5b1c8a1SJohn Marino } else { 236f5b1c8a1SJohn Marino /* 237f5b1c8a1SJohn Marino * For long form, the initial byte is the number of 238f5b1c8a1SJohn Marino * subsequent length octets (plus bit 8 set). 239f5b1c8a1SJohn Marino */ 240f5b1c8a1SJohn Marino initial_length_byte = 0x80 | (len_len - 1); 241f5b1c8a1SJohn Marino 242f5b1c8a1SJohn Marino /* 243f5b1c8a1SJohn Marino * We need to move the contents along in order to make 244f5b1c8a1SJohn Marino * space for the long form length octets. 245f5b1c8a1SJohn Marino */ 246f5b1c8a1SJohn Marino size_t extra_bytes = len_len - 1; 247f5b1c8a1SJohn Marino if (!cbb_buffer_add(cbb->base, NULL, extra_bytes)) 248f5b1c8a1SJohn Marino return 0; 249f5b1c8a1SJohn Marino 250f5b1c8a1SJohn Marino memmove(cbb->base->buf + child_start + extra_bytes, 251f5b1c8a1SJohn Marino cbb->base->buf + child_start, len); 252f5b1c8a1SJohn Marino } 253f5b1c8a1SJohn Marino cbb->base->buf[cbb->offset++] = initial_length_byte; 254f5b1c8a1SJohn Marino cbb->pending_len_len = len_len - 1; 255f5b1c8a1SJohn Marino } 256f5b1c8a1SJohn Marino 257f5b1c8a1SJohn Marino for (i = cbb->pending_len_len - 1; i < cbb->pending_len_len; i--) { 258f5b1c8a1SJohn Marino cbb->base->buf[cbb->offset + i] = len; 259f5b1c8a1SJohn Marino len >>= 8; 260f5b1c8a1SJohn Marino } 261f5b1c8a1SJohn Marino if (len != 0) 262f5b1c8a1SJohn Marino return 0; 263f5b1c8a1SJohn Marino 264f5b1c8a1SJohn Marino cbb->child->base = NULL; 265f5b1c8a1SJohn Marino cbb->child = NULL; 266f5b1c8a1SJohn Marino cbb->pending_len_len = 0; 267f5b1c8a1SJohn Marino cbb->pending_is_asn1 = 0; 268f5b1c8a1SJohn Marino cbb->offset = 0; 269f5b1c8a1SJohn Marino 270f5b1c8a1SJohn Marino return 1; 271f5b1c8a1SJohn Marino } 272f5b1c8a1SJohn Marino 27372c33676SMaxim Ag void 27472c33676SMaxim Ag CBB_discard_child(CBB *cbb) 27572c33676SMaxim Ag { 27672c33676SMaxim Ag if (cbb->child == NULL) 27772c33676SMaxim Ag return; 27872c33676SMaxim Ag 27972c33676SMaxim Ag cbb->base->len = cbb->offset; 28072c33676SMaxim Ag 28172c33676SMaxim Ag cbb->child->base = NULL; 28272c33676SMaxim Ag cbb->child = NULL; 28372c33676SMaxim Ag cbb->pending_len_len = 0; 28472c33676SMaxim Ag cbb->pending_is_asn1 = 0; 28572c33676SMaxim Ag cbb->offset = 0; 28672c33676SMaxim Ag } 287f5b1c8a1SJohn Marino 288f5b1c8a1SJohn Marino static int 289f5b1c8a1SJohn Marino cbb_add_length_prefixed(CBB *cbb, CBB *out_contents, size_t len_len) 290f5b1c8a1SJohn Marino { 291f5b1c8a1SJohn Marino uint8_t *prefix_bytes; 292f5b1c8a1SJohn Marino 293f5b1c8a1SJohn Marino if (!CBB_flush(cbb)) 294f5b1c8a1SJohn Marino return 0; 295f5b1c8a1SJohn Marino 296f5b1c8a1SJohn Marino cbb->offset = cbb->base->len; 297f5b1c8a1SJohn Marino if (!cbb_buffer_add(cbb->base, &prefix_bytes, len_len)) 298f5b1c8a1SJohn Marino return 0; 299f5b1c8a1SJohn Marino 300f5b1c8a1SJohn Marino memset(prefix_bytes, 0, len_len); 301f5b1c8a1SJohn Marino memset(out_contents, 0, sizeof(CBB)); 302f5b1c8a1SJohn Marino out_contents->base = cbb->base; 303f5b1c8a1SJohn Marino cbb->child = out_contents; 304f5b1c8a1SJohn Marino cbb->pending_len_len = len_len; 305f5b1c8a1SJohn Marino cbb->pending_is_asn1 = 0; 306f5b1c8a1SJohn Marino 307f5b1c8a1SJohn Marino return 1; 308f5b1c8a1SJohn Marino } 309f5b1c8a1SJohn Marino 310f5b1c8a1SJohn Marino int 311f5b1c8a1SJohn Marino CBB_add_u8_length_prefixed(CBB *cbb, CBB *out_contents) 312f5b1c8a1SJohn Marino { 313f5b1c8a1SJohn Marino return cbb_add_length_prefixed(cbb, out_contents, 1); 314f5b1c8a1SJohn Marino } 315f5b1c8a1SJohn Marino 316f5b1c8a1SJohn Marino int 317f5b1c8a1SJohn Marino CBB_add_u16_length_prefixed(CBB *cbb, CBB *out_contents) 318f5b1c8a1SJohn Marino { 319f5b1c8a1SJohn Marino return cbb_add_length_prefixed(cbb, out_contents, 2); 320f5b1c8a1SJohn Marino } 321f5b1c8a1SJohn Marino 322f5b1c8a1SJohn Marino int 323f5b1c8a1SJohn Marino CBB_add_u24_length_prefixed(CBB *cbb, CBB *out_contents) 324f5b1c8a1SJohn Marino { 325f5b1c8a1SJohn Marino return cbb_add_length_prefixed(cbb, out_contents, 3); 326f5b1c8a1SJohn Marino } 327f5b1c8a1SJohn Marino 328f5b1c8a1SJohn Marino int 329f5b1c8a1SJohn Marino CBB_add_asn1(CBB *cbb, CBB *out_contents, unsigned int tag) 330f5b1c8a1SJohn Marino { 331f5b1c8a1SJohn Marino if (tag > UINT8_MAX) 332f5b1c8a1SJohn Marino return 0; 333f5b1c8a1SJohn Marino 334f5b1c8a1SJohn Marino /* Long form identifier octets are not supported. */ 335f5b1c8a1SJohn Marino if ((tag & 0x1f) == 0x1f) 336f5b1c8a1SJohn Marino return 0; 337f5b1c8a1SJohn Marino 338f5b1c8a1SJohn Marino /* Short-form identifier octet only needs a single byte */ 339f5b1c8a1SJohn Marino if (!CBB_flush(cbb) || !CBB_add_u8(cbb, tag)) 340f5b1c8a1SJohn Marino return 0; 341f5b1c8a1SJohn Marino 342f5b1c8a1SJohn Marino /* 343f5b1c8a1SJohn Marino * Add 1 byte to cover the short-form length octet case. If it turns 344f5b1c8a1SJohn Marino * out we need long-form, it will be extended later. 345f5b1c8a1SJohn Marino */ 346f5b1c8a1SJohn Marino cbb->offset = cbb->base->len; 347f5b1c8a1SJohn Marino if (!CBB_add_u8(cbb, 0)) 348f5b1c8a1SJohn Marino return 0; 349f5b1c8a1SJohn Marino 350f5b1c8a1SJohn Marino memset(out_contents, 0, sizeof(CBB)); 351f5b1c8a1SJohn Marino out_contents->base = cbb->base; 352f5b1c8a1SJohn Marino cbb->child = out_contents; 353f5b1c8a1SJohn Marino cbb->pending_len_len = 1; 354f5b1c8a1SJohn Marino cbb->pending_is_asn1 = 1; 355f5b1c8a1SJohn Marino 356f5b1c8a1SJohn Marino return 1; 357f5b1c8a1SJohn Marino } 358f5b1c8a1SJohn Marino 359f5b1c8a1SJohn Marino int 360f5b1c8a1SJohn Marino CBB_add_bytes(CBB *cbb, const uint8_t *data, size_t len) 361f5b1c8a1SJohn Marino { 362f5b1c8a1SJohn Marino uint8_t *dest; 363f5b1c8a1SJohn Marino 364*8edacedfSDaniel Fojt if (!CBB_flush(cbb) || !cbb_buffer_add(cbb->base, &dest, len)) 365f5b1c8a1SJohn Marino return 0; 366f5b1c8a1SJohn Marino 367f5b1c8a1SJohn Marino memcpy(dest, data, len); 368f5b1c8a1SJohn Marino return 1; 369f5b1c8a1SJohn Marino } 370f5b1c8a1SJohn Marino 371f5b1c8a1SJohn Marino int 372f5b1c8a1SJohn Marino CBB_add_space(CBB *cbb, uint8_t **out_data, size_t len) 373f5b1c8a1SJohn Marino { 374f5b1c8a1SJohn Marino if (!CBB_flush(cbb) || !cbb_buffer_add(cbb->base, out_data, len)) 375f5b1c8a1SJohn Marino return 0; 376f5b1c8a1SJohn Marino 377cca6fc52SDaniel Fojt memset(*out_data, 0, len); 378f5b1c8a1SJohn Marino return 1; 379f5b1c8a1SJohn Marino } 380f5b1c8a1SJohn Marino 381f5b1c8a1SJohn Marino int 382f5b1c8a1SJohn Marino CBB_add_u8(CBB *cbb, size_t value) 383f5b1c8a1SJohn Marino { 384f5b1c8a1SJohn Marino if (value > UINT8_MAX) 385f5b1c8a1SJohn Marino return 0; 386f5b1c8a1SJohn Marino 387f5b1c8a1SJohn Marino return cbb_add_u(cbb, (uint32_t)value, 1); 388f5b1c8a1SJohn Marino } 389f5b1c8a1SJohn Marino 390f5b1c8a1SJohn Marino int 391f5b1c8a1SJohn Marino CBB_add_u16(CBB *cbb, size_t value) 392f5b1c8a1SJohn Marino { 393f5b1c8a1SJohn Marino if (value > UINT16_MAX) 394f5b1c8a1SJohn Marino return 0; 395f5b1c8a1SJohn Marino 396f5b1c8a1SJohn Marino return cbb_add_u(cbb, (uint32_t)value, 2); 397f5b1c8a1SJohn Marino } 398f5b1c8a1SJohn Marino 399f5b1c8a1SJohn Marino int 400f5b1c8a1SJohn Marino CBB_add_u24(CBB *cbb, size_t value) 401f5b1c8a1SJohn Marino { 402f5b1c8a1SJohn Marino if (value > 0xffffffUL) 403f5b1c8a1SJohn Marino return 0; 404f5b1c8a1SJohn Marino 405f5b1c8a1SJohn Marino return cbb_add_u(cbb, (uint32_t)value, 3); 406f5b1c8a1SJohn Marino } 407f5b1c8a1SJohn Marino 408f5b1c8a1SJohn Marino int 40972c33676SMaxim Ag CBB_add_u32(CBB *cbb, size_t value) 41072c33676SMaxim Ag { 41172c33676SMaxim Ag if (value > 0xffffffffUL) 41272c33676SMaxim Ag return 0; 41372c33676SMaxim Ag 41472c33676SMaxim Ag return cbb_add_u(cbb, (uint32_t)value, 4); 41572c33676SMaxim Ag } 41672c33676SMaxim Ag 41772c33676SMaxim Ag int 418f5b1c8a1SJohn Marino CBB_add_asn1_uint64(CBB *cbb, uint64_t value) 419f5b1c8a1SJohn Marino { 420f5b1c8a1SJohn Marino CBB child; 421f5b1c8a1SJohn Marino size_t i; 422f5b1c8a1SJohn Marino int started = 0; 423f5b1c8a1SJohn Marino 424f5b1c8a1SJohn Marino if (!CBB_add_asn1(cbb, &child, CBS_ASN1_INTEGER)) 425f5b1c8a1SJohn Marino return 0; 426f5b1c8a1SJohn Marino 427f5b1c8a1SJohn Marino for (i = 0; i < 8; i++) { 428f5b1c8a1SJohn Marino uint8_t byte = (value >> 8 * (7 - i)) & 0xff; 429f5b1c8a1SJohn Marino 430f5b1c8a1SJohn Marino /* 431f5b1c8a1SJohn Marino * ASN.1 restriction: first 9 bits cannot be all zeroes or 432f5b1c8a1SJohn Marino * all ones. Since this function only encodes unsigned 433f5b1c8a1SJohn Marino * integers, the only concerns are not encoding leading 434f5b1c8a1SJohn Marino * zeros and adding a padding byte if necessary. 435f5b1c8a1SJohn Marino * 436f5b1c8a1SJohn Marino * In practice, this means: 437f5b1c8a1SJohn Marino * 1) Skip leading octets of all zero bits in the value 438f5b1c8a1SJohn Marino * 2) After skipping the leading zero octets, if the next 9 439f5b1c8a1SJohn Marino * bits are all ones, add an all zero prefix octet (and 440f5b1c8a1SJohn Marino * set the high bit of the prefix octet if negative). 441f5b1c8a1SJohn Marino * 442f5b1c8a1SJohn Marino * Additionally, for an unsigned value, add an all zero 443f5b1c8a1SJohn Marino * prefix if the high bit of the first octet would be one. 444f5b1c8a1SJohn Marino */ 445f5b1c8a1SJohn Marino if (!started) { 446f5b1c8a1SJohn Marino if (byte == 0) 447f5b1c8a1SJohn Marino /* Don't encode leading zeros. */ 448f5b1c8a1SJohn Marino continue; 449f5b1c8a1SJohn Marino 450f5b1c8a1SJohn Marino /* 451f5b1c8a1SJohn Marino * If the high bit is set, add a padding byte to make it 452f5b1c8a1SJohn Marino * unsigned. 453f5b1c8a1SJohn Marino */ 454f5b1c8a1SJohn Marino if ((byte & 0x80) && !CBB_add_u8(&child, 0)) 455f5b1c8a1SJohn Marino return 0; 456f5b1c8a1SJohn Marino 457f5b1c8a1SJohn Marino started = 1; 458f5b1c8a1SJohn Marino } 459f5b1c8a1SJohn Marino if (!CBB_add_u8(&child, byte)) 460f5b1c8a1SJohn Marino return 0; 461f5b1c8a1SJohn Marino } 462f5b1c8a1SJohn Marino 463f5b1c8a1SJohn Marino /* 0 is encoded as a single 0, not the empty string. */ 464f5b1c8a1SJohn Marino if (!started && !CBB_add_u8(&child, 0)) 465f5b1c8a1SJohn Marino return 0; 466f5b1c8a1SJohn Marino 467f5b1c8a1SJohn Marino return CBB_flush(cbb); 468f5b1c8a1SJohn Marino } 469