aws / aws-encryption-sdk-c

Duplication

Places in code with 6 or more lines that are exactly the same.

Longest Duplicates

The list of 50 longest duplicates.

See data for all 341 duplicates...

Size	#	Folders	Files	Lines	Code
35	x 2	verification/cbmc/proofs...osdk_keyring_on_decrypt verification/cbmc/proofs...osdk_keyring_on_encrypt	aws_cryptosdk_keyring_on_decrypt_harn... aws_cryptosdk_keyring_on_encrypt_harn...	83:126 (46%) 45:88 (60%)	view
32	x 2	verification/cbmc/proofs..._cryptosdk_decrypt_body verification/cbmc/proofs..._cryptosdk_encrypt_body	aws_cryptosdk_decrypt_body_harness.c aws_cryptosdk_encrypt_body_harness.c	21:65 (71%) 21:65 (71%)	view
22	x 2	verification/cbmc/proofs...osdk_keyring_on_decrypt verification/cbmc/stubs	aws_cryptosdk_keyring_on_decrypt_harn... on_encrypt_stub.c	41:69 (29%) 33:61 (84%)	view
20	x 2	verification/cbmc/proofs..._hdr_parse_message_type verification/cbmc/proofs...priv_hdr_parse_reserved	aws_cryptosdk_priv_hdr_parse_message_... aws_cryptosdk_priv_hdr_parse_reserved...	25:52 (71%) 25:52 (71%)	view
19	x 2	verification/cbmc/proofs...tosdk_edk_list_copy_all verification/cbmc/proofs/list_copy_all	aws_cryptosdk_edk_list_copy_all_harne... list_copy_all_harness.c	31:60 (27%) 30:60 (32%)	view
19	x 2	verification/cbmc/proofs...tosdk_edk_list_copy_all verification/cbmc/proofs..._keyring_trace_copy_all	aws_cryptosdk_edk_list_copy_all_harne... aws_cryptosdk_keyring_trace_copy_all_...	31:60 (27%) 61:91 (25%)	view
19	x 2	verification/cbmc/proofs..._keyring_trace_copy_all verification/cbmc/proofs/list_copy_all	aws_cryptosdk_keyring_trace_copy_all_... list_copy_all_harness.c	61:91 (25%) 30:60 (32%)	view
18	x 2	verification/cbmc/proofs...k_priv_hdr_parse_alg_id verification/cbmc/proofs...sdk_priv_hdr_parse_edks	aws_cryptosdk_priv_hdr_parse_alg_id_h... aws_cryptosdk_priv_hdr_parse_edks_har...	31:54 (60%) 62:85 (41%)	view
18	x 2	verification/cbmc/proofs...osdk_priv_hdr_parse_aad verification/cbmc/proofs...priv_hdr_parse_reserved	aws_cryptosdk_priv_hdr_parse_aad_harn... aws_cryptosdk_priv_hdr_parse_reserved...	42:66 (54%) 25:49 (64%)	view
18	x 2	verification/cbmc/proofs...riv_hdr_parse_frame_len verification/cbmc/proofs..._hdr_parse_message_type	aws_cryptosdk_priv_hdr_parse_frame_le... aws_cryptosdk_priv_hdr_parse_message_...	30:53 (62%) 29:52 (64%)	view
18	x 2	verification/cbmc/proofs...riv_hdr_parse_frame_len verification/cbmc/proofs...priv_hdr_parse_reserved	aws_cryptosdk_priv_hdr_parse_frame_le... aws_cryptosdk_priv_hdr_parse_reserved...	30:53 (62%) 29:52 (64%)	view
18	x 2	verification/cbmc/proofs...osdk_priv_hdr_parse_aad verification/cbmc/proofs..._hdr_parse_message_type	aws_cryptosdk_priv_hdr_parse_aad_harn... aws_cryptosdk_priv_hdr_parse_message_...	42:66 (54%) 25:49 (64%)	view
18	x 2	verification/cbmc/proofs...k_priv_hdr_parse_alg_id verification/cbmc/proofs..._hdr_parse_message_type	aws_cryptosdk_priv_hdr_parse_alg_id_h... aws_cryptosdk_priv_hdr_parse_message_...	31:54 (60%) 29:52 (64%)	view
18	x 2	verification/cbmc/proofs...k_priv_hdr_parse_alg_id verification/cbmc/proofs...priv_hdr_parse_reserved	aws_cryptosdk_priv_hdr_parse_alg_id_h... aws_cryptosdk_priv_hdr_parse_reserved...	31:54 (60%) 29:52 (64%)	view
18	x 2	verification/cbmc/proofs...sdk_priv_hdr_parse_edks verification/cbmc/proofs..._hdr_parse_message_type	aws_cryptosdk_priv_hdr_parse_edks_har... aws_cryptosdk_priv_hdr_parse_message_...	62:85 (41%) 29:52 (64%)	view
18	x 2	verification/cbmc/proofs...sdk_priv_hdr_parse_edks verification/cbmc/proofs...priv_hdr_parse_reserved	aws_cryptosdk_priv_hdr_parse_edks_har... aws_cryptosdk_priv_hdr_parse_reserved...	62:85 (41%) 29:52 (64%)	view
18	x 2	verification/cbmc/proofs...k_priv_hdr_parse_alg_id verification/cbmc/proofs...riv_hdr_parse_frame_len	aws_cryptosdk_priv_hdr_parse_alg_id_h... aws_cryptosdk_priv_hdr_parse_frame_le...	31:54 (60%) 30:53 (62%)	view
18	x 2	verification/cbmc/proofs...sdk_priv_hdr_parse_edks verification/cbmc/proofs...riv_hdr_parse_frame_len	aws_cryptosdk_priv_hdr_parse_edks_har... aws_cryptosdk_priv_hdr_parse_frame_le...	62:85 (41%) 30:53 (62%)	view
17	x 2	verification/cbmc/proofs..._keyring_trace_copy_all verification/cbmc/proofs...cryptosdk_transfer_list	aws_cryptosdk_keyring_trace_copy_all_... aws_cryptosdk_transfer_list_harness.c	61:86 (22%) 31:56 (48%)	view
17	x 2	verification/cbmc/proofs...cryptosdk_transfer_list verification/cbmc/proofs/list_copy_all	aws_cryptosdk_transfer_list_harness.c list_copy_all_harness.c	31:56 (48%) 30:55 (29%)	view
17	x 2	verification/cbmc/proofs...tosdk_edk_list_copy_all verification/cbmc/proofs...cryptosdk_transfer_list	aws_cryptosdk_edk_list_copy_all_harne... aws_cryptosdk_transfer_list_harness.c	31:56 (24%) 31:56 (48%)	view
16	x 2	verification/cbmc/proofs...osdk_priv_hdr_parse_aad verification/cbmc/proofs...k_priv_hdr_parse_alg_id	aws_cryptosdk_priv_hdr_parse_aad_harn... aws_cryptosdk_priv_hdr_parse_alg_id_h...	46:66 (48%) 31:51 (53%)	view
16	x 2	aws-encryption-sdk-cpp/source aws-encryption-sdk-cpp/source	kms_keyring.cpp kms_mrk_keyring.cpp	218:235 (4%) 474:501 (3%)	view
16	x 2	verification/cbmc/proofs...osdk_priv_hdr_parse_aad verification/cbmc/proofs...riv_hdr_parse_frame_len	aws_cryptosdk_priv_hdr_parse_aad_harn... aws_cryptosdk_priv_hdr_parse_frame_le...	46:66 (48%) 30:50 (55%)	view
16	x 2	verification/cbmc/proofs...osdk_priv_hdr_parse_aad verification/cbmc/proofs...sdk_priv_hdr_parse_edks	aws_cryptosdk_priv_hdr_parse_aad_harn... aws_cryptosdk_priv_hdr_parse_edks_har...	46:66 (48%) 62:82 (37%)	view
15	x 2	verification/cbmc/proofs/aws_cryptosdk_sign_header verification/cbmc/proofs...cryptosdk_verify_header	aws_cryptosdk_sign_header_harness.c aws_cryptosdk_verify_header_harness.c	22:44 (75%) 22:44 (75%)	view
14	x 2	verification/cbmc/proofs...k_priv_hdr_parse_alg_id verification/cbmc/proofs...dr_parse_header_version	aws_cryptosdk_priv_hdr_parse_alg_id_h... aws_cryptosdk_priv_hdr_parse_header_v...	37:54 (46%) 38:55 (46%)	view
14	x 2	verification/cbmc/proofs...sdk_priv_hdr_parse_edks verification/cbmc/proofs...dr_parse_header_version	aws_cryptosdk_priv_hdr_parse_edks_har... aws_cryptosdk_priv_hdr_parse_header_v...	68:85 (32%) 38:55 (46%)	view
14	x 2	verification/cbmc/proofs/aws_cryptosdk_hdr_write verification/cbmc/proofs..._hdr_parse_content_type	aws_cryptosdk_hdr_write_harness.c aws_cryptosdk_priv_hdr_parse_content_...	59:76 (34%) 38:55 (46%)	view
14	x 2	verification/cbmc/proofs..._hdr_parse_content_type verification/cbmc/proofs...sdk_priv_hdr_parse_edks	aws_cryptosdk_priv_hdr_parse_content_... aws_cryptosdk_priv_hdr_parse_edks_har...	38:55 (46%) 68:85 (32%)	view
14	x 2	verification/cbmc/proofs..._hdr_parse_content_type verification/cbmc/proofs...riv_hdr_parse_frame_len	aws_cryptosdk_priv_hdr_parse_content_... aws_cryptosdk_priv_hdr_parse_frame_le...	38:55 (46%) 36:53 (48%)	view
14	x 2	verification/cbmc/proofs/aws_cryptosdk_hdr_write verification/cbmc/proofs...k_priv_hdr_parse_alg_id	aws_cryptosdk_hdr_write_harness.c aws_cryptosdk_priv_hdr_parse_alg_id_h...	59:76 (34%) 37:54 (46%)	view
14	x 2	verification/cbmc/proofs...dr_parse_header_version verification/cbmc/proofs..._hdr_parse_message_type	aws_cryptosdk_priv_hdr_parse_header_v... aws_cryptosdk_priv_hdr_parse_message_...	38:55 (46%) 35:52 (50%)	view
14	x 2	verification/cbmc/proofs..._hdr_parse_content_type verification/cbmc/proofs..._hdr_parse_message_type	aws_cryptosdk_priv_hdr_parse_content_... aws_cryptosdk_priv_hdr_parse_message_...	38:55 (46%) 35:52 (50%)	view
14	x 2	verification/cbmc/proofs...dr_parse_header_version verification/cbmc/proofs...priv_hdr_parse_reserved	aws_cryptosdk_priv_hdr_parse_header_v... aws_cryptosdk_priv_hdr_parse_reserved...	38:55 (46%) 35:52 (50%)	view
14	x 2	verification/cbmc/proofs/aws_cryptosdk_hdr_size verification/cbmc/proofs...dr_parse_header_version	aws_cryptosdk_hdr_size_harness.c aws_cryptosdk_priv_hdr_parse_header_v...	38:55 (46%) 38:55 (46%)	view
14	x 2	verification/cbmc/proofs...riv_hdr_parse_frame_len verification/cbmc/proofs...k_priv_hdr_parse_iv_len	aws_cryptosdk_priv_hdr_parse_frame_le... aws_cryptosdk_priv_hdr_parse_iv_len_h...	36:53 (48%) 38:55 (46%)	view
14	x 2	verification/cbmc/proofs...sdk_priv_hdr_parse_edks verification/cbmc/proofs...k_priv_hdr_parse_iv_len	aws_cryptosdk_priv_hdr_parse_edks_har... aws_cryptosdk_priv_hdr_parse_iv_len_h...	68:85 (32%) 38:55 (46%)	view
14	x 2	verification/cbmc/proofs..._hdr_parse_content_type verification/cbmc/proofs...priv_hdr_parse_reserved	aws_cryptosdk_priv_hdr_parse_content_... aws_cryptosdk_priv_hdr_parse_reserved...	38:55 (46%) 35:52 (50%)	view
14	x 2	verification/cbmc/proofs/aws_cryptosdk_hdr_size verification/cbmc/proofs...k_priv_hdr_parse_alg_id	aws_cryptosdk_hdr_size_harness.c aws_cryptosdk_priv_hdr_parse_alg_id_h...	38:55 (46%) 37:54 (46%)	view
14	x 2	verification/cbmc/proofs/aws_cryptosdk_hdr_write verification/cbmc/proofs...riv_hdr_parse_frame_len	aws_cryptosdk_hdr_write_harness.c aws_cryptosdk_priv_hdr_parse_frame_le...	59:76 (34%) 36:53 (48%)	view
14	x 2	verification/cbmc/proofs..._hdr_parse_content_type verification/cbmc/proofs...k_priv_hdr_parse_iv_len	aws_cryptosdk_priv_hdr_parse_content_... aws_cryptosdk_priv_hdr_parse_iv_len_h...	38:55 (46%) 38:55 (46%)	view
14	x 2	verification/cbmc/proofs...k_priv_hdr_parse_iv_len verification/cbmc/proofs...priv_hdr_parse_reserved	aws_cryptosdk_priv_hdr_parse_iv_len_h... aws_cryptosdk_priv_hdr_parse_reserved...	38:55 (46%) 35:52 (50%)	view
14	x 2	verification/cbmc/proofs/aws_cryptosdk_hdr_size verification/cbmc/proofs...sdk_priv_hdr_parse_edks	aws_cryptosdk_hdr_size_harness.c aws_cryptosdk_priv_hdr_parse_edks_har...	38:55 (46%) 68:85 (32%)	view
14	x 2	verification/cbmc/proofs/aws_cryptosdk_hdr_size verification/cbmc/proofs...riv_hdr_parse_frame_len	aws_cryptosdk_hdr_size_harness.c aws_cryptosdk_priv_hdr_parse_frame_le...	38:55 (46%) 36:53 (48%)	view
14	x 2	verification/cbmc/proofs/aws_cryptosdk_hdr_size verification/cbmc/proofs/aws_cryptosdk_hdr_write	aws_cryptosdk_hdr_size_harness.c aws_cryptosdk_hdr_write_harness.c	38:55 (46%) 59:76 (34%)	view
14	x 2	verification/cbmc/proofs/aws_cryptosdk_hdr_write verification/cbmc/proofs...dr_parse_header_version	aws_cryptosdk_hdr_write_harness.c aws_cryptosdk_priv_hdr_parse_header_v...	59:76 (34%) 38:55 (46%)	view
14	x 2	verification/cbmc/proofs...k_priv_hdr_parse_alg_id verification/cbmc/proofs...k_priv_hdr_parse_iv_len	aws_cryptosdk_priv_hdr_parse_alg_id_h... aws_cryptosdk_priv_hdr_parse_iv_len_h...	37:54 (46%) 38:55 (46%)	view
14	x 2	verification/cbmc/proofs...dr_parse_header_version verification/cbmc/proofs...k_priv_hdr_parse_iv_len	aws_cryptosdk_priv_hdr_parse_header_v... aws_cryptosdk_priv_hdr_parse_iv_len_h...	38:55 (46%) 38:55 (46%)	view
14	x 2	verification/cbmc/proofs...k_priv_hdr_parse_iv_len verification/cbmc/proofs..._hdr_parse_message_type	aws_cryptosdk_priv_hdr_parse_iv_len_h... aws_cryptosdk_priv_hdr_parse_message_...	38:55 (46%) 35:52 (50%)	view

