path	# lines of code	# active days	days since first update	days since last update	# commits	# contributors	first updated	last updated	first contributor	last contributor
doxygen/doxygen.config.in	1685	15	2483	1822	20	10	2018-07-17	2020-05-08	dmutescu@amazon.com	54039637+dougch@users.noreply.github.com
docker-images/scripts/startup.ps1	4	1	2439	2439	1	1	2018-08-30	2018-08-30	bdonlan@gmail.com	bdonlan@gmail.com
docker-images/push.ps1	7	5	2439	2028	11	4	2018-08-30	2019-10-15	bdonlan@gmail.com	pretorc@amazon.com
docker-images/windows_base/cleanup-vcpkg.ps1	10	4	2050	2028	10	3	2019-09-23	2019-10-15	54039637+dougch@users.noreply.github.com	pretorc@amazon.com
docker-images/build.ps1	4	6	2439	1822	12	4	2018-08-30	2020-05-08	bdonlan@gmail.com	54039637+dougch@users.noreply.github.com
include/aws/cryptosdk/materials.h	309	48	2525	23	76	17	2018-06-05	2025-04-11	36861050+david-koenig@users.noreply.github.com	lucasmcdonald3@gmail.com
include/aws/cryptosdk/header.h	17	13	2623	1684	13	6	2018-02-27	2020-09-23	bdonlan@amazon.com	alex@alexchew.net
include/aws/cryptosdk/raw_aes_keyring.h	19	7	2459	2330	11	4	2018-08-10	2018-12-17	dkkoenig@amazon.com	bdonlan@amazon.com
include/aws/cryptosdk/session.h	70	29	2581	1438	37	9	2018-04-10	2021-05-27	bdonlan@amazon.com	alex-chew@users.noreply.github.com
include/aws/cryptosdk/exports.h	29	5	2462	2284	5	3	2018-08-07	2019-02-01	bdonlan@amazon.com	salusasecondus@users.noreply.github.com
include/aws/cryptosdk/default_cmm.h	17	18	2525	1579	22	8	2018-06-05	2021-01-06	36861050+david-koenig@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
include/aws/cryptosdk/keyring_trace.h	53	5	2336	1882	5	4	2018-12-11	2020-03-09	36861050+david-koenig@users.noreply.github.com	57198872+tawdry-audrey@users.noreply.github.com
include/aws/cryptosdk/raw_rsa_keyring.h	19	8	2418	2330	13	5	2018-09-20	2018-12-17	bdonlan@amazon.com	bdonlan@amazon.com
include/aws/cryptosdk/private/utils.h	10	7	2491	2330	7	4	2018-07-09	2018-12-17	dkkoenig@amazon.com	bdonlan@amazon.com
include/aws/cryptosdk/private/framefmt.h	36	10	2516	1886	11	6	2018-06-14	2020-03-05	bdonlan@amazon.com	danielsn@users.noreply.github.com
include/aws/cryptosdk/private/header.h	63	17	2587	1438	20	7	2018-04-04	2021-05-27	dkkoenig@amazon.com	alex-chew@users.noreply.github.com
include/aws/cryptosdk/private/raw_aes_keyring.h	21	11	2459	2307	13	5	2018-08-10	2019-01-09	dkkoenig@amazon.com	36861050+david-koenig@users.noreply.github.com
include/aws/cryptosdk/private/user_agent.h	10	1	2183	2183	1	1	2019-05-13	2019-05-13	36861050+david-koenig@users.noreply.github.com	36861050+david-koenig@users.noreply.github.com
include/aws/cryptosdk/private/session.h	88	29	2581	1438	36	11	2018-04-10	2021-05-27	bdonlan@amazon.com	alex-chew@users.noreply.github.com
include/aws/cryptosdk/private/hkdf.h	16	2	2307	1684	2	2	2019-01-09	2020-09-23	36861050+david-koenig@users.noreply.github.com	alex@alexchew.net
include/aws/cryptosdk/private/keyring_trace.h	10	2	2336	2330	2	2	2018-12-11	2018-12-17	36861050+david-koenig@users.noreply.github.com	bdonlan@amazon.com
include/aws/cryptosdk/private/compiler.h	11	4	2623	2330	4	2	2018-02-27	2018-12-17	bdonlan@amazon.com	bdonlan@amazon.com
include/aws/cryptosdk/private/config.h.in	27	5	2623	2183	5	4	2018-02-27	2019-05-13	bdonlan@amazon.com	36861050+david-koenig@users.noreply.github.com
include/aws/cryptosdk/private/enc_ctx.h	10	1	2307	2307	1	1	2019-01-09	2019-01-09	36861050+david-koenig@users.noreply.github.com	36861050+david-koenig@users.noreply.github.com
include/aws/cryptosdk/private/multi_keyring.h	10	1	1817	1817	1	1	2020-05-13	2020-05-13	felisous@amazon.com	felisous@amazon.com
include/aws/cryptosdk/private/cipher.h	103	29	2585	383	35	10	2018-04-06	2024-04-16	bdonlan@amazon.com	107044381+ajewellamz@users.noreply.github.com
include/aws/cryptosdk/vtable.h	8	4	2462	2330	4	1	2018-08-07	2018-12-17	bdonlan@amazon.com	bdonlan@amazon.com
include/aws/cryptosdk/list_utils.h	19	4	2336	2284	4	3	2018-12-11	2019-02-01	36861050+david-koenig@users.noreply.github.com	salusasecondus@users.noreply.github.com
include/aws/cryptosdk/error.h	27	32	2623	61	39	12	2018-02-27	2025-03-04	bdonlan@amazon.com	107044381+ajewellamz@users.noreply.github.com
include/aws/cryptosdk/enc_ctx.h	30	3	2307	23	3	3	2019-01-09	2025-04-11	36861050+david-koenig@users.noreply.github.com	lucasmcdonald3@gmail.com
include/aws/cryptosdk/cache.h	276	21	2462	2194	27	6	2018-08-07	2019-05-02	bdonlan@amazon.com	36861050+david-koenig@users.noreply.github.com
include/aws/cryptosdk/version.h.in	67	3	2183	2008	4	3	2019-05-13	2019-11-04	36861050+david-koenig@users.noreply.github.com	dougch@amazon.com
include/aws/cryptosdk/multi_keyring.h	18	13	2459	1817	17	5	2018-08-10	2020-05-13	dkkoenig@amazon.com	felisous@amazon.com
include/aws/cryptosdk/edk.h	40	10	2418	1705	12	6	2018-09-20	2020-09-02	bdonlan@amazon.com	68670922+tegansb@users.noreply.github.com
include/aws/cryptosdk/cipher.h	80	21	2525	1684	35	10	2018-06-05	2020-09-23	36861050+david-koenig@users.noreply.github.com	alex@alexchew.net
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	64	6	2418	1418	6	5	2018-09-20	2021-06-16	40601598+mutescu@users.noreply.github.com	alex-chew@users.noreply.github.com
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	40	1	1418	1418	1	1	2021-06-16	2021-06-16	alex-chew@users.noreply.github.com	alex-chew@users.noreply.github.com
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	46	7	2349	1418	9	5	2018-11-28	2021-06-16	36861050+david-koenig@users.noreply.github.com	alex-chew@users.noreply.github.com
aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/exports.h	16	2	2340	2330	2	2	2018-12-07	2018-12-17	bdonlan@gmail.com	bdonlan@amazon.com
aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	54	2	1418	1391	2	1	2021-06-16	2021-07-13	alex-chew@users.noreply.github.com	alex-chew@users.noreply.github.com
aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	82	5	2330	1418	5	4	2018-12-17	2021-06-16	bdonlan@amazon.com	alex-chew@users.noreply.github.com
aws-encryption-sdk-cpp/source/cpputils.cpp	221	7	2418	1418	7	4	2018-09-20	2021-06-16	40601598+mutescu@users.noreply.github.com	alex-chew@users.noreply.github.com
aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	525	1	1418	1418	1	1	2021-06-16	2021-06-16	alex-chew@users.noreply.github.com	alex-chew@users.noreply.github.com
aws-encryption-sdk-cpp/source/kms_keyring.cpp	408	29	2432	1418	39	9	2018-09-06	2021-06-16	dmutescu@amazon.com	alex-chew@users.noreply.github.com
cmake/header-tester/stub.c	5	1	2418	2418	1	1	2018-09-20	2018-09-20	bdonlan@amazon.com	bdonlan@amazon.com
cmake/InstallLogic.cmake	48	4	2343	83	4	3	2018-12-04	2025-02-10	bdonlan@gmail.com	waahm7@gmail.com
cmake/TestLibraryPath.cmake	72	5	2340	2028	11	4	2018-12-07	2019-10-15	bdonlan@gmail.com	pretorc@amazon.com
cmake/aws-encryption-sdk-cpp-config.cmake	16	1	2343	2343	1	1	2018-12-04	2018-12-04	bdonlan@gmail.com	bdonlan@gmail.com
cmake/AwsCryptosdkCFlags.cmake	100	3	2298	606	3	2	2019-01-18	2023-09-06	36861050+david-koenig@users.noreply.github.com	107044381+ajewellamz@users.noreply.github.com
cmake/CodeCoverageTargets.cmake	29	1	2361	2361	1	1	2018-11-16	2018-11-16	43651355+jorajeev@users.noreply.github.com	43651355+jorajeev@users.noreply.github.com
cmake/aws-encryption-sdk-config.cmake	14	1	2343	2343	1	1	2018-12-04	2018-12-04	bdonlan@gmail.com	bdonlan@gmail.com
cmake/CodeCoverageFlags.cmake	18	2	2361	2327	2	2	2018-11-16	2018-12-20	43651355+jorajeev@users.noreply.github.com	bdonlan@gmail.com
cmake/GitRevision.cmake	55	2	2336	2264	2	2	2018-12-11	2019-02-21	bdonlan@gmail.com	36861050+david-koenig@users.noreply.github.com
source/caching_cmm.c	444	13	2371	2194	19	5	2018-11-06	2019-05-02	bdonlan@amazon.com	36861050+david-koenig@users.noreply.github.com
source/cipher.c	845	55	2599	61	86	17	2018-03-23	2025-03-04	bdonlan@amazon.com	107044381+ajewellamz@users.noreply.github.com
source/hkdf.c	139	15	2477	971	22	7	2018-07-23	2022-09-06	ttjsu@amazon.com	samuelchungchiang@gmail.com
source/default_cmm.c	152	31	2525	978	52	11	2018-06-05	2022-08-30	36861050+david-koenig@users.noreply.github.com	alex-chew@users.noreply.github.com
source/local_cache.c	579	16	2462	2307	25	3	2018-08-07	2019-01-09	bdonlan@amazon.com	36861050+david-koenig@users.noreply.github.com
source/header.c	462	47	2623	1438	66	12	2018-02-27	2021-05-27	bdonlan@amazon.com	alex-chew@users.noreply.github.com
source/raw_rsa_keyring.c	167	18	2426	2012	29	9	2018-09-12	2019-10-31	bdonlan@amazon.com	dougch@amazon.com
source/keyring_trace.c	212	8	2336	1574	8	6	2018-12-11	2021-01-11	36861050+david-koenig@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
source/session.c	430	45	2581	1438	71	8	2018-04-10	2021-05-27	bdonlan@amazon.com	alex-chew@users.noreply.github.com
source/codegen.c	10	4	2462	2307	4	2	2018-08-07	2019-01-09	bdonlan@amazon.com	36861050+david-koenig@users.noreply.github.com
source/list_utils.c	88	4	2336	1649	4	4	2018-12-11	2020-10-28	36861050+david-koenig@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
source/enc_ctx.c	180	9	2307	1649	11	6	2019-01-09	2020-10-28	36861050+david-koenig@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
source/session_decrypt.c	232	27	2502	1438	39	12	2018-06-28	2021-05-27	bdonlan@amazon.com	alex-chew@users.noreply.github.com
source/error.c	27	28	2613	61	34	14	2018-03-09	2025-03-04	bdonlan@amazon.com	107044381+ajewellamz@users.noreply.github.com
source/materials.c	115	31	2525	1418	44	13	2018-06-05	2021-06-16	36861050+david-koenig@users.noreply.github.com	alex-chew@users.noreply.github.com
source/raw_aes_keyring.c	231	16	2459	2302	18	5	2018-08-10	2019-01-14	dkkoenig@amazon.com	36861050+david-koenig@users.noreply.github.com
source/session_encrypt.c	296	29	2502	1438	41	9	2018-06-28	2021-05-27	bdonlan@amazon.com	alex-chew@users.noreply.github.com
source/utils.c	36	12	2491	1815	12	7	2018-07-09	2020-05-15	dkkoenig@amazon.com	felisous@amazon.com
source/cipher_openssl.c	690	27	2462	971	31	14	2018-08-07	2022-09-06	bdonlan@amazon.com	samuelchungchiang@gmail.com
source/edk.c	76	13	2410	1612	14	8	2018-09-28	2020-12-04	dkkoenig@amazon.com	68670922+tegansb@users.noreply.github.com
source/framefmt.c	233	19	2516	1444	27	11	2018-06-14	2021-05-21	bdonlan@amazon.com	felisous@amazon.com
source/multi_keyring.c	138	19	2459	1817	21	7	2018-08-10	2020-05-13	dkkoenig@amazon.com	felisous@amazon.com
verification/cbmc/check_result.py	31	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/header_proofs.c	100	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/utils.h	5	1	1606	1606	1	1	2020-12-10	2020-12-10	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/ec_utils.h	19	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/aws/common/config.h	1	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/aws/cryptosdk/private/config.h	1	1	1612	1612	1	1	2020-12-04	2020-12-04	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/include/proof_helpers/cryptosdk/make_common_data_structures.h	13	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/proof_allocators.h	3	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/cipher_openssl.h	18	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/ossl_typ.h	23	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/bio.h	19	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/bn.h	9	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/rand.h	1	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/include/openssl/kdf.h	40	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/pem.h	1	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/objects.h	7	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/rsa.h	6	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/ecdsa.h	1	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/opensslv.h	4	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/crypto.h	1	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/hmac.h	10	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/asn1.h	9	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/err.h	7	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/openssl/evp.h	111	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/include/openssl/ec.h	35	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/evp_utils.h	16	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/make_common_data_structures.h	57	6	1649	376	7	3	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/include/bn_utils.h	7	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/include/cbmc_invariants.h	6	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/hdr_zeroize.c	24	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/config.h	1	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c	49	2	1579	376	2	2	2021-01-06	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_private_derive_key/aws_cryptosdk_private_derive_key_harness.c	54	1	1606	1606	1	1	2020-12-10	2020-12-10	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_rsa_encrypt/aws_cryptosdk_rsa_encrypt_harness.c	30	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/run-cbmc-proofs.py	303	3	1635	1005	3	2	2020-11-11	2022-08-03	karkhaz@amazon.com	anakos@amazon.com
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/aws_cryptosdk_keyring_trace_add_record_buf_harness.c	35	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_private_commitment_eq/aws_cryptosdk_private_commitment_eq_harness.c	28	1	1606	1606	1	1	2020-12-10	2020-12-10	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c	50	1	1600	1600	1	1	2020-12-16	2020-12-16	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_hkdf/aws_cryptosdk_hkdf_harness.c	47	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_verify_header/aws_cryptosdk_verify_header_harness.c	24	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clean_up/aws_cryptosdk_keyring_trace_clean_up_harness.c	15	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_md_finish/aws_cryptosdk_md_finish_harness.c	27	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_multi_keyring_new/MultiKeyringNew_harness.c	9	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/derive_data_key/derive_data_key_harness.c	55	3	1594	376	3	3	2020-12-22	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/aws_cryptosdk_keyring_trace_add_record_harness.c	34	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_aes_gcm_encrypt/aws_cryptosdk_aes_gcm_encrypt_harness.c	54	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c	71	2	1649	1579	2	1	2020-10-28	2021-01-06	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_md_init/aws_cryptosdk_md_init_harness.c	19	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_retain/aws_cryptosdk_keyring_retain_harness.c	19	2	1649	1636	2	2	2020-10-28	2020-11-10	73246657+adpaco-aws@users.noreply.github.com	accorell@amazon.com
verification/cbmc/proofs/aws_cryptosdk_sig_sign_start/aws_cryptosdk_sig_sign_start_harness.c	26	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c	34	2	1605	1594	2	1	2020-12-11	2020-12-22	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_decrypt_body/aws_cryptosdk_decrypt_body_harness.c	49	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c	33	1	1601	1601	1	1	2020-12-15	2020-12-15	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_rsa_decrypt/aws_cryptosdk_rsa_decrypt_harness.c	30	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/aws_cryptosdk_keyring_trace_add_record_c_str_harness.c	32	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_deserialize/aws_cryptosdk_enc_ctx_deserialize_harness.c	34	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c	71	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c	38	2	1605	1594	2	1	2020-12-11	2020-12-22	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clean_up/aws_cryptosdk_enc_ctx_clean_up_harness.c	31	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_serialize_frame/aws_cryptosdk_serialize_frame_harness.c	28	3	1649	1444	3	2	2020-10-28	2021-05-21	73246657+adpaco-aws@users.noreply.github.com	felisous@amazon.com
verification/cbmc/proofs/aws_cryptosdk_edk_clean_up/aws_cryptosdk_edk_clean_up_harness.c	13	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_encrypt/aws_cryptosdk_priv_algorithm_allowed_for_encrypt_harness.c	10	1	1621	1621	1	1	2020-11-25	2020-11-25	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_sig_get_privkey/aws_cryptosdk_sig_get_privkey_harness.c	21	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_decrypt/aws_cryptosdk_priv_algorithm_allowed_for_decrypt_harness.c	14	1	1621	1621	1	1	2020-11-25	2020-11-25	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c	38	1	1603	1603	1	1	2020-12-13	2020-12-13	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/sign_header/sign_header_harness.c	49	3	1574	376	3	2	2021-01-11	2024-04-23	68670922+tegansb@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_size/aws_cryptosdk_enc_ctx_size_harness.c	36	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_edk_list_clean_up/aws_cryptosdk_edk_list_clean_up_harness.c	17	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_sig_verify_start/aws_cryptosdk_sig_verify_start_harness.c	21	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c	43	1	1601	1601	1	1	2020-12-15	2020-12-15	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_cmm_retain/aws_cryptosdk_cmm_retain_harness.c	18	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_init/aws_cryptosdk_enc_ctx_init_harness.c	7	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_sig_update/aws_cryptosdk_sig_update_harness.c	25	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_sig_verify_finish/aws_cryptosdk_sig_verify_finish_harness.c	19	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clear/aws_cryptosdk_enc_ctx_clear_harness.c	18	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_genrandom/aws_cryptosdk_genrandom_harness.c	9	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c	89	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_cmm_release/aws_cryptosdk_cmm_release_harness.c	24	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/aws_cryptosdk_cmm_generate_enc_materials_harness.c	74	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_deserialize_frame/aws_cryptosdk_deserialize_frame_harness.c	40	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_edk_list_init/aws_cryptosdk_edk_list_init_harness.c	11	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c	91	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_enc_materials_new/aws_cryptosdk_enc_materials_new_harness.c	15	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_private_algorithm_message_id_len/aws_cryptosdk_private_algorithm_message_id_len_harness.c	10	1	1606	1606	1	1	2020-12-10	2020-12-10	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c	37	1	1603	1603	1	1	2020-12-13	2020-12-13	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/aws_cryptosdk_enc_materials_destroy_harness.c	36	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_dec_materials_destroy/aws_cryptosdk_dec_materials_destroy_harness.c	29	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_sign_header/aws_cryptosdk_sign_header_harness.c	24	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_edk_list_clear/aws_cryptosdk_edk_list_clear_harness.c	17	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v1/aws_cryptosdk_private_derive_key_v1_harness.c	37	2	1606	376	2	2	2020-12-10	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clear/aws_cryptosdk_keyring_trace_clear_harness.c	21	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_default_cmm_set_alg_id/aws_cryptosdk_default_cmm_set_alg_id_harness.c	18	1	1619	1619	1	1	2020-11-27	2020-11-27	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_encrypt_body/aws_cryptosdk_encrypt_body_harness.c	49	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_string_dup/aws_cryptosdk_string_dup_harness.c	14	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_cmm_base_init/aws_cryptosdk_cmm_base_init_harness.c	13	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_alg_props/aws_cryptosdk_alg_props_harness.c	15	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/aws_cryptosdk_enc_ctx_serialize_harness.c	33	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_multi_keyring_add_child/aws_cryptosdk_multi_keyring_add_child_harness.c	34	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2/aws_cryptosdk_private_derive_key_v2_harness.c	46	2	1606	376	2	2	2020-12-10	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_md_abort/aws_cryptosdk_md_abort_harness.c	15	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c	35	1	1612	1612	1	1	2020-12-04	2020-12-04	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_init_clone/aws_cryptosdk_keyring_trace_record_init_clone_harness.c	23	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c	38	1	1605	1605	1	1	2020-12-11	2020-12-11	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_md_update/aws_cryptosdk_md_update_harness.c	28	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_md_size/aws_cryptosdk_md_size_harness.c	10	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c	35	1	1601	1601	1	1	2020-12-15	2020-12-15	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_try_gen_key/aws_cryptosdk_priv_try_gen_key_harness.c	63	1	1566	1566	1	1	2021-01-19	2021-01-19	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_hash_elems_array_init/aws_cryptosdk_hash_elems_array_init_harness.c	22	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c	47	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	55	2	1601	1438	2	2	2020-12-15	2021-05-27	68670922+tegansb@users.noreply.github.com	alex-chew@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c	33	1	1601	1601	1	1	2020-12-15	2020-12-15	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_compare_hash_elems_by_key_string/aws_cryptosdk_compare_hash_elems_by_key_string_harness.c	39	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c	36	1	1606	1606	1	1	2020-12-10	2020-12-10	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_record_clean_up/aws_cryptosdk_keyring_trace_record_clean_up_harness.c	14	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/lib/__init__.py	1	1	1005	1005	1	1	2022-08-03	2022-08-03	anakos@amazon.com	anakos@amazon.com
verification/cbmc/proofs/lib/summarize.py	98	2	1005	789	2	2	2022-08-03	2023-03-07	anakos@amazon.com	karkhaz@amazon.com
verification/cbmc/proofs/lib/print_tool_versions.py	57	1	789	789	1	1	2023-03-07	2023-03-07	karkhaz@amazon.com	karkhaz@amazon.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c	36	1	1605	1605	1	1	2020-12-11	2020-12-11	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_dec_materials_new/aws_cryptosdk_dec_materials_new_harness.c	14	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_sig_abort/aws_cryptosdk_sig_abort_harness.c	29	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_init/aws_cryptosdk_keyring_trace_init_harness.c	14	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clone/aws_cryptosdk_enc_ctx_clone_harness.c	19	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_sig_get_pubkey/aws_cryptosdk_sig_get_pubkey_harness.c	25	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_edk_eq/aws_cryptosdk_edk_eq_harness.c	16	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_aes_gcm_decrypt/aws_cryptosdk_aes_gcm_decrypt_harness.c	59	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/aws_cryptosdk_cmm_decrypt_materials_harness.c	73	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_keyring_base_init/aws_cryptosdk_keyring_base_init_harness.c	12	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_sig_sign_finish/aws_cryptosdk_sig_sign_finish_harness.c	28	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c	38	1	1606	1606	1	1	2020-12-10	2020-12-10	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c	95	3	1649	376	3	3	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/proofs/aws_cryptosdk_sig_sign_start_keygen/aws_cryptosdk_sig_sign_start_keygen_harness.c	20	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_edk_init_clone/aws_cryptosdk_edk_init_clone_harness.c	20	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_release/aws_cryptosdk_keyring_release_harness.c	20	2	1649	1636	2	2	2020-10-28	2020-11-10	73246657+adpaco-aws@users.noreply.github.com	accorell@amazon.com
verification/cbmc/proofs/aws_cryptosdk_session_set_commitment_policy/aws_cryptosdk_session_set_commitment_policy_harness.c	15	1	1621	1621	1	1	2020-11-25	2020-11-25	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_eq/aws_cryptosdk_keyring_trace_eq_harness.c	42	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/sources/cbmc_invariants.c	14	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/sources/make_common_data_structures.c	358	7	1649	376	8	3	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/sources/utils.c	28	1	1606	1606	1	1	2020-12-10	2020-12-10	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/sources/openssl/rand_override.c	9	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/sources/openssl/err_override.c	12	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/sources/openssl/ec_override.c	279	3	1649	376	3	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/sources/openssl/bio_override.c	26	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/sources/openssl/objects_override.c	16	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/sources/openssl/asn1_override.c	59	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/sources/openssl/evp_override.c	622	3	1649	376	3	3	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/sources/openssl/bn_override.c	37	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/proof_helpers.h	6	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_default_allocator_stub.c	4	2	1600	852	2	2	2020-12-16	2023-01-03	68670922+tegansb@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/stubs/aws_array_list_sort_noop_stub.c	5	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_atomic_load_ptr.c	4	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_atomic_load_int.c	4	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_atomic_priv_xlate_order.c	8	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_atomic_fetch_add_explicit.c	6	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_base64_decode.c	16	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_atomic_fetch_sub_explicit.c	6	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/EVP_MD_CTX_free_no_pkey_stub.c	9	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/stubs/aws_array_list_item_generator_u8_stub.c	15	1	1566	1566	1	1	2021-01-19	2021-01-19	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/stubs/aws_hash_iter_overrides.c	58	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_base64_encode.c	22	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_add_size_checked.c	7	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_cryptosdk_enc_ctx_size_stub.c	13	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/EVP_PKEY_free_no_ec_key_stub.c	12	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/stubs/evp_pkey_is_valid_no_ec_key_stub.c	4	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/aws_cryptosdk_hash_elems_array_init_stub.c	31	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/keyring_trace_clean_up_stub.c	6	1	1566	1566	1	1	2021-01-19	2021-01-19	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/stubs/hdr_write_stub.c	20	1	1574	1574	1	1	2021-01-11	2021-01-11	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/stubs/evp_md_ctx_is_valid_no_pkey_stub.c	6	2	1649	376	2	2	2020-10-28	2024-04-23	73246657+adpaco-aws@users.noreply.github.com	tautschn@amazon.com
verification/cbmc/stubs/on_encrypt_stub.c	31	2	1579	1578	2	1	2021-01-06	2021-01-07	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com
verification/cbmc/stubs/keyring_trace_clear_stub.c	7	1	1566	1566	1	1	2021-01-19	2021-01-19	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/stubs/transfer_list_stub.c	12	1	1566	1566	1	1	2021-01-19	2021-01-19	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/stubs/hkdf_stub.c	17	1	1566	1566	1	1	2021-01-19	2021-01-19	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/stubs/generate_enc_materials_stub.c	43	1	1566	1566	1	1	2021-01-19	2021-01-19	68670922+tegansb@users.noreply.github.com	68670922+tegansb@users.noreply.github.com
verification/cbmc/cipher_proofs.c	27	1	1649	1649	1	1	2020-10-28	2020-10-28	73246657+adpaco-aws@users.noreply.github.com	73246657+adpaco-aws@users.noreply.github.com