duplicated block id: 1
size: 35 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (83:126)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (45:88)

duplicated block id: 2
size: 32 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_decrypt_body/aws_cryptosdk_decrypt_body_harness.c (21:65)
 - verification/cbmc/proofs/aws_cryptosdk_encrypt_body/aws_cryptosdk_encrypt_body_harness.c (21:65)

duplicated block id: 3
size: 22 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (41:69)
 - verification/cbmc/stubs/on_encrypt_stub.c (33:61)

duplicated block id: 4
size: 20 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (25:52)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (25:52)

duplicated block id: 5
size: 19 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c (31:60)
 - verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c (30:60)

duplicated block id: 6
size: 19 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c (31:60)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c (61:91)

duplicated block id: 7
size: 19 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c (61:91)
 - verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c (30:60)

duplicated block id: 8
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (31:54)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (62:85)

duplicated block id: 9
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (42:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (25:49)

duplicated block id: 10
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (30:53)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (29:52)

duplicated block id: 11
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (30:53)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (29:52)

duplicated block id: 12
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (42:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (25:49)

duplicated block id: 13
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (31:54)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (29:52)

duplicated block id: 14
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (31:54)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (29:52)

duplicated block id: 15
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (62:85)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (29:52)

duplicated block id: 16
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (62:85)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (29:52)

duplicated block id: 17
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (31:54)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (30:53)

duplicated block id: 18
size: 18 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (62:85)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (30:53)

duplicated block id: 19
size: 17 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c (61:86)
 - verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c (31:56)

duplicated block id: 20
size: 17 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c (31:56)
 - verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c (30:55)

duplicated block id: 21
size: 17 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c (31:56)
 - verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c (31:56)

duplicated block id: 22
size: 16 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (46:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (31:51)

duplicated block id: 23
size: 16 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (218:235)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (474:501)

duplicated block id: 24
size: 16 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (46:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (30:50)

duplicated block id: 25
size: 16 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (46:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (62:82)

duplicated block id: 26
size: 15 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_sign_header/aws_cryptosdk_sign_header_harness.c (22:44)
 - verification/cbmc/proofs/aws_cryptosdk_verify_header/aws_cryptosdk_verify_header_harness.c (22:44)

duplicated block id: 27
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (37:54)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:55)

duplicated block id: 28
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (68:85)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:55)

duplicated block id: 29
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:76)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:55)

duplicated block id: 30
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (68:85)

duplicated block id: 31
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (36:53)

duplicated block id: 32
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:76)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (37:54)

duplicated block id: 33
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (35:52)

duplicated block id: 34
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (35:52)

duplicated block id: 35
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (35:52)

duplicated block id: 36
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:55)

duplicated block id: 37
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (36:53)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:55)

duplicated block id: 38
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (68:85)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:55)

duplicated block id: 39
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (35:52)

duplicated block id: 40
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (37:54)

duplicated block id: 41
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:76)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (36:53)

duplicated block id: 42
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:55)

duplicated block id: 43
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (35:52)

duplicated block id: 44
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (68:85)

duplicated block id: 45
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (36:53)

duplicated block id: 46
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:76)

duplicated block id: 47
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:76)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:55)

duplicated block id: 48
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (37:54)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:55)

duplicated block id: 49
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:55)

duplicated block id: 50
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (35:52)

duplicated block id: 51
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:76)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (35:52)

duplicated block id: 52
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:76)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (68:85)

duplicated block id: 53
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:76)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (35:52)

duplicated block id: 54
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (37:54)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:55)

duplicated block id: 55
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_private_derive_key/aws_cryptosdk_private_derive_key_harness.c (23:42)
 - verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2/aws_cryptosdk_private_derive_key_v2_harness.c (29:48)

duplicated block id: 56
size: 14 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/private/config.h.in (1:14)
 - include/aws/cryptosdk/version.h.in (1:14)

duplicated block id: 57
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (35:52)

duplicated block id: 58
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:55)

duplicated block id: 59
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:76)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:55)

duplicated block id: 60
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:55)

duplicated block id: 61
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (36:53)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:55)

duplicated block id: 62
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (35:52)

duplicated block id: 63
size: 14 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:55)

duplicated block id: 64
size: 13 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageFlags.cmake (1:13)
 - cmake/TestLibraryPath.cmake (1:13)

duplicated block id: 65
size: 13 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageTargets.cmake (1:13)
 - cmake/TestLibraryPath.cmake (1:13)

duplicated block id: 66
size: 13 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageFlags.cmake (1:13)
 - cmake/CodeCoverageTargets.cmake (1:13)

