duplicated block id: 1
size: 14 cleaned lines of code
in 2 files:
 - source/cipher.c (239:254)
 - verification/cbmc/sources/make_common_data_structures.c (240:255)

duplicated block id: 2
size: 12 cleaned lines of code
in 3 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (27:43)
 - verification/cbmc/proofs/sign_header/sign_header_harness.c (30:46)
 - verification/cbmc/stubs/aws_array_list_item_generator_u8_stub.c (33:48)

duplicated block id: 3
size: 10 cleaned lines of code
in 4 files:
 - verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c (45:56)
 - verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c (46:57)
 - verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c (46:57)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c (76:87)

duplicated block id: 4
size: 7 cleaned lines of code
in 2 files:
 - source/keyring_trace.c (36:44)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c (46:54)

duplicated block id: 5
size: 7 cleaned lines of code
in 4 files:
 - verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c (30:39)
 - verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c (31:40)
 - verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c (31:40)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c (61:70)