blob: d84ba7b955b727547e7ecf5f362a35ef7b8bde11 [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"
Manuel Pégourié-Gonnard7f93da12021-06-16 10:20:30 +02006#include "common.h"
Philippe Antoine72333522018-05-03 16:40:24 +02007
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02008// 4 Kb should be enough for every bug ;-)
Philippe Antoine72333522018-05-03 16:40:24 +02009#define MAX_LEN 0x1000
10
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020011int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
12{
Philippe Antoine72333522018-05-03 16:40:24 +020013#ifdef MBEDTLS_PK_PARSE_C
14 int ret;
15 mbedtls_pk_context pk;
16
17 if (Size > MAX_LEN) {
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020018 // only work on small inputs
Philippe Antoine72333522018-05-03 16:40:24 +020019 Size = MAX_LEN;
20 }
21
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020022 mbedtls_pk_init(&pk);
23 ret = mbedtls_pk_parse_key(&pk, Data, Size, NULL, 0, dummy_random, NULL);
Philippe Antoine72333522018-05-03 16:40:24 +020024 if (ret == 0) {
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020025# if defined(MBEDTLS_RSA_C)
26 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_RSA) {
Philippe Antoine72333522018-05-03 16:40:24 +020027 mbedtls_mpi N, P, Q, D, E, DP, DQ, QP;
28 mbedtls_rsa_context *rsa;
29
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020030 mbedtls_mpi_init(&N);
31 mbedtls_mpi_init(&P);
32 mbedtls_mpi_init(&Q);
33 mbedtls_mpi_init(&D);
34 mbedtls_mpi_init(&E);
35 mbedtls_mpi_init(&DP);
36 mbedtls_mpi_init(&DQ);
37 mbedtls_mpi_init(&QP);
Philippe Antoine72333522018-05-03 16:40:24 +020038
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020039 rsa = mbedtls_pk_rsa(pk);
40 if (mbedtls_rsa_export(rsa, &N, &P, &Q, &D, &E) != 0) {
Philippe Antoine66070bc2020-01-22 13:54:56 +010041 abort();
42 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020043 if (mbedtls_rsa_export_crt(rsa, &DP, &DQ, &QP) != 0) {
Philippe Antoine7d4bd6f2020-01-22 14:13:08 +010044 abort();
45 }
Philippe Antoine72333522018-05-03 16:40:24 +020046
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020047 mbedtls_mpi_free(&N);
48 mbedtls_mpi_free(&P);
49 mbedtls_mpi_free(&Q);
50 mbedtls_mpi_free(&D);
51 mbedtls_mpi_free(&E);
52 mbedtls_mpi_free(&DP);
53 mbedtls_mpi_free(&DQ);
54 mbedtls_mpi_free(&QP);
55 } else
56# endif
57# if defined(MBEDTLS_ECP_C)
58 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY ||
59 mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY_DH) {
60 mbedtls_ecp_keypair *ecp = mbedtls_pk_ec(pk);
Gilles Peskinef02b9842020-02-25 19:52:44 +010061 mbedtls_ecp_group_id grp_id = ecp->grp.id;
62 const mbedtls_ecp_curve_info *curve_info =
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020063 mbedtls_ecp_curve_info_from_grp_id(grp_id);
Philippe Antoine72333522018-05-03 16:40:24 +020064
Gilles Peskinef02b9842020-02-25 19:52:44 +010065 /* If the curve is not supported, the key should not have been
66 * accepted. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020067 if (curve_info == NULL)
68 abort();
69 } else
70# endif
Gilles Peskined7fb66f2020-02-25 19:54:27 +010071 {
72 /* The key is valid but is not of a supported type.
73 * This should not happen. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020074 abort();
Gilles Peskined7fb66f2020-02-25 19:54:27 +010075 }
Philippe Antoine72333522018-05-03 16:40:24 +020076 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020077 mbedtls_pk_free(&pk);
Philippe Antoine72333522018-05-03 16:40:24 +020078#else
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020079 (void)Data;
80 (void)Size;
81#endif // MBEDTLS_PK_PARSE_C
Philippe Antoine72333522018-05-03 16:40:24 +020082
83 return 0;
84}