duplicated block id: 67
size: 13 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (275:288)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (567:589)

duplicated block id: 68
size: 13 cleaned lines of code
in 2 files:
 - cmake/aws-encryption-sdk-config.cmake (2:15)
 - cmake/aws-encryption-sdk-cpp-config.cmake (2:15)

duplicated block id: 69
size: 13 cleaned lines of code
in 2 files:
 - source/cipher.c (240:252)
 - verification/cbmc/sources/make_common_data_structures.c (241:253)

duplicated block id: 70
size: 12 cleaned lines of code
in 2 files:
 - cmake/TestLibraryPath.cmake (1:12)
 - cmake/aws-encryption-sdk-config.cmake (2:13)

duplicated block id: 71
size: 12 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageTargets.cmake (1:12)
 - cmake/aws-encryption-sdk-cpp-config.cmake (2:13)

duplicated block id: 72
size: 12 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageFlags.cmake (1:12)
 - cmake/InstallLogic.cmake (1:12)

duplicated block id: 73
size: 12 cleaned lines of code
in 2 files:
 - cmake/GitRevision.cmake (1:12)
 - cmake/InstallLogic.cmake (1:12)

duplicated block id: 74
size: 12 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageTargets.cmake (1:12)
 - cmake/InstallLogic.cmake (1:12)

duplicated block id: 75
size: 12 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageFlags.cmake (1:12)
 - cmake/aws-encryption-sdk-config.cmake (2:13)

duplicated block id: 76
size: 12 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (27:41)
 - verification/cbmc/stubs/aws_array_list_item_generator_u8_stub.c (33:46)

duplicated block id: 77
size: 12 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageFlags.cmake (1:12)
 - cmake/GitRevision.cmake (1:12)

duplicated block id: 78
size: 12 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageTargets.cmake (1:12)
 - cmake/GitRevision.cmake (1:12)

duplicated block id: 79
size: 12 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/sign_header/sign_header_harness.c (30:44)
 - verification/cbmc/stubs/aws_array_list_item_generator_u8_stub.c (33:46)

duplicated block id: 80
size: 12 cleaned lines of code
in 2 files:
 - cmake/InstallLogic.cmake (1:12)
 - cmake/aws-encryption-sdk-config.cmake (2:13)

duplicated block id: 81
size: 12 cleaned lines of code
in 2 files:
 - cmake/InstallLogic.cmake (1:12)
 - cmake/aws-encryption-sdk-cpp-config.cmake (2:13)

duplicated block id: 82
size: 12 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (52:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:52)

duplicated block id: 83
size: 12 cleaned lines of code
in 2 files:
 - cmake/GitRevision.cmake (1:12)
 - cmake/aws-encryption-sdk-config.cmake (2:13)

duplicated block id: 84
size: 12 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:73)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (52:66)

duplicated block id: 85
size: 12 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (52:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:52)

duplicated block id: 86
size: 12 cleaned lines of code
in 2 files:
 - cmake/InstallLogic.cmake (1:12)
 - cmake/TestLibraryPath.cmake (1:12)

duplicated block id: 87
size: 12 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (27:41)
 - verification/cbmc/proofs/sign_header/sign_header_harness.c (30:44)

duplicated block id: 88
size: 12 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (52:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:52)

duplicated block id: 89
size: 12 cleaned lines of code
in 2 files:
 - verification/cbmc/sources/openssl/evp_override.c (356:371)
 - verification/cbmc/sources/openssl/evp_override.c (385:400)

duplicated block id: 90
size: 12 cleaned lines of code
in 2 files:
 - cmake/GitRevision.cmake (1:12)
 - cmake/TestLibraryPath.cmake (1:12)

duplicated block id: 91
size: 12 cleaned lines of code
in 2 files:
 - cmake/TestLibraryPath.cmake (1:12)
 - cmake/aws-encryption-sdk-cpp-config.cmake (2:13)

duplicated block id: 92
size: 12 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:52)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (52:66)

duplicated block id: 93
size: 12 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageFlags.cmake (1:12)
 - cmake/aws-encryption-sdk-cpp-config.cmake (2:13)

duplicated block id: 94
size: 12 cleaned lines of code
in 2 files:
 - cmake/CodeCoverageTargets.cmake (1:12)
 - cmake/aws-encryption-sdk-config.cmake (2:13)

duplicated block id: 95
size: 12 cleaned lines of code
in 2 files:
 - cmake/GitRevision.cmake (1:12)
 - cmake/aws-encryption-sdk-cpp-config.cmake (2:13)

