Home
last modified time | relevance | path

Searched refs:evp_md5_secondary (Results 1 – 6 of 6) sorted by relevance

/dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_hmac_free/
H A Ds2n_hmac_free_harness.c47 assert(state->inner.digest.high_level.evp_md5_secondary.ctx == NULL); in s2n_hmac_free_harness()
51 assert(state->inner_just_key.digest.high_level.evp_md5_secondary.ctx == NULL); in s2n_hmac_free_harness()
55 assert(state->outer.digest.high_level.evp_md5_secondary.ctx == NULL); in s2n_hmac_free_harness()
59 assert(state->outer_just_key.digest.high_level.evp_md5_secondary.ctx == NULL); in s2n_hmac_free_harness()
80 S2N_EVP_MD_CTX_FREE(state->inner.digest.high_level.evp_md5_secondary.ctx); in s2n_hmac_free_harness()
82 S2N_EVP_MD_CTX_FREE(state->inner_just_key.digest.high_level.evp_md5_secondary.ctx); in s2n_hmac_free_harness()
84 S2N_EVP_MD_CTX_FREE(state->outer.digest.high_level.evp_md5_secondary.ctx); in s2n_hmac_free_harness()
86 S2N_EVP_MD_CTX_FREE(state->outer_just_key.digest.high_level.evp_md5_secondary.ctx); in s2n_hmac_free_harness()
/dports/security/s2n/s2n-tls-1.1.2/crypto/
H A Ds2n_hash.c249 POSIX_ENSURE_REF(state->digest.high_level.evp_md5_secondary.ctx = S2N_EVP_MD_CTX_NEW()); in s2n_evp_hash_new()
263 POSIX_GUARD(s2n_digest_allow_md5_for_fips(&state->digest.high_level.evp_md5_secondary)); in s2n_evp_hash_allow_md5_for_fips()
270 POSIX_ENSURE_REF(state->digest.high_level.evp_md5_secondary.ctx); in s2n_evp_hash_init()
325 POSIX_ENSURE_REF(EVP_MD_CTX_md(state->digest.high_level.evp_md5_secondary.ctx)); in s2n_evp_hash_update()
327 …POSIX_GUARD_OSSL(EVP_DigestUpdate(state->digest.high_level.evp_md5_secondary.ctx, data, size), S2N… in s2n_evp_hash_update()
368 POSIX_ENSURE_REF(EVP_MD_CTX_md(state->digest.high_level.evp_md5_secondary.ctx)); in s2n_evp_hash_digest()
409 POSIX_ENSURE_REF(to->digest.high_level.evp_md5_secondary.ctx); in s2n_evp_hash_copy()
415 …SL(EVP_MD_CTX_copy_ex(to->digest.high_level.evp_md5_secondary.ctx, from->digest.high_level.evp_md5… in s2n_evp_hash_copy()
441 …POSIX_GUARD_OSSL(S2N_EVP_MD_CTX_RESET(state->digest.high_level.evp_md5_secondary.ctx), S2N_ERR_HAS… in s2n_evp_hash_reset()
455 S2N_EVP_MD_CTX_FREE(state->digest.high_level.evp_md5_secondary.ctx); in s2n_evp_hash_free()
[all …]
H A Ds2n_hash.h59 struct s2n_evp_digest evp_md5_secondary; member
/dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_hash_free/
H A Ds2n_hash_free_harness.c38 assert(state->digest.high_level.evp_md5_secondary.ctx == NULL); in s2n_hash_free_harness()
52 S2N_EVP_MD_CTX_FREE(state->digest.high_level.evp_md5_secondary.ctx); in s2n_hash_free_harness()
/dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/sources/
H A Dcbmc_utils.c254 if (state->digest.high_level.evp_md5_secondary.ctx) { in save_rc_keys_from_hash_state()
255 if (state->digest.high_level.evp_md5_secondary.ctx->pctx) { in save_rc_keys_from_hash_state()
256 … save_abstract_evp_ctx(state->digest.high_level.evp_md5_secondary.ctx->pctx, &storage->evp_md5); in save_rc_keys_from_hash_state()
H A Dmake_common_datastructures.c268 cbmc_populate_s2n_evp_digest(&state->digest.high_level.evp_md5_secondary); in cbmc_populate_s2n_hash_state()
298 cbmc_populate_s2n_evp_digest(&backup->inner.evp_md5_secondary); in cbmc_populate_s2n_hmac_evp_backup()
300 cbmc_populate_s2n_evp_digest(&backup->inner_just_key.evp_md5_secondary); in cbmc_populate_s2n_hmac_evp_backup()
302 cbmc_populate_s2n_evp_digest(&backup->outer.evp_md5_secondary); in cbmc_populate_s2n_hmac_evp_backup()
304 cbmc_populate_s2n_evp_digest(&backup->outer_just_key.evp_md5_secondary); in cbmc_populate_s2n_hmac_evp_backup()