Coverage Report

Created: 2026-09-12 06:55

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl41/crypto/pkcs7/pk7_asn1.c
Line
Count
Source
1
/*
2
 * Copyright 2000-2026 The OpenSSL Project Authors. All Rights Reserved.
3
 *
4
 * Licensed under the Apache License 2.0 (the "License").  You may not use
5
 * this file except in compliance with the License.  You can obtain a copy
6
 * in the file LICENSE in the source distribution or at
7
 * https://www.openssl.org/source/license.html
8
 */
9
10
#include <stdio.h>
11
#include "internal/cryptlib.h"
12
#include <openssl/asn1t.h>
13
#include <openssl/pkcs7.h>
14
#include <openssl/x509.h>
15
#include "pk7_local.h"
16
17
/* PKCS#7 ASN1 module */
18
19
/* This is the ANY DEFINED BY table for the top level PKCS#7 structure */
20
21
ASN1_ADB_TEMPLATE(p7default) = ASN1_EXP_OPT(PKCS7, d.other, ASN1_ANY, 0);
22
23
ASN1_ADB(PKCS7) = {
24
    ADB_ENTRY(NID_pkcs7_data, ASN1_NDEF_EXP_OPT(PKCS7, d.data, ASN1_OCTET_STRING_NDEF, 0)),
25
    ADB_ENTRY(NID_pkcs7_signed, ASN1_NDEF_EXP_OPT(PKCS7, d.sign, PKCS7_SIGNED, 0)),
26
    ADB_ENTRY(NID_pkcs7_enveloped, ASN1_NDEF_EXP_OPT(PKCS7, d.enveloped, PKCS7_ENVELOPE, 0)),
27
    ADB_ENTRY(NID_pkcs7_signedAndEnveloped, ASN1_NDEF_EXP_OPT(PKCS7, d.signed_and_enveloped, PKCS7_SIGN_ENVELOPE, 0)),
28
    ADB_ENTRY(NID_pkcs7_digest, ASN1_NDEF_EXP_OPT(PKCS7, d.digest, PKCS7_DIGEST, 0)),
29
    ADB_ENTRY(NID_pkcs7_encrypted, ASN1_NDEF_EXP_OPT(PKCS7, d.encrypted, PKCS7_ENCRYPT, 0))
30
761k
} ASN1_ADB_END(PKCS7, 0, type, 0, &p7default_tt, NULL);
31
32
/* PKCS#7 streaming support */
33
static int pk7_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
34
    void *exarg)
