xref: /freebsd/crypto/openssl/crypto/der_writer.c (revision b077aed3)
1*b077aed3SPierre Pronchery /*
2*b077aed3SPierre Pronchery  * Copyright 2020-2022 The OpenSSL Project Authors. All Rights Reserved.
3*b077aed3SPierre Pronchery  *
4*b077aed3SPierre Pronchery  * Licensed under the Apache License 2.0 (the "License").  You may not use
5*b077aed3SPierre Pronchery  * this file except in compliance with the License.  You can obtain a copy
6*b077aed3SPierre Pronchery  * in the file LICENSE in the source distribution or at
7*b077aed3SPierre Pronchery  * https://www.openssl.org/source/license.html
8*b077aed3SPierre Pronchery  */
9*b077aed3SPierre Pronchery 
10*b077aed3SPierre Pronchery #include <stdlib.h>
11*b077aed3SPierre Pronchery #include <string.h>
12*b077aed3SPierre Pronchery #include "internal/cryptlib.h"
13*b077aed3SPierre Pronchery #include "internal/der.h"
14*b077aed3SPierre Pronchery #include "crypto/bn.h"
15*b077aed3SPierre Pronchery 
int_start_context(WPACKET * pkt,int tag)16*b077aed3SPierre Pronchery static int int_start_context(WPACKET *pkt, int tag)
17*b077aed3SPierre Pronchery {
18*b077aed3SPierre Pronchery     if (tag < 0)
19*b077aed3SPierre Pronchery         return 1;
20*b077aed3SPierre Pronchery     if (!ossl_assert(tag <= 30))
21*b077aed3SPierre Pronchery         return 0;
22*b077aed3SPierre Pronchery     return WPACKET_start_sub_packet(pkt);
23*b077aed3SPierre Pronchery }
24*b077aed3SPierre Pronchery 
int_end_context(WPACKET * pkt,int tag)25*b077aed3SPierre Pronchery static int int_end_context(WPACKET *pkt, int tag)
26*b077aed3SPierre Pronchery {
27*b077aed3SPierre Pronchery     /*
28*b077aed3SPierre Pronchery      * If someone set the flag WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH on this
29*b077aed3SPierre Pronchery      * sub-packet and this sub-packet has nothing written to it, the DER length
30*b077aed3SPierre Pronchery      * will not be written, and the total written size will be unchanged before
31*b077aed3SPierre Pronchery      * and after WPACKET_close().  We use size1 and size2 to determine if
32*b077aed3SPierre Pronchery      * anything was written, and only write our tag if it has.
33*b077aed3SPierre Pronchery      *
34*b077aed3SPierre Pronchery      */
35*b077aed3SPierre Pronchery     size_t size1, size2;
36*b077aed3SPierre Pronchery 
37*b077aed3SPierre Pronchery     if (tag < 0)
38*b077aed3SPierre Pronchery         return 1;
39*b077aed3SPierre Pronchery     if (!ossl_assert(tag <= 30))
40*b077aed3SPierre Pronchery         return 0;
41*b077aed3SPierre Pronchery 
42*b077aed3SPierre Pronchery     /* Context specific are normally (?) constructed */
43*b077aed3SPierre Pronchery     tag |= DER_F_CONSTRUCTED | DER_C_CONTEXT;
44*b077aed3SPierre Pronchery 
45*b077aed3SPierre Pronchery     return WPACKET_get_total_written(pkt, &size1)
46*b077aed3SPierre Pronchery         && WPACKET_close(pkt)
47*b077aed3SPierre Pronchery         && WPACKET_get_total_written(pkt, &size2)
48*b077aed3SPierre Pronchery         && (size1 == size2 || WPACKET_put_bytes_u8(pkt, tag));
49*b077aed3SPierre Pronchery }
50*b077aed3SPierre Pronchery 
ossl_DER_w_precompiled(WPACKET * pkt,int tag,const unsigned char * precompiled,size_t precompiled_n)51*b077aed3SPierre Pronchery int ossl_DER_w_precompiled(WPACKET *pkt, int tag,
52*b077aed3SPierre Pronchery                            const unsigned char *precompiled,
53*b077aed3SPierre Pronchery                            size_t precompiled_n)
54*b077aed3SPierre Pronchery {
55*b077aed3SPierre Pronchery     return int_start_context(pkt, tag)
56*b077aed3SPierre Pronchery         && WPACKET_memcpy(pkt, precompiled, precompiled_n)
57*b077aed3SPierre Pronchery         && int_end_context(pkt, tag);
58*b077aed3SPierre Pronchery }
59*b077aed3SPierre Pronchery 
ossl_DER_w_boolean(WPACKET * pkt,int tag,int b)60*b077aed3SPierre Pronchery int ossl_DER_w_boolean(WPACKET *pkt, int tag, int b)
61*b077aed3SPierre Pronchery {
62*b077aed3SPierre Pronchery     return int_start_context(pkt, tag)
63*b077aed3SPierre Pronchery         && WPACKET_start_sub_packet(pkt)
64*b077aed3SPierre Pronchery         && (!b || WPACKET_put_bytes_u8(pkt, 0xFF))
65*b077aed3SPierre Pronchery         && !WPACKET_close(pkt)
66*b077aed3SPierre Pronchery         && !WPACKET_put_bytes_u8(pkt, DER_P_BOOLEAN)
67*b077aed3SPierre Pronchery         && int_end_context(pkt, tag);
68*b077aed3SPierre Pronchery }
69*b077aed3SPierre Pronchery 
ossl_DER_w_octet_string(WPACKET * pkt,int tag,const unsigned char * data,size_t data_n)70*b077aed3SPierre Pronchery int ossl_DER_w_octet_string(WPACKET *pkt, int tag,
71*b077aed3SPierre Pronchery                             const unsigned char *data, size_t data_n)
72*b077aed3SPierre Pronchery {
73*b077aed3SPierre Pronchery     return int_start_context(pkt, tag)
74*b077aed3SPierre Pronchery         && WPACKET_start_sub_packet(pkt)
75*b077aed3SPierre Pronchery         && WPACKET_memcpy(pkt, data, data_n)
76*b077aed3SPierre Pronchery         && WPACKET_close(pkt)
77*b077aed3SPierre Pronchery         && WPACKET_put_bytes_u8(pkt, DER_P_OCTET_STRING)
78*b077aed3SPierre Pronchery         && int_end_context(pkt, tag);
79*b077aed3SPierre Pronchery }
80*b077aed3SPierre Pronchery 
ossl_DER_w_octet_string_uint32(WPACKET * pkt,int tag,uint32_t value)81*b077aed3SPierre Pronchery int ossl_DER_w_octet_string_uint32(WPACKET *pkt, int tag, uint32_t value)
82*b077aed3SPierre Pronchery {
83*b077aed3SPierre Pronchery     unsigned char tmp[4] = { 0, 0, 0, 0 };
84*b077aed3SPierre Pronchery     unsigned char *pbuf = tmp + (sizeof(tmp) - 1);
85*b077aed3SPierre Pronchery 
86*b077aed3SPierre Pronchery     while (value > 0) {
87*b077aed3SPierre Pronchery         *pbuf-- = (value & 0xFF);
88*b077aed3SPierre Pronchery         value >>= 8;
89*b077aed3SPierre Pronchery     }
90*b077aed3SPierre Pronchery     return ossl_DER_w_octet_string(pkt, tag, tmp, sizeof(tmp));
91*b077aed3SPierre Pronchery }
92*b077aed3SPierre Pronchery 
int_der_w_integer(WPACKET * pkt,int tag,int (* put_bytes)(WPACKET * pkt,const void * v,unsigned int * top_byte),const void * v)93*b077aed3SPierre Pronchery static int int_der_w_integer(WPACKET *pkt, int tag,
94*b077aed3SPierre Pronchery                              int (*put_bytes)(WPACKET *pkt, const void *v,
95*b077aed3SPierre Pronchery                                               unsigned int *top_byte),
96*b077aed3SPierre Pronchery                              const void *v)
97*b077aed3SPierre Pronchery {
98*b077aed3SPierre Pronchery     unsigned int top_byte = 0;
99*b077aed3SPierre Pronchery 
100*b077aed3SPierre Pronchery     return int_start_context(pkt, tag)
101*b077aed3SPierre Pronchery         && WPACKET_start_sub_packet(pkt)
102*b077aed3SPierre Pronchery         && put_bytes(pkt, v, &top_byte)
103*b077aed3SPierre Pronchery         && ((top_byte & 0x80) == 0 || WPACKET_put_bytes_u8(pkt, 0))
104*b077aed3SPierre Pronchery         && WPACKET_close(pkt)
105*b077aed3SPierre Pronchery         && WPACKET_put_bytes_u8(pkt, DER_P_INTEGER)
106*b077aed3SPierre Pronchery         && int_end_context(pkt, tag);
107*b077aed3SPierre Pronchery }
108*b077aed3SPierre Pronchery 
int_put_bytes_uint32(WPACKET * pkt,const void * v,unsigned int * top_byte)109*b077aed3SPierre Pronchery static int int_put_bytes_uint32(WPACKET *pkt, const void *v,
110*b077aed3SPierre Pronchery                                unsigned int *top_byte)
111*b077aed3SPierre Pronchery {
112*b077aed3SPierre Pronchery     const uint32_t *value = v;
113*b077aed3SPierre Pronchery     uint32_t tmp = *value;
114*b077aed3SPierre Pronchery     size_t n = 0;
115*b077aed3SPierre Pronchery 
116*b077aed3SPierre Pronchery     while (tmp != 0) {
117*b077aed3SPierre Pronchery         n++;
118*b077aed3SPierre Pronchery         *top_byte = (tmp & 0xFF);
119*b077aed3SPierre Pronchery         tmp >>= 8;
120*b077aed3SPierre Pronchery     }
121*b077aed3SPierre Pronchery     if (n == 0)
122*b077aed3SPierre Pronchery         n = 1;
123*b077aed3SPierre Pronchery 
124*b077aed3SPierre Pronchery     return WPACKET_put_bytes__(pkt, *value, n);
125*b077aed3SPierre Pronchery }
126*b077aed3SPierre Pronchery 
127*b077aed3SPierre Pronchery /* For integers, we only support unsigned values for now */
ossl_DER_w_uint32(WPACKET * pkt,int tag,uint32_t v)128*b077aed3SPierre Pronchery int ossl_DER_w_uint32(WPACKET *pkt, int tag, uint32_t v)
129*b077aed3SPierre Pronchery {
130*b077aed3SPierre Pronchery     return int_der_w_integer(pkt, tag, int_put_bytes_uint32, &v);
131*b077aed3SPierre Pronchery }
132*b077aed3SPierre Pronchery 
int_put_bytes_bn(WPACKET * pkt,const void * v,unsigned int * top_byte)133*b077aed3SPierre Pronchery static int int_put_bytes_bn(WPACKET *pkt, const void *v,
134*b077aed3SPierre Pronchery                             unsigned int *top_byte)
135*b077aed3SPierre Pronchery {
136*b077aed3SPierre Pronchery     unsigned char *p = NULL;
137*b077aed3SPierre Pronchery     size_t n = BN_num_bytes(v);
138*b077aed3SPierre Pronchery 
139*b077aed3SPierre Pronchery     /* The BIGNUM limbs are in LE order */
140*b077aed3SPierre Pronchery     *top_byte =
141*b077aed3SPierre Pronchery         ((bn_get_words(v) [(n - 1) / BN_BYTES]) >> (8 * ((n - 1) % BN_BYTES)))
142*b077aed3SPierre Pronchery         & 0xFF;
143*b077aed3SPierre Pronchery 
144*b077aed3SPierre Pronchery     if (!WPACKET_allocate_bytes(pkt, n, &p))
145*b077aed3SPierre Pronchery         return 0;
146*b077aed3SPierre Pronchery     if (p != NULL)
147*b077aed3SPierre Pronchery         BN_bn2bin(v, p);
148*b077aed3SPierre Pronchery     return 1;
149*b077aed3SPierre Pronchery }
150*b077aed3SPierre Pronchery 
ossl_DER_w_bn(WPACKET * pkt,int tag,const BIGNUM * v)151*b077aed3SPierre Pronchery int ossl_DER_w_bn(WPACKET *pkt, int tag, const BIGNUM *v)
152*b077aed3SPierre Pronchery {
153*b077aed3SPierre Pronchery     if (v == NULL || BN_is_negative(v))
154*b077aed3SPierre Pronchery         return 0;
155*b077aed3SPierre Pronchery     if (BN_is_zero(v))
156*b077aed3SPierre Pronchery         return ossl_DER_w_uint32(pkt, tag, 0);
157*b077aed3SPierre Pronchery 
158*b077aed3SPierre Pronchery     return int_der_w_integer(pkt, tag, int_put_bytes_bn, v);
159*b077aed3SPierre Pronchery }
160*b077aed3SPierre Pronchery 
ossl_DER_w_null(WPACKET * pkt,int tag)161*b077aed3SPierre Pronchery int ossl_DER_w_null(WPACKET *pkt, int tag)
162*b077aed3SPierre Pronchery {
163*b077aed3SPierre Pronchery     return int_start_context(pkt, tag)
164*b077aed3SPierre Pronchery         && WPACKET_start_sub_packet(pkt)
165*b077aed3SPierre Pronchery         && WPACKET_close(pkt)
166*b077aed3SPierre Pronchery         && WPACKET_put_bytes_u8(pkt, DER_P_NULL)
167*b077aed3SPierre Pronchery         && int_end_context(pkt, tag);
168*b077aed3SPierre Pronchery }
169*b077aed3SPierre Pronchery 
170*b077aed3SPierre Pronchery /* Constructed things need a start and an end */
ossl_DER_w_begin_sequence(WPACKET * pkt,int tag)171*b077aed3SPierre Pronchery int ossl_DER_w_begin_sequence(WPACKET *pkt, int tag)
172*b077aed3SPierre Pronchery {
173*b077aed3SPierre Pronchery     return int_start_context(pkt, tag)
174*b077aed3SPierre Pronchery         && WPACKET_start_sub_packet(pkt);
175*b077aed3SPierre Pronchery }
176*b077aed3SPierre Pronchery 
ossl_DER_w_end_sequence(WPACKET * pkt,int tag)177*b077aed3SPierre Pronchery int ossl_DER_w_end_sequence(WPACKET *pkt, int tag)
178*b077aed3SPierre Pronchery {
179*b077aed3SPierre Pronchery     /*
180*b077aed3SPierre Pronchery      * If someone set the flag WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH on this
181*b077aed3SPierre Pronchery      * sub-packet and this sub-packet has nothing written to it, the DER length
182*b077aed3SPierre Pronchery      * will not be written, and the total written size will be unchanged before
183*b077aed3SPierre Pronchery      * and after WPACKET_close().  We use size1 and size2 to determine if
184*b077aed3SPierre Pronchery      * anything was written, and only write our tag if it has.
185*b077aed3SPierre Pronchery      *
186*b077aed3SPierre Pronchery      * Because we know that int_end_context() needs to do the same check,
187*b077aed3SPierre Pronchery      * we reproduce this flag if the written length was unchanged, or we will
188*b077aed3SPierre Pronchery      * have an erroneous context tag.
189*b077aed3SPierre Pronchery      */
190*b077aed3SPierre Pronchery     size_t size1, size2;
191*b077aed3SPierre Pronchery 
192*b077aed3SPierre Pronchery     return WPACKET_get_total_written(pkt, &size1)
193*b077aed3SPierre Pronchery         && WPACKET_close(pkt)
194*b077aed3SPierre Pronchery         && WPACKET_get_total_written(pkt, &size2)
195*b077aed3SPierre Pronchery         && (size1 == size2
196*b077aed3SPierre Pronchery             ? WPACKET_set_flags(pkt, WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH)
197*b077aed3SPierre Pronchery             : WPACKET_put_bytes_u8(pkt, DER_F_CONSTRUCTED | DER_P_SEQUENCE))
198*b077aed3SPierre Pronchery         && int_end_context(pkt, tag);
199*b077aed3SPierre Pronchery }
200