/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) |