35
352k
{
36
352k
    ASN1_STREAM_ARG *sarg = exarg;
37
352k
    PKCS7 **pp7 = (PKCS7 **)pval;
38
39
352k
    switch (operation) {
40
41
0
    case ASN1_OP_STREAM_PRE:
42
0
        if (ossl_pkcs7_stream(*pp7) <= 0)
43
0
            return 0;
44
        /* fall through */
45
0
    case ASN1_OP_DETACHED_PRE:
46
0
        sarg->ndef_bio = PKCS7_dataInit(*pp7, sarg->out);
47
0
        if (!sarg->ndef_bio)
48
0
            return 0;
49
0
        break;
50
51
0
    case ASN1_OP_STREAM_POST:
52
0
    case ASN1_OP_DETACHED_POST:
53
0
        if (PKCS7_dataFinal(*pp7, sarg->ndef_bio) <= 0)
54
0
            return 0;
55
0
        break;
56
57
0
    case ASN1_OP_GET0_STREAM_CONTENT: {
58
0
        ASN1_STRING **content = exarg;
59
60
0
        *content = ossl_pkcs7_get0_stream_content(*pp7);
61
0
    } break;
62
352k
    }
63
352k
    return 1;
64
352k
}
65
66
ASN1_NDEF_SEQUENCE_cb(PKCS7, pk7_cb) = {
67
    ASN1_SIMPLE(PKCS7, type, ASN1_OBJECT),
68
    ASN1_ADB_OBJECT(PKCS7)
69
} ASN1_NDEF_SEQUENCE_END_cb(PKCS7, PKCS7)
70
71
PKCS7 *d2i_PKCS7(PKCS7 **a, const unsigned char **in, long len)
72
5.97k
{
73
5.97k
    PKCS7 *ret;
74
5.97k
    OSSL_LIB_CTX *libctx = NULL;
75
5.97k
    const char *propq = NULL;
76
77
5.97k
    if (a != NULL && *a != NULL) {
78
0
        libctx = (*a)->ctx.libctx;
79
0
        propq = (*a)->ctx.propq;
80
0
    }
81
82
5.97k
    ret = (PKCS7 *)ASN1_item_d2i_ex((ASN1_VALUE **)a, in, len, ASN1_ITEM_rptr(PKCS7),
83
5.97k
        libctx, propq);
84
5.97k
    if (ret != NULL)
85
2.55k
        ossl_pkcs7_resolve_libctx(ret);
86
5.97k
    return ret;
87
5.97k
}
88
89
int i2d_PKCS7(const PKCS7 *a, unsigned char **out)
90
0
{
91
0
    return ASN1_item_i2d((const ASN1_VALUE *)a, out, ASN1_ITEM_rptr(PKCS7));
92
0
}
93
94
PKCS7 *PKCS7_new(void)
95
0
{
96
0
    return (PKCS7 *)ASN1_item_new(ASN1_ITEM_rptr(PKCS7));
97
0
}
98
99
PKCS7 *PKCS7_new_ex(OSSL_LIB_CTX *libctx, const char *propq)
100
0
{
101
0
    PKCS7 *pkcs7 = (PKCS7 *)ASN1_item_new_ex(ASN1_ITEM_rptr(PKCS7), libctx,
102
0
        propq);
103
104
0
    if (pkcs7 != NULL) {
105
0
        pkcs7->ctx.libctx = libctx;
106
0
        pkcs7->ctx.propq = NULL;
107
0
        if (propq != NULL) {
108
0
            pkcs7->ctx.propq = OPENSSL_strdup(propq);
109
0
            if (pkcs7->ctx.propq == NULL) {
110
0
                PKCS7_free(pkcs7);
111
0
                pkcs7 = NULL;
112
0
            }
113
0
        }
114
0
    }
115
0
    return pkcs7;
116
0
}
117
118
void PKCS7_free(PKCS7 *p7)
119
8.48k
{
120
8.48k
    if (p7 != NULL) {
121
5.05k
        OPENSSL_free(p7->ctx.propq);
122
5.05k
        ASN1_item_free((ASN1_VALUE *)p7, ASN1_ITEM_rptr(PKCS7));
123
5.05k
    }
124
8.48k
}
125
126
IMPLEMENT_ASN1_NDEF_FUNCTION(PKCS7)
127
128
IMPLEMENT_ASN1_DUP_FUNCTION(PKCS7)
129
130
ASN1_NDEF_SEQUENCE(PKCS7_SIGNED) = {
131
    ASN1_SIMPLE(PKCS7_SIGNED, version, ASN1_INTEGER),
132
    ASN1_SET_OF(PKCS7_SIGNED, md_algs, X509_ALGOR),
133
    ASN1_SIMPLE(PKCS7_SIGNED, contents, PKCS7),
134
    ASN1_IMP_SEQUENCE_OF_OPT(PKCS7_SIGNED, cert, X509, 0),
135
    ASN1_IMP_SET_OF_OPT(PKCS7_SIGNED, crl, X509_CRL, 1),
136
    ASN1_SET_OF(PKCS7_SIGNED, signer_info, PKCS7_SIGNER_INFO)
137
85.0k
} ASN1_NDEF_SEQUENCE_END(PKCS7_SIGNED)
138
139
IMPLEMENT_ASN1_FUNCTIONS(PKCS7_SIGNED)
140
141
/* Minor tweak to operation: free up EVP_PKEY */
142
static int si_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
143
    void *exarg)
