- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Text files path like ".*[.]txt" 116 files: codebuild/test-install-project/CMakeLists.txt codebuild/test-install-project-cpp/CMakeLists.txt cmake/header-tester/CMakeLists.txt tests/CMakeLists.txt aws-encryption-sdk-cpp/CMakeLists.txt examples/example_data/hello_world.txt examples/CMakeLists.txt compliance/master-key-exception.txt compliance/kms-mrk-keyring-exception.txt compliance/master-key-provider-exception.txt CMakeLists.txt verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clear/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_decrypt_body/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_cmm_release/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_cmm_base_init/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_trace_eq/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_edk_clean_up/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_release/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_retain/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clean_up/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_session_set_commitment_policy/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_sig_verify_finish/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_edk_list_clean_up/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_genrandom/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clone/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_sign_header/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_md_size/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_rsa_decrypt/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_hash_elems_array_init/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_private_commitment_eq/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_sig_verify_start/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_md_update/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_enc_materials_new/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_default_cmm_set_alg_id/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_init_clone/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_verify_header/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_multi_keyring_new/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/cbmc-proof.txt verification/cbmc/proofs/derive_data_key/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_trace_init/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_sig_sign_finish/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clear/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_hdr_size/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_hdr_write/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_encrypt_body/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_sig_abort/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_edk_eq/cbmc-proof.txt verification/cbmc/proofs/list_copy_all/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_md_init/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_hkdf/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_sig_sign_start/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_cmm_retain/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_sig_update/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_edk_list_init/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_multi_keyring_add_child/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_sig_get_pubkey/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_try_gen_key/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_enc_ctx_size/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_transfer_list/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_enc_ctx_deserialize/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_serialize_frame/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_edk_init_clone/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_encrypt/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v1/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_enc_ctx_init/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_sig_sign_start_keygen/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_compare_hash_elems_by_key_string/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_aes_gcm_decrypt/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_clean_up/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_alg_props/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_private_algorithm_message_id_len/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_deserialize_frame/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_decrypt/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_aes_gcm_encrypt/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_edk_list_clear/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_md_finish/cbmc-proof.txt verification/cbmc/proofs/sign_header/cbmc-proof.txt verification/cbmc/proofs/default_cmm_generate_enc_materials/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_string_dup/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_md_abort/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_private_derive_key/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clean_up/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_base_init/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_dec_materials_new/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_dec_materials_destroy/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_rsa_encrypt/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/cbmc-proof.txt verification/cbmc/proofs/aws_cryptosdk_sig_get_privkey/cbmc-proof.txt verification/cbmc/jobs_dontrun/hdr_zeroize/cbmc-proof.txt verification/cbmc/jobs_dontrun/aws_cryptosdk_hdr_clean_up/cbmc-proof.txt verification/cbmc/jobs_dontrun/aws_cryptosdk_hdr_size/cbmc-proof.txt verification/cbmc/jobs_dontrun/aws_cryptosdk_hdr_write/cbmc-proof.txt docker-images/scripts/diskpart.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Binaries for distribution path like ".*/bin/.*" 12 files: codebuild/bin/duvet-report.sh codebuild/bin/update-cmake.sh codebuild/bin/setup-apt-trusty.sh codebuild/bin/push-docker.sh codebuild/bin/install-shared-deps.sh codebuild/bin/test-conditions.sh codebuild/bin/install-aws-deps.sh codebuild/bin/test-install.sh codebuild/bin/install-node.sh codebuild/bin/codebuild-test.sh codebuild/bin/setup-apt.sh codebuild/bin/setup-apt-cache.sh - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Hidden files and folders path like ".*/[.][a-zA-Z0-9_]+.*" 10 files: .clang-format .github/PULL_REQUEST_TEMPLATE.md .github/ISSUE_TEMPLATE/aws-encryption-sdk-issue.md .github/workflows/repo-sync.yml .github/workflows/osx.yml .github/workflows/clang-format.yml .gitmodules .gitignore verification/cbmc/proofs/.gitignore verification/cbmc/.gitignore - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Too long lines (1000+ characters) 2 files: tests/decryption_vectors.c aws-encryption-sdk-cpp/tests/data/commitment_known_answer_tests.json - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 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 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -