1
0
mirror of git://git.gnupg.org/gnupg.git synced 2024-12-22 10:19:57 +01:00

sm: Adding missing stuff to the PKCS#12 parser rewrite.

* sm/minip12.c (struct bufferlist_s): New.
(struct tlv_ctx_s): Add bufferlist.
(tlv_register_buffer): New.
(tlv_release): Release bufferlist.
(tlv_expect_object): Handle octet string cramming.
(tlv_expect_octet_string): Ditto.
(cram_octet_string): Changed interface.  We don't need the
input_consumed value anymore.

* sm/minip12.c (parse_shrouded_key_bag): Also parse the attribute set.

* sm/t-minip12.c (main): Add option --no-extra.
(cert_collect_cb, run_tests_from_file): Fix memory leak

* tests/cms/samplekeys/t5793-openssl.pfx: New from T5793.
* tests/cms/samplekeys/t5793-test.pfx: Ditto.
* tests/cms/samplekeys/Description-p12: Add them.
* tests/cms/Makefile.am (EXTRA_DIST): Add samplekeys.
--

This should finish the rewrite of the pkcsc#12 parser for now.  More
fun is likely to come.

GnuPG-bug-id: 6536, 5793
This commit is contained in:
Werner Koch 2023-06-29 16:33:03 +02:00
parent 101433dfb4
commit 5f694dc0be
No known key found for this signature in database
GPG Key ID: E3FDFF218E45B72B
6 changed files with 190 additions and 90 deletions

View File