duplicated block id: 96
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (41:54)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:49)

duplicated block id: 97
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_decrypt_body/aws_cryptosdk_decrypt_body_harness.c (69:82)
 - verification/cbmc/proofs/aws_cryptosdk_encrypt_body/aws_cryptosdk_encrypt_body_harness.c (69:82)

duplicated block id: 98
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (72:85)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:49)

duplicated block id: 99
size: 11 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (179:191)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (397:415)

duplicated block id: 100
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (39:52)

duplicated block id: 101
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (42:55)

duplicated block id: 102
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (40:53)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:49)

duplicated block id: 103
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (42:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:49)

duplicated block id: 104
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (42:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:49)

duplicated block id: 105
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (39:52)

duplicated block id: 106
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (63:76)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:49)

duplicated block id: 107
size: 11 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (42:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:49)

duplicated block id: 108
size: 11 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (158:170)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (371:386)

duplicated block id: 109
size: 10 cleaned lines of code
in 2 files:
 - source/cipher.c (527:544)
 - source/cipher.c (582:596)

duplicated block id: 110
size: 10 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_transfer_list/aws_cryptosdk_transfer_list_harness.c (60:70)
 - verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c (89:99)

duplicated block id: 111
size: 10 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (31:43)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (31:43)

duplicated block id: 112
size: 10 cleaned lines of code
in 2 files:
 - source/cipher.c (79:88)
 - source/cipher.c (92:101)

duplicated block id: 113
size: 10 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (30:42)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (31:43)

duplicated block id: 114
size: 10 cleaned lines of code
in 2 files:
 - source/cipher.c (131:140)
 - source/cipher.c (144:153)

duplicated block id: 115
size: 10 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/aws_cryptosdk_cmm_generate_enc_materials_harness.c (76:95)
 - verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/aws_cryptosdk_enc_materials_destroy_harness.c (53:71)

duplicated block id: 116
size: 10 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (62:74)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (31:43)

duplicated block id: 117
size: 10 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (31:43)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (29:41)

duplicated block id: 118
size: 10 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (46:58)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (31:43)

duplicated block id: 119
size: 10 cleaned lines of code
in 2 files:
 - source/cipher.c (105:114)
 - source/cipher.c (118:127)

duplicated block id: 120
size: 10 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (31:43)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (29:41)

duplicated block id: 121
size: 10 cleaned lines of code
in 2 files:
 - source/local_cache.c (678:698)
 - source/local_cache.c (732:752)

duplicated block id: 122
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (56:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:46)

duplicated block id: 123
size: 9 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (49:57)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (83:91)

duplicated block id: 124
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (68:78)

duplicated block id: 125
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (35:45)

duplicated block id: 126
size: 9 cleaned lines of code
in 2 files:
 - source/hkdf.c (58:67)
 - source/hkdf.c (134:142)

duplicated block id: 127
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (36:46)

duplicated block id: 128
size: 9 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (473:490)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (564:582)

duplicated block id: 129
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:48)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)

duplicated block id: 130
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (52:62)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)

duplicated block id: 131
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (35:45)

duplicated block id: 132
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:48)

duplicated block id: 133
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_aes_gcm_decrypt/aws_cryptosdk_aes_gcm_decrypt_harness.c (45:55)
 - verification/cbmc/proofs/aws_cryptosdk_aes_gcm_encrypt/aws_cryptosdk_aes_gcm_encrypt_harness.c (46:56)

duplicated block id: 134
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/sources/openssl/evp_override.c (588:597)
 - verification/cbmc/sources/openssl/evp_override.c (624:633)

duplicated block id: 135
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:48)

duplicated block id: 136
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (37:47)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)

duplicated block id: 137
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:69)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)

duplicated block id: 138
size: 9 cleaned lines of code
in 2 files:
 - source/cipher.c (969:977)
 - source/cipher.c (1020:1028)

duplicated block id: 139
size: 9 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:48)

duplicated block id: 140
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (353:360)
 - source/cipher.c (409:416)

duplicated block id: 141
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (94:101)
 - source/cipher.c (107:114)

duplicated block id: 142
size: 8 cleaned lines of code
in 2 files:
 - source/cipher_openssl.c (89:96)
 - verification/cbmc/include/cipher_openssl.h (28:35)

duplicated block id: 143
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (94:101)
 - source/cipher.c (120:127)

duplicated block id: 144
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (40:49)

duplicated block id: 145
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (44:53)

duplicated block id: 146
size: 8 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (290:300)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (591:607)

duplicated block id: 147
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (46:55)

