/mbedtls-3.5.0/library/ |
D | bn_mul.h | 138 : "=m" (t), "=m" (c), "=m" (d), "=m" (s) \ 139 : "m" (t), "m" (s), "m" (d), "m" (c), "m" (b) \ 216 : "=m" (t), "=m" (c), "=m" (d), "=m" (s) \ 217 : "m" (t), "m" (s), "m" (d), "m" (c), "m" (b) \ 244 : "+c" (c), "+D" (d), "+S" (s), "+m" (*(uint64_t (*)[16]) d) \ 245 : "b" (b), "m" (*(const uint64_t (*)[16]) s) \ 268 : "+r" (c), "+r" (d), "+r" (s), "+m" (*(uint64_t (*)[16]) d) \ 269 : "r" (b), "m" (*(const uint64_t (*)[16]) s) \ 298 : "=m" (c), "=m" (d), "=m" (s) \ 299 : "m" (s), "m" (d), "m" (c), "m" (b) \ [all …]
|
D | bignum.c | 72 X->s = 1; in mbedtls_mpi_init() 91 X->s = 1; in mbedtls_mpi_free() 181 X->s = 1; in mbedtls_mpi_resize_clear() 211 X->s = 1; in mbedtls_mpi_copy() 224 X->s = Y->s; in mbedtls_mpi_copy() 277 X->s = (z < 0) ? -1 : 1; in mbedtls_mpi_lset() 390 int mbedtls_mpi_read_string(mbedtls_mpi *X, int radix, const char *s) in mbedtls_mpi_read_string() argument 398 MPI_VALIDATE_RET(s != NULL); in mbedtls_mpi_read_string() 406 if (s[0] == 0) { in mbedtls_mpi_read_string() 411 if (s[0] == '-') { in mbedtls_mpi_read_string() [all …]
|
D | ecdsa.c | 243 mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign_restartable() argument 351 MBEDTLS_MPI_CHK(mbedtls_mpi_mul_mpi(s, pr, d)); in mbedtls_ecdsa_sign_restartable() 352 MBEDTLS_MPI_CHK(mbedtls_mpi_add_mpi(&e, &e, s)); in mbedtls_ecdsa_sign_restartable() 356 MBEDTLS_MPI_CHK(mbedtls_mpi_inv_mod(s, pk, &grp->N)); in mbedtls_ecdsa_sign_restartable() 357 MBEDTLS_MPI_CHK(mbedtls_mpi_mul_mpi(s, s, &e)); in mbedtls_ecdsa_sign_restartable() 358 MBEDTLS_MPI_CHK(mbedtls_mpi_mod_mpi(s, s, &grp->N)); in mbedtls_ecdsa_sign_restartable() 359 } while (mbedtls_mpi_cmp_int(s, 0) == 0); in mbedtls_ecdsa_sign_restartable() 392 int mbedtls_ecdsa_sign(mbedtls_ecp_group *grp, mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign() argument 397 return mbedtls_ecdsa_sign_restartable(grp, r, s, d, buf, blen, in mbedtls_ecdsa_sign() 410 mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign_det_restartable() argument [all …]
|
D | platform.c | 82 int mbedtls_platform_win32_snprintf(char *s, size_t n, const char *fmt, ...) in mbedtls_platform_win32_snprintf() argument 88 ret = mbedtls_vsnprintf(s, n, fmt, argp); in mbedtls_platform_win32_snprintf() 100 static int platform_snprintf_uninit(char *s, size_t n, in platform_snprintf_uninit() argument 103 ((void) s); in platform_snprintf_uninit() 112 int (*mbedtls_snprintf)(char *s, size_t n, 116 int mbedtls_platform_set_snprintf(int (*snprintf_func)(char *s, size_t n, in mbedtls_platform_set_snprintf() argument 127 int mbedtls_platform_win32_vsnprintf(char *s, size_t n, const char *fmt, va_list arg) in mbedtls_platform_win32_vsnprintf() argument 132 if (s == NULL || n == 0 || fmt == NULL) { in mbedtls_platform_win32_vsnprintf() 137 ret = vsnprintf_s(s, n, _TRUNCATE, fmt, arg); in mbedtls_platform_win32_vsnprintf() 139 ret = vsnprintf(s, n, fmt, arg); in mbedtls_platform_win32_vsnprintf() [all …]
|
D | x509_create.c | 44 #define ADD_STRLEN(s) s, sizeof(s) - 1 argument 129 const char *s = name, *c = s; in mbedtls_x509_string_to_names() local 130 const char *end = s + strlen(s); in mbedtls_x509_string_to_names() 142 if ((attr_descr = x509_attr_descr_from_name(s, c - s)) == NULL) { in mbedtls_x509_string_to_names() 148 s = c + 1; in mbedtls_x509_string_to_names() 178 s = c + 1; in mbedtls_x509_string_to_names() 182 if (!in_tag && s != c + 1) { in mbedtls_x509_string_to_names()
|
D | pem.c | 69 static int pem_get_iv(const unsigned char *s, unsigned char *iv, in pem_get_iv() argument 76 for (i = 0; i < iv_len * 2; i++, s++) { in pem_get_iv() 77 if (*s >= '0' && *s <= '9') { in pem_get_iv() 78 j = *s - '0'; in pem_get_iv() 80 if (*s >= 'A' && *s <= 'F') { in pem_get_iv() 81 j = *s - '7'; in pem_get_iv() 83 if (*s >= 'a' && *s <= 'f') { in pem_get_iv() 84 j = *s - 'W'; in pem_get_iv()
|
D | psa_crypto_ecp.c | 346 mbedtls_mpi r, s; in mbedtls_psa_ecdsa_sign_hash() local 359 mbedtls_mpi_init(&s); in mbedtls_psa_ecdsa_sign_hash() 371 &ecp->grp, &r, &s, in mbedtls_psa_ecdsa_sign_hash() 382 MBEDTLS_MPI_CHK(mbedtls_ecdsa_sign(&ecp->grp, &r, &s, &ecp->d, in mbedtls_psa_ecdsa_sign_hash() 391 MBEDTLS_MPI_CHK(mbedtls_mpi_write_binary(&s, in mbedtls_psa_ecdsa_sign_hash() 396 mbedtls_mpi_free(&s); in mbedtls_psa_ecdsa_sign_hash() 431 mbedtls_mpi r, s; in mbedtls_psa_ecdsa_verify_hash() local 446 mbedtls_mpi_init(&s); in mbedtls_psa_ecdsa_verify_hash() 460 status = mbedtls_to_psa_error(mbedtls_mpi_read_binary(&s, in mbedtls_psa_ecdsa_verify_hash() 474 &r, &s)); in mbedtls_psa_ecdsa_verify_hash() [all …]
|
D | constant_time.c | 757 X->s = mbedtls_ct_cond_select_sign(assign, Y->s, X->s); in mbedtls_mpi_safe_cond_assign() 780 int s; in mbedtls_mpi_safe_cond_swap() local 791 s = X->s; in mbedtls_mpi_safe_cond_swap() 792 X->s = mbedtls_ct_cond_select_sign(swap, Y->s, X->s); in mbedtls_mpi_safe_cond_swap() 793 Y->s = mbedtls_ct_cond_select_sign(swap, s, Y->s); in mbedtls_mpi_safe_cond_swap() 867 X_is_negative = (X->s & 2) >> 1; in mbedtls_mpi_lt_mpi_ct() 868 Y_is_negative = (Y->s & 2) >> 1; in mbedtls_mpi_lt_mpi_ct()
|
D | poly1305.c | 225 d = (uint64_t) acc0 + ctx->s[0]; in poly1305_compute_mac() 227 d = (uint64_t) acc1 + ctx->s[1] + (d >> 32U); in poly1305_compute_mac() 229 d = (uint64_t) acc2 + ctx->s[2] + (d >> 32U); in poly1305_compute_mac() 231 acc3 += ctx->s[3] + (uint32_t) (d >> 32U); in poly1305_compute_mac() 263 ctx->s[0] = MBEDTLS_GET_UINT32_LE(key, 16); in mbedtls_poly1305_starts() 264 ctx->s[1] = MBEDTLS_GET_UINT32_LE(key, 20); in mbedtls_poly1305_starts() 265 ctx->s[2] = MBEDTLS_GET_UINT32_LE(key, 24); in mbedtls_poly1305_starts() 266 ctx->s[3] = MBEDTLS_GET_UINT32_LE(key, 28); in mbedtls_poly1305_starts()
|
D | oid.c | 41 #define ADD_LEN(s) s, MBEDTLS_OID_SIZE(s) argument 47 #define OID_DESCRIPTOR(s, name, description) { ADD_LEN(s), name, description } argument 50 #define OID_DESCRIPTOR(s, name, description) { ADD_LEN(s) } argument
|
/mbedtls-3.5.0/3rdparty/everest/library/kremlib/ |
D | FStar_UInt128_extracted.c | 111 static uint64_t FStar_UInt128_add_u64_shift_left(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left() argument 113 return (hi << s) + (lo >> (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_left() 116 static uint64_t FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() argument 118 return FStar_UInt128_add_u64_shift_left(hi, lo, s); in FStar_UInt128_add_u64_shift_left_respec() 122 FStar_UInt128_shift_left_small(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_left_small() argument 124 if (s == (uint32_t)0U) in FStar_UInt128_shift_left_small() 131 flat = { a.low << s, FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s) }; in FStar_UInt128_shift_left_small() 137 FStar_UInt128_shift_left_large(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_left_large() argument 139 FStar_UInt128_uint128 flat = { (uint64_t)0U, a.low << (s - FStar_UInt128_u32_64) }; in FStar_UInt128_shift_left_large() 143 FStar_UInt128_uint128 FStar_UInt128_shift_left(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_left() argument [all …]
|
/mbedtls-3.5.0/tests/suites/ |
D | test_suite_ecdsa.function | 21 mbedtls_mpi d, r, s; 27 mbedtls_mpi_init(&d); mbedtls_mpi_init(&r); mbedtls_mpi_init(&s); 36 TEST_ASSERT(mbedtls_ecdsa_sign(&grp, &r, &s, &d, buf, sizeof(buf), 39 TEST_ASSERT(mbedtls_ecdsa_verify(&grp, buf, sizeof(buf), &Q, &r, &s) == 0); 44 mbedtls_mpi_free(&d); mbedtls_mpi_free(&r); mbedtls_mpi_free(&s); 53 mbedtls_mpi d, r, s; 59 mbedtls_mpi_init(&d); mbedtls_mpi_init(&r); mbedtls_mpi_init(&s); 71 TEST_ASSERT(mbedtls_ecdsa_sign(&grp, &r, &s, &d, buf, sizeof(buf), 74 TEST_ASSERT(mbedtls_ecdsa_verify(&grp, buf, sizeof(buf), &Q, &r, &s) == 0); 79 mbedtls_mpi_free(&d); mbedtls_mpi_free(&r); mbedtls_mpi_free(&s); [all …]
|
D | host_test.function | 16 "Expected string (with \"\") for parameter and got: %s\n", *str); 73 "Expected integer for parameter and got: %s\n", str); 83 "Usage: %s [OPTIONS] files...\n\n" \ 88 " %s\n\n" \ 310 ret = mbedtls_snprintf(buf, n, "%s", "123"); 382 mbedtls_fprintf(outcome_file, "%s;%s;%s;%s;", 433 mbedtls_fprintf(outcome_file, "FAIL;%s:%d:%s", 507 * structures, which should work on every modern platform. Let's be sure. 573 mbedtls_fprintf(stderr, "Failed to open test file: %s\n", 593 mbedtls_fprintf(stdout, "%s%.66s", [all …]
|
D | test_suite_bignum_core.function | 586 TEST_EQUAL(1, A.s); 587 TEST_EQUAL(1, B.s); 588 TEST_EQUAL(1, X.s); 597 /* Now let's get arrays of mbedtls_mpi_uints, rather than MPI structures */ 605 /* Populate the arrays. As the mbedtls_mpi_uint[]s in mbedtls_mpis (and as 658 /* We are testing A += B * s; A, B are MPIs, s is a scalar. 660 * However, we encode s as an MPI in the .data file as the test framework 686 /* The MPI encoding of scalar s must be only 1 limb */ 697 TEST_EQUAL(1, A.s); 698 TEST_EQUAL(1, B.s); [all …]
|
D | test_suite_random.function | 180 mbedtls_mpi d, r, s; 186 mbedtls_mpi_init(&s); 191 TEST_EQUAL(0, mbedtls_ecdsa_sign(&grp, &r, &s, &d, 198 mbedtls_mpi_free(&s);
|
/mbedtls-3.5.0/tests/src/ |
D | bignum_helpers.c | 90 const char *s, in mbedtls_test_read_mpi_modulus() argument 98 int ret = mbedtls_test_read_mpi_core(&p, &limbs, s); in mbedtls_test_read_mpi_modulus() 115 int mbedtls_test_read_mpi(mbedtls_mpi *X, const char *s) in mbedtls_test_read_mpi() argument 121 if (s[0] == '-') { in mbedtls_test_read_mpi() 122 ++s; in mbedtls_test_read_mpi() 127 if (s[0] == 0) { in mbedtls_test_read_mpi() 131 int ret = mbedtls_mpi_read_string(X, 16, s); in mbedtls_test_read_mpi() 139 X->s = -1; in mbedtls_test_read_mpi()
|
/mbedtls-3.5.0/include/mbedtls/ |
D | ecdsa.h | 173 int mbedtls_ecdsa_sign(mbedtls_ecp_group *grp, mbedtls_mpi *r, mbedtls_mpi *s, 218 mbedtls_mpi *s, const mbedtls_mpi *d, 282 mbedtls_mpi *r, mbedtls_mpi *s, 342 mbedtls_mpi *r, mbedtls_mpi *s, 386 const mbedtls_mpi *s); 428 const mbedtls_mpi *s,
|
D | platform.h | 229 int mbedtls_platform_win32_snprintf(char *s, size_t n, const char *fmt, ...); 233 extern int (*mbedtls_snprintf)(char *s, size_t n, const char *format, ...); 243 int mbedtls_platform_set_snprintf(int (*snprintf_func)(char *s, size_t n, 265 int mbedtls_platform_win32_vsnprintf(char *s, size_t n, const char *fmt, va_list arg); 270 extern int (*mbedtls_vsnprintf)(char *s, size_t n, const char *format, va_list arg); 279 int mbedtls_platform_set_vsnprintf(int (*vsnprintf_func)(char *s, size_t n,
|
/mbedtls-3.5.0/tests/scripts/ |
D | translate_ciphers.py | 77 for s, g_exp, o_exp, m_exp in ciphers: 80 g = translate_gnutls(s) 84 o = translate_ossl(s) 88 m = translate_mbedtls(s)
|
D | check-generated-files.sh | 66 printf '%s\n' "$@" 90 # Move the original file back so that $FILE's timestamp doesn't
|
/mbedtls-3.5.0/docs/proposed/ |
D | psa-driver-wrappers-codegen-migration-guide.md | 22 ### What's critical for a migrating user 24 …a2 ) to render templates based on drivers that are defined using a Driver description JSON file(s). 26 While that is the larger goal, for version 1.1 here's what's changed 28 #### What's changed
|
/mbedtls-3.5.0/programs/psa/ |
D | psa_constant_names.c | 29 int snprintf(char *s, size_t n, const char *fmt, ...) in snprintf() argument 35 if (s == NULL || n == 0 || fmt == NULL) { in snprintf() 41 ret = _vsnprintf_s(s, n, _TRUNCATE, fmt, argp); in snprintf() 43 ret = _vsnprintf(s, n, fmt, argp); in snprintf() 45 s[n-1] = '\0'; in snprintf()
|
/mbedtls-3.5.0/tests/include/test/ |
D | bignum_helpers.h | 75 const char *s, 106 int mbedtls_test_read_mpi(mbedtls_mpi *X, const char *s);
|
/mbedtls-3.5.0/tests/data_files/ |
D | server2.ku-ka.crt | 13 XDBagBS0WuSls97SUva51aaVD+s+vMf9/6E/pD0wOzELMAkGA1UEBhMCTkwxETAP 16 OiE2xFh2UmuN/9hTK2CyW6MtBf8aG3l4jQDrsutHO0gUyoR67ug4yj+s+0S/zETZ
|
D | cert_sha384.crt | 13 pjAfBgNVHSMEGDAWgBS0WuSls97SUva51aaVD+s+vMf9/zANBgkqhkiG9w0BAQwF 16 N/s/jphPVgjPwZiC1ZtOoD7WvSkIInB53j4Q3VCH6EpZxZuDO/u8CGBQ0g+9Eqhn
|