144
276k
{
145
276k
    if (operation == ASN1_OP_FREE_POST) {
146
51.1k
        PKCS7_SIGNER_INFO *si = (PKCS7_SIGNER_INFO *)*pval;
147
51.1k
        EVP_PKEY_free(si->pkey);
148
51.1k
    }
149
276k
    return 1;
150
276k
}
151
152
ASN1_SEQUENCE_cb(PKCS7_SIGNER_INFO, si_cb) = {
153
    ASN1_SIMPLE(PKCS7_SIGNER_INFO, version, ASN1_INTEGER),
154
    ASN1_SIMPLE(PKCS7_SIGNER_INFO, issuer_and_serial, PKCS7_ISSUER_AND_SERIAL),
155
    ASN1_SIMPLE(PKCS7_SIGNER_INFO, digest_alg, X509_ALGOR),
156
    /* NB this should be a SET OF but we use a SEQUENCE OF so the
157
     * original order * is retained when the structure is reencoded.
158
     * Since the attributes are implicitly tagged this will not affect
159
     * the encoding.
160
     */
161
    ASN1_IMP_SEQUENCE_OF_OPT(PKCS7_SIGNER_INFO, auth_attr, X509_ATTRIBUTE, 0),
162
    ASN1_SIMPLE(PKCS7_SIGNER_INFO, digest_enc_alg, X509_ALGOR),
163
    ASN1_SIMPLE(PKCS7_SIGNER_INFO, enc_digest, ASN1_OCTET_STRING),
164
    ASN1_IMP_SET_OF_OPT(PKCS7_SIGNER_INFO, unauth_attr, X509_ATTRIBUTE, 1)
165
} ASN1_SEQUENCE_END_cb(PKCS7_SIGNER_INFO, PKCS7_SIGNER_INFO)
166
167
IMPLEMENT_ASN1_FUNCTIONS(PKCS7_SIGNER_INFO)
168
169
ASN1_SEQUENCE(PKCS7_ISSUER_AND_SERIAL) = {
170
    ASN1_SIMPLE(PKCS7_ISSUER_AND_SERIAL, issuer, X509_NAME),
171
    ASN1_SIMPLE(PKCS7_ISSUER_AND_SERIAL, serial, ASN1_INTEGER)
172
315k
} ASN1_SEQUENCE_END(PKCS7_ISSUER_AND_SERIAL)
173
315k
174
315k
IMPLEMENT_ASN1_FUNCTIONS(PKCS7_ISSUER_AND_SERIAL)
175
315k
176
315k
ASN1_NDEF_SEQUENCE(PKCS7_ENVELOPE) = {
177
315k
    ASN1_SIMPLE(PKCS7_ENVELOPE, version, ASN1_INTEGER),
178
315k
    ASN1_SET_OF(PKCS7_ENVELOPE, recipientinfo, PKCS7_RECIP_INFO),
179
315k
    ASN1_SIMPLE(PKCS7_ENVELOPE, enc_data, PKCS7_ENC_CONTENT)
180
315k
} ASN1_NDEF_SEQUENCE_END(PKCS7_ENVELOPE)
181
182
IMPLEMENT_ASN1_FUNCTIONS(PKCS7_ENVELOPE)
183
184
/* Minor tweak to operation: free up X509 */
185
static int ri_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
186
    void *exarg)