duplicated block id: 148
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (94:101)
 - source/cipher.c (133:140)

duplicated block id: 149
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/aws_cryptosdk_keyring_trace_add_record_buf_harness.c (30:38)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/aws_cryptosdk_keyring_trace_add_record_c_str_harness.c (35:43)

duplicated block id: 150
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (130:140)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (92:102)

duplicated block id: 151
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (76:85)

duplicated block id: 152
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/aws_cryptosdk_keyring_trace_add_record_harness.c (38:46)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clear/aws_cryptosdk_keyring_trace_clear_harness.c (30:39)

duplicated block id: 153
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (29:36)
 - verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c (28:35)

duplicated block id: 154
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (46:55)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)

duplicated block id: 155
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (107:114)
 - source/cipher.c (133:140)

duplicated block id: 156
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (81:88)
 - source/cipher.c (146:153)

duplicated block id: 157
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (45:54)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)

duplicated block id: 158
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (120:127)
 - source/cipher.c (133:140)

duplicated block id: 159
size: 8 cleaned lines of code
in 2 files:
 - source/local_cache.c (644:654)
 - source/local_cache.c (706:716)

duplicated block id: 160
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (187:194)
 - source/cipher.c (200:207)

duplicated block id: 161
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (46:55)

duplicated block id: 162
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (43:52)

duplicated block id: 163
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (107:114)
 - source/cipher.c (146:153)

duplicated block id: 164
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (94:101)
 - source/cipher.c (146:153)

duplicated block id: 165
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (81:88)
 - source/cipher.c (133:140)

duplicated block id: 166
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (46:55)

duplicated block id: 167
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (81:88)
 - source/cipher.c (120:127)

duplicated block id: 168
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (81:88)
 - source/cipher.c (107:114)

duplicated block id: 169
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (43:52)

duplicated block id: 170
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (67:76)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:52)

duplicated block id: 171
size: 8 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clean_up/aws_cryptosdk_keyring_trace_clean_up_harness.c (27:36)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clear/aws_cryptosdk_keyring_trace_clear_harness.c (27:36)

duplicated block id: 172
size: 8 cleaned lines of code
in 2 files:
 - source/cipher.c (120:127)
 - source/cipher.c (146:153)

duplicated block id: 173
size: 8 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (218:226)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (565:582)

duplicated block id: 174
size: 7 cleaned lines of code
in 2 files:
 - source/default_cmm.c (27:33)
 - verification/cbmc/sources/make_common_data_structures.c (35:42)

duplicated block id: 175
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (33:41)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c (62:70)

duplicated block id: 176
size: 7 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (664:670)
 - source/materials.c (88:94)

duplicated block id: 177
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/sources/make_common_data_structures.c (187:193)
 - verification/cbmc/sources/make_common_data_structures.c (200:206)

duplicated block id: 178
size: 7 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (220:226)
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (275:281)

duplicated block id: 179
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_edk_list_clean_up/aws_cryptosdk_edk_list_clean_up_harness.c (26:35)
 - verification/cbmc/proofs/aws_cryptosdk_edk_list_clear/aws_cryptosdk_edk_list_clear_harness.c (26:35)

duplicated block id: 180
size: 7 cleaned lines of code
in 2 files:
 - source/materials.c (89:95)
 - verification/cbmc/stubs/on_encrypt_stub.c (33:39)

duplicated block id: 181
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (33:41)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (31:39)

duplicated block id: 182
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (29:35)
 - verification/cbmc/stubs/on_encrypt_stub.c (32:38)

duplicated block id: 183
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c (141:149)
 - verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c (107:114)

duplicated block id: 184
size: 7 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (68:77)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (138:151)

duplicated block id: 185
size: 7 cleaned lines of code
in 2 files:
 - source/raw_aes_keyring.c (145:151)
 - source/raw_rsa_keyring.c (68:74)

duplicated block id: 186
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_dec_materials_destroy/aws_cryptosdk_dec_materials_destroy_harness.c (44:50)
 - verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/aws_cryptosdk_enc_materials_destroy_harness.c (65:71)

duplicated block id: 187
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_private_derive_key/aws_cryptosdk_private_derive_key_harness.c (57:63)
 - verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2/aws_cryptosdk_private_derive_key_v2_harness.c (64:70)

duplicated block id: 188
size: 7 cleaned lines of code
in 2 files:
 - source/cipher.c (994:1002)
 - source/cipher.c (1047:1055)

duplicated block id: 189
size: 7 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (583:589)
 - include/aws/cryptosdk/materials.h (687:693)

duplicated block id: 190
size: 7 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (84:90)
 - source/materials.c (139:145)

