path	# lines of code	number of updates	days since first update	days since last update	first updated	last updated	
codebuild/trusty-gcc4x-x64.yml	5	1	1211	1211	2018-10-09	2018-10-09
codebuild/ubuntu-latest-x64.Dockerfile	48	4	1152	230	2018-12-07	2021-06-16
codebuild/trusty-gcc4x-x64.Dockerfile	47	2	1211	1152	2018-10-09	2018-12-07
codebuild/windows-msvc-2015-x86.yml	6	4	1251	736	2018-08-30	2020-01-27
codebuild/trusty-gcc4x-x86.Dockerfile	47	2	1211	1152	2018-10-09	2018-12-07
codebuild/test-install-project/test.c	5	1	1155	1155	2018-12-04	2018-12-04
codebuild/windows-msvc-2015.yml	6	4	1251	736	2018-08-30	2020-01-27
codebuild/test-install-project-cpp/test.cpp	6	3	1155	711	2018-12-04	2020-02-21
codebuild/ubuntu-latest-x64/compliance.yml	5	1	230	230	2021-06-16	2021-06-16
codebuild/ubuntu-latest-x64/batch.yml	21	1	230	230	2021-06-16	2021-06-16
codebuild/windows-msvc-2017.yml	6	4	1251	736	2018-08-30	2020-01-27
codebuild/trusty-gcc4x-x86.yml	5	1	1211	1211	2018-10-09	2018-10-09
cmake/CodeCoverageFlags.cmake	18	2	1173	1139	2018-11-16	2018-12-20
cmake/header-tester/stub.c	5	1	1230	1230	2018-09-20	2018-09-20
cmake/InstallLogic.cmake	48	3	1155	1106	2018-12-04	2019-01-22
cmake/TestLibraryPath.cmake	72	5	1152	840	2018-12-07	2019-10-15
cmake/GitRevision.cmake	55	2	1148	1076	2018-12-11	2019-02-21
cmake/aws-encryption-sdk-config.cmake	14	1	1155	1155	2018-12-04	2018-12-04
cmake/aws-encryption-sdk-cpp-config.cmake	16	1	1155	1155	2018-12-04	2018-12-04
cmake/AwsCryptosdkCFlags.cmake	97	1	1110	1110	2019-01-18	2019-01-18
cmake/CodeCoverageTargets.cmake	29	1	1173	1173	2018-11-16	2018-11-16
aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	525	1	230	230	2021-06-16	2021-06-16
aws-encryption-sdk-cpp/source/kms_keyring.cpp	408	29	1244	230	2018-09-06	2021-06-16
aws-encryption-sdk-cpp/source/cpputils.cpp	221	7	1230	230	2018-09-20	2021-06-16
aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	54	2	230	203	2021-06-16	2021-07-13
aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	82	5	1142	230	2018-12-17	2021-06-16
aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/exports.h	16	2	1152	1142	2018-12-07	2018-12-17
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	40	1	230	230	2021-06-16	2021-06-16
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	46	7	1161	230	2018-11-28	2021-06-16
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	64	6	1230	230	2018-09-20	2021-06-16
cbmc-ci/ci-config.yaml	7	3	242	230	2021-06-04	2021-06-16
doxygen/doxygen.config.in	1685	15	1295	634	2018-07-17	2020-05-08
source/default_cmm.c	150	29	1337	250	2018-06-05	2021-05-27
source/session_encrypt.c	296	29	1314	250	2018-06-28	2021-05-27
source/cipher_openssl.c	679	25	1274	461	2018-08-07	2020-10-28
source/codegen.c	10	4	1274	1119	2018-08-07	2019-01-09
source/raw_rsa_keyring.c	167	18	1238	824	2018-09-12	2019-10-31
source/keyring_trace.c	212	8	1148	386	2018-12-11	2021-01-11
source/utils.c	36	12	1303	627	2018-07-09	2020-05-15
source/error.c	27	27	1425	250	2018-03-09	2021-05-27
source/cipher.c	842	53	1411	386	2018-03-23	2021-01-11
source/framefmt.c	233	19	1328	256	2018-06-14	2021-05-21
source/caching_cmm.c	444	13	1183	1006	2018-11-06	2019-05-02
source/header.c	462	47	1435	250	2018-02-27	2021-05-27
source/local_cache.c	579	16	1274	1119	2018-08-07	2019-01-09
source/materials.c	115	31	1337	230	2018-06-05	2021-06-16
source/session_decrypt.c	232	27	1314	250	2018-06-28	2021-05-27
source/session.c	430	45	1393	250	2018-04-10	2021-05-27
source/hkdf.c	139	14	1289	496	2018-07-23	2020-09-23
source/raw_aes_keyring.c	231	16	1271	1114	2018-08-10	2019-01-14
source/list_utils.c	88	4	1148	461	2018-12-11	2020-10-28
source/multi_keyring.c	138	19	1271	629	2018-08-10	2020-05-13
source/enc_ctx.c	180	9	1119	461	2019-01-09	2020-10-28
source/edk.c	76	13	1222	424	2018-09-28	2020-12-04
include/aws/cryptosdk/vtable.h	8	4	1274	1142	2018-08-07	2018-12-17
include/aws/cryptosdk/enc_ctx.h	30	2	1119	713	2019-01-09	2020-02-19
include/aws/cryptosdk/default_cmm.h	17	18	1337	391	2018-06-05	2021-01-06
include/aws/cryptosdk/header.h	17	13	1435	496	2018-02-27	2020-09-23
include/aws/cryptosdk/error.h	27	31	1435	250	2018-02-27	2021-05-27
include/aws/cryptosdk/cache.h	276	21	1274	1006	2018-08-07	2019-05-02
include/aws/cryptosdk/private/framefmt.h	36	10	1328	698	2018-06-14	2020-03-05
include/aws/cryptosdk/private/enc_ctx.h	10	1	1119	1119	2019-01-09	2019-01-09
include/aws/cryptosdk/private/user_agent.h	10	1	995	995	2019-05-13	2019-05-13
include/aws/cryptosdk/private/hkdf.h	16	2	1119	496	2019-01-09	2020-09-23
include/aws/cryptosdk/private/header.h	63	17	1399	250	2018-04-04	2021-05-27
include/aws/cryptosdk/private/multi_keyring.h	10	1	629	629	2020-05-13	2020-05-13
include/aws/cryptosdk/private/cipher.h	103	28	1397	418	2018-04-06	2020-12-10
include/aws/cryptosdk/private/raw_aes_keyring.h	21	11	1271	1119	2018-08-10	2019-01-09
include/aws/cryptosdk/private/session.h	88	29	1393	250	2018-04-10	2021-05-27
include/aws/cryptosdk/private/keyring_trace.h	10	2	1148	1142	2018-12-11	2018-12-17
include/aws/cryptosdk/private/utils.h	10	7	1303	1142	2018-07-09	2018-12-17
include/aws/cryptosdk/private/compiler.h	11	4	1435	1142	2018-02-27	2018-12-17
include/aws/cryptosdk/private/config.h.in	27	5	1435	995	2018-02-27	2019-05-13
include/aws/cryptosdk/multi_keyring.h	18	13	1271	629	2018-08-10	2020-05-13
include/aws/cryptosdk/cipher.h	80	21	1337	496	2018-06-05	2020-09-23
include/aws/cryptosdk/raw_aes_keyring.h	19	7	1271	1142	2018-08-10	2018-12-17
include/aws/cryptosdk/session.h	70	29	1393	250	2018-04-10	2021-05-27
include/aws/cryptosdk/keyring_trace.h	53	5	1148	694	2018-12-11	2020-03-09
include/aws/cryptosdk/exports.h	29	5	1274	1096	2018-08-07	2019-02-01
include/aws/cryptosdk/raw_rsa_keyring.h	19	8	1230	1142	2018-09-20	2018-12-17
include/aws/cryptosdk/edk.h	40	10	1230	517	2018-09-20	2020-09-02
include/aws/cryptosdk/version.h.in	67	3	995	820	2019-05-13	2019-11-04
include/aws/cryptosdk/materials.h	309	47	1337	461	2018-06-05	2020-10-28
include/aws/cryptosdk/list_utils.h	19	4	1148	1096	2018-12-11	2019-02-01
verification/cbmc/config.h	1	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/generate_enc_materials_stub.c	43	1	378	378	2021-01-19	2021-01-19
verification/cbmc/stubs/aws_atomic_load_int.c	4	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/transfer_list_stub.c	12	1	378	378	2021-01-19	2021-01-19
verification/cbmc/stubs/aws_hash_iter_overrides.c	58	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/keyring_trace_clear_stub.c	7	1	378	378	2021-01-19	2021-01-19
verification/cbmc/stubs/aws_atomic_fetch_add_explicit.c	6	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/hkdf_stub.c	17	1	378	378	2021-01-19	2021-01-19
verification/cbmc/stubs/EVP_MD_CTX_free_no_pkey_stub.c	8	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/aws_default_allocator_stub.c	4	1	412	412	2020-12-16	2020-12-16
verification/cbmc/stubs/aws_cryptosdk_enc_ctx_size_stub.c	13	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/aws_array_list_item_generator_u8_stub.c	15	1	378	378	2021-01-19	2021-01-19
verification/cbmc/stubs/aws_atomic_fetch_sub_explicit.c	6	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/aws_add_size_checked.c	7	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/hdr_write_stub.c	20	1	386	386	2021-01-11	2021-01-11
verification/cbmc/stubs/aws_array_list_sort_noop_stub.c	5	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/on_encrypt_stub.c	31	2	391	390	2021-01-06	2021-01-07
verification/cbmc/stubs/aws_cryptosdk_hash_elems_array_init_stub.c	31	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/aws_base64_decode.c	16	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/evp_md_ctx_is_valid_no_pkey_stub.c	5	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/EVP_PKEY_free_no_ec_key_stub.c	11	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/aws_atomic_priv_xlate_order.c	8	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/evp_pkey_is_valid_no_ec_key_stub.c	4	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/keyring_trace_clean_up_stub.c	6	1	378	378	2021-01-19	2021-01-19
verification/cbmc/stubs/aws_base64_encode.c	22	1	461	461	2020-10-28	2020-10-28
verification/cbmc/stubs/aws_atomic_load_ptr.c	4	1	461	461	2020-10-28	2020-10-28
verification/cbmc/sources/cbmc_invariants.c	14	1	461	461	2020-10-28	2020-10-28
verification/cbmc/sources/utils.c	28	1	418	418	2020-12-10	2020-12-10
verification/cbmc/sources/make_common_data_structures.c	356	6	461	391	2020-10-28	2021-01-06
verification/cbmc/sources/openssl/bn_override.c	37	1	461	461	2020-10-28	2020-10-28
verification/cbmc/sources/openssl/bio_override.c	26	1	461	461	2020-10-28	2020-10-28
verification/cbmc/sources/openssl/evp_override.c	618	2	461	386	2020-10-28	2021-01-11
verification/cbmc/sources/openssl/rand_override.c	8	1	461	461	2020-10-28	2020-10-28
verification/cbmc/sources/openssl/objects_override.c	16	1	461	461	2020-10-28	2020-10-28
verification/cbmc/sources/openssl/err_override.c	11	1	461	461	2020-10-28	2020-10-28
verification/cbmc/sources/openssl/ec_override.c	277	2	461	406	2020-10-28	2020-12-22
verification/cbmc/sources/openssl/asn1_override.c	58	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clear/aws_cryptosdk_enc_ctx_clear_harness.c	18	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_decrypt_body/aws_cryptosdk_decrypt_body_harness.c	49	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/aws_cryptosdk_enc_materials_destroy_harness.c	36	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/aws_cryptosdk_cmm_generate_enc_materials_harness.c	74	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_cmm_release/aws_cryptosdk_cmm_release_harness.c	24	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_cmm_base_init/aws_cryptosdk_cmm_base_init_harness.c	13	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c	43	1	413	413	2020-12-15	2020-12-15
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_eq/aws_cryptosdk_keyring_trace_eq_harness.c	42	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_edk_clean_up/aws_cryptosdk_edk_clean_up_harness.c	13	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_keyring_release/aws_cryptosdk_keyring_release_harness.c	20	2	461	448	2020-10-28	2020-11-10
verification/cbmc/proofs/aws_cryptosdk_keyring_retain/aws_cryptosdk_keyring_retain_harness.c	19	2	461	448	2020-10-28	2020-11-10
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clean_up/aws_cryptosdk_keyring_trace_clean_up_harness.c	15	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c	38	2	417	406	2020-12-11	2020-12-22
verification/cbmc/proofs/aws_cryptosdk_session_set_commitment_policy/aws_cryptosdk_session_set_commitment_policy_harness.c	15	1	433	433	2020-11-25	2020-11-25
verification/cbmc/proofs/aws_cryptosdk_sig_verify_finish/aws_cryptosdk_sig_verify_finish_harness.c	19	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_edk_list_clean_up/aws_cryptosdk_edk_list_clean_up_harness.c	17	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_genrandom/aws_cryptosdk_genrandom_harness.c	9	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clone/aws_cryptosdk_enc_ctx_clone_harness.c	19	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c	36	1	418	418	2020-12-10	2020-12-10
verification/cbmc/proofs/aws_cryptosdk_sign_header/aws_cryptosdk_sign_header_harness.c	24	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_md_size/aws_cryptosdk_md_size_harness.c	10	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2/aws_cryptosdk_private_derive_key_v2_harness.c	40	1	418	418	2020-12-10	2020-12-10
verification/cbmc/proofs/aws_cryptosdk_rsa_decrypt/aws_cryptosdk_rsa_decrypt_harness.c	30	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/aws_cryptosdk_keyring_trace_add_record_harness.c	34	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_hash_elems_array_init/aws_cryptosdk_hash_elems_array_init_harness.c	22	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_private_commitment_eq/aws_cryptosdk_private_commitment_eq_harness.c	28	1	418	418	2020-12-10	2020-12-10
verification/cbmc/proofs/aws_cryptosdk_sig_verify_start/aws_cryptosdk_sig_verify_start_harness.c	21	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_md_update/aws_cryptosdk_md_update_harness.c	28	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_enc_materials_new/aws_cryptosdk_enc_materials_new_harness.c	15	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_default_cmm_set_alg_id/aws_cryptosdk_default_cmm_set_alg_id_harness.c	18	1	431	431	2020-11-27	2020-11-27
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_init_clone/aws_cryptosdk_keyring_trace_record_init_clone_harness.c	23	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_verify_header/aws_cryptosdk_verify_header_harness.c	24	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_multi_keyring_new/MultiKeyringNew_harness.c	9	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c	87	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/derive_data_key/derive_data_key_harness.c	53	2	406	378	2020-12-22	2021-01-19
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_init/aws_cryptosdk_keyring_trace_init_harness.c	14	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_sig_sign_finish/aws_cryptosdk_sig_sign_finish_harness.c	28	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clear/aws_cryptosdk_keyring_trace_clear_harness.c	21	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c	35	1	424	424	2020-12-04	2020-12-04
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c	33	1	413	413	2020-12-15	2020-12-15
verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c	50	1	412	412	2020-12-16	2020-12-16
verification/cbmc/proofs/aws_cryptosdk_encrypt_body/aws_cryptosdk_encrypt_body_harness.c	49	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/aws_cryptosdk_cmm_decrypt_materials_harness.c	73	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_sig_abort/aws_cryptosdk_sig_abort_harness.c	29	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_edk_eq/aws_cryptosdk_edk_eq_harness.c	16	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c	65	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_md_init/aws_cryptosdk_md_init_harness.c	19	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_hkdf/aws_cryptosdk_hkdf_harness.c	40	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_sig_sign_start/aws_cryptosdk_sig_sign_start_harness.c	26	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_cmm_retain/aws_cryptosdk_cmm_retain_harness.c	18	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_sig_update/aws_cryptosdk_sig_update_harness.c	25	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_edk_list_init/aws_cryptosdk_edk_list_init_harness.c	11	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/aws_cryptosdk_keyring_trace_add_record_buf_harness.c	35	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_multi_keyring_add_child/aws_cryptosdk_multi_keyring_add_child_harness.c	34	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_sig_get_pubkey/aws_cryptosdk_sig_get_pubkey_harness.c	25	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_priv_try_gen_key/aws_cryptosdk_priv_try_gen_key_harness.c	63	1	378	378	2021-01-19	2021-01-19
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c	38	1	418	418	2020-12-10	2020-12-10
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_size/aws_cryptosdk_enc_ctx_size_harness.c	35	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c	46	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_deserialize/aws_cryptosdk_enc_ctx_deserialize_harness.c	33	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_serialize_frame/aws_cryptosdk_serialize_frame_harness.c	28	3	461	256	2020-10-28	2021-05-21
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/aws_cryptosdk_keyring_trace_add_record_c_str_harness.c	32	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/aws_cryptosdk_enc_ctx_serialize_harness.c	32	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_edk_init_clone/aws_cryptosdk_edk_init_clone_harness.c	20	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_encrypt/aws_cryptosdk_priv_algorithm_allowed_for_encrypt_harness.c	10	1	433	433	2020-11-25	2020-11-25
verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v1/aws_cryptosdk_private_derive_key_v1_harness.c	32	1	418	418	2020-12-10	2020-12-10
verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c	71	2	461	391	2020-10-28	2021-01-06
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_init/aws_cryptosdk_enc_ctx_init_harness.c	7	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_sig_sign_start_keygen/aws_cryptosdk_sig_sign_start_keygen_harness.c	20	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_compare_hash_elems_by_key_string/aws_cryptosdk_compare_hash_elems_by_key_string_harness.c	39	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_aes_gcm_decrypt/aws_cryptosdk_aes_gcm_decrypt_harness.c	59	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c	34	2	417	406	2020-12-11	2020-12-22
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_clean_up/aws_cryptosdk_keyring_trace_record_clean_up_harness.c	14	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_alg_props/aws_cryptosdk_alg_props_harness.c	15	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_private_algorithm_message_id_len/aws_cryptosdk_private_algorithm_message_id_len_harness.c	10	1	418	418	2020-12-10	2020-12-10
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c	36	1	417	417	2020-12-11	2020-12-11
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c	35	1	413	413	2020-12-15	2020-12-15
verification/cbmc/proofs/aws_cryptosdk_deserialize_frame/aws_cryptosdk_deserialize_frame_harness.c	40	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_decrypt/aws_cryptosdk_priv_algorithm_allowed_for_decrypt_harness.c	14	1	433	433	2020-11-25	2020-11-25
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c	38	1	415	415	2020-12-13	2020-12-13
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c	33	1	413	413	2020-12-15	2020-12-15
verification/cbmc/proofs/aws_cryptosdk_aes_gcm_encrypt/aws_cryptosdk_aes_gcm_encrypt_harness.c	54	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_edk_list_clear/aws_cryptosdk_edk_list_clear_harness.c	17	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c	91	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_md_finish/aws_cryptosdk_md_finish_harness.c	27	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/sign_header/sign_header_harness.c	48	2	386	378	2021-01-11	2021-01-19
verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c	35	1	391	391	2021-01-06	2021-01-06
verification/cbmc/proofs/aws_cryptosdk_string_dup/aws_cryptosdk_string_dup_harness.c	14	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c	37	1	415	415	2020-12-13	2020-12-13
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c	38	1	417	417	2020-12-11	2020-12-11
verification/cbmc/proofs/aws_cryptosdk_md_abort/aws_cryptosdk_md_abort_harness.c	15	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_private_derive_key/aws_cryptosdk_private_derive_key_harness.c	54	1	418	418	2020-12-10	2020-12-10
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clean_up/aws_cryptosdk_enc_ctx_clean_up_harness.c	31	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_keyring_base_init/aws_cryptosdk_keyring_base_init_harness.c	12	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_dec_materials_new/aws_cryptosdk_dec_materials_new_harness.c	14	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_dec_materials_destroy/aws_cryptosdk_dec_materials_destroy_harness.c	29	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c	91	2	461	448	2020-10-28	2020-11-10
verification/cbmc/proofs/aws_cryptosdk_rsa_encrypt/aws_cryptosdk_rsa_encrypt_harness.c	30	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	55	2	413	250	2020-12-15	2021-05-27
verification/cbmc/proofs/aws_cryptosdk_sig_get_privkey/aws_cryptosdk_sig_get_privkey_harness.c	21	1	461	461	2020-10-28	2020-10-28
verification/cbmc/check_result.py	31	1	461	461	2020-10-28	2020-10-28
verification/cbmc/proof_helpers.h	6	1	461	461	2020-10-28	2020-10-28
verification/cbmc/cipher_proofs.c	27	1	461	461	2020-10-28	2020-10-28
verification/cbmc/header_proofs.c	100	1	461	461	2020-10-28	2020-10-28
verification/cbmc/hdr_zeroize.c	24	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/bn_utils.h	7	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/aws/cryptosdk/private/config.h	1	1	424	424	2020-12-04	2020-12-04
verification/cbmc/include/aws/common/config.h	1	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/pem.h	1	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/hmac.h	10	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/objects.h	7	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/evp.h	110	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/rsa.h	6	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/bn.h	9	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/ec.h	35	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/opensslv.h	4	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/rand.h	1	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/kdf.h	40	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/crypto.h	1	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/asn1.h	9	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/ecdsa.h	1	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/ossl_typ.h	23	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/err.h	7	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/openssl/bio.h	19	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/proof_helpers/cryptosdk/make_common_data_structures.h	13	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/cipher_openssl.h	18	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/make_common_data_structures.h	55	5	461	391	2020-10-28	2021-01-06
verification/cbmc/include/utils.h	5	1	418	418	2020-12-10	2020-12-10
verification/cbmc/include/cbmc_invariants.h	6	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/evp_utils.h	16	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/ec_utils.h	19	1	461	461	2020-10-28	2020-10-28
verification/cbmc/include/proof_allocators.h	3	1	461	461	2020-10-28	2020-10-28
docker-images/push.ps1	7	5	1251	840	2018-08-30	2019-10-15
docker-images/windows_base/cleanup-vcpkg.ps1	10	4	862	840	2019-09-23	2019-10-15
docker-images/build.ps1	4	6	1251	634	2018-08-30	2020-05-08
docker-images/scripts/startup.ps1	4	1	1251	1251	2018-08-30	2018-08-30