Path	Lines of Code
CHANGELOG.md	117
CMakeLists.txt	194
CODE_OF_CONDUCT.md	4
CONTRIBUTING.md	43
README.md	137
SUPPORT_POLICY.rst	26
VERSIONING.rst	29
aws-encryption-sdk-cpp/CMakeLists.txt	144
cmake/header-tester/CMakeLists.txt	48
codebuild/README.md	6
codebuild/test-install-project-cpp/CMakeLists.txt	20
codebuild/test-install-project-cpp/README.md	2
codebuild/test-install-project/CMakeLists.txt	19
codebuild/test-install-project/README.md	2
compliance/kms-mrk-keyring-exception.txt	14
compliance/master-key-exception.txt	148
compliance/master-key-provider-exception.txt	186
docker-images/README.md	35
docker-images/scripts/diskpart.txt	5
examples/CMakeLists.txt	78
examples/build_osx.sh	45
examples/caching_cmm.cpp	120
examples/cleanup.bat	14
examples/cleanup.sh	3
examples/example_data/hello_world.txt	1
examples/file_streaming.cpp	156
examples/kms_discovery.cpp	122
examples/kms_multi_region_keys.cpp	185
examples/multi_keyring.cpp	100
examples/raw_aes_keyring.c	90
examples/raw_rsa_keyring.c	106
examples/string.cpp	159
examples/string_alternate_algorithm_suite.cpp	165
examples/string_legacy_compatibility.cpp	159
tests/CMakeLists.txt	103
verification/cbmc/README.md	29
verification/cbmc/include/README.md	5
verification/cbmc/jobs_dontrun/aws_cryptosdk_hdr_clean_up/cbmc-proof.txt	1
verification/cbmc/jobs_dontrun/aws_cryptosdk_hdr_size/cbmc-proof.txt	1
verification/cbmc/jobs_dontrun/aws_cryptosdk_hdr_write/cbmc-proof.txt	1
verification/cbmc/jobs_dontrun/hdr_zeroize/cbmc-proof.txt	1
verification/cbmc/proofs/README.md	21
verification/cbmc/proofs/aws_cryptosdk_aes_gcm_decrypt/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_aes_gcm_encrypt/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_alg_props/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_cmm_base_init/README.md	9
verification/cbmc/proofs/aws_cryptosdk_cmm_base_init/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_cmm_release/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_cmm_retain/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_compare_hash_elems_by_key_string/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_dec_materials_destroy/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_dec_materials_new/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_decrypt_body/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_default_cmm_set_alg_id/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_deserialize_frame/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_edk_clean_up/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_edk_eq/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_edk_init_clone/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_edk_list_clean_up/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_edk_list_clear/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_edk_list_init/README.md	10
verification/cbmc/proofs/aws_cryptosdk_edk_list_init/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clean_up/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clear/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clone/README.md	20
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clone/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_deserialize/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_init/README.md	18
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_init/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/README.md	22
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_size/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_enc_materials_new/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_encrypt_body/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_genrandom/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_hash_elems_array_init/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_hdr_size/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_hdr_write/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_hkdf/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_base_init/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_release/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_retain/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clean_up/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clear/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_eq/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_init/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_clean_up/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_init_clone/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_md_abort/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_md_finish/README.md	6
verification/cbmc/proofs/aws_cryptosdk_md_finish/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_md_init/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_md_size/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_md_update/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_multi_keyring_add_child/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_multi_keyring_new/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_decrypt/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_encrypt/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_priv_try_gen_key/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_private_algorithm_message_id_len/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_private_commitment_eq/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_private_derive_key/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v1/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_rsa_decrypt/README.md	2
verification/cbmc/proofs/aws_cryptosdk_rsa_decrypt/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_rsa_encrypt/README.md	2
verification/cbmc/proofs/aws_cryptosdk_rsa_encrypt/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_serialize_frame/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_session_set_commitment_policy/README.md	11
verification/cbmc/proofs/aws_cryptosdk_session_set_commitment_policy/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_sig_abort/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_sig_get_privkey/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_sig_get_pubkey/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_sig_sign_finish/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_sig_sign_start/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_sig_sign_start_keygen/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_sig_update/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_sig_verify_finish/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_sig_verify_start/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_sign_header/README.md	12
verification/cbmc/proofs/aws_cryptosdk_sign_header/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_string_dup/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_transfer_list/cbmc-proof.txt	1
verification/cbmc/proofs/aws_cryptosdk_verify_header/README.md	12
verification/cbmc/proofs/aws_cryptosdk_verify_header/cbmc-proof.txt	1
verification/cbmc/proofs/default_cmm_generate_enc_materials/cbmc-proof.txt	1
verification/cbmc/proofs/derive_data_key/cbmc-proof.txt	1
verification/cbmc/proofs/list_copy_all/cbmc-proof.txt	1
verification/cbmc/proofs/sign_header/cbmc-proof.txt	1
verification/cbmc/sources/README.md	5
verification/cbmc/stubs/README.md	5
verification/saw/README.md	31