duplicated block id: 191
size: 7 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (863:882)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (953:967)

duplicated block id: 192
size: 7 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (566:572)
 - include/aws/cryptosdk/materials.h (665:671)

duplicated block id: 193
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (33:41)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (30:38)

duplicated block id: 194
size: 7 cleaned lines of code
in 2 files:
 - source/cipher.c (131:137)
 - source/cipher.c (157:163)

duplicated block id: 195
size: 7 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (566:572)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (30:36)

duplicated block id: 196
size: 7 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (686:692)
 - source/materials.c (138:144)

duplicated block id: 197
size: 7 cleaned lines of code
in 2 files:
 - source/materials.c (89:95)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (41:47)

duplicated block id: 198
size: 7 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (566:572)
 - verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c (29:35)

duplicated block id: 199
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (31:39)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (33:41)

duplicated block id: 200
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/aws_cryptosdk_keyring_trace_add_record_harness.c (38:44)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/aws_cryptosdk_keyring_trace_add_record_c_str_harness.c (37:43)

duplicated block id: 201
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/aws_cryptosdk_keyring_trace_add_record_buf_harness.c (32:38)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clean_up/aws_cryptosdk_keyring_trace_clean_up_harness.c (30:36)

duplicated block id: 202
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (46:54)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (33:41)

duplicated block id: 203
size: 7 cleaned lines of code
in 2 files:
 - source/cipher.c (144:150)
 - source/cipher.c (157:163)

duplicated block id: 204
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (33:41)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (29:37)

duplicated block id: 205
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/aws_cryptosdk_keyring_trace_add_record_harness.c (38:44)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/aws_cryptosdk_keyring_trace_add_record_buf_harness.c (32:38)

duplicated block id: 206
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c (136:144)
 - verification/cbmc/proofs/list_copy_all/list_copy_all_harness.c (107:114)

duplicated block id: 207
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/aws_cryptosdk_cmm_generate_enc_materials_harness.c (102:108)
 - verification/cbmc/proofs/aws_cryptosdk_priv_try_gen_key/aws_cryptosdk_priv_try_gen_key_harness.c (52:58)

duplicated block id: 208
size: 7 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/session.h (229:235)
 - source/session.c (244:250)

duplicated block id: 209
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c (28:34)
 - verification/cbmc/stubs/on_encrypt_stub.c (32:38)

duplicated block id: 210
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record/aws_cryptosdk_keyring_trace_add_record_harness.c (38:44)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clean_up/aws_cryptosdk_keyring_trace_clean_up_harness.c (30:36)

duplicated block id: 211
size: 7 cleaned lines of code
in 2 files:
 - source/raw_aes_keyring.c (241:247)
 - source/raw_rsa_keyring.c (140:146)

duplicated block id: 212
size: 7 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/private/raw_aes_keyring.h (63:69)
 - source/raw_aes_keyring.c (90:96)

duplicated block id: 213
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/aws_cryptosdk_keyring_trace_add_record_c_str_harness.c (37:43)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clean_up/aws_cryptosdk_keyring_trace_clean_up_harness.c (30:36)

duplicated block id: 214
size: 7 cleaned lines of code
in 2 files:
 - source/raw_aes_keyring.c (186:192)
 - source/raw_rsa_keyring.c (106:112)

duplicated block id: 215
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/aws_cryptosdk_cmm_decrypt_materials_harness.c (71:77)
 - verification/cbmc/proofs/aws_cryptosdk_dec_materials_destroy/aws_cryptosdk_dec_materials_destroy_harness.c (44:50)

duplicated block id: 216
size: 7 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (50:56)
 - source/materials.c (139:145)

duplicated block id: 217
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/aws_cryptosdk_cmm_decrypt_materials_harness.c (71:77)
 - verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/aws_cryptosdk_enc_materials_destroy_harness.c (65:71)

duplicated block id: 218
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_dec_materials_destroy/aws_cryptosdk_dec_materials_destroy_harness.c (31:41)
 - verification/cbmc/proofs/aws_cryptosdk_enc_materials_destroy/aws_cryptosdk_enc_materials_destroy_harness.c (39:49)

duplicated block id: 219
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all/aws_cryptosdk_edk_list_copy_all_harness.c (136:144)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c (141:149)

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

duplicated block id: 221
size: 7 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (275:281)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (476:490)

duplicated block id: 222
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/sources/openssl/evp_override.c (599:613)
 - verification/cbmc/sources/openssl/evp_override.c (637:651)

