Path	Lines of Code
cmake/AwsCryptosdkCFlags.cmake	100
include/aws/cryptosdk/private/cipher.h	103
source/caching_cmm.c	444
source/cipher_openssl.c	690
source/header.c	462
source/keyring_trace.c	212
source/local_cache.c	579
source/materials.c	115
source/session.c	430
source/session_decrypt.c	232
source/session_encrypt.c	296
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/aws_cryptosdk_keyring_trace_add_record_harness.c	34
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/aws_cryptosdk_keyring_trace_add_record_buf_harness.c	35
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/aws_cryptosdk_keyring_trace_add_record_c_str_harness.c	32
verification/cbmc/sources/openssl/evp_override.c	622