Duplicated Units

The list of top 5 duplicated units.

See data for all 5 unit duplicates...

Size	#	Folders	Files	Lines	Code
14	x 2	source verification/cbmc/sources	cipher.c make_common_data_structures.c	239:254  240:255	view
12	x 3	verification/cbmc/proofs/aws_cryptosdk_hdr_write verification/cbmc/proofs/sign_header verification/cbmc/stubs	aws_cryptosdk_hdr_write_harness.c sign_header_harness.c aws_array_list_item_generator_u8_stub.c	27:43  30:46  33:48	view
10	x 4	verification/cbmc/proofs/list_copy_all verification/cbmc/proofs...tosdk_edk_list_copy_all verification/cbmc/proofs...cryptosdk_transfer_list verification/cbmc/proofs..._keyring_trace_copy_all	list_copy_all_harness.c aws_cryptosdk_edk_list_copy_all_harne... aws_cryptosdk_transfer_list_harness.c aws_cryptosdk_keyring_trace_copy_all_...	45:56  46:57  46:57  76:87	view
7	x 2	source verification/cbmc/proofs..._keyring_trace_copy_all	keyring_trace.c aws_cryptosdk_keyring_trace_copy_all_...	36:44  46:54	view
7	x 4	verification/cbmc/proofs/list_copy_all verification/cbmc/proofs...tosdk_edk_list_copy_all verification/cbmc/proofs...cryptosdk_transfer_list verification/cbmc/proofs..._keyring_trace_copy_all	list_copy_all_harness.c aws_cryptosdk_edk_list_copy_all_harne... aws_cryptosdk_transfer_list_harness.c aws_cryptosdk_keyring_trace_copy_all_...	30:39  31:40  31:40  61:70	view