187
246k
{
188
246k
    if (operation == ASN1_OP_FREE_POST) {
189
48.0k
        PKCS7_RECIP_INFO *ri = (PKCS7_RECIP_INFO *)*pval;
190
48.0k
        X509_free(ri->cert);
191
48.0k
    }
192
246k
    return 1;
193
246k
}
194
195
ASN1_SEQUENCE_cb(PKCS7_RECIP_INFO, ri_cb) = {
196
    ASN1_SIMPLE(PKCS7_RECIP_INFO, version, ASN1_INTEGER),
197
    ASN1_SIMPLE(PKCS7_RECIP_INFO, issuer_and_serial, PKCS7_ISSUER_AND_SERIAL),
198
    ASN1_SIMPLE(PKCS7_RECIP_INFO, key_enc_algor, X509_ALGOR),
199
    ASN1_SIMPLE(PKCS7_RECIP_INFO, enc_key, ASN1_OCTET_STRING)
200
} ASN1_SEQUENCE_END_cb(PKCS7_RECIP_INFO, PKCS7_RECIP_INFO)
201
202
IMPLEMENT_ASN1_FUNCTIONS(PKCS7_RECIP_INFO)
203
204
ASN1_NDEF_SEQUENCE(PKCS7_ENC_CONTENT) = {
205
    ASN1_SIMPLE(PKCS7_ENC_CONTENT, content_type, ASN1_OBJECT),
206
    ASN1_SIMPLE(PKCS7_ENC_CONTENT, algorithm, X509_ALGOR),
207
    ASN1_IMP_OPT(PKCS7_ENC_CONTENT, enc_data, ASN1_OCTET_STRING_NDEF, 0)
208
329k
} ASN1_NDEF_SEQUENCE_END(PKCS7_ENC_CONTENT)
209
210
IMPLEMENT_ASN1_FUNCTIONS(PKCS7_ENC_CONTENT)
211
212
ASN1_NDEF_SEQUENCE(PKCS7_SIGN_ENVELOPE) = {
213
    ASN1_SIMPLE(PKCS7_SIGN_ENVELOPE, version, ASN1_INTEGER),
214
    ASN1_SET_OF(PKCS7_SIGN_ENVELOPE, recipientinfo, PKCS7_RECIP_INFO),
215
    ASN1_SET_OF(PKCS7_SIGN_ENVELOPE, md_algs, X509_ALGOR),
216
    ASN1_SIMPLE(PKCS7_SIGN_ENVELOPE, enc_data, PKCS7_ENC_CONTENT),
217
    ASN1_IMP_SET_OF_OPT(PKCS7_SIGN_ENVELOPE, cert, X509, 0),
218
    ASN1_IMP_SET_OF_OPT(PKCS7_SIGN_ENVELOPE, crl, X509_CRL, 1),
219
    ASN1_SET_OF(PKCS7_SIGN_ENVELOPE, signer_info, PKCS7_SIGNER_INFO)
220
55.7k
} ASN1_NDEF_SEQUENCE_END(PKCS7_SIGN_ENVELOPE)
221
222
IMPLEMENT_ASN1_FUNCTIONS(PKCS7_SIGN_ENVELOPE)
223
224
ASN1_NDEF_SEQUENCE(PKCS7_ENCRYPT) = {
225
    ASN1_SIMPLE(PKCS7_ENCRYPT, version, ASN1_INTEGER),
226
    ASN1_SIMPLE(PKCS7_ENCRYPT, enc_data, PKCS7_ENC_CONTENT)
227
54.7k
} ASN1_NDEF_SEQUENCE_END(PKCS7_ENCRYPT)
228
229
IMPLEMENT_ASN1_FUNCTIONS(PKCS7_ENCRYPT)
230
231
ASN1_NDEF_SEQUENCE(PKCS7_DIGEST) = {
232
    ASN1_SIMPLE(PKCS7_DIGEST, version, ASN1_INTEGER),
233
    ASN1_SIMPLE(PKCS7_DIGEST, md, X509_ALGOR),
234
    ASN1_SIMPLE(PKCS7_DIGEST, contents, PKCS7),
235
    ASN1_SIMPLE(PKCS7_DIGEST, digest, ASN1_OCTET_STRING)
236
53.2k
} ASN1_NDEF_SEQUENCE_END(PKCS7_DIGEST)
237
238
IMPLEMENT_ASN1_FUNCTIONS(PKCS7_DIGEST)
239
240
/* Specials for authenticated attributes */
241
242
/*
243
 * When signing attributes we want to reorder them to match the sorted
244
 * encoding.
245
 */
246
247
ASN1_ITEM_TEMPLATE(PKCS7_ATTR_SIGN) = ASN1_EX_TEMPLATE_TYPE(ASN1_TFLG_SET_ORDER, 0, PKCS7_ATTRIBUTES, X509_ATTRIBUTE)
248
52.5k
ASN1_ITEM_TEMPLATE_END(PKCS7_ATTR_SIGN)
249
250
/*
251
 * When verifying attributes we need to use the received order. So we use
252
 * SEQUENCE OF and tag it to SET OF
253
 */
254
255
ASN1_ITEM_TEMPLATE(PKCS7_ATTR_VERIFY) = ASN1_EX_TEMPLATE_TYPE(ASN1_TFLG_SEQUENCE_OF | ASN1_TFLG_IMPTAG | ASN1_TFLG_UNIVERSAL,
256
    V_ASN1_SET, PKCS7_ATTRIBUTES, X509_ATTRIBUTE)
257
ASN1_ITEM_TEMPLATE_END(PKCS7_ATTR_VERIFY)
258
259
IMPLEMENT_ASN1_PRINT_FUNCTION(PKCS7)