Path	Lines of Code
bindings/rust/s2n-tls-sys/tests/s2n_init.rs	14
tests/LD_PRELOAD/allocator_overrides.c	45
tests/benchmark/s2n_base64_benchmark.cc	50
tests/benchmark/s2n_negotiate_benchmark.cc	13
tests/benchmark/s2n_pem_parse_benchmark.cc	90
tests/benchmark/utils/s2n_negotiate_client_benchmark.cc	159
tests/benchmark/utils/s2n_negotiate_client_benchmark.h	2
tests/benchmark/utils/s2n_negotiate_server_benchmark.cc	120
tests/benchmark/utils/s2n_negotiate_server_benchmark.h	2
tests/benchmark/utils/shared_info.cc	216
tests/benchmark/utils/shared_info.h	22
tests/cbmc/include/cbmc_proof/cbmc_utils.h	56
tests/cbmc/include/cbmc_proof/endian.h	32
tests/cbmc/include/cbmc_proof/make_common_datastructures.h	106
tests/cbmc/include/cbmc_proof/nondet.h	18
tests/cbmc/proofs/prepare.py	18
tests/cbmc/proofs/s2n_add_overflow/s2n_add_overflow_harness.c	15
tests/cbmc/proofs/s2n_align_to/s2n_align_to_harness.c	17
tests/cbmc/proofs/s2n_alloc/s2n_alloc_harness.c	20
tests/cbmc/proofs/s2n_array_capacity/s2n_array_capacity_harness.c	14
tests/cbmc/proofs/s2n_array_free/s2n_array_free_harness.c	17
tests/cbmc/proofs/s2n_array_free_p/s2n_array_free_p_harness.c	18
tests/cbmc/proofs/s2n_array_get/s2n_array_get_harness.c	18
tests/cbmc/proofs/s2n_array_init/s2n_array_init_harness.c	15
tests/cbmc/proofs/s2n_array_insert/s2n_array_insert_harness.c	32
tests/cbmc/proofs/s2n_array_insert_and_copy/s2n_array_insert_and_copy_harness.c	24
tests/cbmc/proofs/s2n_array_new/s2n_array_new_harness.c	9
tests/cbmc/proofs/s2n_array_num_elements/s2n_array_num_elements_harness.c	14
tests/cbmc/proofs/s2n_array_pushback/s2n_array_pushback_harness.c	23
tests/cbmc/proofs/s2n_array_remove/s2n_array_remove_harness.c	22
tests/cbmc/proofs/s2n_blob_char_to_lower/s2n_blob_char_to_lower_harness.c	25
tests/cbmc/proofs/s2n_blob_init/s2n_blob_init_harness.c	13
tests/cbmc/proofs/s2n_blob_is_growable/s2n_blob_is_growable_harness.c	14
tests/cbmc/proofs/s2n_blob_slice/s2n_blob_slice_harness.c	34
tests/cbmc/proofs/s2n_blob_zero/s2n_blob_zero_harness.c	12
tests/cbmc/proofs/s2n_blob_zeroize_free/s2n_blob_zeroize_free_harness.c	26
tests/cbmc/proofs/s2n_connection_get_last_message_name/s2n_connection_get_last_message_name_harness.c	10
tests/cbmc/proofs/s2n_constant_time_copy_or_dont/s2n_constant_time_copy_or_dont_harness.c	40
tests/cbmc/proofs/s2n_constant_time_equals/s2n_constant_time_equals_harness.c	16
tests/cbmc/proofs/s2n_constant_time_pkcs1_unpad_or_dont/s2n_constant_time_pkcs1_unpad_or_dont_harness.c	40
tests/cbmc/proofs/s2n_dh_compute_shared_secret_as_client/s2n_dh_compute_shared_secret_as_client_harness.c	17
tests/cbmc/proofs/s2n_dh_compute_shared_secret_as_server/s2n_dh_compute_shared_secret_as_server_harness.c	17
tests/cbmc/proofs/s2n_dh_generate_ephemeral_key/s2n_dh_generate_ephemeral_key_harness.c	15
tests/cbmc/proofs/s2n_dh_p_g_Ys_to_dh_params/s2n_dh_p_g_Ys_to_dh_params_harness.c	23
tests/cbmc/proofs/s2n_dh_params_check/s2n_dh_params_check_harness.c	14
tests/cbmc/proofs/s2n_dh_params_copy/s2n_dh_params_copy_harness.c	23
tests/cbmc/proofs/s2n_dh_params_free/s2n_dh_params_free_harness.c	15
tests/cbmc/proofs/s2n_dh_params_to_p_g_Ys/s2n_dh_params_to_p_g_Ys_harness.c	19
tests/cbmc/proofs/s2n_digest_allow_md5_for_fips/s2n_digest_allow_md5_for_fips_harness.c	15
tests/cbmc/proofs/s2n_digest_allow_md5_for_fips_boringssl_awslc/s2n_digest_allow_md5_for_fips_boringssl_awslc_harness.c	14
tests/cbmc/proofs/s2n_digest_is_md5_allowed_for_fips/s2n_digest_is_md5_allowed_for_fips_harness.c	15
tests/cbmc/proofs/s2n_dup/s2n_dup_harness.c	30
tests/cbmc/proofs/s2n_free/s2n_free_harness.c	25
tests/cbmc/proofs/s2n_free_object/s2n_free_object_harness.c	17
tests/cbmc/proofs/s2n_hash_allow_md5_for_fips/s2n_hash_allow_md5_for_fips_harness.c	12
tests/cbmc/proofs/s2n_hash_block_size/s2n_hash_block_size_harness.c	23
tests/cbmc/proofs/s2n_hash_const_time_get_currently_in_hash_block/s2n_hash_const_time_get_currently_in_hash_block_harness.c	20
tests/cbmc/proofs/s2n_hash_copy/s2n_hash_copy_harness.c	17
tests/cbmc/proofs/s2n_hash_digest/s2n_hash_digest_harness.c	15
tests/cbmc/proofs/s2n_hash_digest_size/s2n_hash_digest_size_harness.c	21
tests/cbmc/proofs/s2n_hash_free/s2n_hash_free_harness.c	30
tests/cbmc/proofs/s2n_hash_get_currently_in_hash_total/s2n_hash_get_currently_in_hash_total_harness.c	18
tests/cbmc/proofs/s2n_hash_hmac_alg/s2n_hash_hmac_alg_harness.c	23
tests/cbmc/proofs/s2n_hash_init/s2n_hash_init_harness.c	10
tests/cbmc/proofs/s2n_hash_is_available/s2n_hash_is_available_harness.c	24
tests/cbmc/proofs/s2n_hash_is_ready_for_input/s2n_hash_is_ready_for_input_harness.c	11
tests/cbmc/proofs/s2n_hash_new/s2n_hash_new_harness.c	9
tests/cbmc/proofs/s2n_hash_reset/s2n_hash_reset_harness.c	11
tests/cbmc/proofs/s2n_hash_update/s2n_hash_update_harness.c	15
tests/cbmc/proofs/s2n_hex_string_to_bytes/s2n_hex_string_to_bytes_harness.c	29
tests/cbmc/proofs/s2n_hmac_copy/s2n_hmac_copy_harness.c	26
tests/cbmc/proofs/s2n_hmac_digest/s2n_hmac_digest_harness.c	20
tests/cbmc/proofs/s2n_hmac_digest_size/s2n_hmac_digest_size_harness.c	22
tests/cbmc/proofs/s2n_hmac_digest_two_compression_rounds/s2n_hmac_digest_two_compression_rounds_harness.c	20
tests/cbmc/proofs/s2n_hmac_digest_verify/s2n_hmac_digest_verify_harness.c	16
tests/cbmc/proofs/s2n_hmac_free/s2n_hmac_free_harness.c	61
tests/cbmc/proofs/s2n_hmac_hash_alg/s2n_hmac_hash_alg_harness.c	22
tests/cbmc/proofs/s2n_hmac_hash_block_size/s2n_hmac_hash_block_size_harness.c	24
tests/cbmc/proofs/s2n_hmac_init/s2n_hmac_init_harness.c	13
tests/cbmc/proofs/s2n_hmac_is_available/s2n_hmac_is_available_harness.c	23
tests/cbmc/proofs/s2n_hmac_new/s2n_hmac_new_harness.c	10
tests/cbmc/proofs/s2n_hmac_reset/s2n_hmac_reset_harness.c	15
tests/cbmc/proofs/s2n_hmac_restore_evp_hash_state/s2n_hmac_restore_evp_hash_state_harness.c	14
tests/cbmc/proofs/s2n_hmac_save_evp_hash_state/s2n_hmac_save_evp_hash_state_harness.c	14
tests/cbmc/proofs/s2n_hmac_update/s2n_hmac_update_harness.c	15
tests/cbmc/proofs/s2n_hmac_xor_pad_size/s2n_hmac_xor_pad_size_harness.c	22
tests/cbmc/proofs/s2n_is_base64_char/s2n_is_base64_char_harness.c	10
tests/cbmc/proofs/s2n_is_hello_retry_handshake/s2n_is_hello_retry_handshake_harness.c	8
tests/cbmc/proofs/s2n_is_hello_retry_message/s2n_is_hello_retry_message_harness.c	9
tests/cbmc/proofs/s2n_mem_cleanup/s2n_mem_cleanup_harness.c	15
tests/cbmc/proofs/s2n_mem_init/s2n_mem_init_harness.c	13
tests/cbmc/proofs/s2n_mul_overflow_harness/s2n_mul_overflow_harness.c	11
tests/cbmc/proofs/s2n_pkcs3_to_dh_params/s2n_pkcs3_to_dh_params_harness.c	22
tests/cbmc/proofs/s2n_pkcs3_to_dh_params_openssl_1_1_0/s2n_pkcs3_to_dh_params_openssl_1_1_0_harness.c	22
tests/cbmc/proofs/s2n_realloc/s2n_realloc_harness.c	29
tests/cbmc/proofs/s2n_set_add/s2n_set_add_harness.c	18
tests/cbmc/proofs/s2n_set_free/s2n_set_free_harness.c	17
tests/cbmc/proofs/s2n_set_free_p/s2n_set_free_p_harness.c	19
tests/cbmc/proofs/s2n_set_get/s2n_set_get_harness.c	17
tests/cbmc/proofs/s2n_set_len/s2n_set_len_harness.c	13
tests/cbmc/proofs/s2n_set_new/s2n_set_new_harness.c	10
tests/cbmc/proofs/s2n_set_remove/s2n_set_remove_harness.c	21
tests/cbmc/proofs/s2n_socket_is_ipv6/s2n_socket_is_ipv6_harness.c	9
tests/cbmc/proofs/s2n_socket_quickack/s2n_socket_quickack_harness.c	11
tests/cbmc/proofs/s2n_socket_read/s2n_socket_read_harness.c	11
tests/cbmc/proofs/s2n_socket_read_restore/s2n_socket_read_restore_harness.c	12
tests/cbmc/proofs/s2n_socket_read_snapshot/s2n_socket_read_snapshot_harness.c	12
tests/cbmc/proofs/s2n_socket_set_read_size/s2n_socket_set_read_size_harness.c	14
tests/cbmc/proofs/s2n_socket_was_corked/s2n_socket_was_corked_harness.c	12
tests/cbmc/proofs/s2n_socket_write/s2n_socket_write_harness.c	14
tests/cbmc/proofs/s2n_socket_write_cork/s2n_socket_write_cork_harness.c	12
tests/cbmc/proofs/s2n_socket_write_restore/s2n_socket_write_restore_harness.c	12
tests/cbmc/proofs/s2n_socket_write_snapshot/s2n_socket_write_snapshot_harness.c	12
tests/cbmc/proofs/s2n_socket_write_uncork/s2n_socket_write_uncork_harness.c	12
tests/cbmc/proofs/s2n_stuffer_alloc/s2n_stuffer_alloc_harness.c	27
tests/cbmc/proofs/s2n_stuffer_alloc_ro_from_fd/s2n_stuffer_alloc_ro_from_fd_harness.c	24
tests/cbmc/proofs/s2n_stuffer_alloc_ro_from_file/s2n_stuffer_alloc_ro_from_file_harness.c	27
tests/cbmc/proofs/s2n_stuffer_alloc_ro_from_string/s2n_stuffer_alloc_ro_from_string_harness.c	26
tests/cbmc/proofs/s2n_stuffer_certificate_from_pem/s2n_stuffer_certificate_from_pem_harness.c	19
tests/cbmc/proofs/s2n_stuffer_copy/s2n_stuffer_copy_harness.c	28
tests/cbmc/proofs/s2n_stuffer_dhparams_from_pem/s2n_stuffer_dhparams_from_pem_harness.c	20
tests/cbmc/proofs/s2n_stuffer_erase_and_read/s2n_stuffer_erase_and_read_harness.c	41
tests/cbmc/proofs/s2n_stuffer_erase_and_read_bytes/s2n_stuffer_erase_and_read_bytes_harness.c	40
tests/cbmc/proofs/s2n_stuffer_extract_blob/s2n_stuffer_extract_blob_harness.c	29
tests/cbmc/proofs/s2n_stuffer_free/s2n_stuffer_free_harness.c	25
tests/cbmc/proofs/s2n_stuffer_growable_alloc/s2n_stuffer_growable_alloc_harness.c	29
tests/cbmc/proofs/s2n_stuffer_init/s2n_stuffer_init_harness.c	13
tests/cbmc/proofs/s2n_stuffer_is_consumed/s2n_stuffer_is_consumed_harness.c	19
tests/cbmc/proofs/s2n_stuffer_peek_char/s2n_stuffer_peek_char_harness.c	21
tests/cbmc/proofs/s2n_stuffer_peek_check_for_str/s2n_stuffer_peek_check_for_str_harness.c	22
tests/cbmc/proofs/s2n_stuffer_private_key_from_pem/s2n_stuffer_private_key_from_pem_harness.c	19
tests/cbmc/proofs/s2n_stuffer_raw_read/s2n_stuffer_raw_read_harness.c	31
tests/cbmc/proofs/s2n_stuffer_raw_write/s2n_stuffer_raw_write_harness.c	29
tests/cbmc/proofs/s2n_stuffer_read/s2n_stuffer_read_harness.c	34
tests/cbmc/proofs/s2n_stuffer_read_base64/s2n_stuffer_read_base64_harness.c	29
tests/cbmc/proofs/s2n_stuffer_read_bytes/s2n_stuffer_read_bytes_harness.c	29
tests/cbmc/proofs/s2n_stuffer_read_expected_str/s2n_stuffer_read_expected_str_harness.c	25
tests/cbmc/proofs/s2n_stuffer_read_line/s2n_stuffer_read_line_harness.c	43
tests/cbmc/proofs/s2n_stuffer_read_token/s2n_stuffer_read_token_harness.c	41
tests/cbmc/proofs/s2n_stuffer_read_uint16/s2n_stuffer_read_uint16_harness.c	23
tests/cbmc/proofs/s2n_stuffer_read_uint24/s2n_stuffer_read_uint24_harness.c	24
tests/cbmc/proofs/s2n_stuffer_read_uint32/s2n_stuffer_read_uint32_harness.c	25
tests/cbmc/proofs/s2n_stuffer_read_uint64/s2n_stuffer_read_uint64_harness.c	29
tests/cbmc/proofs/s2n_stuffer_read_uint8/s2n_stuffer_read_uint8_harness.c	22
tests/cbmc/proofs/s2n_stuffer_recv_from_fd/s2n_stuffer_recv_from_fd_harness.c	25
tests/cbmc/proofs/s2n_stuffer_reread/s2n_stuffer_reread_harness.c	24
tests/cbmc/proofs/s2n_stuffer_reserve/s2n_stuffer_reserve_harness.c	39
tests/cbmc/proofs/s2n_stuffer_reserve_space/s2n_stuffer_reserve_space_harness.c	36
tests/cbmc/proofs/s2n_stuffer_reserve_uint16/s2n_stuffer_reserve_uint16_harness.c	38
tests/cbmc/proofs/s2n_stuffer_reserve_uint24/s2n_stuffer_reserve_uint24_harness.c	37
tests/cbmc/proofs/s2n_stuffer_resize/s2n_stuffer_resize_harness.c	49
tests/cbmc/proofs/s2n_stuffer_resize_if_empty/s2n_stuffer_resize_if_empty_harness.c	29
tests/cbmc/proofs/s2n_stuffer_rewind_read/s2n_stuffer_rewind_read_harness.c	23
tests/cbmc/proofs/s2n_stuffer_rewrite/s2n_stuffer_rewrite_harness.c	22
tests/cbmc/proofs/s2n_stuffer_send_to_fd/s2n_stuffer_send_to_fd_harness.c	22
tests/cbmc/proofs/s2n_stuffer_skip_expected_char/s2n_stuffer_skip_expected_char_harness.c	29
tests/cbmc/proofs/s2n_stuffer_skip_read/s2n_stuffer_skip_read_harness.c	28
tests/cbmc/proofs/s2n_stuffer_skip_read_until/s2n_stuffer_skip_read_until_harness.c	25
tests/cbmc/proofs/s2n_stuffer_skip_to_char/s2n_stuffer_skip_to_char_harness.c	28
tests/cbmc/proofs/s2n_stuffer_skip_whitespace/s2n_stuffer_skip_whitespace_harness.c	32
tests/cbmc/proofs/s2n_stuffer_skip_write/s2n_stuffer_skip_write_harness.c	25
tests/cbmc/proofs/s2n_stuffer_wipe/s2n_stuffer_wipe_harness.c	16
tests/cbmc/proofs/s2n_stuffer_wipe_n/s2n_stuffer_wipe_n_harness.c	31
tests/cbmc/proofs/s2n_stuffer_write/s2n_stuffer_write_harness.c	37
tests/cbmc/proofs/s2n_stuffer_write_base64/s2n_stuffer_write_base64_harness.c	29
tests/cbmc/proofs/s2n_stuffer_write_bytes/s2n_stuffer_write_bytes_harness.c	33
tests/cbmc/proofs/s2n_stuffer_write_network_order/s2n_stuffer_write_network_order_harness.c	38
tests/cbmc/proofs/s2n_stuffer_write_reservation/s2n_stuffer_write_reservation_harness.c	27
tests/cbmc/proofs/s2n_stuffer_write_uint16/s2n_stuffer_write_uint16_harness.c	34
tests/cbmc/proofs/s2n_stuffer_write_uint24/s2n_stuffer_write_uint24_harness.c	36
tests/cbmc/proofs/s2n_stuffer_write_uint32/s2n_stuffer_write_uint32_harness.c	34
tests/cbmc/proofs/s2n_stuffer_write_uint64/s2n_stuffer_write_uint64_harness.c	31
tests/cbmc/proofs/s2n_stuffer_write_uint8/s2n_stuffer_write_uint8_harness.c	33
tests/cbmc/proofs/s2n_stuffer_write_vector_size/s2n_stuffer_write_vector_size_harness.c	26
tests/cbmc/proofs/s2n_stuffer_writev_bytes/s2n_stuffer_writev_bytes_harness.c	28
tests/cbmc/proofs/s2n_sub_overflow/s2n_sub_overflow_harness.c	14
tests/cbmc/sources/cbmc_utils.c	211
tests/cbmc/sources/make_common_datastructures.c	627
tests/cbmc/stubs/abort_override_assert_false.c	2
tests/cbmc/stubs/close.c	12
tests/cbmc/stubs/fstat.c	9
tests/cbmc/stubs/getpeername.c	13
tests/cbmc/stubs/getsockopt.c	14
tests/cbmc/stubs/madvise.c	10
tests/cbmc/stubs/memcpy_havoc.c	20
tests/cbmc/stubs/memmove_havoc.c	23
tests/cbmc/stubs/memset_havoc.c	19
tests/cbmc/stubs/mlock.c	8
tests/cbmc/stubs/mmap.c	13
tests/cbmc/stubs/munlock.c	8
tests/cbmc/stubs/open.c	20
tests/cbmc/stubs/posix_memalign_override.c	19
tests/cbmc/stubs/read.c	16
tests/cbmc/stubs/s2n_calculate_stacktrace.c	3
tests/cbmc/stubs/s2n_ensure.c	10
tests/cbmc/stubs/s2n_hash_copy.c	11
tests/cbmc/stubs/s2n_hash_digest.c	11
tests/cbmc/stubs/s2n_hash_reset.c	10
tests/cbmc/stubs/s2n_hash_update.c	11
tests/cbmc/stubs/s2n_is_in_fips_mode.c	12
tests/cbmc/stubs/s2n_stuffer_read_base64.c	10
tests/cbmc/stubs/s2n_stuffer_read_expected_str.c	10
tests/cbmc/stubs/s2n_stuffer_skip_expected_char.c	11
tests/cbmc/stubs/s2n_stuffer_skip_to_char.c	9
tests/cbmc/stubs/s2n_stuffer_skip_whitespace.c	9
tests/cbmc/stubs/setsockopt.c	14
tests/cbmc/stubs/sysconf.c	2
tests/cbmc/stubs/write.c	18
tests/ctverif/count_success.pl	32
tests/ctverif/s2n_annotations.h	3
tests/features/__restrict__.c	10
tests/features/cpuid.c	5
tests/features/evp_md5_sha1.c	5
tests/features/evp_md_ctx_set_pkey_ctx.c	5
tests/features/execinfo.c	7
tests/features/fallthrough.c	15
tests/features/noop_main.c	3
tests/fuzz/LD_PRELOAD/global_overrides.c	33
tests/fuzz/LD_PRELOAD/s2n_client_cert_verify_recv_test_overrides.c	17
tests/fuzz/LD_PRELOAD/s2n_client_fuzz_test_overrides.c	30
tests/fuzz/LD_PRELOAD/s2n_memory_leak_negative_test_overrides.c	6
tests/fuzz/LD_PRELOAD/s2n_server_fuzz_test_overrides.c	30
tests/fuzz/calcTotalCov.sh	26
tests/fuzz/runFuzzTest.sh	144
tests/fuzz/s2n_bike_r1_recv_ciphertext_fuzz_test.c	21
tests/fuzz/s2n_bike_r1_recv_public_key_fuzz_test.c	10
tests/fuzz/s2n_bike_r2_recv_ciphertext_fuzz_test.c	21
tests/fuzz/s2n_bike_r2_recv_public_key_fuzz_test.c	10
tests/fuzz/s2n_bike_r3_recv_ciphertext_fuzz_test.c	21
tests/fuzz/s2n_bike_r3_recv_public_key_fuzz_test.c	10
tests/fuzz/s2n_cert_req_recv_test.c	59
tests/fuzz/s2n_certificate_extensions_parse_test.c	89
tests/fuzz/s2n_client_ccs_recv_test.c	30
tests/fuzz/s2n_client_cert_recv_test.c	59
tests/fuzz/s2n_client_cert_verify_recv_test.c	133
tests/fuzz/s2n_client_finished_recv_test.c	20
tests/fuzz/s2n_client_fuzz_test.c	174
tests/fuzz/s2n_client_hello_recv_fuzz_test.c	40
tests/fuzz/s2n_client_key_recv_fuzz_test.c	95
tests/fuzz/s2n_encrypted_extensions_recv_test.c	32
tests/fuzz/s2n_extensions_client_key_share_recv_test.c	35
tests/fuzz/s2n_extensions_client_supported_versions_recv_test.c	37
tests/fuzz/s2n_extensions_server_key_share_recv_test.c	42
tests/fuzz/s2n_extensions_server_supported_versions_recv_test.c	37
tests/fuzz/s2n_hybrid_ecdhe_bike_r1_fuzz_test.c	57
tests/fuzz/s2n_hybrid_ecdhe_bike_r2_fuzz_test.c	57
tests/fuzz/s2n_hybrid_ecdhe_bike_r3_fuzz_test.c	57
tests/fuzz/s2n_hybrid_ecdhe_kyber_r2_fuzz_test.c	57
tests/fuzz/s2n_hybrid_ecdhe_kyber_r3_fuzz_test.c	57
tests/fuzz/s2n_hybrid_ecdhe_sike_r1_fuzz_test.c	57
tests/fuzz/s2n_hybrid_ecdhe_sike_r3_fuzz_test.c	57
tests/fuzz/s2n_kyber_r2_recv_ciphertext_fuzz_test.c	21
tests/fuzz/s2n_kyber_r2_recv_public_key_fuzz_test.c	10
tests/fuzz/s2n_kyber_r3_recv_ciphertext_fuzz_test.c	21
tests/fuzz/s2n_kyber_r3_recv_public_key_fuzz_test.c	10
tests/fuzz/s2n_memory_leak_negative_test.c	162
tests/fuzz/s2n_openssl_diff_pem_parsing_test.c	77
tests/fuzz/s2n_recv_client_supported_groups_test.c	36
tests/fuzz/s2n_select_server_cert_test.c	199
tests/fuzz/s2n_server_ccs_recv_test.c	30
tests/fuzz/s2n_server_cert_recv_test.c	59
tests/fuzz/s2n_server_extensions_recv_test.c	36
tests/fuzz/s2n_server_finished_recv_test.c	29
tests/fuzz/s2n_server_fuzz_test.c	175
tests/fuzz/s2n_server_hello_recv_test.c	29
tests/fuzz/s2n_sike_r1_recv_ciphertext_fuzz_test.c	21
tests/fuzz/s2n_sike_r1_recv_public_key_fuzz_test.c	10
tests/fuzz/s2n_sike_r3_recv_ciphertext_fuzz_test.c	27
tests/fuzz/s2n_sike_r3_recv_public_key_fuzz_test.c	16
tests/fuzz/s2n_stuffer_pem_fuzz_test.c	27
tests/fuzz/s2n_tls13_cert_req_recv_test.c	47
tests/fuzz/s2n_tls13_cert_verify_recv_test.c	56
tests/fuzz/s2n_tls13_client_finished_recv_test.c	35
tests/fuzz/s2n_tls13_server_finished_recv_test.c	35
tests/integration/common/__init__.py	1
tests/integration/common/s2n_test_common.py	93
tests/integration/common/s2n_test_openssl.py	41
tests/integration/common/s2n_test_reporting.py	34
tests/integration/common/s2n_test_scenario.py	181
tests/integration/s2n_client_endpoint_handshake_test.py	161
tests/integration/s2n_dynamic_record_size_test.py	193
tests/integration/s2n_handshake_test_gnutls-cli.py	272
tests/integration/s2n_handshake_test_gnutls-serv.py	109
tests/integration/s2n_handshake_test_old_s_client.py	231
tests/integration/s2n_handshake_test_s_client.py	606
tests/integration/s2n_handshake_test_s_server.py	235
tests/integration/s2n_pq_handshake_test.py	107
tests/integration/s2n_sslyze_test.py	86
tests/integration/s2n_test_constants.py	346
tests/integration/s2n_tls13_handshake_tests.py	80
tests/integrationv2/common.py	294
tests/integrationv2/configuration.py	339
tests/integrationv2/conftest.py	31
tests/integrationv2/constants.py	4
tests/integrationv2/fixtures.py	59
tests/integrationv2/global_flags.py	8
tests/integrationv2/processes.py	199
tests/integrationv2/providers.py	337
tests/integrationv2/test_client_authentication.py	179
tests/integrationv2/test_cross_compatibility.py	178
tests/integrationv2/test_dynamic_record_sizes.py	56
tests/integrationv2/test_early_data.py	357
tests/integrationv2/test_external_psk.py	266
tests/integrationv2/test_fragmentation.py	78
tests/integrationv2/test_happy_path.py	72
tests/integrationv2/test_hello_retry_requests.py	139
tests/integrationv2/test_key_update.py	96
tests/integrationv2/test_pq_handshake.py	191
tests/integrationv2/test_session_resumption.py	212
tests/integrationv2/test_signature_algorithms.py	118
tests/integrationv2/test_sni_match.py	47
tests/integrationv2/test_version_negotiation.py	84
tests/integrationv2/test_well_known_endpoints.py	105
tests/integrationv2/utils.py	60
tests/pems/cert_config.cfg	15
tests/pems/gen_self_signed_cert.sh	70
tests/s2n_test.h	201
tests/saw/sike_r1/LICENSE.TXT	3
tests/saw/spec/extras/HMAC/HMAC_spec.v	60
tests/saw/spec/extras/HMAC/HMAC_specs_equiv.v	426
tests/saw/spec/extras/HMAC/HMAC_verif.v	59
tests/saw/spec/extras/HMAC/Kinit_eval.v	86
tests/saw/spec/extras/equiv.v	57
tests/sidetrail/count_success.pl	41
tests/sidetrail/include/ct-verif.h	26
tests/sidetrail/lib/ct-verif.mk	60
tests/sidetrail/working/s2n-cbc/cbc.c	49
tests/sidetrail/working/s2n-cbc/clean.sh	6
tests/sidetrail/working/s2n-cbc/copy_as_needed.sh	25
tests/sidetrail/working/s2n-cbc/heat.rb	28
tests/sidetrail/working/s2n-cbc/run.sh	3
tests/sidetrail/working/s2n-cbc/sidetrail.h	5
tests/sidetrail/working/s2n-cbc/stubs/s2n_annotations.h	5
tests/sidetrail/working/s2n-cbc/stubs/s2n_hash.c	112
tests/sidetrail/working/s2n-cbc/stubs/s2n_hash.h	43
tests/sidetrail/working/s2n-record-read-aead/clean.sh	6
tests/sidetrail/working/s2n-record-read-aead/copy_as_needed.sh	34
tests/sidetrail/working/s2n-record-read-aead/run.sh	3
tests/sidetrail/working/s2n-record-read-aead/s2n_annotations.h	5
tests/sidetrail/working/s2n-record-read-aead/s2n_record_read_wrapper.c	113
tests/sidetrail/working/s2n-record-read-aead/sidetrail.h	5
tests/sidetrail/working/s2n-record-read-cbc-negative-test/clean.sh	6
tests/sidetrail/working/s2n-record-read-cbc-negative-test/copy_as_needed.sh	30
tests/sidetrail/working/s2n-record-read-cbc-negative-test/run.sh	3
tests/sidetrail/working/s2n-record-read-cbc-negative-test/s2n_annotations.h	5
tests/sidetrail/working/s2n-record-read-cbc-negative-test/s2n_record_read_wrapper.c	111
tests/sidetrail/working/s2n-record-read-cbc-negative-test/sidetrail.h	5
tests/sidetrail/working/s2n-record-read-cbc-negative-test/stubs/s2n_cbc.c	13
tests/sidetrail/working/s2n-record-read-cbc/clean.sh	6
tests/sidetrail/working/s2n-record-read-cbc/copy_as_needed.sh	30
tests/sidetrail/working/s2n-record-read-cbc/run.sh	3
tests/sidetrail/working/s2n-record-read-cbc/s2n_annotations.h	5
tests/sidetrail/working/s2n-record-read-cbc/s2n_record_read_wrapper.c	111
tests/sidetrail/working/s2n-record-read-cbc/sidetrail.h	5
tests/sidetrail/working/s2n-record-read-cbc/stubs/s2n_cbc.c	13
tests/sidetrail/working/s2n-record-read-composite/clean.sh	6
tests/sidetrail/working/s2n-record-read-composite/copy_as_needed.sh	31
tests/sidetrail/working/s2n-record-read-composite/run.sh	3
tests/sidetrail/working/s2n-record-read-composite/s2n_annotations.h	5
tests/sidetrail/working/s2n-record-read-composite/s2n_record_read_wrapper.c	119
tests/sidetrail/working/s2n-record-read-composite/sidetrail.h	5
tests/sidetrail/working/s2n-record-read-stream/clean.sh	6
tests/sidetrail/working/s2n-record-read-stream/copy_as_needed.sh	30
tests/sidetrail/working/s2n-record-read-stream/run.sh	3
tests/sidetrail/working/s2n-record-read-stream/s2n_annotations.h	5
tests/sidetrail/working/s2n-record-read-stream/s2n_record_read_wrapper.c	110
tests/sidetrail/working/s2n-record-read-stream/sidetrail.h	5
tests/sidetrail/working/stubs/s2n_annotations.h	5
tests/sidetrail/working/stubs/s2n_ensure.c	12
tests/sidetrail/working/stubs/s2n_ensure.h	35
tests/sidetrail/working/stubs/s2n_errno.c	5
tests/sidetrail/working/stubs/s2n_hash.c	112
tests/sidetrail/working/stubs/s2n_hash.h	43
tests/sidetrail/working/stubs/s2n_mem.c	63
tests/testlib/s2n_connection_test_utils.c	229
tests/testlib/s2n_extension_test_utils.c	9
tests/testlib/s2n_kem_fuzz_testlib.c	54
tests/testlib/s2n_nist_kats.h	81
tests/testlib/s2n_pq_hybrid_test_utils.c	143
tests/testlib/s2n_pq_kat_test_utils.c	118
tests/testlib/s2n_psk_testlib.c	43
tests/testlib/s2n_security_policy_testlib.c	24
tests/testlib/s2n_sslv2_client_hello.h	25
tests/testlib/s2n_stuffer_hex.c	132
tests/testlib/s2n_test_certs.c	43
tests/testlib/s2n_test_server_client.c	93
tests/testlib/s2n_testlib.h	137
tests/testlib/s2n_testlib_ecc_keys.c	21
tests/unit/kats/generate_pq_hybrid_tls13_handshake_kats.py	182
tests/unit/s2n_3des_test.c	74
tests/unit/s2n_aead_aes_test.c	316
tests/unit/s2n_aead_chacha20_poly1305_test.c	160
tests/unit/s2n_aes_sha_composite_test.c	274
tests/unit/s2n_aes_test.c	125
tests/unit/s2n_alerts_test.c	193
tests/unit/s2n_array_test.c	96
tests/unit/s2n_asn1_time_test.c	150
tests/unit/s2n_async_pkey_test.c	408
tests/unit/s2n_auth_selection_test.c	310
tests/unit/s2n_blob_test.c	104
tests/unit/s2n_cbc_verify_test.c	190
tests/unit/s2n_cert_chain_and_key_test.c	107
tests/unit/s2n_certificate_extensions_test.c	230
tests/unit/s2n_certificate_test.c	527
tests/unit/s2n_change_cipher_spec_test.c	82
tests/unit/s2n_choose_supported_group_test.c	226
tests/unit/s2n_cipher_info_test.c	26
tests/unit/s2n_cipher_suite_match_test.c	613
tests/unit/s2n_cipher_suites_test.c	101
tests/unit/s2n_cleanup_test.c	59
tests/unit/s2n_client_alpn_extension_test.c	76
tests/unit/s2n_client_auth_handshake_test.c	231
tests/unit/s2n_client_cert_request_context_test.c	69
tests/unit/s2n_client_cert_verify_test.c	219
tests/unit/s2n_client_early_data_indication_test.c	327
tests/unit/s2n_client_empty_cert_test.c	71
tests/unit/s2n_client_extensions_test.c	1061
tests/unit/s2n_client_hello_recv_test.c	345
tests/unit/s2n_client_hello_test.c	865
tests/unit/s2n_client_key_share_extension_pq_test.c	823
tests/unit/s2n_client_key_share_extension_test.c	762
tests/unit/s2n_client_max_frag_len_extension_test.c	96
tests/unit/s2n_client_pq_kem_extension_test.c	85
tests/unit/s2n_client_psk_extension_test.c	1038
tests/unit/s2n_client_record_version_test.c	190
tests/unit/s2n_client_renegotiation_info_extension_test.c	43
tests/unit/s2n_client_sct_list_extension_test.c	50
tests/unit/s2n_client_secure_renegotiation_test.c	174
tests/unit/s2n_client_server_name_extension_test.c	121
tests/unit/s2n_client_session_ticket_extension_test.c	119
tests/unit/s2n_client_signature_algorithms_extension_test.c	91
tests/unit/s2n_client_status_request_extension_test.c	84
tests/unit/s2n_client_supported_groups_extension_test.c	463
tests/unit/s2n_client_supported_versions_extension_test.c	263
tests/unit/s2n_config_test.c	172
tests/unit/s2n_connection_context_test.c	19
tests/unit/s2n_connection_preferences_test.c	204
tests/unit/s2n_connection_test.c	438
tests/unit/s2n_drain_alert_test.c	73
tests/unit/s2n_drbg_test.c	326
tests/unit/s2n_early_data_io_api_test.c	663
tests/unit/s2n_early_data_io_test.c	529
tests/unit/s2n_early_data_test.c	922
tests/unit/s2n_ecc_evp_test.c	220
tests/unit/s2n_ecc_point_format_extension_test.c	60
tests/unit/s2n_ecc_preferences_test.c	25
tests/unit/s2n_ecdsa_test.c	139
tests/unit/s2n_ems_extension_test.c	57
tests/unit/s2n_encrypted_extensions_test.c	156
tests/unit/s2n_error_lookup_test.c	63
tests/unit/s2n_error_type_test.c	35
tests/unit/s2n_evp_signing_test.c	189
tests/unit/s2n_extended_master_secret_test.c	189
tests/unit/s2n_extension_list_parse_test.c	280
tests/unit/s2n_extension_list_process_test.c	196
tests/unit/s2n_extension_list_send_test.c	81
tests/unit/s2n_extension_type_lists_test.c	25
tests/unit/s2n_extension_type_test.c	340
tests/unit/s2n_extensions_server_key_share_select_test.c	303
tests/unit/s2n_fragmentation_coalescing_test.c	414
tests/unit/s2n_handshake_errno_test.c	43
tests/unit/s2n_handshake_hashes_test.c	87
tests/unit/s2n_handshake_invariant_test.c	49
tests/unit/s2n_handshake_io_async_test.c	72
tests/unit/s2n_handshake_io_early_data_test.c	71
tests/unit/s2n_handshake_io_errors_test.c	70
tests/unit/s2n_handshake_io_test.c	31
tests/unit/s2n_handshake_partial_test.c	133
tests/unit/s2n_handshake_test.c	296
tests/unit/s2n_handshake_type_test.c	167
tests/unit/s2n_hash_all_algs_test.c	105
tests/unit/s2n_hash_test.c	234
tests/unit/s2n_hkdf_test.c	518
tests/unit/s2n_hmac_test.c	191
tests/unit/s2n_init_test.c	11
tests/unit/s2n_kem_preferences_test.c	60
tests/unit/s2n_kem_test.c	487
tests/unit/s2n_kex_test.c	42
tests/unit/s2n_kex_with_kem_test.c	221
tests/unit/s2n_key_share_extension_test.c	44
tests/unit/s2n_key_update_test.c	253
tests/unit/s2n_malformed_handshake_test.c	305
tests/unit/s2n_map_test.c	104
tests/unit/s2n_mem_allocator_test.c	207
tests/unit/s2n_mem_usage_test.c	155
tests/unit/s2n_mutual_auth_test.c	196
tests/unit/s2n_nst_early_data_indication_test.c	54
tests/unit/s2n_optional_client_auth_test.c	271
tests/unit/s2n_override_openssl_random_test.c	95
tests/unit/s2n_pem_rsa_dhe_test.c	149
tests/unit/s2n_pem_test.c	61
tests/unit/s2n_pkey_test.c	123
tests/unit/s2n_post_handshake_test.c	142
tests/unit/s2n_pq_kem_hybrid_kat_test.c	86
tests/unit/s2n_pq_kem_kat_test.c	114
tests/unit/s2n_pq_kem_test.c	133
tests/unit/s2n_protocol_preferences_test.c	177
tests/unit/s2n_psk_key_exchange_modes_extension_test.c	134
tests/unit/s2n_psk_offered_test.c	422
tests/unit/s2n_psk_test.c	757
tests/unit/s2n_quic_support_io_test.c	286
tests/unit/s2n_quic_support_test.c	200
tests/unit/s2n_quic_transport_params_extension_test.c	146
tests/unit/s2n_random_test.c	210
tests/unit/s2n_rc4_test.c	76
tests/unit/s2n_record_size_test.c	318
tests/unit/s2n_record_test.c	300
tests/unit/s2n_recv_test.c	32
tests/unit/s2n_release_non_empty_buffers_test.c	133
tests/unit/s2n_resume_test.c	1116
tests/unit/s2n_rfc5952_test.c	54
tests/unit/s2n_rsa_pss_rsae_test.c	241
tests/unit/s2n_rsa_pss_test.c	227
tests/unit/s2n_safety_blinding_test.c	121
tests/unit/s2n_safety_macros_test.c	779
tests/unit/s2n_safety_test.c	292
tests/unit/s2n_security_policies_test.c	766
tests/unit/s2n_self_talk_alerts_test.c	200
tests/unit/s2n_self_talk_alpn_test.c	257
tests/unit/s2n_self_talk_broken_pipe_test.c	114
tests/unit/s2n_self_talk_client_hello_cb_test.c	325
tests/unit/s2n_self_talk_custom_io_test.c	143
tests/unit/s2n_self_talk_io_mem_test.c	140
tests/unit/s2n_self_talk_key_log_test.c	131
tests/unit/s2n_self_talk_min_protocol_version_test.c	70
tests/unit/s2n_self_talk_nonblocking_test.c	275
tests/unit/s2n_self_talk_offload_signing_test.c	177
tests/unit/s2n_self_talk_psk_test.c	266
tests/unit/s2n_self_talk_quic_support_test.c	79
tests/unit/s2n_self_talk_session_id_test.c	417
tests/unit/s2n_self_talk_session_resumption_test.c	624
tests/unit/s2n_self_talk_shutdown_test.c	43
tests/unit/s2n_self_talk_tls12_test.c	135
tests/unit/s2n_self_talk_tls13_test.c	116
tests/unit/s2n_send_key_update_test.c	129
tests/unit/s2n_send_test.c	33
tests/unit/s2n_sequence_number_test.c	50
tests/unit/s2n_server_alpn_extension_test.c	73
tests/unit/s2n_server_cert_request_test.c	69
tests/unit/s2n_server_certificate_status_test.c	104
tests/unit/s2n_server_early_data_indication_test.c	192
tests/unit/s2n_server_extensions_test.c	464
tests/unit/s2n_server_hello_retry_test.c	372
tests/unit/s2n_server_hello_test.c	438
tests/unit/s2n_server_key_share_extension_test.c	693
tests/unit/s2n_server_max_frag_len_extension_test.c	114
tests/unit/s2n_server_new_session_ticket_test.c	878
tests/unit/s2n_server_psk_extension_test.c	190
tests/unit/s2n_server_renegotiation_info_test.c	79
tests/unit/s2n_server_sct_list_extension_test.c	72
tests/unit/s2n_server_server_name_extension_test.c	42
tests/unit/s2n_server_session_ticket_extension_test.c	56
tests/unit/s2n_server_signature_algorithms_extension_test.c	33
tests/unit/s2n_server_status_request_extension_test.c	56
tests/unit/s2n_server_supported_versions_extension_test.c	96
tests/unit/s2n_session_ticket_test.c	716
tests/unit/s2n_set_test.c	134
tests/unit/s2n_shutdown_test.c	51
tests/unit/s2n_signature_algorithms_test.c	583
tests/unit/s2n_ssl_prf_test.c	60
tests/unit/s2n_stacktrace_test.c	30
tests/unit/s2n_stream_cipher_null_test.c	30
tests/unit/s2n_stuffer_base64_test.c	42
tests/unit/s2n_stuffer_hex_test.c	75
tests/unit/s2n_stuffer_network_order_test.c	192
tests/unit/s2n_stuffer_test.c	139
tests/unit/s2n_stuffer_text_test.c	118
tests/unit/s2n_testlib_test.c	17
tests/unit/s2n_timer_test.c	36
tests/unit/s2n_tls12_handshake_test.c	322
tests/unit/s2n_tls13_cert_request_extensions_test.c	38
tests/unit/s2n_tls13_cert_request_test.c	62
tests/unit/s2n_tls13_cert_verify_test.c	277
tests/unit/s2n_tls13_client_finished_test.c	116
tests/unit/s2n_tls13_compute_shared_secret_test.c	91
tests/unit/s2n_tls13_cookie_test.c	102
tests/unit/s2n_tls13_handshake_early_data_test.c	335
tests/unit/s2n_tls13_handshake_state_machine_test.c	636
tests/unit/s2n_tls13_handshake_test.c	478
tests/unit/s2n_tls13_hybrid_shared_secret_test.c	569
tests/unit/s2n_tls13_keys_test.c	295
tests/unit/s2n_tls13_new_session_ticket_test.c	91
tests/unit/s2n_tls13_parse_record_type_test.c	152
tests/unit/s2n_tls13_pq_handshake_test.c	347
tests/unit/s2n_tls13_prf_test.c	97
tests/unit/s2n_tls13_record_aead_test.c	279
tests/unit/s2n_tls13_server_cert_test.c	136
tests/unit/s2n_tls13_server_finished_test.c	116
tests/unit/s2n_tls13_support_test.c	118
tests/unit/s2n_tls13_zero_length_payload_test.c	104
tests/unit/s2n_tls_hybrid_prf_test.c	74
tests/unit/s2n_tls_prf_test.c	178
tests/unit/s2n_tls_record_stuffer_test.c	51
tests/unit/s2n_utils_test.c	33
tests/unit/s2n_wildcard_hostname_test.c	48
tests/unit/s2n_x509_validator_certificate_signatures_test.c	155
tests/unit/s2n_x509_validator_test.c	1261
tests/viz/s2n_state_machine_viz.c	64