duplicated block id: 223
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_buf/aws_cryptosdk_keyring_trace_add_record_buf_harness.c (32:38)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clear/aws_cryptosdk_keyring_trace_clear_harness.c (30:36)

duplicated block id: 224
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials/aws_cryptosdk_cmm_decrypt_materials_harness.c (71:77)
 - verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/aws_cryptosdk_cmm_generate_enc_materials_harness.c (89:95)

duplicated block id: 225
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/aws_cryptosdk_cmm_generate_enc_materials_harness.c (89:95)
 - verification/cbmc/proofs/aws_cryptosdk_dec_materials_destroy/aws_cryptosdk_dec_materials_destroy_harness.c (44:50)

duplicated block id: 226
size: 7 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (665:671)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (30:36)

duplicated block id: 227
size: 7 cleaned lines of code
in 2 files:
 - source/cipher.c (198:204)
 - source/cipher.c (211:217)

duplicated block id: 228
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (33:41)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (29:37)

duplicated block id: 229
size: 7 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (665:671)
 - verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c (29:35)

duplicated block id: 230
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_add_record_c_str/aws_cryptosdk_keyring_trace_add_record_c_str_harness.c (37:43)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_clear/aws_cryptosdk_keyring_trace_clear_harness.c (30:36)

duplicated block id: 231
size: 7 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_cmm_generate_enc_materials/aws_cryptosdk_cmm_generate_enc_materials_harness.c (47:53)
 - verification/cbmc/stubs/generate_enc_materials_stub.c (32:38)

duplicated block id: 232
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (41:46)
 - source/raw_aes_keyring.c (146:151)

duplicated block id: 233
size: 6 cleaned lines of code
in 2 files:
 - source/hkdf.c (162:167)
 - verification/cbmc/stubs/hkdf_stub.c (24:29)

duplicated block id: 234
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (566:571)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (41:46)

duplicated block id: 235
size: 6 cleaned lines of code
in 2 files:
 - source/materials.c (140:145)
 - source/multi_keyring.c (94:99)

duplicated block id: 236
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/private/cipher.h (174:179)
 - source/cipher.c (844:849)

duplicated block id: 237
size: 6 cleaned lines of code
in 2 files:
 - source/materials.c (140:145)
 - source/raw_rsa_keyring.c (107:112)

duplicated block id: 238
size: 6 cleaned lines of code
in 2 files:
 - source/materials.c (90:95)
 - source/multi_keyring.c (22:27)

duplicated block id: 239
size: 6 cleaned lines of code
in 2 files:
 - source/materials.c (89:94)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (30:35)

duplicated block id: 240
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (58:63)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (60:65)

duplicated block id: 241
size: 6 cleaned lines of code
in 2 files:
 - source/cipher.c (155:160)
 - source/cipher.c (209:214)

duplicated block id: 242
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (82:87)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (58:63)

