Path	Lines of Code
bindings/rust/extended/s2n-tls-sys/tests/s2n_init.rs	13
bindings/rust/extended/s2n-tls-tokio/tests/common/mod.rs	100
bindings/rust/extended/s2n-tls-tokio/tests/common/stream.rs	103
bindings/rust/extended/s2n-tls-tokio/tests/common/time.rs	14
bindings/rust/extended/s2n-tls-tokio/tests/handshake.rs	203
bindings/rust/extended/s2n-tls-tokio/tests/send_and_recv.rs	107
bindings/rust/extended/s2n-tls-tokio/tests/shutdown.rs	220
bindings/rust/extended/s2n-tls-tokio/tests/tcp.rs	56
bindings/rust/extended/s2n-tls/src/testing.rs	273
bindings/rust/standard/s2n-tls-hyper/tests/common/echo.rs	59
bindings/rust/standard/s2n-tls-hyper/tests/common/mod.rs	18
bindings/rust/standard/s2n-tls-hyper/tests/http.rs	297
compliance/specs/exceptions/rfc5746/3.6.toml	21
compliance/specs/exceptions/rfc5746/4.2.toml	39
compliance/specs/exceptions/rfc5746/4.4.toml	30
compliance/specs/exceptions/rfc5746/5.toml	10
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/alpn-extension-value.toml	39
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/cipher-hash.toml	30
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/details.toml	10
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/example.toml	17
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/extension-hash.toml	74
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/ja4-algorithm.toml	17
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/ja4-tls-client-fingerprinting.toml	7
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/number-of-ciphers.toml	20
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/number-of-extensions.toml	20
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/quic-and-dtls.toml	17
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/raw-output.toml	22
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/sni.toml	15
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4/tls-and-dtls-version.toml	36
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-2.1.toml	32
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-2.2.toml	30
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-2.3.toml	11
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-2.4.toml	22
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-2.5.toml	51
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-2.toml	103
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-3.1.toml	17
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-3.2.toml	58
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-3.3.toml	23
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-4.toml	71
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-5.1.2.toml	58
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-5.1.toml	102
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-5.10.toml	52
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-5.2.toml	65
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-5.3.toml	159
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-5.4.toml	215
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-5.6.toml	99
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-5.7.toml	78
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-5.9.toml	19
compliance/specs/www.rfc-editor.org/rfc/rfc4492/section-6.toml	69
compliance/specs/www.rfc-editor.org/rfc/rfc5246/appendix-A.5.toml	116
compliance/specs/www.rfc-editor.org/rfc/rfc5246/appendix-E.1.toml	109
compliance/specs/www.rfc-editor.org/rfc/rfc5246/appendix-E.2.toml	164
compliance/specs/www.rfc-editor.org/rfc/rfc5246/appendix-E.3.toml	49
compliance/specs/www.rfc-editor.org/rfc/rfc5246/appendix-F.1.1.3.toml	75
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-1.2.toml	87
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-4.7.toml	121
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-5.toml	66
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-6.1.toml	157
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-6.2.1.toml	118
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-6.2.2.toml	48
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-6.2.3.2.toml	132
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-6.2.3.3.toml	89
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-6.2.3.toml	37
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-6.toml	47
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.1.toml	52
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.2.1.toml	55
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.2.2.toml	237
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.2.toml	57
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.3.toml	185
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.1.1.toml	69
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.1.2.toml	244
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.1.3.toml	86
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.1.4.1.toml	130
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.1.4.toml	126
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.2.toml	280
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.3.toml	151
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.4.toml	123
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.5.toml	29
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.6.toml	183
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.7.1.toml	199
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.7.2.toml	41
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.7.toml	68
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.8.toml	75
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.9.toml	97
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-7.4.toml	63
compliance/specs/www.rfc-editor.org/rfc/rfc5246/section-9.toml	15
compliance/specs/www.rfc-editor.org/rfc/rfc5746/section-3.4.toml	66
compliance/specs/www.rfc-editor.org/rfc/rfc5746/section-3.5.toml	62
compliance/specs/www.rfc-editor.org/rfc/rfc5746/section-3.6.toml	98
compliance/specs/www.rfc-editor.org/rfc/rfc5746/section-3.7.toml	71
compliance/specs/www.rfc-editor.org/rfc/rfc5746/section-4.1.toml	34
compliance/specs/www.rfc-editor.org/rfc/rfc5746/section-4.2.toml	87
compliance/specs/www.rfc-editor.org/rfc/rfc5746/section-4.3.toml	28
compliance/specs/www.rfc-editor.org/rfc/rfc5746/section-4.4.toml	52
compliance/specs/www.rfc-editor.org/rfc/rfc5746/section-4.5.toml	46
compliance/specs/www.rfc-editor.org/rfc/rfc5746/section-5.toml	64
compliance/specs/www.rfc-editor.org/rfc/rfc5869/section-3.3.toml	43
compliance/specs/www.rfc-editor.org/rfc/rfc7627/section-4.toml	43
compliance/specs/www.rfc-editor.org/rfc/rfc7627/section-5.1.toml	23
compliance/specs/www.rfc-editor.org/rfc/rfc7627/section-5.2.toml	73
compliance/specs/www.rfc-editor.org/rfc/rfc7627/section-5.3.toml	123
compliance/specs/www.rfc-editor.org/rfc/rfc7627/section-5.4.toml	82
compliance/specs/www.rfc-editor.org/rfc/rfc7627/section-6.2.toml	27
compliance/specs/www.rfc-editor.org/rfc/rfc7627/section-6.4.toml	29
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-2.1.toml	30
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-2.2.toml	15
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-2.3.toml	42
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-2.toml	79
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-3.1.toml	15
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-3.toml	53
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-4.toml	69
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-5.1.2.toml	77
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-5.1.toml	111
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-5.10.toml	106
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-5.11.toml	39
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-5.2.toml	69
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-5.3.toml	85
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-5.4.toml	170
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-5.6.toml	44
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-5.9.toml	53
compliance/specs/www.rfc-editor.org/rfc/rfc8422/section-6.toml	62
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-A.1.toml	44
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-B.3.1.4.toml	43
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-B.toml	14
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-C.1.toml	29
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-C.2.toml	19
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-C.3.toml	83
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-C.4.toml	29
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-C.5.toml	32
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-D.1.toml	54
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-D.2.toml	48
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-D.3.toml	39
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-D.4.toml	42
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-D.5.toml	127
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-D.toml	88
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-E.1.1.toml	34
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-E.1.4.toml	29
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-E.1.toml	170
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-E.5.1.toml	21
compliance/specs/www.rfc-editor.org/rfc/rfc8446/appendix-E.5.toml	113
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-11.toml	116
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-2.1.toml	48
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-2.2.toml	96
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-2.toml	160
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.1.1.toml	96
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.1.2.toml	281
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.1.3.toml	228
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.1.4.toml	156
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.1.toml	192
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.10.toml	240
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.11.1.toml	23
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.11.3.toml	19
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.11.toml	223
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.2.toml	60
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.3.toml	327
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.4.toml	52
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.5.toml	103
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.6.toml	25
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.7.toml	88
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.8.1.toml	22
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.8.2.toml	47
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.8.toml	224
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.9.toml	89
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.2.toml	207
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.3.1.toml	43
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.3.2.toml	101
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.4.2.1.toml	77
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.4.2.2.toml	125
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.4.2.3.toml	50
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.4.2.4.toml	87
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.4.2.toml	200
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.4.3.toml	169
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.4.4.toml	89
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.5.toml	43
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.6.1.toml	237
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.6.2.toml	84
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.6.3.toml	100
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-4.toml	61
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-5.1.toml	226
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-5.2.toml	146
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-5.3.toml	53
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-5.4.toml	103
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-5.5.toml	21
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-5.toml	75
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-6.1.toml	83
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-6.2.toml	182
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-6.toml	131
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-7.1.toml	140
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-7.2.toml	29
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-7.4.2.toml	67
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-7.5.toml	65
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-8.2.toml	96
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-8.toml	94
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-9.1.toml	38
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-9.2.toml	151
compliance/specs/www.rfc-editor.org/rfc/rfc8446/section-9.3.toml	141
tests/LD_PRELOAD/allocator_overrides.c	45
tests/cbmc/include/cbmc_proof/cbmc_utils.h	56
tests/cbmc/include/cbmc_proof/endian.h	44
tests/cbmc/include/cbmc_proof/make_common_datastructures.h	99
tests/cbmc/include/cbmc_proof/nondet.h	18
tests/cbmc/proofs/lib/__init__.py	1
tests/cbmc/proofs/lib/print_tool_versions.py	57
tests/cbmc/proofs/lib/summarize.py	98
tests/cbmc/proofs/prepare.py	18
tests/cbmc/proofs/run-cbmc-proofs.py	324
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	15
tests/cbmc/proofs/s2n_array_free/s2n_array_free_harness.c	18
tests/cbmc/proofs/s2n_array_free_p/s2n_array_free_p_harness.c	19
tests/cbmc/proofs/s2n_array_get/s2n_array_get_harness.c	19
tests/cbmc/proofs/s2n_array_init/s2n_array_init_harness.c	16
tests/cbmc/proofs/s2n_array_insert/s2n_array_insert_harness.c	33
tests/cbmc/proofs/s2n_array_insert_and_copy/s2n_array_insert_and_copy_harness.c	25
tests/cbmc/proofs/s2n_array_new/s2n_array_new_harness.c	10
tests/cbmc/proofs/s2n_array_num_elements/s2n_array_num_elements_harness.c	15
tests/cbmc/proofs/s2n_array_pushback/s2n_array_pushback_harness.c	24
tests/cbmc/proofs/s2n_array_remove/s2n_array_remove_harness.c	23
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_connection_get_last_message_name/s2n_connection_get_last_message_name_harness.c	11
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_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_free_or_wipe/s2n_free_or_wipe_harness.c	26
tests/cbmc/proofs/s2n_hash_copy/s2n_hash_copy_harness.c	16
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	22
tests/cbmc/proofs/s2n_hash_free/s2n_hash_free_harness.c	25
tests/cbmc/proofs/s2n_hash_get_currently_in_hash_total/s2n_hash_get_currently_in_hash_total_harness.c	15
tests/cbmc/proofs/s2n_hash_hmac_alg/s2n_hash_hmac_alg_harness.c	24
tests/cbmc/proofs/s2n_hash_init/s2n_hash_init_harness.c	12
tests/cbmc/proofs/s2n_hash_is_available/s2n_hash_is_available_harness.c	22
tests/cbmc/proofs/s2n_hash_is_ready_for_input/s2n_hash_is_ready_for_input_harness.c	12
tests/cbmc/proofs/s2n_hash_new/s2n_hash_new_harness.c	10
tests/cbmc/proofs/s2n_hash_reset/s2n_hash_reset_harness.c	13
tests/cbmc/proofs/s2n_hash_update/s2n_hash_update_harness.c	15
tests/cbmc/proofs/s2n_hmac_copy/s2n_hmac_copy_harness.c	19
tests/cbmc/proofs/s2n_hmac_digest/s2n_hmac_digest_harness.c	18
tests/cbmc/proofs/s2n_hmac_digest_size/s2n_hmac_digest_size_harness.c	23
tests/cbmc/proofs/s2n_hmac_digest_two_compression_rounds/s2n_hmac_digest_two_compression_rounds_harness.c	18
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	53
tests/cbmc/proofs/s2n_hmac_hash_alg/s2n_hmac_hash_alg_harness.c	23
tests/cbmc/proofs/s2n_hmac_hash_block_size/s2n_hmac_hash_block_size_harness.c	26
tests/cbmc/proofs/s2n_hmac_init/s2n_hmac_init_harness.c	14
tests/cbmc/proofs/s2n_hmac_new/s2n_hmac_new_harness.c	11
tests/cbmc/proofs/s2n_hmac_reset/s2n_hmac_reset_harness.c	14
tests/cbmc/proofs/s2n_hmac_restore_evp_hash_state/s2n_hmac_restore_evp_hash_state_harness.c	15
tests/cbmc/proofs/s2n_hmac_save_evp_hash_state/s2n_hmac_save_evp_hash_state_harness.c	15
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	24
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	9
tests/cbmc/proofs/s2n_is_hello_retry_message/s2n_is_hello_retry_message_harness.c	10
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_socket_is_ipv6/s2n_socket_is_ipv6_harness.c	10
tests/cbmc/proofs/s2n_socket_quickack/s2n_socket_quickack_harness.c	12
tests/cbmc/proofs/s2n_socket_read/s2n_socket_read_harness.c	12
tests/cbmc/proofs/s2n_socket_read_restore/s2n_socket_read_restore_harness.c	13
tests/cbmc/proofs/s2n_socket_read_snapshot/s2n_socket_read_snapshot_harness.c	13
tests/cbmc/proofs/s2n_socket_set_read_size/s2n_socket_set_read_size_harness.c	15
tests/cbmc/proofs/s2n_socket_was_corked/s2n_socket_was_corked_harness.c	13
tests/cbmc/proofs/s2n_socket_write/s2n_socket_write_harness.c	15
tests/cbmc/proofs/s2n_socket_write_cork/s2n_socket_write_cork_harness.c	13
tests/cbmc/proofs/s2n_socket_write_restore/s2n_socket_write_restore_harness.c	13
tests/cbmc/proofs/s2n_socket_write_snapshot/s2n_socket_write_snapshot_harness.c	13
tests/cbmc/proofs/s2n_socket_write_uncork/s2n_socket_write_uncork_harness.c	13
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	25
tests/cbmc/proofs/s2n_stuffer_alloc_ro_from_file/s2n_stuffer_alloc_ro_from_file_harness.c	28
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	40
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_get_vector_size/s2n_stuffer_get_vector_size_harness.c	18
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	23
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_printf/s2n_stuffer_printf_harness.c	46
tests/cbmc/proofs/s2n_stuffer_private_key_from_pem/s2n_stuffer_private_key_from_pem_harness.c	17
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	24
tests/cbmc/proofs/s2n_stuffer_read_bytes/s2n_stuffer_read_bytes_harness.c	28
tests/cbmc/proofs/s2n_stuffer_read_expected_str/s2n_stuffer_read_expected_str_harness.c	25
tests/cbmc/proofs/s2n_stuffer_read_hex/s2n_stuffer_read_hex_harness.c	27
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_uint16_hex/s2n_stuffer_read_uint16_hex_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_read_uint8_hex/s2n_stuffer_read_uint8_hex_harness.c	23
tests/cbmc/proofs/s2n_stuffer_recv_from_fd/s2n_stuffer_recv_from_fd_harness.c	26
tests/cbmc/proofs/s2n_stuffer_reread/s2n_stuffer_reread_harness.c	24
tests/cbmc/proofs/s2n_stuffer_reserve/s2n_stuffer_reserve_harness.c	40
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	50
tests/cbmc/proofs/s2n_stuffer_resize_if_empty/s2n_stuffer_resize_if_empty_harness.c	30
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	23
tests/cbmc/proofs/s2n_stuffer_shift/s2n_stuffer_shift_harness.c	25
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	33
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	24
tests/cbmc/proofs/s2n_stuffer_write_bytes/s2n_stuffer_write_bytes_harness.c	33
tests/cbmc/proofs/s2n_stuffer_write_hex/s2n_stuffer_write_hex_harness.c	42
tests/cbmc/proofs/s2n_stuffer_write_network_order/s2n_stuffer_write_network_order_harness.c	39
tests/cbmc/proofs/s2n_stuffer_write_reservation/s2n_stuffer_write_reservation_harness.c	28
tests/cbmc/proofs/s2n_stuffer_write_uint16/s2n_stuffer_write_uint16_harness.c	34
tests/cbmc/proofs/s2n_stuffer_write_uint16_hex/s2n_stuffer_write_uint16_hex_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_uint8_hex/s2n_stuffer_write_uint8_hex_harness.c	34
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	216
tests/cbmc/sources/make_common_datastructures.c	586
tests/cbmc/stubs/abort_override_assert_false.c	2
tests/cbmc/stubs/close.c	12
tests/cbmc/stubs/darwin_check_fd_set_overflow.c	5
tests/cbmc/stubs/fstat.c	9
tests/cbmc/stubs/getpeername.c	13
tests/cbmc/stubs/getsockopt.c	14
tests/cbmc/stubs/madvise.c	11
tests/cbmc/stubs/memcpy_havoc.c	20
tests/cbmc/stubs/memmove_havoc.c	23
tests/cbmc/stubs/memmove_simple.c	35
tests/cbmc/stubs/memset_havoc.c	19
tests/cbmc/stubs/mlock.c	8
tests/cbmc/stubs/mmap.c	14
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	8
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_libcrypto_is_awslc.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/S2N_ATOMIC_SUPPORTED.c	10
tests/features/S2N_CLOEXEC_SUPPORTED.c	4
tests/features/S2N_CLOEXEC_XOPEN_SUPPORTED.c	6
tests/features/S2N_CLONE_SUPPORTED.c	7
tests/features/S2N_COMPILER_SUPPORTS_BRANCH_ALIGN.c	3
tests/features/S2N_CPUID_AVAILABLE.c	5
tests/features/S2N_DIAGNOSTICS_POP_SUPPORTED.c	22
tests/features/S2N_DIAGNOSTICS_PUSH_SUPPORTED.c	21
tests/features/S2N_EXECINFO_AVAILABLE.c	7
tests/features/S2N_FALL_THROUGH_SUPPORTED.c	15
tests/features/S2N_FEATURES_AVAILABLE.c	4
tests/features/S2N_KTLS_SUPPORTED.c	12
tests/features/S2N_LIBCRYPTO_SUPPORTS_EC_KEY_CHECK_FIPS.c	7
tests/features/S2N_LIBCRYPTO_SUPPORTS_ENGINE.c	34
tests/features/S2N_LIBCRYPTO_SUPPORTS_EVP_AEAD_TLS.c	7
tests/features/S2N_LIBCRYPTO_SUPPORTS_EVP_KEM.c	17
tests/features/S2N_LIBCRYPTO_SUPPORTS_EVP_MD5_SHA1_HASH.c	5
tests/features/S2N_LIBCRYPTO_SUPPORTS_EVP_MD_CTX_SET_PKEY_CTX.c	5
tests/features/S2N_LIBCRYPTO_SUPPORTS_EVP_RC4.c	5
tests/features/S2N_LIBCRYPTO_SUPPORTS_FLAG_NO_CHECK_TIME.c	8
tests/features/S2N_LIBCRYPTO_SUPPORTS_HKDF.c	23
tests/features/S2N_LIBCRYPTO_SUPPORTS_MLDSA.c	6
tests/features/S2N_LIBCRYPTO_SUPPORTS_MLKEM.c	15
tests/features/S2N_LIBCRYPTO_SUPPORTS_PRIVATE_RAND.c	7
tests/features/S2N_LIBCRYPTO_SUPPORTS_PROVIDERS.c	8
tests/features/S2N_LIBCRYPTO_SUPPORTS_RSA_PSS_SIGNING.c	7
tests/features/S2N_LIBCRYPTO_SUPPORTS_X509_STORE_LIST.c	7
tests/features/S2N_LINUX_SENDFILE.c	9
tests/features/S2N_MADVISE_SUPPORTED.c	5
tests/features/S2N_MINHERIT_SUPPORTED.c	5
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	29
tests/fuzz/LD_PRELOAD/s2n_memory_leak_negative_test_overrides.c	6
tests/fuzz/LD_PRELOAD/s2n_server_fuzz_test_overrides.c	29
tests/fuzz/allowed_coverage_failures.cfg	2
tests/fuzz/runFuzzTest.sh	76
tests/fuzz/s2n_cert_req_recv_test.c	59
tests/fuzz/s2n_certificate_extensions_parse_test.c	66
tests/fuzz/s2n_client_ccs_recv_test.c	26
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	90
tests/fuzz/s2n_deserialize_resumption_state_test.c	21
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_kyber_r3_fuzz_test.c	75
tests/fuzz/s2n_kyber_r3_recv_ciphertext_fuzz_test.c	25
tests/fuzz/s2n_kyber_r3_recv_public_key_fuzz_test.c	20
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	26
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_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	31
tests/fuzz/s2n_tls13_server_finished_recv_test.c	31
tests/integrationv2/common.py	619
tests/integrationv2/configuration.py	442
tests/integrationv2/conftest.py	60
tests/integrationv2/constants.py	5
tests/integrationv2/fixtures.py	95
tests/integrationv2/global_flags.py	7
tests/integrationv2/processes.py	365
tests/integrationv2/providers.py	672
tests/integrationv2/pyproject.toml	13
tests/integrationv2/test_buffered_send.py	149
tests/integrationv2/test_client_authentication.py	282
tests/integrationv2/test_cross_compatibility.py	220
tests/integrationv2/test_dynamic_record_sizes.py	81
tests/integrationv2/test_early_data.py	472
tests/integrationv2/test_external_psk.py	416
tests/integrationv2/test_fragmentation.py	127
tests/integrationv2/test_happy_path.py	117
tests/integrationv2/test_hello_retry_requests.py	193
tests/integrationv2/test_key_update.py	114
tests/integrationv2/test_npn.py	234
tests/integrationv2/test_ocsp.py	134
tests/integrationv2/test_pq_handshake.py	306
tests/integrationv2/test_record_padding.py	169
tests/integrationv2/test_renegotiate.py	332
tests/integrationv2/test_renegotiate_apache.py	102
tests/integrationv2/test_serialization.py	102
tests/integrationv2/test_session_resumption.py	396
tests/integrationv2/test_signature_algorithms.py	208
tests/integrationv2/test_sni_match.py	61
tests/integrationv2/test_sslv2_client_hello.py	44
tests/integrationv2/test_sslyze.py	300
tests/integrationv2/test_version_negotiation.py	162
tests/integrationv2/utils.py	82
tests/pcap/Cargo.toml	23
tests/pcap/build.rs	128
tests/pcap/src/client_hello.rs	58
tests/pcap/src/handshake_message.rs	176
tests/pcap/src/lib.rs	43
tests/pcap/src/packet.rs	35
tests/pcap/tests/s2n_client_hellos.rs	88
tests/pems/crl/generate.sh	193
tests/pems/crl/test_s2nc.sh	20
tests/pems/gen_self_signed_cert.sh	108
tests/pems/mixed_chains/generate-certs.sh	79
tests/pems/ocsp/generate.sh	43
tests/pems/permutations/generate-certs.sh	128
tests/pems/san_with_ca/generate.sh	39
tests/pems/sni/generate.sh	4
tests/regression/Cargo.toml	15
tests/regression/src/lib.rs	360
tests/s2n_test.h	203
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	24
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	33
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	29
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	29
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	30
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	29
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	36
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	264
tests/testlib/s2n_examples.h	7
tests/testlib/s2n_extension_test_utils.c	26
tests/testlib/s2n_hex_testlib.c	37
tests/testlib/s2n_io_testlib.c	59
tests/testlib/s2n_kem_fuzz_testlib.c	57
tests/testlib/s2n_key_schedule_testlib.c	52
tests/testlib/s2n_ktls_test_utils.c	174
tests/testlib/s2n_ktls_test_utils.h	28
tests/testlib/s2n_mem_testlib.c	143
tests/testlib/s2n_mem_testlib.h	17
tests/testlib/s2n_nist_kats.h	73
tests/testlib/s2n_psk_testlib.c	43
tests/testlib/s2n_resumption_testlib.c	14
tests/testlib/s2n_seccomp.c	41
tests/testlib/s2n_security_policy_testlib.c	24
tests/testlib/s2n_sslv2_client_hello.h	25
tests/testlib/s2n_test_certs.c	95
tests/testlib/s2n_test_server_client.c	128
tests/testlib/s2n_testlib.h	190
tests/testlib/s2n_testlib_ecc_keys.c	21
tests/unit/kats/generate_pq_hybrid_tls13_handshake_kats.py	269
tests/unit/s2n_3des_test.c	79
tests/unit/s2n_aead_aes_test.c	325
tests/unit/s2n_aead_chacha20_poly1305_test.c	165
tests/unit/s2n_aes_sha_composite_test.c	289
tests/unit/s2n_aes_test.c	134
tests/unit/s2n_alerts_protocol_test.c	367
tests/unit/s2n_alerts_test.c	236
tests/unit/s2n_array_test.c	130
tests/unit/s2n_async_pkey_test.c	474
tests/unit/s2n_auth_selection_test.c	315
tests/unit/s2n_blob_test.c	64
tests/unit/s2n_build_test.c	127
tests/unit/s2n_cbc_test.c	70
tests/unit/s2n_cert_authorities_test.c	291
tests/unit/s2n_cert_chain_and_key_load_test.c	123
tests/unit/s2n_cert_chain_and_key_test.c	161
tests/unit/s2n_cert_status_extension_test.c	270
tests/unit/s2n_cert_status_response_extension_test.c	55
tests/unit/s2n_cert_validation_callback_test.c	412
tests/unit/s2n_certificate_extensions_test.c	233
tests/unit/s2n_certificate_parsing_test.c	510
tests/unit/s2n_certificate_test.c	740
tests/unit/s2n_change_cipher_spec_test.c	117
tests/unit/s2n_choose_supported_group_test.c	232
tests/unit/s2n_cipher_info_test.c	26
tests/unit/s2n_cipher_suite_match_test.c	932
tests/unit/s2n_cipher_suites_test.c	107
tests/unit/s2n_cleanup_test.c	62
tests/unit/s2n_cleanup_with_no_init_test.c	16
tests/unit/s2n_client_alpn_extension_test.c	75
tests/unit/s2n_client_auth_handshake_test.c	360
tests/unit/s2n_client_cert_request_context_test.c	69
tests/unit/s2n_client_cert_status_request_extension_test.c	88
tests/unit/s2n_client_cert_verify_test.c	219
tests/unit/s2n_client_early_data_indication_test.c	329
tests/unit/s2n_client_empty_cert_test.c	71
tests/unit/s2n_client_extensions_test.c	926
tests/unit/s2n_client_finished_test.c	57
tests/unit/s2n_client_hello_get_supported_groups_test.c	263
tests/unit/s2n_client_hello_recv_test.c	375
tests/unit/s2n_client_hello_request_test.c	304
tests/unit/s2n_client_hello_retry_test.c	1248
tests/unit/s2n_client_hello_test.c	1362
tests/unit/s2n_client_key_exchange_test.c	349
tests/unit/s2n_client_key_share_extension_pq_test.c	731
tests/unit/s2n_client_key_share_extension_test.c	771
tests/unit/s2n_client_max_frag_len_extension_test.c	95
tests/unit/s2n_client_psk_extension_test.c	1116
tests/unit/s2n_client_record_version_test.c	193
tests/unit/s2n_client_renegotiation_info_extension_test.c	283
tests/unit/s2n_client_sct_list_extension_test.c	50
tests/unit/s2n_client_secure_renegotiation_test.c	197
tests/unit/s2n_client_server_name_extension_test.c	120
tests/unit/s2n_client_session_ticket_extension_test.c	118
tests/unit/s2n_client_signature_algorithms_extension_test.c	68
tests/unit/s2n_client_supported_groups_extension_test.c	394
tests/unit/s2n_client_supported_versions_extension_test.c	320
tests/unit/s2n_config_test.c	841
tests/unit/s2n_connection_blinding_test.c	38
tests/unit/s2n_connection_context_test.c	19
tests/unit/s2n_connection_preferences_test.c	218
tests/unit/s2n_connection_protocol_versions_test.c	262
tests/unit/s2n_connection_serialize_test.c	677
tests/unit/s2n_connection_size_test.c	26
tests/unit/s2n_connection_test.c	714
tests/unit/s2n_cookie_test.c	217
tests/unit/s2n_crl_test.c	678
tests/unit/s2n_crypto_test.c	112
tests/unit/s2n_drain_alert_test.c	81
tests/unit/s2n_drbg_test.c	350
tests/unit/s2n_early_data_io_api_test.c	718
tests/unit/s2n_early_data_io_test.c	571
tests/unit/s2n_early_data_test.c	949
tests/unit/s2n_ecc_evp_test.c	309
tests/unit/s2n_ecc_point_format_extension_test.c	57
tests/unit/s2n_ecc_preferences_test.c	26
tests/unit/s2n_ems_extension_test.c	57
tests/unit/s2n_encrypted_extensions_test.c	155
tests/unit/s2n_error_lookup_test.c	76
tests/unit/s2n_error_type_test.c	35
tests/unit/s2n_examples_test.c	248
tests/unit/s2n_extended_master_secret_test.c	188
tests/unit/s2n_extension_list_parse_test.c	282
tests/unit/s2n_extension_list_process_test.c	229
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	338
tests/unit/s2n_extensions_server_key_share_select_test.c	297
tests/unit/s2n_fingerprint_ja3_test.c	802
tests/unit/s2n_fingerprint_ja4_test.c	909
tests/unit/s2n_fingerprint_test.c	514
tests/unit/s2n_fips_rules_test.c	174
tests/unit/s2n_fips_test.c	27
tests/unit/s2n_fork_generation_number_test.c	224
tests/unit/s2n_fragmentation_coalescing_test.c	413
tests/unit/s2n_handshake_errno_test.c	43
tests/unit/s2n_handshake_fragment_test.c	260
tests/unit/s2n_handshake_hashes_test.c	87
tests/unit/s2n_handshake_invariant_test.c	48
tests/unit/s2n_handshake_io_async_test.c	73
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_misc_test.c	34
tests/unit/s2n_handshake_partial_test.c	137
tests/unit/s2n_handshake_test.c	324
tests/unit/s2n_handshake_type_test.c	167
tests/unit/s2n_hash_all_algs_test.c	99
tests/unit/s2n_hash_test.c	236
tests/unit/s2n_hkdf_test.c	428
tests/unit/s2n_hmac_test.c	192
tests/unit/s2n_init_test.c	77
tests/unit/s2n_io_test.c	88
tests/unit/s2n_kem_preferences_test.c	65
tests/unit/s2n_kem_test.c	371
tests/unit/s2n_kex_test.c	42
tests/unit/s2n_key_share_extension_test.c	44
tests/unit/s2n_key_update_test.c	466
tests/unit/s2n_key_update_threads_test.c	168
tests/unit/s2n_ktls_io_sendfile_test.c	188
tests/unit/s2n_ktls_io_test.c	1025
tests/unit/s2n_ktls_mode_test.c	18
tests/unit/s2n_ktls_test.c	473
tests/unit/s2n_ktls_test_utils_test.c	476
tests/unit/s2n_libcrypto_test.c	42
tests/unit/s2n_locking_test.c	61
tests/unit/s2n_malformed_handshake_test.c	300
tests/unit/s2n_map_iterator_test.c	81
tests/unit/s2n_map_test.c	111
tests/unit/s2n_mem_allocator_test.c	204
tests/unit/s2n_mem_test.c	48
tests/unit/s2n_mem_testlib_test.c	137
tests/unit/s2n_mem_usage_test.c	145
tests/unit/s2n_mutual_auth_test.c	255
tests/unit/s2n_next_protocol_test.c	142
tests/unit/s2n_npn_extension_test.c	172
tests/unit/s2n_nst_early_data_indication_test.c	54
tests/unit/s2n_openssl_x509_test.c	192
tests/unit/s2n_optional_client_auth_test.c	281
tests/unit/s2n_override_openssl_random_test.c	93
tests/unit/s2n_pem_rsa_dhe_test.c	152
tests/unit/s2n_pem_test.c	87
tests/unit/s2n_pkey_mldsa_test.c	47
tests/unit/s2n_pkey_signing_test.c	350
tests/unit/s2n_pkey_test.c	165
tests/unit/s2n_post_handshake_recv_test.c	328
tests/unit/s2n_post_handshake_send_test.c	168
tests/unit/s2n_post_handshake_test.c	169
tests/unit/s2n_pq_kem_test.c	52
tests/unit/s2n_pq_mlkem_policies_test.c	131
tests/unit/s2n_pq_mlkem_test.c	15
tests/unit/s2n_prf_key_material_test.c	155
tests/unit/s2n_protocol_preferences_test.c	176
tests/unit/s2n_psk_key_exchange_modes_extension_test.c	162
tests/unit/s2n_psk_offered_test.c	409
tests/unit/s2n_psk_test.c	772
tests/unit/s2n_quic_support_io_test.c	413
tests/unit/s2n_quic_support_test.c	200
tests/unit/s2n_quic_transport_params_extension_test.c	146
tests/unit/s2n_random_test.c	585
tests/unit/s2n_rc4_test.c	91
tests/unit/s2n_record_read_test.c	176
tests/unit/s2n_record_size_test.c	361
tests/unit/s2n_record_test.c	325
tests/unit/s2n_record_write_test.c	51
tests/unit/s2n_recv_buffering_test.c	451
tests/unit/s2n_recv_test.c	452
tests/unit/s2n_release_non_empty_buffers_test.c	128
tests/unit/s2n_renegotiate_io_test.c	328
tests/unit/s2n_renegotiate_test.c	447
tests/unit/s2n_resume_test.c	1354
tests/unit/s2n_rfc5952_test.c	56
tests/unit/s2n_rsa_pss_rsae_test.c	256
tests/unit/s2n_rsa_pss_test.c	228
tests/unit/s2n_safety_blinding_test.c	134
tests/unit/s2n_safety_macros_test.c	779
tests/unit/s2n_safety_test.c	348
tests/unit/s2n_seccomp_failure_test.c	34
tests/unit/s2n_seccomp_handshake_test.c	45
tests/unit/s2n_security_policies_rules_test.c	22
tests/unit/s2n_security_policies_test.c	735
tests/unit/s2n_security_policy_cert_preferences_test.c	231
tests/unit/s2n_security_rules_test.c	339
tests/unit/s2n_self_talk_alerts_test.c	209
tests/unit/s2n_self_talk_alpn_test.c	103
tests/unit/s2n_self_talk_broken_pipe_test.c	113
tests/unit/s2n_self_talk_certificates_test.c	104
tests/unit/s2n_self_talk_client_hello_cb_test.c	304
tests/unit/s2n_self_talk_custom_io_test.c	135
tests/unit/s2n_self_talk_io_mem_test.c	178
tests/unit/s2n_self_talk_key_log_test.c	131
tests/unit/s2n_self_talk_ktls_test.c	484
tests/unit/s2n_self_talk_min_protocol_version_test.c	72
tests/unit/s2n_self_talk_nonblocking_test.c	265
tests/unit/s2n_self_talk_npn_test.c	106
tests/unit/s2n_self_talk_offload_signing_test.c	185
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	420
tests/unit/s2n_self_talk_session_resumption_test.c	812
tests/unit/s2n_self_talk_shutdown_test.c	85
tests/unit/s2n_self_talk_tls12_test.c	133
tests/unit/s2n_self_talk_tls13_test.c	116
tests/unit/s2n_send_key_update_test.c	134
tests/unit/s2n_send_multirecord_test.c	358
tests/unit/s2n_send_test.c	545
tests/unit/s2n_sequence_number_test.c	62
tests/unit/s2n_server_alpn_extension_test.c	92
tests/unit/s2n_server_cert_request_test.c	119
tests/unit/s2n_server_cert_status_request_extension_test.c	36
tests/unit/s2n_server_early_data_indication_test.c	192
tests/unit/s2n_server_extensions_test.c	471
tests/unit/s2n_server_finished_test.c	58
tests/unit/s2n_server_hello_retry_test.c	406
tests/unit/s2n_server_hello_test.c	438
tests/unit/s2n_server_key_share_extension_test.c	719
tests/unit/s2n_server_max_frag_len_extension_test.c	113
tests/unit/s2n_server_new_session_ticket_test.c	1047
tests/unit/s2n_server_psk_extension_test.c	190
tests/unit/s2n_server_renegotiation_info_test.c	296
tests/unit/s2n_server_sct_list_extension_test.c	71
tests/unit/s2n_server_server_name_extension_test.c	41
tests/unit/s2n_server_session_ticket_extension_test.c	55
tests/unit/s2n_server_signature_algorithms_extension_test.c	33
tests/unit/s2n_server_supported_versions_extension_test.c	96
tests/unit/s2n_session_ticket_test.c	1057
tests/unit/s2n_shutdown_test.c	708
tests/unit/s2n_signature_algorithms_test.c	1080
tests/unit/s2n_signature_scheme_test.c	48
tests/unit/s2n_ssl_prf_test.c	62
tests/unit/s2n_sslv3_test.c	86
tests/unit/s2n_stacktrace_test.c	30
tests/unit/s2n_stream_cipher_null_test.c	36
tests/unit/s2n_stuffer_base64_test.c	114
tests/unit/s2n_stuffer_hex_test.c	425
tests/unit/s2n_stuffer_network_order_test.c	192
tests/unit/s2n_stuffer_test.c	243
tests/unit/s2n_stuffer_text_test.c	196
tests/unit/s2n_testlib_test.c	40
tests/unit/s2n_timer_test.c	36
tests/unit/s2n_tls12_handshake_test.c	356
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	238
tests/unit/s2n_tls13_client_finished_test.c	115
tests/unit/s2n_tls13_compute_shared_secret_test.c	92
tests/unit/s2n_tls13_handshake_early_data_test.c	151
tests/unit/s2n_tls13_handshake_state_machine_test.c	653
tests/unit/s2n_tls13_handshake_test.c	218
tests/unit/s2n_tls13_hybrid_shared_secret_test.c	552
tests/unit/s2n_tls13_key_schedule_rfc8448_test.c	184
tests/unit/s2n_tls13_key_schedule_test.c	206
tests/unit/s2n_tls13_keys_test.c	32
tests/unit/s2n_tls13_new_session_ticket_test.c	77
tests/unit/s2n_tls13_parse_record_type_test.c	152
tests/unit/s2n_tls13_pq_handshake_test.c	593
tests/unit/s2n_tls13_prf_test.c	97
tests/unit/s2n_tls13_record_aead_test.c	280
tests/unit/s2n_tls13_secrets_rfc8448_test.c	259
tests/unit/s2n_tls13_secrets_test.c	398
tests/unit/s2n_tls13_server_cert_test.c	133
tests/unit/s2n_tls13_server_finished_test.c	115
tests/unit/s2n_tls13_support_test.c	124
tests/unit/s2n_tls13_zero_length_payload_test.c	104
tests/unit/s2n_tls_hybrid_prf_test.c	81
tests/unit/s2n_tls_prf_test.c	343
tests/unit/s2n_tls_record_stuffer_test.c	51
tests/unit/s2n_utils_test.c	37
tests/unit/s2n_wildcard_hostname_test.c	156
tests/unit/s2n_x509_validator_certificate_signatures_test.c	144
tests/unit/s2n_x509_validator_test.c	1654
tests/unit/s2n_x509_validator_time_verification_test.c	194
tests/viz/s2n_state_machine_viz.c	64