Path	Lines of Code
CHANGELOG.md	76
CODE_OF_CONDUCT.md	4
CONTRIBUTING.md	43
README.md	131
SUPPORT_POLICY.rst	26
VERSIONING.rst	29
codebuild/README.md	6
codebuild/test-install-project-cpp/README.md	2
codebuild/test-install-project/README.md	2
docker-images/README.md	35
examples/build_osx.sh	45
examples/caching_cmm.cpp	120
examples/cleanup.bat	14
examples/cleanup.sh	3
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	101
examples/string.cpp	159
examples/string_alternate_algorithm_suite.cpp	165
examples/string_legacy_compatibility.cpp	159
verification/cbmc/README.md	29
verification/cbmc/proofs/aws_cryptosdk_cmm_base_init/README.md	9
verification/cbmc/proofs/aws_cryptosdk_edk_list_init/README.md	10
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clone/README.md	20
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_init/README.md	18
verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/README.md	22
verification/cbmc/proofs/aws_cryptosdk_md_finish/README.md	6
verification/cbmc/proofs/aws_cryptosdk_rsa_decrypt/README.md	2
verification/cbmc/proofs/aws_cryptosdk_rsa_encrypt/README.md	2
verification/cbmc/proofs/aws_cryptosdk_session_set_commitment_policy/README.md	11
verification/cbmc/proofs/aws_cryptosdk_sign_header/README.md	12
verification/cbmc/proofs/aws_cryptosdk_verify_header/README.md	12
verification/saw/README.md	31