blob: e51ee3010c50dd59a16facdc2aea20eb99c75b33 [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>
Philippe Antoine72333522018-05-03 16:40:24 +02003#include "mbedtls/pk.h"
4
5//4 Kb should be enough for every bug ;-)
6#define MAX_LEN 0x1000
7
8
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01009int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
10{
Philippe Antoine72333522018-05-03 16:40:24 +020011#ifdef MBEDTLS_PK_PARSE_C
12 int ret;
13 mbedtls_pk_context pk;
14
15 if (Size > MAX_LEN) {
16 //only work on small inputs
17 Size = MAX_LEN;
18 }
19
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010020 mbedtls_pk_init(&pk);
Przemek Stekiel8fa17b62023-04-19 11:47:01 +020021
22#if defined(MBEDTLS_USE_PSA_CRYPTO)
23 psa_status_t status = psa_crypto_init();
24 if (status != PSA_SUCCESS) {
25 goto exit;
26 }
27#endif /* MBEDTLS_USE_PSA_CRYPTO */
28
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010029 ret = mbedtls_pk_parse_key(&pk, Data, Size, NULL, 0);
Philippe Antoine72333522018-05-03 16:40:24 +020030 if (ret == 0) {
31#if defined(MBEDTLS_RSA_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010032 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_RSA) {
Philippe Antoine72333522018-05-03 16:40:24 +020033 mbedtls_mpi N, P, Q, D, E, DP, DQ, QP;
34 mbedtls_rsa_context *rsa;
35
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010036 mbedtls_mpi_init(&N); mbedtls_mpi_init(&P); mbedtls_mpi_init(&Q);
37 mbedtls_mpi_init(&D); mbedtls_mpi_init(&E); mbedtls_mpi_init(&DP);
38 mbedtls_mpi_init(&DQ); mbedtls_mpi_init(&QP);
Philippe Antoine72333522018-05-03 16:40:24 +020039
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010040 rsa = mbedtls_pk_rsa(pk);
41 if (mbedtls_rsa_export(rsa, &N, &P, &Q, &D, &E) != 0) {
Philippe Antoine66070bc2020-01-22 13:54:56 +010042 abort();
43 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010044 if (mbedtls_rsa_export_crt(rsa, &DP, &DQ, &QP) != 0) {
Philippe Antoine7d4bd6f2020-01-22 14:13:08 +010045 abort();
46 }
Philippe Antoine72333522018-05-03 16:40:24 +020047
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010048 mbedtls_mpi_free(&N); mbedtls_mpi_free(&P); mbedtls_mpi_free(&Q);
49 mbedtls_mpi_free(&D); mbedtls_mpi_free(&E); mbedtls_mpi_free(&DP);
50 mbedtls_mpi_free(&DQ); mbedtls_mpi_free(&QP);
51 } else
Philippe Antoine72333522018-05-03 16:40:24 +020052#endif
53#if defined(MBEDTLS_ECP_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010054 if (mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY ||
55 mbedtls_pk_get_type(&pk) == MBEDTLS_PK_ECKEY_DH) {
56 mbedtls_ecp_keypair *ecp = mbedtls_pk_ec(pk);
Gilles Peskinef02b9842020-02-25 19:52:44 +010057 mbedtls_ecp_group_id grp_id = ecp->grp.id;
58 const mbedtls_ecp_curve_info *curve_info =
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010059 mbedtls_ecp_curve_info_from_grp_id(grp_id);
Philippe Antoine72333522018-05-03 16:40:24 +020060
Gilles Peskinef02b9842020-02-25 19:52:44 +010061 /* If the curve is not supported, the key should not have been
62 * accepted. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010063 if (curve_info == NULL) {
64 abort();
65 }
66 } else
Philippe Antoine72333522018-05-03 16:40:24 +020067#endif
Gilles Peskined7fb66f2020-02-25 19:54:27 +010068 {
69 /* The key is valid but is not of a supported type.
70 * This should not happen. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010071 abort();
Gilles Peskined7fb66f2020-02-25 19:54:27 +010072 }
Philippe Antoine72333522018-05-03 16:40:24 +020073 }
Przemek Stekiel8fa17b62023-04-19 11:47:01 +020074exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010075 mbedtls_pk_free(&pk);
Przemek Stekiel8fa17b62023-04-19 11:47:01 +020076 mbedtls_psa_crypto_free();
Philippe Antoine72333522018-05-03 16:40:24 +020077#else
78 (void) Data;
79 (void) Size;
80#endif //MBEDTLS_PK_PARSE_C
81
82 return 0;
83}