- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (119): codebuild/bin/apt-install-pkgs codebuild/bin/codebuild-build-dependency switch-private-submodules .github/CODEOWNERS examples/example_data/aes_256_key LICENSE NOTICE verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clear/Makefile verification/cbmc/proofs/aws_cryptosdk_decrypt_body/Makefile verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/Makefile verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/Makefile verification/cbmc/proofs/aws_cryptosdk_cmm_release/Makefile verification/cbmc/proofs/aws_cryptosdk_cmm_base_init/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_trace_eq/Makefile verification/cbmc/proofs/aws_cryptosdk_edk_clean_up/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_release/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_retain/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clean_up/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/Makefile verification/cbmc/proofs/aws_cryptosdk_session_set_commitment_policy/Makefile verification/cbmc/proofs/aws_cryptosdk_sig_verify_finish/Makefile verification/cbmc/proofs/Makefile-project-targets verification/cbmc/proofs/aws_cryptosdk_edk_list_clean_up/Makefile verification/cbmc/proofs/aws_cryptosdk_genrandom/Makefile verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clone/Makefile verification/cbmc/proofs/Makefile-project-defines verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/Makefile verification/cbmc/proofs/aws_cryptosdk_sign_header/Makefile verification/cbmc/proofs/aws_cryptosdk_md_size/Makefile verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2/Makefile verification/cbmc/proofs/aws_cryptosdk_rsa_decrypt/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/Makefile verification/cbmc/proofs/aws_cryptosdk_hash_elems_array_init/Makefile verification/cbmc/proofs/aws_cryptosdk_private_commitment_eq/Makefile verification/cbmc/proofs/Makefile-template-defines verification/cbmc/proofs/aws_cryptosdk_sig_verify_start/Makefile verification/cbmc/proofs/aws_cryptosdk_md_update/Makefile verification/cbmc/proofs/aws_cryptosdk_enc_materials_new/Makefile verification/cbmc/proofs/aws_cryptosdk_default_cmm_set_alg_id/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_init_clone/Makefile verification/cbmc/proofs/aws_cryptosdk_verify_header/Makefile verification/cbmc/proofs/aws_cryptosdk_multi_keyring_new/Makefile verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/Makefile verification/cbmc/proofs/derive_data_key/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_trace_init/Makefile verification/cbmc/proofs/aws_cryptosdk_sig_sign_finish/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clear/Makefile verification/cbmc/proofs/aws_cryptosdk_hdr_size/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/Makefile verification/cbmc/proofs/aws_cryptosdk_hdr_write/Makefile verification/cbmc/proofs/aws_cryptosdk_encrypt_body/Makefile verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/Makefile verification/cbmc/proofs/aws_cryptosdk_sig_abort/Makefile verification/cbmc/proofs/aws_cryptosdk_edk_eq/Makefile verification/cbmc/proofs/list_copy_all/Makefile verification/cbmc/proofs/aws_cryptosdk_md_init/Makefile verification/cbmc/proofs/aws_cryptosdk_hkdf/Makefile verification/cbmc/proofs/aws_cryptosdk_sig_sign_start/Makefile verification/cbmc/proofs/aws_cryptosdk_cmm_retain/Makefile verification/cbmc/proofs/aws_cryptosdk_sig_update/Makefile verification/cbmc/proofs/aws_cryptosdk_edk_list_init/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/Makefile verification/cbmc/proofs/aws_cryptosdk_multi_keyring_add_child/Makefile verification/cbmc/proofs/aws_cryptosdk_sig_get_pubkey/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_try_gen_key/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/Makefile verification/cbmc/proofs/aws_cryptosdk_enc_ctx_size/Makefile verification/cbmc/proofs/aws_cryptosdk_transfer_list/Makefile verification/cbmc/proofs/aws_cryptosdk_enc_ctx_deserialize/Makefile verification/cbmc/proofs/aws_cryptosdk_serialize_frame/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/Makefile verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/Makefile verification/cbmc/proofs/aws_cryptosdk_edk_init_clone/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_encrypt/Makefile verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v1/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/Makefile verification/cbmc/proofs/aws_cryptosdk_enc_ctx_init/Makefile verification/cbmc/proofs/aws_cryptosdk_sig_sign_start_keygen/Makefile verification/cbmc/proofs/aws_cryptosdk_compare_hash_elems_by_key_string/Makefile verification/cbmc/proofs/aws_cryptosdk_aes_gcm_decrypt/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_clean_up/Makefile verification/cbmc/proofs/aws_cryptosdk_alg_props/Makefile verification/cbmc/proofs/aws_cryptosdk_private_algorithm_message_id_len/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/Makefile verification/cbmc/proofs/aws_cryptosdk_deserialize_frame/Makefile verification/cbmc/proofs/Makefile-project-testing verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_decrypt/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/Makefile verification/cbmc/proofs/aws_cryptosdk_aes_gcm_encrypt/Makefile verification/cbmc/proofs/aws_cryptosdk_edk_list_clear/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/Makefile verification/cbmc/proofs/aws_cryptosdk_md_finish/Makefile verification/cbmc/proofs/sign_header/Makefile verification/cbmc/proofs/default_cmm_generate_enc_materials/Makefile verification/cbmc/proofs/aws_cryptosdk_string_dup/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/Makefile verification/cbmc/proofs/aws_cryptosdk_md_abort/Makefile verification/cbmc/proofs/aws_cryptosdk_private_derive_key/Makefile verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clean_up/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_base_init/Makefile verification/cbmc/proofs/aws_cryptosdk_dec_materials_new/Makefile verification/cbmc/proofs/aws_cryptosdk_dec_materials_destroy/Makefile verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/Makefile verification/cbmc/proofs/aws_cryptosdk_rsa_encrypt/Makefile verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/Makefile verification/cbmc/proofs/aws_cryptosdk_sig_get_privkey/Makefile verification/cbmc/jobs_dontrun/hdr_zeroize/Makefile verification/cbmc/jobs_dontrun/Makefile verification/cbmc/jobs_dontrun/aws_cryptosdk_hdr_clean_up/Makefile verification/cbmc/jobs_dontrun/aws_cryptosdk_hdr_size/Makefile verification/cbmc/jobs_dontrun/aws_cryptosdk_hdr_write/Makefile docker-images/windows_base/Dockerfile docker-images/visualcpp2017/Dockerfile docker-images/visualcpp2015/Dockerfile - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.bin files (7): tests/data/ct_x_aes128_hkdf.bin tests/data/hello.bin tests/data/hello.tinyframes.bin tests/data/ct_bad_commitment.bin tests/data/pt_x_aes128_hkdf.bin tests/data/ct_good_commitment.bin tests/data/ct_x_aes128_hkdf_bad_header.bin - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.cry files (5): verification/saw/transition_functions.cry verification/saw/helper_functions.cry verification/saw/proofs.cry verification/saw/state_machine.cry verification/saw/type_def.cry - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.pem files (2): examples/example_data/rsa_public_key.pem examples/example_data/rsa_private_key.pem - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.cbmc_batch files (1): verification/cbmc/proofs/Makefile.cbmc_batch - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.suppressions files (1): valgrind.suppressions - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.aws_hash_table files (1): verification/cbmc/proofs/Makefile.aws_hash_table - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.string files (1): verification/cbmc/proofs/Makefile.string - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.saw files (1): verification/saw/state_machine.saw - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.aws_byte_buf files (1): verification/cbmc/proofs/Makefile.aws_byte_buf - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.aws_array_list files (1): verification/cbmc/proofs/Makefile.aws_array_list - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.local_default files (1): verification/cbmc/proofs/Makefile.local_default - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.aws_string files (1): verification/cbmc/proofs/Makefile.aws_string - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.commands files (1): codebuild/gdb.commands - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -