| /dports/security/s2n/s2n-tls-1.1.2/tls/ |
| H A D | s2n_connection.h | 58 struct s2n_connection { struct
95 unsigned ipv6:1;
141 void *context;
148 s2n_send_fn *send;
149 s2n_recv_fn *recv;
165 s2n_mode mode;
180 uint64_t delay;
219 /* Whether to use client_cert_auth_type stored in s2n_config or in this s2n_connection. argument
237 enum { ENCRYPTED, PLAINTEXT } in_status;
271 * 1. s2n_connection_prefer_low_latency is set argument
[all …]
|
| H A D | s2n_connection.c | 1323 int s2n_connection_is_managed_corked(const struct s2n_connection *s2n_connection) in s2n_connection_is_managed_corked()
1340 int s2n_connection_is_client_auth_enabled(struct s2n_connection *s2n_connection) in s2n_connection_is_client_auth_enabled()
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_is_hello_retry_handshake/ |
| H A D | s2n_is_hello_retry_handshake_harness.c | 21 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_is_hello_retry_handshake_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_socket_write_snapshot/ |
| H A D | s2n_socket_write_snapshot_harness.c | 15 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_socket_write_snapshot_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_socket_write_restore/ |
| H A D | s2n_socket_write_restore_harness.c | 15 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_socket_write_restore_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_socket_write_uncork/ |
| H A D | s2n_socket_write_uncork_harness.c | 15 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_socket_write_uncork_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_connection_get_last_message_name/ |
| H A D | s2n_connection_get_last_message_name_harness.c | 21 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_connection_get_last_message_name_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_socket_quickack/ |
| H A D | s2n_socket_quickack_harness.c | 15 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_socket_quickack_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_socket_was_corked/ |
| H A D | s2n_socket_was_corked_harness.c | 15 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_socket_was_corked_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_socket_read_restore/ |
| H A D | s2n_socket_read_restore_harness.c | 15 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_socket_read_restore_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_socket_read_snapshot/ |
| H A D | s2n_socket_read_snapshot_harness.c | 15 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_socket_read_snapshot_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_socket_write_cork/ |
| H A D | s2n_socket_write_cork_harness.c | 15 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_socket_write_cork_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_is_hello_retry_message/ |
| H A D | s2n_is_hello_retry_message_harness.c | 21 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_is_hello_retry_message_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/s2n_socket_set_read_size/ |
| H A D | s2n_socket_set_read_size_harness.c | 16 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in s2n_socket_set_read_size_harness() local
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/sources/ |
| H A D | make_common_datastructures.c | 760 void cbmc_populate_s2n_connection(struct s2n_connection *s2n_connection) in cbmc_populate_s2n_connection()
805 struct s2n_connection *s2n_connection = malloc(sizeof(*s2n_connection)); in cbmc_allocate_s2n_connection() local
|