blob: 39c23e21efdcd16fd2dbd042b4241c06958ca737 [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>
Paul Elliott51a76792022-02-11 19:10:14 +00005#include <string.h>
Philippe Antoine72333522018-05-03 16:40:24 +02006#include "mbedtls/pk.h"
Paul Elliott51a76792022-02-11 19:10:14 +00007#include "mbedtls/entropy.h"
8#include "mbedtls/ctr_drbg.h"
Manuel Pégourié-Gonnard7f93da12021-06-16 10:20:30 +02009#include "common.h"
Philippe Antoine72333522018-05-03 16:40:24 +020010
11//4 Kb should be enough for every bug ;-)
12#define MAX_LEN 0x1000
13
Neil Armstrong9bb8e0d2022-07-20 16:25:06 +020014#if defined(MBEDTLS_PK_PARSE_C) && defined(MBEDTLS_CTR_DRBG_C) && defined(MBEDTLS_ENTROPY_C)
Paul Elliott51a76792022-02-11 19:10:14 +000015const char *pers = "fuzz_privkey";
Neil Armstrong9bb8e0d2022-07-20 16:25:06 +020016#endif // MBEDTLS_PK_PARSE_C && MBEDTLS_CTR_DRBG_C && MBEDTLS_ENTROPY_C
Philippe Antoine72333522018-05-03 16:40:24 +020017
Gilles Peskine449bd832023-01-11 14:50:10 +010018int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
19{
Neil Armstrong9bb8e0d2022-07-20 16:25:06 +020020#if defined(MBEDTLS_PK_PARSE_C) && defined(MBEDTLS_CTR_DRBG_C) && defined(MBEDTLS_ENTROPY_C)
Philippe Antoine72333522018-05-03 16:40:24 +020021 int ret;
22 mbedtls_pk_context pk;
Paul Elliott51a76792022-02-11 19:10:14 +000023 mbedtls_ctr_drbg_context ctr_drbg;
24 mbedtls_entropy_context entropy;
Philippe Antoine72333522018-05-03 16:40:24 +020025
26 if (Size > MAX_LEN) {
27 //only work on small inputs
28 Size = MAX_LEN;
29 }
30
Gilles Peskine449bd832023-01-11 14:50:10 +010031 mbedtls_ctr_drbg_init(&ctr_drbg);
32 mbedtls_entropy_init(&entropy);
Paul Elliott51a76792022-02-11 19:10:14 +000033
Gilles Peskine449bd832023-01-11 14:50:10 +010034 if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
35 (const unsigned char *) pers, strlen(pers)) != 0) {
Paul Elliott51a76792022-02-11 19:10:14 +000036 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010037 }
Paul Elliott51a76792022-02-11 19:10:14 +000038
Gilles Peskine449bd832023-01-11 14:50:10 +010039 mbedtls_pk_init(&pk);
40 ret = mbedtls_pk_parse_key(&pk, Data, Size, NULL, 0,
41 dummy_random, &ctr_drbg);
Philippe Antoine72333522018-05-03 16:40:24 +020042 if (ret == 0) {
43#if defined(MBEDTLS_RSA_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010044 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_RSA) {
Philippe Antoine72333522018-05-03 16:40:24 +020045 mbedtls_mpi N, P, Q, D, E, DP, DQ, QP;
46 mbedtls_rsa_context *rsa;
47
Gilles Peskine449bd832023-01-11 14:50:10 +010048 mbedtls_mpi_init(&N); mbedtls_mpi_init(&P); mbedtls_mpi_init(&Q);
49 mbedtls_mpi_init(&D); mbedtls_mpi_init(&E); mbedtls_mpi_init(&DP);
50 mbedtls_mpi_init(&DQ); mbedtls_mpi_init(&QP);
Philippe Antoine72333522018-05-03 16:40:24 +020051
Gilles Peskine449bd832023-01-11 14:50:10 +010052 rsa = mbedtls_pk_rsa(pk);
53 if (mbedtls_rsa_export(rsa, &N, &P, &Q, &D, &E) != 0) {
Philippe Antoine66070bc2020-01-22 13:54:56 +010054 abort();
55 }
Gilles Peskine449bd832023-01-11 14:50:10 +010056 if (mbedtls_rsa_export_crt(rsa, &DP, &DQ, &QP) != 0) {
Philippe Antoine7d4bd6f2020-01-22 14:13:08 +010057 abort();
58 }
Philippe Antoine72333522018-05-03 16:40:24 +020059
Gilles Peskine449bd832023-01-11 14:50:10 +010060 mbedtls_mpi_free(&N); mbedtls_mpi_free(&P); mbedtls_mpi_free(&Q);
61 mbedtls_mpi_free(&D); mbedtls_mpi_free(&E); mbedtls_mpi_free(&DP);
62 mbedtls_mpi_free(&DQ); mbedtls_mpi_free(&QP);
63 } else
Philippe Antoine72333522018-05-03 16:40:24 +020064#endif
65#if defined(MBEDTLS_ECP_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010066 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY ||
67 mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY_DH) {
68 mbedtls_ecp_keypair *ecp = mbedtls_pk_ec(pk);
Gilles Peskinef02b9842020-02-25 19:52:44 +010069 mbedtls_ecp_group_id grp_id = ecp->grp.id;
70 const mbedtls_ecp_curve_info *curve_info =
Gilles Peskine449bd832023-01-11 14:50:10 +010071 mbedtls_ecp_curve_info_from_grp_id(grp_id);
Philippe Antoine72333522018-05-03 16:40:24 +020072
Gilles Peskinef02b9842020-02-25 19:52:44 +010073 /* If the curve is not supported, the key should not have been
74 * accepted. */
Gilles Peskine449bd832023-01-11 14:50:10 +010075 if (curve_info == NULL) {
76 abort();
77 }
78 } else
Philippe Antoine72333522018-05-03 16:40:24 +020079#endif
Gilles Peskined7fb66f2020-02-25 19:54:27 +010080 {
81 /* The key is valid but is not of a supported type.
82 * This should not happen. */
Gilles Peskine449bd832023-01-11 14:50:10 +010083 abort();
Gilles Peskined7fb66f2020-02-25 19:54:27 +010084 }
Philippe Antoine72333522018-05-03 16:40:24 +020085 }
Gilles Peskine449bd832023-01-11 14:50:10 +010086 mbedtls_pk_free(&pk);
Philippe Antoine72333522018-05-03 16:40:24 +020087#else
88 (void) Data;
89 (void) Size;
Neil Armstrong9bb8e0d2022-07-20 16:25:06 +020090#endif // MBEDTLS_PK_PARSE_C && MBEDTLS_CTR_DRBG_C && MBEDTLS_ENTROPY_C
Philippe Antoine72333522018-05-03 16:40:24 +020091
92 return 0;
93}