blob: 753096406d940eb32a8f72bb03a32e8ccc8491fa [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>
Paul Elliott51a76792022-02-11 19:10:14 +00003#include <string.h>
Philippe Antoine72333522018-05-03 16:40:24 +02004#include "mbedtls/pk.h"
Paul Elliott51a76792022-02-11 19:10:14 +00005#include "mbedtls/entropy.h"
6#include "mbedtls/ctr_drbg.h"
Manuel Pégourié-Gonnard7f93da12021-06-16 10:20:30 +02007#include "common.h"
Philippe Antoine72333522018-05-03 16:40:24 +02008
9//4 Kb should be enough for every bug ;-)
10#define MAX_LEN 0x1000
11
Neil Armstrong9bb8e0d2022-07-20 16:25:06 +020012#if defined(MBEDTLS_PK_PARSE_C) && defined(MBEDTLS_CTR_DRBG_C) && defined(MBEDTLS_ENTROPY_C)
Paul Elliott51a76792022-02-11 19:10:14 +000013const char *pers = "fuzz_privkey";
Neil Armstrong9bb8e0d2022-07-20 16:25:06 +020014#endif // MBEDTLS_PK_PARSE_C && MBEDTLS_CTR_DRBG_C && MBEDTLS_ENTROPY_C
Philippe Antoine72333522018-05-03 16:40:24 +020015
Gilles Peskine449bd832023-01-11 14:50:10 +010016int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
17{
Neil Armstrong9bb8e0d2022-07-20 16:25:06 +020018#if defined(MBEDTLS_PK_PARSE_C) && defined(MBEDTLS_CTR_DRBG_C) && defined(MBEDTLS_ENTROPY_C)
Philippe Antoine72333522018-05-03 16:40:24 +020019 int ret;
20 mbedtls_pk_context pk;
Paul Elliott51a76792022-02-11 19:10:14 +000021 mbedtls_ctr_drbg_context ctr_drbg;
22 mbedtls_entropy_context entropy;
Philippe Antoine72333522018-05-03 16:40:24 +020023
24 if (Size > MAX_LEN) {
25 //only work on small inputs
26 Size = MAX_LEN;
27 }
28
Gilles Peskine449bd832023-01-11 14:50:10 +010029 mbedtls_ctr_drbg_init(&ctr_drbg);
30 mbedtls_entropy_init(&entropy);
Przemek Stekiel774f9de2023-04-19 11:47:01 +020031 mbedtls_pk_init(&pk);
32
33#if defined(MBEDTLS_USE_PSA_CRYPTO)
34 psa_status_t status = psa_crypto_init();
35 if (status != PSA_SUCCESS) {
36 goto exit;
37 }
38#endif /* MBEDTLS_USE_PSA_CRYPTO */
Paul Elliott51a76792022-02-11 19:10:14 +000039
Gilles Peskine449bd832023-01-11 14:50:10 +010040 if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
41 (const unsigned char *) pers, strlen(pers)) != 0) {
Przemek Stekiel774f9de2023-04-19 11:47:01 +020042 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +010043 }
Paul Elliott51a76792022-02-11 19:10:14 +000044
Gilles Peskine449bd832023-01-11 14:50:10 +010045 ret = mbedtls_pk_parse_key(&pk, Data, Size, NULL, 0,
46 dummy_random, &ctr_drbg);
Philippe Antoine72333522018-05-03 16:40:24 +020047 if (ret == 0) {
48#if defined(MBEDTLS_RSA_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010049 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_RSA) {
Philippe Antoine72333522018-05-03 16:40:24 +020050 mbedtls_mpi N, P, Q, D, E, DP, DQ, QP;
51 mbedtls_rsa_context *rsa;
52
Gilles Peskine449bd832023-01-11 14:50:10 +010053 mbedtls_mpi_init(&N); mbedtls_mpi_init(&P); mbedtls_mpi_init(&Q);
54 mbedtls_mpi_init(&D); mbedtls_mpi_init(&E); mbedtls_mpi_init(&DP);
55 mbedtls_mpi_init(&DQ); mbedtls_mpi_init(&QP);
Philippe Antoine72333522018-05-03 16:40:24 +020056
Gilles Peskine449bd832023-01-11 14:50:10 +010057 rsa = mbedtls_pk_rsa(pk);
58 if (mbedtls_rsa_export(rsa, &N, &P, &Q, &D, &E) != 0) {
Philippe Antoine66070bc2020-01-22 13:54:56 +010059 abort();
60 }
Gilles Peskine449bd832023-01-11 14:50:10 +010061 if (mbedtls_rsa_export_crt(rsa, &DP, &DQ, &QP) != 0) {
Philippe Antoine7d4bd6f2020-01-22 14:13:08 +010062 abort();
63 }
Philippe Antoine72333522018-05-03 16:40:24 +020064
Gilles Peskine449bd832023-01-11 14:50:10 +010065 mbedtls_mpi_free(&N); mbedtls_mpi_free(&P); mbedtls_mpi_free(&Q);
66 mbedtls_mpi_free(&D); mbedtls_mpi_free(&E); mbedtls_mpi_free(&DP);
67 mbedtls_mpi_free(&DQ); mbedtls_mpi_free(&QP);
68 } else
Philippe Antoine72333522018-05-03 16:40:24 +020069#endif
70#if defined(MBEDTLS_ECP_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010071 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY ||
72 mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY_DH) {
73 mbedtls_ecp_keypair *ecp = mbedtls_pk_ec(pk);
Gilles Peskined5f68972024-02-22 12:05:35 +010074 mbedtls_ecp_group_id grp_id = mbedtls_ecp_keypair_get_group_id(ecp);
Gilles Peskinef02b9842020-02-25 19:52:44 +010075 const mbedtls_ecp_curve_info *curve_info =
Gilles Peskine449bd832023-01-11 14:50:10 +010076 mbedtls_ecp_curve_info_from_grp_id(grp_id);
Philippe Antoine72333522018-05-03 16:40:24 +020077
Gilles Peskinef02b9842020-02-25 19:52:44 +010078 /* If the curve is not supported, the key should not have been
79 * accepted. */
Gilles Peskine449bd832023-01-11 14:50:10 +010080 if (curve_info == NULL) {
81 abort();
82 }
83 } else
Philippe Antoine72333522018-05-03 16:40:24 +020084#endif
Gilles Peskined7fb66f2020-02-25 19:54:27 +010085 {
86 /* The key is valid but is not of a supported type.
87 * This should not happen. */
Gilles Peskine449bd832023-01-11 14:50:10 +010088 abort();
Gilles Peskined7fb66f2020-02-25 19:54:27 +010089 }
Philippe Antoine72333522018-05-03 16:40:24 +020090 }
Przemek Stekiel774f9de2023-04-19 11:47:01 +020091exit:
92 mbedtls_entropy_free(&entropy);
93 mbedtls_ctr_drbg_free(&ctr_drbg);
Gilles Peskine449bd832023-01-11 14:50:10 +010094 mbedtls_pk_free(&pk);
Przemek Stekiel758aef62023-04-19 13:47:43 +020095#if defined(MBEDTLS_USE_PSA_CRYPTO)
Przemek Stekiel774f9de2023-04-19 11:47:01 +020096 mbedtls_psa_crypto_free();
Przemek Stekiel758aef62023-04-19 13:47:43 +020097#endif /* MBEDTLS_USE_PSA_CRYPTO */
Philippe Antoine72333522018-05-03 16:40:24 +020098#else
99 (void) Data;
100 (void) Size;
Neil Armstrong9bb8e0d2022-07-20 16:25:06 +0200101#endif // MBEDTLS_PK_PARSE_C && MBEDTLS_CTR_DRBG_C && MBEDTLS_ENTROPY_C
Philippe Antoine72333522018-05-03 16:40:24 +0200102
103 return 0;
104}