@ -148,6 +148,14 @@ struct tag_info
#define TLV_MAX_DEPTH 20 #define TLV_MAX_DEPTH 20
struct bufferlist_s
{
struct bufferlist_s *next;
char *buffer;
};
/* An object to control the ASN.1 parsing. */ /* An object to control the ASN.1 parsing. */
struct tlv_ctx_s struct tlv_ctx_s
{ {
@ -163,6 +171,8 @@ struct tlv_ctx_s
gpg_error_t lasterr; /* Last error from tlv function. */ gpg_error_t lasterr; /* Last error from tlv function. */
const char *lastfunc;/* Name of last called function. */ const char *lastfunc;/* Name of last called function. */
struct bufferlist_s *bufferlist; /* To keep track of amlloced buffers. */
unsigned int pop_count;/* Number of pops by tlv_next. */ unsigned int pop_count;/* Number of pops by tlv_next. */
unsigned int stacklen; /* Used size of the stack. */ unsigned int stacklen; /* Used size of the stack. */
struct { struct {
@ -198,6 +208,12 @@ struct p12_parse_ctx_s
static int opt_verbose; static int opt_verbose;
static unsigned char *cram_octet_string (const unsigned char *input,
size_t length, size_t *r_newlength);
void void
p12_set_verbosity (int verbose, int debug) p12_set_verbosity (int verbose, int debug)
{ {
@ -354,9 +370,36 @@ tlv_new (const unsigned char *buffer, size_t bufsize)
} }
/* This function can be used to store a malloced buffer into the TLV
* object. Ownership of BUFFER is thus transferred to TLV. This
* buffer will then only be released by tlv_release. */
static gpg_error_t
tlv_register_buffer (struct tlv_ctx_s *tlv, char *buffer)
{
struct bufferlist_s *item;
item = xtrycalloc (1, sizeof *item);
if (!item)
return gpg_error_from_syserror ();
item->buffer = buffer;
item->next = tlv->bufferlist;
tlv->bufferlist = item;
return 0;
}
static void static void
tlv_release (struct tlv_ctx_s *tlv) tlv_release (struct tlv_ctx_s *tlv)
{ {
if (!tlv)
return;
while (tlv->bufferlist)
{
struct bufferlist_s *save = tlv->bufferlist->next;
xfree (tlv->bufferlist->buffer);
xfree (tlv->bufferlist);
tlv->bufferlist = save;
}
xfree (tlv); xfree (tlv);
} }
@ -457,7 +500,8 @@ tlv_next (struct tlv_ctx_s *tlv)
/* End tag while in ndef container. Skip the tag, and pop. */ /* End tag while in ndef container. Skip the tag, and pop. */
tlv->offset += n - (tlv->bufsize - tlv->offset); tlv->offset += n - (tlv->bufsize - tlv->offset);
err = _tlv_pop (tlv); err = _tlv_pop (tlv);
// FIXME see above and run peek again. /* FIXME: We need to peek whether there is another end tag and
* pop again. We can't modify the TLV object, though. */
if (err) if (err)
return (tlv->lasterr = err); return (tlv->lasterr = err);
} }
@ -558,24 +602,42 @@ tlv_expect_set (struct tlv_ctx_s *tlv)
/* Expect an object of CLASS with TAG and store its value at /* Expect an object of CLASS with TAG and store its value at
* (R_DATA,R_DATALEN). Then skip over its value to the next tag. * (R_DATA,R_DATALEN). Then skip over its value to the next tag.
* Note that the stored value are not allocated but point into * Note that the stored value is not allocated but points into
* TLV. */ * TLV. */
static gpg_error_t static gpg_error_t
tlv_expect_object (struct tlv_ctx_s *tlv, int class, int tag, tlv_expect_object (struct tlv_ctx_s *tlv, int class, int tag,
unsigned char const **r_data, size_t *r_datalen) unsigned char const **r_data, size_t *r_datalen)
{ {
gpg_error_t err;
const unsigned char *p; const unsigned char *p;
tlv->lastfunc = __func__; tlv->lastfunc = __func__;
if (!(tlv->ti.class == class && tlv->ti.tag == tag if (!(tlv->ti.class == class && tlv->ti.tag == tag))
&& !tlv->ti.is_constructed))
return (tlv->lasterr = gpg_error (GPG_ERR_INV_OBJ)); return (tlv->lasterr = gpg_error (GPG_ERR_INV_OBJ));
p = tlv->buffer + tlv->offset; p = tlv->buffer + tlv->offset;
if (!tlv->ti.length) if (!tlv->ti.length)
return (tlv->lasterr = gpg_error (GPG_ERR_TOO_SHORT)); return (tlv->lasterr = gpg_error (GPG_ERR_TOO_SHORT));
if (class == CLASS_CONTEXT && tag == 0 && tlv->ti.is_constructed)
{
char *newbuffer;
newbuffer = cram_octet_string (p, tlv->ti.length, r_datalen);
if (!newbuffer)
return (tlv->lasterr = gpg_error (GPG_ERR_BAD_BER));
err = tlv_register_buffer (tlv, newbuffer);
if (err)
{
xfree (newbuffer);
return (tlv->lasterr = err);
}
*r_data = newbuffer;
}
else
{
*r_data = p; *r_data = p;
*r_datalen = tlv->ti.length; *r_datalen = tlv->ti.length;
}
tlv->offset += tlv->ti.length; tlv->offset += tlv->ti.length;
return 0; return 0;
@ -591,21 +653,40 @@ static gpg_error_t
tlv_expect_octet_string (struct tlv_ctx_s *tlv, int encapsulates, tlv_expect_octet_string (struct tlv_ctx_s *tlv, int encapsulates,
unsigned char const **r_data, size_t *r_datalen) unsigned char const **r_data, size_t *r_datalen)
{ {
gpg_error_t err;
const unsigned char *p; const unsigned char *p;
size_t n; size_t n;
tlv->lastfunc = __func__; tlv->lastfunc = __func__;
if (!(tlv->ti.class == CLASS_UNIVERSAL && tlv->ti.tag == TAG_OCTET_STRING if (!(tlv->ti.class == CLASS_UNIVERSAL && tlv->ti.tag == TAG_OCTET_STRING
&& !tlv->ti.is_constructed)) && (!tlv->ti.is_constructed || encapsulates)))
return (tlv->lasterr = gpg_error (GPG_ERR_INV_OBJ)); return (tlv->lasterr = gpg_error (GPG_ERR_INV_OBJ));
p = tlv->buffer + tlv->offset; p = tlv->buffer + tlv->offset;
if (!(n=tlv->ti.length)) if (!(n=tlv->ti.length))
return (tlv->lasterr = gpg_error (GPG_ERR_TOO_SHORT)); return (tlv->lasterr = gpg_error (GPG_ERR_TOO_SHORT));
if (encapsulates && tlv->ti.is_constructed)
{
char *newbuffer;
newbuffer = cram_octet_string (p, n, r_datalen);
if (!newbuffer)
return (tlv->lasterr = gpg_error (GPG_ERR_BAD_BER));
err = tlv_register_buffer (tlv, newbuffer);
if (err)
{
xfree (newbuffer);
return (tlv->lasterr = err);
}
*r_data = newbuffer;
}
else
{
if (r_data) if (r_data)
*r_data = p; *r_data = p;
if (r_datalen) if (r_datalen)
*r_datalen = tlv->ti.length; *r_datalen = tlv->ti.length;
}
if (encapsulates) if (encapsulates)
return _tlv_push (tlv); return _tlv_push (tlv);
@ -716,37 +797,37 @@ tlv_expect_object_id (struct tlv_ctx_s *tlv,
/* Given an ASN.1 chunk of a structure like: /* Given an ASN.1 chunk of a structure like:
*
24 NDEF: OCTET STRING -- This is not passed to us * 24 NDEF: OCTET STRING -- This is not passed to us
04 1: OCTET STRING -- INPUT point s to here * 04 1: OCTET STRING -- INPUT point s to here
: 30 * : 30
04 1: OCTET STRING * 04 1: OCTET STRING
: 80 * : 80
[...] * [...]
04 2: OCTET STRING * 04 2: OCTET STRING
: 00 00 * : 00 00
: } -- This denotes a Null tag and are the last * : } -- This denotes a Null tag and are the last
-- two bytes in INPUT. * -- two bytes in INPUT.
*
Create a new buffer with the content of that octet string. INPUT * The example is from Mozilla Firefox 1.0.4 which actually exports
is the original buffer with a length as stored at LENGTH. Returns * certs as single byte chunks of octet strings.
NULL on error or a new malloced buffer with the length of this new *
buffer stored at LENGTH and the number of bytes parsed from input * Create a new buffer with the content of that octet string. INPUT
are added to the value stored at INPUT_CONSUMED. INPUT_CONSUMED is * is the original buffer with a LENGTH. Returns
allowed to be passed as NULL if the caller is not interested in * NULL on error or a new malloced buffer with its actual used length
this value. */ * stored at R_NEWLENGTH. */
static unsigned char * static unsigned char *
cram_octet_string (const unsigned char *input, size_t *length, cram_octet_string (const unsigned char *input, size_t length,
size_t *input_consumed) size_t *r_newlength)
{ {
const unsigned char *s = input; const unsigned char *s = input;
size_t n = *length; size_t n = length;
unsigned char *output, *d; unsigned char *output, *d;
struct tag_info ti; struct tag_info ti;
/* Allocate output buf. We know that it won't be longer than the /* Allocate output buf. We know that it won't be longer than the
input buffer. */ input buffer. */
d = output = gcry_malloc (n); d = output = gcry_malloc (length);
if (!output) if (!output)
goto bailout; goto bailout;
@ -769,20 +850,15 @@ cram_octet_string (const unsigned char *input, size_t *length,
} }
*length = d - output; *r_newlength = d - output;
if (input_consumed)
*input_consumed += s - input;
return output; return output;
bailout: bailout:
if (input_consumed)
*input_consumed += s - input;
gcry_free (output); gcry_free (output);
return NULL; return NULL;
} }
static int static int
string_to_key (int id, char *salt, size_t saltlen, int iter, const char *pw, string_to_key (int id, char *salt, size_t saltlen, int iter, const char *pw,
int req_keylen, unsigned char *keybuf) int req_keylen, unsigned char *keybuf)
@ -1331,38 +1407,6 @@ parse_bag_encrypted_data (struct p12_parse_ctx_s *ctx, struct tlv_ctx_s *tlv)
if (tlv_next (tlv)) if (tlv_next (tlv))
goto bailout; goto bailout;
/* consumed = p - p_start; */
/* if (ti.class == CLASS_CONTEXT && ti.tag == 0 && ti.is_constructed && ti.ndef) */
/* { */
/* /\* Mozilla exported certs now come with single byte chunks of */
/* octet strings. (Mozilla Firefox 1.0.4). Arghh. *\/ */
/* where = "cram-rc2or3des-ciphertext"; */
/* cram_buffer = cram_octet_string ( p, &n, &consumed); */
/* if (!cram_buffer) */
/* goto bailout; */
/* p = p_start = cram_buffer; */
/* if (r_consumed) */
/* *r_consumed = consumed; */
/* r_consumed = NULL; /\* Donot update that value on return. *\/ */
/* ti.length = n; */
/* } */
/* else if (ti.class == CLASS_CONTEXT && ti.tag == 0 && ti.is_constructed) */
/* { */
/* where = "octets-rc2or3des-ciphertext"; */
/* n = ti.length; */
/* cram_buffer = cram_octet_string ( p, &n, &consumed); */
/* if (!cram_buffer) */
/* goto bailout; */
/* p = p_start = cram_buffer; */
/* if (r_consumed) */
/* *r_consumed = consumed; */
/* r_consumed = NULL; /\* Do not update that value on return. *\/ */
/* ti.length = n; */
/* } */
/* else if (ti.class == CLASS_CONTEXT && ti.tag == 0 && ti.length ) */
/* ; */
/* else */
/* goto bailout; */
if (tlv_expect_object (tlv, CLASS_CONTEXT, 0, &data, &datalen)) if (tlv_expect_object (tlv, CLASS_CONTEXT, 0, &data, &datalen))
goto bailout; goto bailout;
@ -1538,6 +1582,7 @@ parse_bag_encrypted_data (struct p12_parse_ctx_s *ctx, struct tlv_ctx_s *tlv)
keyelem_count, gpg_strerror (err)); keyelem_count, gpg_strerror (err));
goto bailout; goto bailout;
} }
if (opt_verbose > 1)
log_debug ("RSA key parameter %d found\n", keyelem_count); log_debug ("RSA key parameter %d found\n", keyelem_count);
keyelem_count++; keyelem_count++;
} }
@ -1683,6 +1728,7 @@ parse_shrouded_key_bag (struct p12_parse_ctx_s *ctx, struct tlv_ctx_s *tlv)
size_t saltlen; size_t saltlen;
char iv[16]; char iv[16];
unsigned int iter; unsigned int iter;
struct tlv_ctx_s *saved_tlv = NULL;
int renewed_tlv = 0; /* True if the TLV must be released. */ int renewed_tlv = 0; /* True if the TLV must be released. */
unsigned char *plain = NULL; unsigned char *plain = NULL;
int is_pbes2 = 0; int is_pbes2 = 0;
@ -1865,8 +1911,10 @@ parse_shrouded_key_bag (struct p12_parse_ctx_s *ctx, struct tlv_ctx_s *tlv)
: GCRY_CIPHER_3DES, : GCRY_CIPHER_3DES,
bag_data_p); bag_data_p);
/* We do not need the TLV anymore and allocated a new one. */ /* We do not need the TLV anymore and allocated a new one. */
where = "shrouded_key_bag.decrypted-text"; where = "shrouded_key_bag.decrypted-text";
saved_tlv = tlv;
tlv = tlv_new (plain, datalen); tlv = tlv_new (plain, datalen);
if (!tlv) if (!tlv)
{ {
@ -1874,6 +1922,8 @@ parse_shrouded_key_bag (struct p12_parse_ctx_s *ctx, struct tlv_ctx_s *tlv)
goto bailout; goto bailout;
} }
renewed_tlv = 1; renewed_tlv = 1;
if (opt_verbose > 1)
log_debug ("new parser context\n");
if (tlv_next (tlv)) if (tlv_next (tlv))
{ {
@ -2037,10 +2087,39 @@ parse_shrouded_key_bag (struct p12_parse_ctx_s *ctx, struct tlv_ctx_s *tlv)
err = 0; err = 0;
} }
if (opt_verbose > 1)
log_debug ("restoring parser context\n");
tlv_release (tlv);
renewed_tlv = 0;
tlv = saved_tlv;
where = "shrouded_key_bag.attribute_set";
err = tlv_next (tlv);
if (gpg_err_code (err) == GPG_ERR_EOF)
goto leave;
if (err)
goto bailout;
err = tlv_expect_set (tlv);
if (!err)
{ /* This is the optional set of attributes. Skip it. */
tlv_skip (tlv);
if (opt_verbose)
log_info ("skipping %s\n", where);
}
else if (gpg_err_code (err) == GPG_ERR_INV_OBJ)
tlv_set_pending (tlv); /* The next tlv_next will be skipped. */
else /* Other error. */
goto bailout;
leave: leave:
gcry_free (plain); gcry_free (plain);
if (renewed_tlv) if (renewed_tlv)
{
tlv_release (tlv); tlv_release (tlv);
if (opt_verbose > 1)
log_debug ("parser context released\n");
}
return err; return err;
bailout: bailout:
@ -2322,17 +2401,6 @@ p12_parse (const unsigned char *buffer, size_t length, const char *pw,
if (tlv_next (tlv)) if (tlv_next (tlv))
goto bailout; goto bailout;
if (tlv->ti.is_constructed && tlv->ti.ndef)
{
log_debug ("FIXME Put this into our TLV machinery.\n");
/* /\* Mozilla exported certs now come with single byte chunks of */
/* octet strings. (Mozilla Firefox 1.0.4). Arghh. *\/ */
/* where = "cram-bags"; */
/* cram_buffer = cram_octet_string ( p, &n, NULL); */
/* if (!cram_buffer) */
/* goto bailout; */
/* p = p_start = cram_buffer; */
}
if (tlv_expect_octet_string (tlv, 1, NULL, NULL)) if (tlv_expect_octet_string (tlv, 1, NULL, NULL))
goto bailout; goto bailout;

View File

@ -444,12 +444,14 @@ static void
cert_collect_cb (void *opaque, const unsigned char *cert, size_t certlen) cert_collect_cb (void *opaque, const unsigned char *cert, size_t certlen)
{ {
char **certstr = opaque; char **certstr = opaque;
char *hash; char *hash, *save;
hash = hash_buffer (cert, certlen); hash = hash_buffer (cert, certlen);
if (*certstr) if (*certstr)
{ {
*certstr = xstrconcat (*certstr, ",", hash, NULL); save = *certstr;
*certstr = xstrconcat (save, ",", hash, NULL);
xfree (save);
xfree (hash); xfree (hash);
} }
else else
@ -645,7 +647,12 @@ run_tests_from_file (const char *descfname)
copy_data (&p, line, lineno); copy_data (&p, line, lineno);
hexdowncase (p); hexdowncase (p);
if (p && cert) if (p && cert)
cert = xstrconcat (cert, ",", p, NULL); {
char *save = cert;
cert = xstrconcat (save, ",", p, NULL);
xfree (save);
xfree (p);
}
else else
cert = p; cert = p;
} }
@ -681,6 +688,7 @@ main (int argc, char **argv)
char const *name = NULL; char const *name = NULL;
char const *pass = NULL; char const *pass = NULL;
int ret; int ret;
int no_extra = 0;
if (argc) if (argc)
{ argc--; argv++; } { argc--; argv++; }
@ -697,12 +705,18 @@ main (int argc, char **argv)
fputs ("usage: " PGM " <pkcs12file> [<passphrase>]\n" fputs ("usage: " PGM " <pkcs12file> [<passphrase>]\n"
"Without <pkcs12file> a regression test is run\n" "Without <pkcs12file> a regression test is run\n"
"Options:\n" "Options:\n"
" --no-extra do not run extra tests\n"
" --verbose print timings etc.\n" " --verbose print timings etc.\n"
" given twice shows more\n" " given twice shows more\n"
" --debug flyswatter\n" " --debug flyswatter\n"
, stdout); , stdout);
exit (0); exit (0);
} }
else if (!strcmp (*argv, "--no-extra"))
{
no_extra = 1;
argc--; argv++;
}
else if (!strcmp (*argv, "--verbose")) else if (!strcmp (*argv, "--verbose"))
{ {
verbose++; verbose++;
@ -761,7 +775,7 @@ main (int argc, char **argv)
xfree (descfname); xfree (descfname);
/* Check whether we have non-public regression test cases. */ /* Check whether we have non-public regression test cases. */
p = value_from_gnupg_autogen_rc ("GNUPG_EXTRA_TESTS_DIR"); p = no_extra? NULL:value_from_gnupg_autogen_rc ("GNUPG_EXTRA_TESTS_DIR");
if (p) if (p)
{ {
descfname = xstrconcat (p, "/pkcs12/Description", NULL); descfname = xstrconcat (p, "/pkcs12/Description", NULL);

View File

@ -86,13 +86,19 @@ TEST_FILES = plain-1.cms.asc \
testscripts = sm-sign+verify sm-verify testscripts = sm-sign+verify sm-verify
EXTRA_DIST = $(XTESTS) $(KEYS) $(CERTS) $(TEST_FILES) \ EXTRA_DIST = $(XTESTS) $(KEYS) $(CERTS) $(TEST_FILES) \
samplemsgs/README \
samplekeys/Description-p12 \
samplekeys/steed-self-signing-nonthority.pem \ samplekeys/steed-self-signing-nonthority.pem \
samplekeys/68A638998DFABAC510EA645CE34F9686B2EDF7EA.key \ samplekeys/68A638998DFABAC510EA645CE34F9686B2EDF7EA.key \
samplekeys/32100C27173EF6E9C4E9A25D3D69F86D37A4F939.key \ samplekeys/32100C27173EF6E9C4E9A25D3D69F86D37A4F939.key \
samplekeys/cert_g10code_pete1.pem \ samplekeys/cert_g10code_pete1.pem \
samplekeys/cert_g10code_test1.pem \ samplekeys/cert_g10code_test1.pem \
samplekeys/cert_g10code_theo1.pem \ samplekeys/cert_g10code_theo1.pem \
samplemsgs/README \ samplekeys/ov-user.p12 \
samplekeys/ov-server.p12 \
samplekeys/opensc-test.p12 \
samplekeys/t5793-openssl.pfx \
samplekeys/t5793-test.pfx \
samplemsgs/pwri-sample.cbc.p7m \ samplemsgs/pwri-sample.cbc.p7m \
samplemsgs/pwri-sample.cbc-2.p7m \ samplemsgs/pwri-sample.cbc-2.p7m \
samplemsgs/pwri-sample.gcm.p7m \ samplemsgs/pwri-sample.gcm.p7m \

View File

@ -18,3 +18,15 @@ Pass: password
Cert: 115abfc3ae554092a57ade74177fedf9459af5d2 Cert: 115abfc3ae554092a57ade74177fedf9459af5d2
Cert: a0d6d318952c313ff8c33cd3f629647ff1de76b3 Cert: a0d6d318952c313ff8c33cd3f629647ff1de76b3
Key: 5a36c61706367ecdb52e8779e3a32bbac1069fa1 Key: 5a36c61706367ecdb52e8779e3a32bbac1069fa1
Name: t5793-openssl.pfx
Desc: self-signed key issued keys
Pass: test
Cert: 80348a438e4b803b99e708da0b7fdd0659dedd15
Key: c271e44ab4fb19ca1aae71102ea4d7292ccc981d
Name: t5793-test.pfx
Desc: QuaVadis format of t5793-openssl
Pass: test
Cert: 80348a438e4b803b99e708da0b7fdd0659dedd15
Key: c271e44ab4fb19ca1aae71102ea4d7292ccc981d

Binary file not shown.

Binary file not shown.