13 duplicated lines in:
  - source/cipher.c (240:252, 1%)
  - verification/cbmc/sources/make_common_data_structures.c (241:253, 4%)

8 duplicated lines in:
  - source/cipher_openssl.c (89:96, 1%)
  - verification/cbmc/include/cipher_openssl.h (28:35, 66%)

7 duplicated lines in:
  - source/default_cmm.c (27:33, 5%)
  - verification/cbmc/sources/make_common_data_structures.c (35:42, 2%)

7 duplicated lines in:
  - source/materials.c (89:95, 7%)
  - verification/cbmc/stubs/on_encrypt_stub.c (33:39, 26%)

7 duplicated lines in:
  - source/materials.c (89:95, 7%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (41:47, 9%)

7 duplicated lines in:
  - source/keyring_trace.c (36:43, 3%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all/aws_cryptosdk_keyring_trace_copy_all_harness.c (46:53, 9%)

6 duplicated lines in:
  - source/hkdf.c (162:167, 5%)
  - verification/cbmc/stubs/hkdf_stub.c (24:29, 46%)

6 duplicated lines in:
  - source/materials.c (89:94, 6%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (30:35, 10%)

6 duplicated lines in:
  - source/raw_aes_keyring.c (146:151, 2%)
  - verification/cbmc/stubs/on_encrypt_stub.c (34:39, 23%)

6 duplicated lines in:
  - source/multi_keyring.c (22:27, 5%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (42:47, 8%)

6 duplicated lines in:
  - source/materials.c (89:94, 6%)
  - verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c (29:34, 13%)

6 duplicated lines in:
  - source/multi_keyring.c (41:46, 5%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (42:47, 8%)

6 duplicated lines in:
  - source/multi_keyring.c (41:46, 5%)
  - verification/cbmc/stubs/on_encrypt_stub.c (34:39, 23%)

6 duplicated lines in:
  - source/multi_keyring.c (22:27, 5%)
  - verification/cbmc/stubs/on_encrypt_stub.c (34:39, 23%)

6 duplicated lines in:
  - source/raw_rsa_keyring.c (69:74, 4%)
  - verification/cbmc/stubs/on_encrypt_stub.c (34:39, 23%)

6 duplicated lines in:
  - source/raw_aes_keyring.c (146:151, 2%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (42:47, 8%)

6 duplicated lines in:
  - source/raw_rsa_keyring.c (69:74, 4%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (42:47, 8%)