Path	Lines of Code
CMakeLists.txt	666
README.md	122
VERSIONING.rst	28
bindings/README.md	5
bindings/rust-examples/client-hello-config-resolution/README.md	42
bindings/rust-examples/hyper-server-client/README.md	15
bindings/rust/README.md	22
bindings/rust/extended/s2n-tls-sys/README.md	25
bindings/rust/extended/s2n-tls-tokio/README.md	1
bindings/rust/extended/s2n-tls/README.md	2
bindings/rust/standard/bench/README.md	48
bindings/rust/standard/bench/certs/readme.md	8
bindings/rust/standard/s2n-tls-hyper/README.md	2
codebuild/README.md	37
compliance/specs/datatracker.ietf.org/doc/id/draft-agl-tls-nextprotoneg-03.txt	236
compliance/specs/raw.githubusercontent.com/FoxIO-LLC/ja4/df3c067/technical_details/JA4.txt	134
compliance/specs/www.rfc-editor.org/rfc/rfc4492.txt	1242
compliance/specs/www.rfc-editor.org/rfc/rfc5077.txt	710
compliance/specs/www.rfc-editor.org/rfc/rfc5246.txt	3979
compliance/specs/www.rfc-editor.org/rfc/rfc5746.txt	543
compliance/specs/www.rfc-editor.org/rfc/rfc5869.txt	466
compliance/specs/www.rfc-editor.org/rfc/rfc6066.txt	948
compliance/specs/www.rfc-editor.org/rfc/rfc6125.txt	2200
compliance/specs/www.rfc-editor.org/rfc/rfc6960.txt	1433
compliance/specs/www.rfc-editor.org/rfc/rfc7301.txt	319
compliance/specs/www.rfc-editor.org/rfc/rfc7627.txt	569
compliance/specs/www.rfc-editor.org/rfc/rfc8422.txt	1216
compliance/specs/www.rfc-editor.org/rfc/rfc8446.txt	5848
compliance/specs/www.rfc-editor.org/rfc/rfc8448.txt	2455
compliance/specs/www.rfc-editor.org/rfc/rfc8701.txt	444
compliance/specs/www.rfc-editor.org/rfc/rfc9001.txt	2186
compliance/specs/www.rfc-editor.org/rfc/rfc9151.txt	520
libcrypto-build/README.md	3
nix/README.md	54
scram/README.md	93
scripts/s2n_safety_explicit_context/requirements.txt	1
tests/README.md	68
tests/cbmc/README.md	47
tests/cbmc/include/README.md	5
tests/cbmc/proofs/README.md	21
tests/cbmc/proofs/s2n_add_overflow/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_align_to/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_alloc/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_capacity/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_free/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_free_p/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_get/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_init/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_insert/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_insert_and_copy/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_new/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_num_elements/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_pushback/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_array_remove/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_blob_char_to_lower/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_blob_init/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_blob_is_growable/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_blob_slice/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_blob_zero/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_connection_get_last_message_name/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_constant_time_copy_or_dont/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_constant_time_equals/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_constant_time_pkcs1_unpad_or_dont/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_dh_compute_shared_secret_as_client/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_dh_compute_shared_secret_as_server/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_dh_generate_ephemeral_key/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_dh_p_g_Ys_to_dh_params/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_dh_params_check/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_dh_params_copy/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_dh_params_free/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_dh_params_to_p_g_Ys/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_dup/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_free/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_free_object/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_free_or_wipe/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_copy/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_digest/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_digest_size/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_free/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_get_currently_in_hash_total/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_hmac_alg/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_init/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_is_available/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_is_ready_for_input/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_new/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_reset/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hash_update/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_copy/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_digest/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_digest_size/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_digest_two_compression_rounds/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_digest_verify/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_free/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_hash_alg/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_hash_block_size/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_init/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_new/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_reset/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_restore_evp_hash_state/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_save_evp_hash_state/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_update/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_hmac_xor_pad_size/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_is_base64_char/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_is_hello_retry_handshake/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_is_hello_retry_message/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_mem_cleanup/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_mem_init/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_mul_overflow_harness/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_pkcs3_to_dh_params/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_pkcs3_to_dh_params_openssl_1_1_0/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_realloc/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_is_ipv6/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_quickack/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_read/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_read_restore/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_read_snapshot/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_set_read_size/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_was_corked/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_write/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_write_cork/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_write_restore/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_write_snapshot/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_socket_write_uncork/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_alloc/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_alloc_ro_from_fd/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_alloc_ro_from_file/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_alloc_ro_from_string/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_certificate_from_pem/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_copy/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_dhparams_from_pem/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_erase_and_read/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_erase_and_read_bytes/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_extract_blob/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_free/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_get_vector_size/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_growable_alloc/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_init/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_is_consumed/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_peek_char/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_peek_check_for_str/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_printf/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_private_key_from_pem/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_raw_read/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_raw_write/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_base64/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_bytes/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_expected_str/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_hex/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_line/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_token/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_uint16/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_uint16_hex/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_uint24/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_uint32/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_uint64/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_uint8/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_read_uint8_hex/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_recv_from_fd/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_reread/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_reserve/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_reserve_space/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_reserve_uint16/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_reserve_uint24/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_resize/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_resize_if_empty/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_rewind_read/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_rewrite/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_send_to_fd/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_shift/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_skip_expected_char/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_skip_read/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_skip_read_until/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_skip_to_char/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_skip_whitespace/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_skip_write/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_wipe/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_wipe_n/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_base64/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_bytes/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_hex/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_network_order/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_reservation/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_uint16/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_uint16_hex/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_uint24/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_uint32/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_uint64/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_uint8/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_uint8_hex/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_write_vector_size/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_stuffer_writev_bytes/cbmc-proof.txt	1
tests/cbmc/proofs/s2n_sub_overflow/cbmc-proof.txt	1
tests/cbmc/sources/README.md	5
tests/cbmc/stubs/README.md	5
tests/ctverif/README.md	82
tests/fuzz/Readme.md	75
tests/integrationv2/README.md	151
tests/integrationv2/tox.ini	31
tests/pems/mixed_chains/README.md	15
tests/pems/mldsa/README.md	3
tests/pems/ocsp/OCSP-TEST.md	90
tests/pems/ocsp/certs.txt	3
tests/pems/ocsp/certs_revoked.txt	3
tests/pems/permutations/README.md	122
tests/pems/trust-store/README.md	5
tests/regression/README.md	101
tests/saw/README.md	56
tests/saw/failure_tests/cork_one.patch	11
tests/saw/failure_tests/cork_two.patch	11
tests/saw/failure_tests/sha_bad_magic_mod.patch	26
tests/saw/failure_tests/tls_early_ccs.patch	9
tests/saw/failure_tests/tls_missing_full_handshake.patch	34
tests/saw/spec/extras/HMAC/README.md	20
tests/sidetrail/DEBUGGING.md	203
tests/sidetrail/README.md	160
tests/sidetrail/working/patches/cbc.patch	80
tests/sidetrail/working/patches/hmac.patch	109
tests/sidetrail/working/patches/safety.patch	26
tests/sidetrail/working/s2n-record-read-cbc-negative-test/out.txt	5044
tests/sidetrail/working/s2n-record-read-cbc-negative-test/record_read_cbc.patch	26
tests/sidetrail/working/s2n-record-read-cbc/record_read_cbc.patch	26
tests/sidetrail/working/s2n-record-read-composite/record_read.patch	20
tests/sidetrail/working/s2n-record-read-stream/s2n_record_read_stream.patch	26
tests/unit/kats/README.md	42