blob: 388b4c586e695434bfb2a8c3d1caa2ffc8752b7f [file] [log] [blame]
Philippe Antoine72333522018-05-03 16:40:24 +02001#include <stdint.h>
Philippe Antoine8b1ed1c2020-01-22 16:22:36 +01002#include <stdlib.h>
Philippe Antoine72333522018-05-03 16:40:24 +02003#include "mbedtls/pk.h"
4
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01005int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
6{
Philippe Antoine72333522018-05-03 16:40:24 +02007#ifdef MBEDTLS_PK_PARSE_C
8 int ret;
9 mbedtls_pk_context pk;
10
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010011 mbedtls_pk_init(&pk);
12 ret = mbedtls_pk_parse_public_key(&pk, Data, Size);
Philippe Antoine72333522018-05-03 16:40:24 +020013 if (ret == 0) {
14#if defined(MBEDTLS_RSA_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010015 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_RSA) {
Philippe Antoine72333522018-05-03 16:40:24 +020016 mbedtls_mpi N, P, Q, D, E, DP, DQ, QP;
17 mbedtls_rsa_context *rsa;
18
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010019 mbedtls_mpi_init(&N); mbedtls_mpi_init(&P); mbedtls_mpi_init(&Q);
20 mbedtls_mpi_init(&D); mbedtls_mpi_init(&E); mbedtls_mpi_init(&DP);
21 mbedtls_mpi_init(&DQ); mbedtls_mpi_init(&QP);
Philippe Antoine72333522018-05-03 16:40:24 +020022
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010023 rsa = mbedtls_pk_rsa(pk);
24 if (mbedtls_rsa_export(rsa, &N, NULL, NULL, NULL, &E) != 0) {
Gilles Peskine8d366962020-02-25 19:51:07 +010025 abort();
26 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010027 if (mbedtls_rsa_export(rsa, &N, &P, &Q, &D, &E) != MBEDTLS_ERR_RSA_BAD_INPUT_DATA) {
Philippe Antoine66070bc2020-01-22 13:54:56 +010028 abort();
29 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010030 if (mbedtls_rsa_export_crt(rsa, &DP, &DQ, &QP) != MBEDTLS_ERR_RSA_BAD_INPUT_DATA) {
Philippe Antoine7d4bd6f2020-01-22 14:13:08 +010031 abort();
32 }
Philippe Antoine72333522018-05-03 16:40:24 +020033
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010034 mbedtls_mpi_free(&N); mbedtls_mpi_free(&P); mbedtls_mpi_free(&Q);
35 mbedtls_mpi_free(&D); mbedtls_mpi_free(&E); mbedtls_mpi_free(&DP);
36 mbedtls_mpi_free(&DQ); mbedtls_mpi_free(&QP);
Philippe Antoine72333522018-05-03 16:40:24 +020037
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010038 } else
Philippe Antoine72333522018-05-03 16:40:24 +020039#endif
40#if defined(MBEDTLS_ECP_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010041 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY ||
42 mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY_DH) {
43 mbedtls_ecp_keypair *ecp = mbedtls_pk_ec(pk);
Gilles Peskinef02b9842020-02-25 19:52:44 +010044 mbedtls_ecp_group_id grp_id = ecp->grp.id;
45 const mbedtls_ecp_curve_info *curve_info =
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010046 mbedtls_ecp_curve_info_from_grp_id(grp_id);
Philippe Antoine72333522018-05-03 16:40:24 +020047
Gilles Peskinef02b9842020-02-25 19:52:44 +010048 /* If the curve is not supported, the key should not have been
49 * accepted. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010050 if (curve_info == NULL) {
51 abort();
52 }
Gilles Peskinef02b9842020-02-25 19:52:44 +010053
54 /* It's a public key, so the private value should not have
55 * been changed from its initialization to 0. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010056 if (mbedtls_mpi_cmp_int(&ecp->d, 0) != 0) {
57 abort();
58 }
59 } else
Philippe Antoine72333522018-05-03 16:40:24 +020060#endif
61 {
Gilles Peskined7fb66f2020-02-25 19:54:27 +010062 /* The key is valid but is not of a supported type.
63 * This should not happen. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010064 abort();
Philippe Antoine72333522018-05-03 16:40:24 +020065 }
66 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010067 mbedtls_pk_free(&pk);
Philippe Antoine72333522018-05-03 16:40:24 +020068#else
69 (void) Data;
70 (void) Size;
71#endif //MBEDTLS_PK_PARSE_C
72
73 return 0;
74}