source/cipher.c
verification/cbmc/sources/make_common_data_structures.c

source/cipher_openssl.c
verification/cbmc/include/cipher_openssl.h

source/default_cmm.c
verification/cbmc/sources/make_common_data_structures.c

source/materials.c
verification/cbmc/stubs/on_encrypt_stub.c

source/materials.c
verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c

source/keyring_trace.c
verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c

source/hkdf.c
verification/cbmc/stubs/hkdf_stub.c

source/materials.c
verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c

source/raw_aes_keyring.c
verification/cbmc/stubs/on_encrypt_stub.c

source/multi_keyring.c
verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c

source/materials.c
verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c

source/multi_keyring.c
verification/cbmc/stubs/on_encrypt_stub.c

source/raw_rsa_keyring.c
verification/cbmc/stubs/on_encrypt_stub.c

source/raw_aes_keyring.c
verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c

source/raw_rsa_keyring.c
verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c