duplicated block id: 243
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (61:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (60:65)

duplicated block id: 244
size: 6 cleaned lines of code
in 2 files:
 - source/materials.c (140:145)
 - source/raw_aes_keyring.c (187:192)

duplicated block id: 245
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (60:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (57:62)

duplicated block id: 246
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (61:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (60:65)

duplicated block id: 247
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (60:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (57:62)

duplicated block id: 248
size: 6 cleaned lines of code
in 2 files:
 - source/raw_aes_keyring.c (146:151)
 - verification/cbmc/stubs/on_encrypt_stub.c (34:39)

duplicated block id: 249
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (38:44)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (37:43)

duplicated block id: 250
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (59:64)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (57:62)

duplicated block id: 251
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (60:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (57:62)

duplicated block id: 252
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (38:44)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (37:43)

duplicated block id: 253
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (60:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (58:63)

duplicated block id: 254
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (22:27)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (42:47)

duplicated block id: 255
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (94:99)
 - source/raw_rsa_keyring.c (107:112)

duplicated block id: 256
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/aws_cryptosdk_enc_ctx_serialize_harness.c (26:32)
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (27:33)

duplicated block id: 257
size: 6 cleaned lines of code
in 2 files:
 - source/materials.c (89:94)
 - verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c (29:34)

duplicated block id: 258
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (59:64)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (60:65)

duplicated block id: 259
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (61:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (57:62)

duplicated block id: 260
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/session.h (256:261)
 - source/session.c (331:336)

duplicated block id: 261
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (61:66)
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (82:87)

duplicated block id: 262
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (82:87)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (60:65)

duplicated block id: 263
size: 6 cleaned lines of code
in 2 files:
 - source/cipher.c (90:95)
 - source/cipher.c (170:175)

duplicated block id: 264
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (22:27)
 - source/multi_keyring.c (41:46)

duplicated block id: 265
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (84:89)
 - include/aws/cryptosdk/materials.h (687:692)

duplicated block id: 266
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (41:46)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (42:47)

duplicated block id: 267
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/private/hkdf.h (33:38)
 - verification/cbmc/proofs/aws_cryptosdk_hkdf/aws_cryptosdk_hkdf_harness.c (22:27)

duplicated block id: 268
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (82:87)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (57:62)

duplicated block id: 269
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (566:571)
 - source/materials.c (89:94)

duplicated block id: 270
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (41:46)
 - verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c (29:34)

duplicated block id: 271
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (51:56)
 - source/raw_aes_keyring.c (187:192)

duplicated block id: 272
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (60:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (57:62)

duplicated block id: 273
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/aws_cryptosdk_enc_ctx_serialize_harness.c (26:32)
 - verification/cbmc/proofs/sign_header/sign_header_harness.c (30:36)

duplicated block id: 274
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (61:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (58:63)

duplicated block id: 275
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (82:87)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (57:62)

duplicated block id: 276
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (41:46)
 - verification/cbmc/stubs/on_encrypt_stub.c (34:39)

duplicated block id: 277
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (82:87)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (60:65)

duplicated block id: 278
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (60:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (57:62)

duplicated block id: 279
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (50:55)
 - include/aws/cryptosdk/materials.h (583:588)

duplicated block id: 280
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/sources/openssl/evp_override.c (105:111)
 - verification/cbmc/sources/openssl/evp_override.c (128:134)

duplicated block id: 281
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (22:27)
 - verification/cbmc/stubs/on_encrypt_stub.c (34:39)

duplicated block id: 282
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (41:46)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (30:35)

duplicated block id: 283
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (566:571)
 - verification/cbmc/stubs/on_encrypt_stub.c (33:38)

duplicated block id: 284
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (60:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (57:62)

duplicated block id: 285
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (57:62)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (57:62)

duplicated block id: 286
size: 6 cleaned lines of code
in 2 files:
 - source/materials.c (94:99)
 - source/materials.c (144:149)

duplicated block id: 287
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/private/framefmt.h (134:141)
 - source/framefmt.c (373:380)

duplicated block id: 288
size: 6 cleaned lines of code
in 2 files:
 - source/cipher.c (553:559)
 - source/cipher.c (605:611)

duplicated block id: 289
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (50:55)
 - include/aws/cryptosdk/materials.h (687:692)

duplicated block id: 290
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (22:27)
 - source/raw_aes_keyring.c (146:151)

duplicated block id: 291
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (60:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (60:65)

duplicated block id: 292
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (43:49)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv/aws_cryptosdk_priv_hdr_parse_iv_harness.c (36:42)

duplicated block id: 293
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (669:674)
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (692:697)

duplicated block id: 294
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/raw_rsa_keyring.h (54:59)
 - source/raw_rsa_keyring.c (170:175)

duplicated block id: 295
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (58:63)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type/aws_cryptosdk_priv_hdr_parse_message_type_harness.c (57:62)

duplicated block id: 296
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (51:56)
 - source/raw_rsa_keyring.c (107:112)

duplicated block id: 297
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/private/cipher.h (199:204)
 - source/cipher.c (891:896)

duplicated block id: 298
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (59:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (37:43)

duplicated block id: 299
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (58:63)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (57:62)

duplicated block id: 300
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_private_derive_key/aws_cryptosdk_private_derive_key_harness.c (30:38)
 - verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v1/aws_cryptosdk_private_derive_key_v1_harness.c (35:43)

duplicated block id: 301
size: 6 cleaned lines of code
in 2 files:
 - source/materials.c (90:95)
 - source/raw_rsa_keyring.c (69:74)

duplicated block id: 302
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (85:90)
 - source/raw_aes_keyring.c (187:192)

duplicated block id: 303
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (38:44)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (37:43)

duplicated block id: 304
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (61:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (57:62)

duplicated block id: 305
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (294:299)
 - include/aws/cryptosdk/materials.h (311:316)

duplicated block id: 306
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (61:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (60:65)

duplicated block id: 307
size: 6 cleaned lines of code
in 2 files:
 - source/materials.c (90:95)
 - source/multi_keyring.c (41:46)

duplicated block id: 308
size: 6 cleaned lines of code
in 2 files:
 - source/raw_aes_keyring.c (160:167)
 - source/raw_rsa_keyring.c (84:91)

duplicated block id: 309
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (82:87)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (60:65)

duplicated block id: 310
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad/aws_cryptosdk_priv_hdr_parse_aad_harness.c (60:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag/aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c (43:49)

duplicated block id: 311
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (85:90)
 - source/raw_rsa_keyring.c (107:112)

duplicated block id: 312
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/include/openssl/evp.h (73:78)
 - verification/cbmc/sources/openssl/evp_override.c (472:477)

duplicated block id: 313
size: 6 cleaned lines of code
in 2 files:
 - source/raw_rsa_keyring.c (69:74)
 - verification/cbmc/stubs/on_encrypt_stub.c (34:39)

duplicated block id: 314
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data/aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c (39:45)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (37:43)

duplicated block id: 315
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v1/aws_cryptosdk_private_derive_key_v1_harness.c (35:43)
 - verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2/aws_cryptosdk_private_derive_key_v2_harness.c (36:44)

duplicated block id: 316
size: 6 cleaned lines of code
in 2 files:
 - source/cipher_openssl.c (242:251)
 - source/cipher_openssl.c (769:778)

duplicated block id: 317
size: 6 cleaned lines of code
in 2 files:
 - source/materials.c (90:95)
 - source/raw_aes_keyring.c (146:151)

duplicated block id: 318
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (59:64)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (60:65)

duplicated block id: 319
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (665:670)
 - verification/cbmc/stubs/on_encrypt_stub.c (33:38)

duplicated block id: 320
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (22:27)
 - source/raw_rsa_keyring.c (69:74)

duplicated block id: 321
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize/aws_cryptosdk_enc_ctx_serialize_harness.c (26:32)
 - verification/cbmc/stubs/aws_array_list_item_generator_u8_stub.c (33:40)

duplicated block id: 322
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_aes_gcm_decrypt/aws_cryptosdk_aes_gcm_decrypt_harness.c (66:72)
 - verification/cbmc/proofs/aws_cryptosdk_aes_gcm_encrypt/aws_cryptosdk_aes_gcm_encrypt_harness.c (63:69)

duplicated block id: 323
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (41:46)
 - source/raw_rsa_keyring.c (69:74)

duplicated block id: 324
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (583:588)
 - source/materials.c (139:144)

duplicated block id: 325
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_keyring.cpp (51:56)
 - source/multi_keyring.c (94:99)

duplicated block id: 326
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/materials.h (665:670)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (41:46)

duplicated block id: 327
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (58:63)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (60:65)

duplicated block id: 328
size: 6 cleaned lines of code
in 2 files:
 - include/aws/cryptosdk/cache.h (566:571)
 - source/caching_cmm.c (203:208)

duplicated block id: 329
size: 6 cleaned lines of code
in 2 files:
 - source/multi_keyring.c (94:99)
 - source/raw_aes_keyring.c (187:192)

duplicated block id: 330
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (60:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (60:65)

duplicated block id: 331
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (84:89)
 - include/aws/cryptosdk/materials.h (583:588)

duplicated block id: 332
size: 6 cleaned lines of code
in 2 files:
 - aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp (85:90)
 - source/multi_keyring.c (94:99)

duplicated block id: 333
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (59:64)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved/aws_cryptosdk_priv_hdr_parse_reserved_harness.c (57:62)

duplicated block id: 334
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (38:44)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id/aws_cryptosdk_priv_hdr_parse_message_id_harness.c (37:43)

duplicated block id: 335
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (59:64)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type/aws_cryptosdk_priv_hdr_parse_content_type_harness.c (60:65)

duplicated block id: 336
size: 6 cleaned lines of code
in 2 files:
 - source/raw_aes_keyring.c (146:151)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (42:47)

duplicated block id: 337
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_write/aws_cryptosdk_hdr_write_harness.c (82:87)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (59:64)

duplicated block id: 338
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version/aws_cryptosdk_priv_hdr_parse_header_version_harness.c (60:65)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len/aws_cryptosdk_priv_hdr_parse_iv_len_harness.c (60:65)

duplicated block id: 339
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (59:64)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len/aws_cryptosdk_priv_hdr_parse_frame_len_harness.c (58:63)

duplicated block id: 340
size: 6 cleaned lines of code
in 2 files:
 - verification/cbmc/proofs/aws_cryptosdk_hdr_size/aws_cryptosdk_hdr_size_harness.c (61:66)
 - verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id/aws_cryptosdk_priv_hdr_parse_alg_id_harness.c (59:64)

duplicated block id: 341
size: 6 cleaned lines of code
in 2 files:
 - source/raw_rsa_keyring.c (69:74)
 - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (42:47)