blob: 9e0548a7a12544f993ec5464735ecedb2953b9af [file] [log] [blame]
Mateusz Starzyk6c2e9b62021-05-19 17:54:54 +02001#define MBEDTLS_ALLOW_PRIVATE_ACCESS
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"
6
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02007int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
8{
Philippe Antoine72333522018-05-03 16:40:24 +02009#ifdef MBEDTLS_PK_PARSE_C
10 int ret;
11 mbedtls_pk_context pk;
12
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020013 mbedtls_pk_init(&pk);
14 ret = mbedtls_pk_parse_public_key(&pk, Data, Size);
Philippe Antoine72333522018-05-03 16:40:24 +020015 if (ret == 0) {
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020016# if defined(MBEDTLS_RSA_C)
17 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_RSA) {
Philippe Antoine72333522018-05-03 16:40:24 +020018 mbedtls_mpi N, P, Q, D, E, DP, DQ, QP;
19 mbedtls_rsa_context *rsa;
20
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020021 mbedtls_mpi_init(&N);
22 mbedtls_mpi_init(&P);
23 mbedtls_mpi_init(&Q);
24 mbedtls_mpi_init(&D);
25 mbedtls_mpi_init(&E);
26 mbedtls_mpi_init(&DP);
27 mbedtls_mpi_init(&DQ);
28 mbedtls_mpi_init(&QP);
Philippe Antoine72333522018-05-03 16:40:24 +020029
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020030 rsa = mbedtls_pk_rsa(pk);
31 if (mbedtls_rsa_export(rsa, &N, NULL, NULL, NULL, &E) != 0) {
Gilles Peskine8d366962020-02-25 19:51:07 +010032 abort();
33 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020034 if (mbedtls_rsa_export(rsa, &N, &P, &Q, &D, &E) !=
35 MBEDTLS_ERR_RSA_BAD_INPUT_DATA) {
Philippe Antoine66070bc2020-01-22 13:54:56 +010036 abort();
37 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020038 if (mbedtls_rsa_export_crt(rsa, &DP, &DQ, &QP) !=
39 MBEDTLS_ERR_RSA_BAD_INPUT_DATA) {
Philippe Antoine7d4bd6f2020-01-22 14:13:08 +010040 abort();
41 }
Philippe Antoine72333522018-05-03 16:40:24 +020042
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020043 mbedtls_mpi_free(&N);
44 mbedtls_mpi_free(&P);
45 mbedtls_mpi_free(&Q);
46 mbedtls_mpi_free(&D);
47 mbedtls_mpi_free(&E);
48 mbedtls_mpi_free(&DP);
49 mbedtls_mpi_free(&DQ);
50 mbedtls_mpi_free(&QP);
Philippe Antoine72333522018-05-03 16:40:24 +020051
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020052 } else
53# endif
54# if defined(MBEDTLS_ECP_C)
55 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY ||
56 mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY_DH) {
57 mbedtls_ecp_keypair *ecp = mbedtls_pk_ec(pk);
Gilles Peskinef02b9842020-02-25 19:52:44 +010058 mbedtls_ecp_group_id grp_id = ecp->grp.id;
59 const mbedtls_ecp_curve_info *curve_info =
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020060 mbedtls_ecp_curve_info_from_grp_id(grp_id);
Philippe Antoine72333522018-05-03 16:40:24 +020061
Gilles Peskinef02b9842020-02-25 19:52:44 +010062 /* If the curve is not supported, the key should not have been
63 * accepted. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020064 if (curve_info == NULL)
65 abort();
Gilles Peskinef02b9842020-02-25 19:52:44 +010066
67 /* It's a public key, so the private value should not have
68 * been changed from its initialization to 0. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020069 if (mbedtls_mpi_cmp_int(&ecp->d, 0) != 0)
70 abort();
71 } else
72# endif
Philippe Antoine72333522018-05-03 16:40:24 +020073 {
Gilles Peskined7fb66f2020-02-25 19:54:27 +010074 /* The key is valid but is not of a supported type.
75 * This should not happen. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020076 abort();
Philippe Antoine72333522018-05-03 16:40:24 +020077 }
78 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020079 mbedtls_pk_free(&pk);
Philippe Antoine72333522018-05-03 16:40:24 +020080#else
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020081 (void)Data;
82 (void)Size;
83#endif // MBEDTLS_PK_PARSE_C
Philippe Antoine72333522018-05-03 16:40:24 +020084
85 return 0;
86}