- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Text files path like ".*[.]txt" 168 files: codebuild/requirements.txt tests/fuzz/corpus/s2n_server_fuzz_test/crashoutput.txt tests/sidetrail/working/s2n-record-read-cbc-negative-test/out.txt tests/cbmc/proofs/s2n_hmac_update/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read_line/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_const_time_get_currently_in_hash_block/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_reserve_uint24/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_send_to_fd/cbmc-proof.txt tests/cbmc/proofs/s2n_dh_p_g_Ys_to_dh_params/cbmc-proof.txt tests/cbmc/proofs/s2n_set_free/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_block_size/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_reserve_space/cbmc-proof.txt tests/cbmc/proofs/s2n_dh_params_copy/cbmc-proof.txt tests/cbmc/proofs/s2n_array_get/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_raw_write/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read_uint64/cbmc-proof.txt tests/cbmc/proofs/s2n_dh_compute_shared_secret_as_client/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_new/cbmc-proof.txt tests/cbmc/proofs/s2n_set_remove/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read_uint16/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write_uint8/cbmc-proof.txt tests/cbmc/proofs/s2n_set_add/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_get_currently_in_hash_total/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_digest_size/cbmc-proof.txt tests/cbmc/proofs/s2n_sub_overflow/cbmc-proof.txt tests/cbmc/proofs/s2n_blob_is_growable/cbmc-proof.txt tests/cbmc/proofs/s2n_array_capacity/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read_uint32/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_peek_check_for_str/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_rewind_read/cbmc-proof.txt tests/cbmc/proofs/s2n_array_free_p/cbmc-proof.txt tests/cbmc/proofs/s2n_dh_params_free/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_resize_if_empty/cbmc-proof.txt tests/cbmc/proofs/s2n_blob_init/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write_bytes/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_alloc_ro_from_string/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_digest/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_digest_two_compression_rounds/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_erase_and_read/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_writev_bytes/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read_uint8/cbmc-proof.txt tests/cbmc/proofs/s2n_dh_params_check/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read_bytes/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_digest/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_hash_block_size/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_growable_alloc/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_raw_read/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_reserve_uint16/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_alloc_ro_from_file/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read_token/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write_uint16/cbmc-proof.txt tests/cbmc/proofs/s2n_dh_compute_shared_secret_as_server/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_free/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_read_snapshot/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_digest_verify/cbmc-proof.txt tests/cbmc/proofs/s2n_array_free/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_reread/cbmc-proof.txt tests/cbmc/proofs/s2n_array_pushback/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_allow_md5_for_fips/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_skip_read/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_read/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_digest_size/cbmc-proof.txt tests/cbmc/proofs/s2n_constant_time_equals/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_new/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_copy/cbmc-proof.txt tests/cbmc/proofs/s2n_array_init/cbmc-proof.txt tests/cbmc/proofs/s2n_blob_zeroize_free/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_quickack/cbmc-proof.txt tests/cbmc/proofs/s2n_constant_time_pkcs1_unpad_or_dont/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_write/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read_expected_str/cbmc-proof.txt tests/cbmc/proofs/s2n_set_free_p/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_free/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write_network_order/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_free/cbmc-proof.txt tests/cbmc/proofs/s2n_blob_char_to_lower/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_init/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_write_snapshot/cbmc-proof.txt tests/cbmc/proofs/s2n_pkcs3_to_dh_params_openssl_1_1_0/cbmc-proof.txt tests/cbmc/proofs/s2n_digest_allow_md5_for_fips_boringssl_awslc/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_extract_blob/cbmc-proof.txt tests/cbmc/proofs/s2n_dh_params_to_p_g_Ys/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write_uint32/cbmc-proof.txt tests/cbmc/proofs/s2n_connection_get_last_message_name/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_skip_expected_char/cbmc-proof.txt tests/cbmc/proofs/s2n_is_hello_retry_handshake/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_skip_write/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_reset/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_skip_read_until/cbmc-proof.txt tests/cbmc/proofs/s2n_set_get/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_is_consumed/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_write_restore/cbmc-proof.txt tests/cbmc/proofs/s2n_blob_zero/cbmc-proof.txt tests/cbmc/proofs/s2n_free/cbmc-proof.txt tests/cbmc/proofs/s2n_is_hello_retry_message/cbmc-proof.txt tests/cbmc/proofs/s2n_free_object/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write_uint24/cbmc-proof.txt tests/cbmc/proofs/s2n_set_new/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_set_read_size/cbmc-proof.txt tests/cbmc/proofs/s2n_realloc/cbmc-proof.txt tests/cbmc/proofs/s2n_dup/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_alloc_ro_from_fd/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_recv_from_fd/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_wipe_n/cbmc-proof.txt tests/cbmc/proofs/s2n_hex_string_to_bytes/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_rewrite/cbmc-proof.txt tests/cbmc/proofs/s2n_add_overflow/cbmc-proof.txt tests/cbmc/proofs/s2n_mem_init/cbmc-proof.txt tests/cbmc/proofs/s2n_array_insert_and_copy/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_init/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_peek_char/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_reserve/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write_uint64/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_is_available/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write_vector_size/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write_base64/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_update/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_was_corked/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read_base64/cbmc-proof.txt tests/cbmc/proofs/s2n_set_len/cbmc-proof.txt tests/cbmc/proofs/s2n_digest_is_md5_allowed_for_fips/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_restore_evp_hash_state/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_erase_and_read_bytes/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_wipe/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_hmac_alg/cbmc-proof.txt tests/cbmc/proofs/s2n_array_new/cbmc-proof.txt tests/cbmc/proofs/s2n_array_remove/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_save_evp_hash_state/cbmc-proof.txt tests/cbmc/proofs/s2n_dh_generate_ephemeral_key/cbmc-proof.txt tests/cbmc/proofs/s2n_is_base64_char/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_is_ipv6/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_init/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_write_uncork/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_private_key_from_pem/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write_reservation/cbmc-proof.txt tests/cbmc/proofs/s2n_pkcs3_to_dh_params/cbmc-proof.txt tests/cbmc/proofs/s2n_mul_overflow_harness/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_reset/cbmc-proof.txt tests/cbmc/proofs/s2n_digest_allow_md5_for_fips/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_dhparams_from_pem/cbmc-proof.txt tests/cbmc/proofs/s2n_constant_time_copy_or_dont/cbmc-proof.txt tests/cbmc/proofs/s2n_array_insert/cbmc-proof.txt tests/cbmc/proofs/s2n_align_to/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_skip_to_char/cbmc-proof.txt tests/cbmc/proofs/s2n_blob_slice/cbmc-proof.txt tests/cbmc/proofs/s2n_mem_cleanup/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_resize/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read_uint24/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_certificate_from_pem/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_alloc/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_copy/cbmc-proof.txt tests/cbmc/proofs/s2n_array_num_elements/cbmc-proof.txt tests/cbmc/proofs/s2n_alloc/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_read/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_skip_whitespace/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_copy/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_read_restore/cbmc-proof.txt tests/cbmc/proofs/s2n_socket_write_cork/cbmc-proof.txt tests/cbmc/proofs/s2n_hash_is_ready_for_input/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_xor_pad_size/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_hash_alg/cbmc-proof.txt tests/cbmc/proofs/s2n_hmac_is_available/cbmc-proof.txt tests/cbmc/proofs/s2n_stuffer_write/cbmc-proof.txt tests/pems/ocsp/certs.txt tests/pems/ocsp/certs_revoked.txt pq-crypto/sike_r1/LICENSE.txt CMakeLists.txt scripts/s2n_safety_explicit_context/requirements.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Binaries for distribution path like ".*/bin/.*" 54 files: codebuild/bin/install_oqs_openssl_1_1_1.sh codebuild/bin/install_prlimit.sh codebuild/bin/install_cppcheck.sh codebuild/bin/install_sidetrail_dependencies.sh codebuild/bin/install_z3_yices.sh codebuild/bin/install_openssl_0_9_8.sh codebuild/bin/s2n_after_codebuild.sh codebuild/bin/copyright_mistake_scanner.sh codebuild/bin/format.sh codebuild/bin/run_kwstyle.sh codebuild/bin/install_libFuzzer.sh codebuild/bin/install_boringssl.sh codebuild/bin/install_clang.sh codebuild/bin/install_python.sh codebuild/bin/build_aws_crt_cpp.sh codebuild/bin/test_libcrypto_interning.sh codebuild/bin/s2n_setup_env.sh codebuild/bin/run_ctverif.sh codebuild/bin/run_sidetrail.sh codebuild/bin/install_saw.sh codebuild/bin/install_gnutls.sh codebuild/bin/run_cppcheck.sh codebuild/bin/install_awslc.sh codebuild/bin/install_googlebenchmark.sh codebuild/bin/install_ubuntu_dependencies.sh codebuild/bin/install_al2_dependencies.sh codebuild/bin/install_openssl_1_1_1.sh codebuild/bin/KWStyle.xml codebuild/bin/install_s2n_head.sh codebuild/bin/grep_simple_mistakes.sh codebuild/bin/cppcheck_suppressions.txt codebuild/bin/install_openssl_1_0_2.sh codebuild/bin/install_ctverif.sh codebuild/bin/s2n_install_test_dependencies.sh codebuild/bin/install_shellcheck.sh codebuild/bin/s2n_codebuild.sh codebuild/bin/install_openssl_1_0_2_fips.sh codebuild/bin/install_sidetrail.sh codebuild/bin/s2n_codebuild_al2.sh codebuild/bin/cpp_style_comment_linter.sh codebuild/bin/install_libressl.sh codebuild/bin/jobs.sh codebuild/bin/install_default_dependencies.sh codebuild/bin/s2n_override_paths.sh codebuild/bin/install_sslyze.sh tests/integrationv2/bin/SSLSocketClient.java tests/sidetrail/bin/ct-verif.rb tests/sidetrail/bin/bpl_trace_to_c.py bin/s2nc.c bin/echo.c bin/https.c bin/common.h bin/s2nd.c bin/common.c - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Hidden files and folders path like ".*/[.][a-zA-Z0-9_]+.*" 29 files: tests/sidetrail/.gitignore tests/viz/.gitignore tests/cbmc/.gitignore tests/saw/.gitignore tests/saw/bitcode/.gitignore .clang-format .github/PULL_REQUEST_TEMPLATE.md .github/ISSUE_TEMPLATE/s2n-issue.md .github/ISSUE_TEMPLATE/custom.md .github/stale.yml .github/workflows/private_fork_pr_codebuild.yml .github/workflows/ci_freebsd.yml .github/workflows/private_sync.yml .github/workflows/ci_linting.yml .github/workflows/gha_failure_monitor.yml .github/workflows/bindings.yml .github/gha_monitor/tests/failed_job.json .github/gha_monitor/tests/force_push_failure_response.json .github/gha_monitor/gha_monitor/__init__.py .github/gha_monitor/gha_monitor/sns.py .github/gha_monitor/gha_monitor/__main__.py .github/gha_monitor/gha_monitor/github.py .github/gha_monitor/requirements.txt .gitmodules bindings/rust/.gitignore bindings/rust/.rustfmt.toml .gitignore scripts/s2n_safety_explicit_context/.gitignore docker-images/.gitignore - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Documentation path like ".*/docs/.*" 8 files: docs/images/tls13_state_machine.svg docs/images/tls12_state_machine.svg docs/READING-LIST.md docs/USAGE-GUIDE.md docs/DEVELOPMENT-GUIDE.md docs/STATE-MACHINE.md docs/SAFETY-MACROS.md docs/BINDINGS.md - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Too long lines (1000+ characters) 3 files: tests/unit/s2n_client_hello_retry_test.c docs/images/s2n-logo-final.svg docs/images/s2n-logo-github.svg - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Sokrates scoping conventions path like ".*/sokrates_conventions[.]json" 1 files: sokrates_conventions.json - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Git history path like ".*/git[-]history[.]txt" 1 files: git-history.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -