blob: 69e85e0380ebf18c9fbdaa5ff488dec98a6cdf7f [file] [log] [blame]
Felix Conway998760a2025-03-24 11:37:33 +00001#define MBEDTLS_DECLARE_PRIVATE_IDENTIFIERS
2
Philippe Antoine72333522018-05-03 16:40:24 +02003#include <stdint.h>
Philippe Antoine8b1ed1c2020-01-22 16:22:36 +01004#include <stdlib.h>
Philippe Antoine72333522018-05-03 16:40:24 +02005#include "mbedtls/pk.h"
Michael Schustere708e862024-06-01 21:08:45 +02006#include "common.h"
Philippe Antoine72333522018-05-03 16:40:24 +02007
Gilles Peskine449bd832023-01-11 14:50:10 +01008int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
9{
Philippe Antoine72333522018-05-03 16:40:24 +020010#ifdef MBEDTLS_PK_PARSE_C
11 int ret;
12 mbedtls_pk_context pk;
13
Gilles Peskine449bd832023-01-11 14:50:10 +010014 mbedtls_pk_init(&pk);
Przemek Stekiel774f9de2023-04-19 11:47:01 +020015#if defined(MBEDTLS_USE_PSA_CRYPTO)
16 psa_status_t status = psa_crypto_init();
17 if (status != PSA_SUCCESS) {
18 goto exit;
19 }
20#endif /* MBEDTLS_USE_PSA_CRYPTO */
Gilles Peskine449bd832023-01-11 14:50:10 +010021 ret = mbedtls_pk_parse_public_key(&pk, Data, Size);
Philippe Antoine72333522018-05-03 16:40:24 +020022 if (ret == 0) {
23#if defined(MBEDTLS_RSA_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010024 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_RSA) {
Philippe Antoine72333522018-05-03 16:40:24 +020025 mbedtls_mpi N, P, Q, D, E, DP, DQ, QP;
26 mbedtls_rsa_context *rsa;
27
Gilles Peskine449bd832023-01-11 14:50:10 +010028 mbedtls_mpi_init(&N); mbedtls_mpi_init(&P); mbedtls_mpi_init(&Q);
29 mbedtls_mpi_init(&D); mbedtls_mpi_init(&E); mbedtls_mpi_init(&DP);
30 mbedtls_mpi_init(&DQ); mbedtls_mpi_init(&QP);
Philippe Antoine72333522018-05-03 16:40:24 +020031
Gilles Peskine449bd832023-01-11 14:50:10 +010032 rsa = mbedtls_pk_rsa(pk);
33 if (mbedtls_rsa_export(rsa, &N, NULL, NULL, NULL, &E) != 0) {
Gilles Peskine8d366962020-02-25 19:51:07 +010034 abort();
35 }
Gilles Peskine449bd832023-01-11 14:50:10 +010036 if (mbedtls_rsa_export(rsa, &N, &P, &Q, &D, &E) != MBEDTLS_ERR_RSA_BAD_INPUT_DATA) {
Philippe Antoine66070bc2020-01-22 13:54:56 +010037 abort();
38 }
Gilles Peskine449bd832023-01-11 14:50:10 +010039 if (mbedtls_rsa_export_crt(rsa, &DP, &DQ, &QP) != MBEDTLS_ERR_RSA_BAD_INPUT_DATA) {
Philippe Antoine7d4bd6f2020-01-22 14:13:08 +010040 abort();
41 }
Philippe Antoine72333522018-05-03 16:40:24 +020042
Gilles Peskine449bd832023-01-11 14:50:10 +010043 mbedtls_mpi_free(&N); mbedtls_mpi_free(&P); mbedtls_mpi_free(&Q);
44 mbedtls_mpi_free(&D); mbedtls_mpi_free(&E); mbedtls_mpi_free(&DP);
45 mbedtls_mpi_free(&DQ); mbedtls_mpi_free(&QP);
Philippe Antoine72333522018-05-03 16:40:24 +020046
Gilles Peskine449bd832023-01-11 14:50:10 +010047 } else
Philippe Antoine72333522018-05-03 16:40:24 +020048#endif
49#if defined(MBEDTLS_ECP_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010050 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY ||
51 mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY_DH) {
52 mbedtls_ecp_keypair *ecp = mbedtls_pk_ec(pk);
Gilles Peskined5f68972024-02-22 12:05:35 +010053 mbedtls_ecp_group_id grp_id = mbedtls_ecp_keypair_get_group_id(ecp);
Gilles Peskinef02b9842020-02-25 19:52:44 +010054 const mbedtls_ecp_curve_info *curve_info =
Gilles Peskine449bd832023-01-11 14:50:10 +010055 mbedtls_ecp_curve_info_from_grp_id(grp_id);
Philippe Antoine72333522018-05-03 16:40:24 +020056
Gilles Peskinef02b9842020-02-25 19:52:44 +010057 /* If the curve is not supported, the key should not have been
58 * accepted. */
Gilles Peskine449bd832023-01-11 14:50:10 +010059 if (curve_info == NULL) {
60 abort();
61 }
Gilles Peskinef02b9842020-02-25 19:52:44 +010062
63 /* It's a public key, so the private value should not have
64 * been changed from its initialization to 0. */
Gilles Peskined5f68972024-02-22 12:05:35 +010065 mbedtls_mpi d;
66 mbedtls_mpi_init(&d);
67 if (mbedtls_ecp_export(ecp, NULL, &d, NULL) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +010068 abort();
69 }
Gilles Peskined5f68972024-02-22 12:05:35 +010070 if (mbedtls_mpi_cmp_int(&d, 0) != 0) {
71 abort();
72 }
73 mbedtls_mpi_free(&d);
Gilles Peskine449bd832023-01-11 14:50:10 +010074 } else
Philippe Antoine72333522018-05-03 16:40:24 +020075#endif
76 {
Gilles Peskined7fb66f2020-02-25 19:54:27 +010077 /* The key is valid but is not of a supported type.
78 * This should not happen. */
Gilles Peskine449bd832023-01-11 14:50:10 +010079 abort();
Philippe Antoine72333522018-05-03 16:40:24 +020080 }
81 }
Przemek Stekiel758aef62023-04-19 13:47:43 +020082#if defined(MBEDTLS_USE_PSA_CRYPTO)
Przemek Stekiel774f9de2023-04-19 11:47:01 +020083exit:
Przemek Stekiel774f9de2023-04-19 11:47:01 +020084 mbedtls_psa_crypto_free();
Przemek Stekiel758aef62023-04-19 13:47:43 +020085#endif /* MBEDTLS_USE_PSA_CRYPTO */
Przemek Stekiel53463962023-04-24 09:00:14 +020086 mbedtls_pk_free(&pk);
Philippe Antoine72333522018-05-03 16:40:24 +020087#else
88 (void) Data;
89 (void) Size;
90#endif //MBEDTLS_PK_PARSE_C
91
92 return 0;
93}