duplicated block id: 1 size: 36 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (395:437) - include/aws/common/private/lookup3.inl (589:631) duplicated block id: 2 size: 32 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (441:479) - include/aws/common/private/lookup3.inl (635:673) duplicated block id: 3 size: 23 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (320:367) - include/aws/common/private/lookup3.inl (513:560) duplicated block id: 4 size: 22 cleaned lines of code in 2 files: - source/posix/file.c (63:100) - source/windows/file.c (97:134) duplicated block id: 5 size: 21 cleaned lines of code in 2 files: - include/aws/testing/aws_test_harness.h (276:296) - include/aws/testing/aws_test_harness.h (317:337) duplicated block id: 6 size: 17 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_eq/aws_array_eq_harness.c (11:33) - verification/cbmc/proofs/aws_array_eq_ignore_case/aws_array_eq_ignore_case_harness.c (11:33) duplicated block id: 7 size: 17 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_eq/aws_byte_buf_eq_harness.c (11:32) - verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/aws_byte_buf_eq_ignore_case_harness.c (11:32) duplicated block id: 8 size: 17 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c (11:32) - verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c (11:32) duplicated block id: 9 size: 15 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c (20:37) - verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c (15:32) duplicated block id: 10 size: 15 cleaned lines of code in 2 files: - cmake/AwsTestHarness.cmake (53:69) - cmake/AwsTestHarness.cmake (78:94) duplicated block id: 11 size: 15 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c (20:37) - verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c (15:32) duplicated block id: 12 size: 14 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (214:232) - include/aws/common/private/lookup3.inl (260:278) duplicated block id: 13 size: 14 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/aws_byte_cursor_eq_byte_buf_harness.c (11:28) - verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/aws_byte_cursor_eq_byte_buf_ignore_case_harness.c (11:28) duplicated block id: 14 size: 14 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_advance/aws_byte_cursor_advance_harness.c (29:44) - verification/cbmc/proofs/aws_byte_cursor_advance_nospec/aws_byte_cursor_advance_nospec_harness.c (29:44) duplicated block id: 15 size: 14 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (375:389) - include/aws/common/private/lookup3.inl (569:583) duplicated block id: 16 size: 13 cleaned lines of code in 2 files: - source/posix/environment.c (11:30) - source/windows/environment.c (11:40) duplicated block id: 17 size: 13 cleaned lines of code in 2 files: - source/posix/thread.c (52:66) - source/windows/thread.c (23:37) duplicated block id: 18 size: 12 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_eq_c_str/aws_byte_cursor_eq_c_str_harness.c (11:26) - verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/aws_byte_cursor_eq_c_str_ignore_case_harness.c (11:26) duplicated block id: 19 size: 12 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_ring_buffer_acquire/aws_ring_buffer_acquire_harness.c (48:60) - verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/aws_ring_buffer_acquire_up_to_harness.c (38:50) duplicated block id: 20 size: 12 cleaned lines of code in 2 files: - source/posix/thread.c (78:108) - source/windows/thread.c (46:64) duplicated block id: 21 size: 11 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_priority_queue_s_sift_down/aws_priority_queue_s_sift_down_harness.c (13:31) - verification/cbmc/proofs/aws_priority_queue_s_sift_up/aws_priority_queue_s_sift_up_harness.c (13:34) duplicated block id: 22 size: 11 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_priority_queue_s_sift_either/aws_priority_queue_s_sift_either_harness.c (13:34) - verification/cbmc/proofs/aws_priority_queue_s_sift_up/aws_priority_queue_s_sift_up_harness.c (13:34) duplicated block id: 23 size: 11 cleaned lines of code in 2 files: - source/posix/thread.c (409:422) - source/windows/thread.c (379:392) duplicated block id: 24 size: 11 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_hash_table_put/aws_hash_table_put_harness.c (13:25) - verification/cbmc/proofs/aws_hash_table_remove/aws_hash_table_remove_harness.c (12:23) duplicated block id: 25 size: 11 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_priority_queue_s_sift_down/aws_priority_queue_s_sift_down_harness.c (13:31) - verification/cbmc/proofs/aws_priority_queue_s_sift_either/aws_priority_queue_s_sift_either_harness.c (13:34) duplicated block id: 26 size: 10 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (322:356) - include/aws/common/private/lookup3.inl (700:734) duplicated block id: 27 size: 10 cleaned lines of code in 2 files: - source/posix/thread.c (149:165) - source/windows/thread.c (94:110) duplicated block id: 28 size: 10 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_hash_table_init_bounded/aws_hash_table_init_bounded_harness.c (18:27) - verification/cbmc/proofs/aws_hash_table_init_unbounded/aws_hash_table_init_unbounded_harness.c (18:27) duplicated block id: 29 size: 10 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_append/aws_byte_buf_append_harness.c (10:24) - verification/cbmc/proofs/aws_byte_buf_append_with_lookup/aws_byte_buf_append_with_lookup_harness.c (10:24) duplicated block id: 30 size: 10 cleaned lines of code in 2 files: - source/byte_buf.c (437:453) - source/byte_buf.c (465:481) duplicated block id: 31 size: 10 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_priority_queue_size/aws_priority_queue_size_harness.c (14:29) - verification/cbmc/proofs/aws_priority_queue_top/aws_priority_queue_top_harness.c (14:29) duplicated block id: 32 size: 10 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (515:549) - include/aws/common/private/lookup3.inl (700:734) duplicated block id: 33 size: 10 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_append/aws_byte_buf_append_harness.c (27:39) - verification/cbmc/proofs/aws_byte_buf_append_with_lookup/aws_byte_buf_append_with_lookup_harness.c (32:44) duplicated block id: 34 size: 9 cleaned lines of code in 2 files: - include/aws/common/math.gcc_x64_asm.inl (50:59) - include/aws/common/math.gcc_x64_asm.inl (96:105) duplicated block id: 35 size: 9 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_eq_c_str/aws_byte_buf_eq_c_str_harness.c (16:26) - verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/aws_byte_buf_eq_c_str_ignore_case_harness.c (16:26) duplicated block id: 36 size: 9 cleaned lines of code in 2 files: - source/posix/system_info.c (416:428) - source/windows/system_info.c (276:287) duplicated block id: 37 size: 9 cleaned lines of code in 2 files: - include/aws/common/math.fallback.inl (111:123) - include/aws/common/math.fallback.inl (131:143) duplicated block id: 38 size: 9 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_advance/aws_byte_cursor_advance_harness.c (11:23) - verification/cbmc/proofs/aws_byte_cursor_advance_nospec/aws_byte_cursor_advance_nospec_harness.c (11:23) duplicated block id: 39 size: 8 cleaned lines of code in 2 files: - source/fifo_cache.c (19:26) - source/lru_cache.c (26:33) duplicated block id: 40 size: 8 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_copy/aws_array_list_copy_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_swap_contents/aws_array_list_swap_contents_harness.c (14:24) duplicated block id: 41 size: 8 cleaned lines of code in 2 files: - source/byte_buf.c (571:581) - source/byte_buf.c (698:710) duplicated block id: 42 size: 8 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_eq_c_str/aws_array_eq_c_str_harness.c (15:26) - verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/aws_array_eq_c_str_ignore_case_harness.c (14:25) duplicated block id: 43 size: 8 cleaned lines of code in 2 files: - source/posix/thread.c (245:253) - source/posix/thread.c (306:314) duplicated block id: 44 size: 8 cleaned lines of code in 2 files: - include/aws/common/math.gcc_x64_asm.inl (117:125) - include/aws/common/math.gcc_x64_asm.inl (152:160) duplicated block id: 45 size: 8 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c (28:37) - verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c (28:37) duplicated block id: 46 size: 8 cleaned lines of code in 2 files: - source/date_time.c (402:411) - source/date_time.c (535:543) duplicated block id: 47 size: 8 cleaned lines of code in 2 files: - include/aws/common/atomics_gnu.inl (49:67) - include/aws/common/atomics_gnu_old.inl (58:76) duplicated block id: 48 size: 8 cleaned lines of code in 2 files: - include/aws/common/atomics_gnu_old.inl (58:76) - include/aws/common/atomics_msvc.inl (141:159) duplicated block id: 49 size: 8 cleaned lines of code in 2 files: - source/posix/file.c (195:208) - source/windows/file.c (348:361) duplicated block id: 50 size: 8 cleaned lines of code in 2 files: - source/fifo_cache.c (19:26) - source/lifo_cache.c (18:25) duplicated block id: 51 size: 8 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/aws_byte_cursor_eq_byte_buf_harness.c (19:28) - verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/aws_byte_cursor_read_and_fill_buffer_harness.c (17:26) duplicated block id: 52 size: 8 cleaned lines of code in 2 files: - source/date_time.c (250:259) - source/date_time.c (352:361) duplicated block id: 53 size: 8 cleaned lines of code in 2 files: - include/aws/testing/aws_test_harness.h (121:130) - include/aws/testing/aws_test_harness.h (136:145) duplicated block id: 54 size: 8 cleaned lines of code in 2 files: - source/fifo_cache.c (44:58) - source/lru_cache.c (57:71) duplicated block id: 55 size: 8 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/aws_byte_cursor_eq_byte_buf_ignore_case_harness.c (19:28) - verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/aws_byte_cursor_read_and_fill_buffer_harness.c (17:26) duplicated block id: 56 size: 8 cleaned lines of code in 2 files: - include/aws/common/atomics_gnu.inl (49:67) - include/aws/common/atomics_msvc.inl (141:159) duplicated block id: 57 size: 8 cleaned lines of code in 2 files: - source/lifo_cache.c (18:25) - source/lru_cache.c (26:33) duplicated block id: 58 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c (14:24) duplicated block id: 59 size: 7 cleaned lines of code in 2 files: - source/posix/clock.c (61:71) - source/posix/clock.c (81:90) duplicated block id: 60 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c (14:24) duplicated block id: 61 size: 7 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (936:942) - include/aws/common/private/lookup3.inl (944:950) duplicated block id: 62 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_append/aws_byte_buf_append_harness.c (27:36) - verification/cbmc/proofs/aws_byte_buf_append_dynamic/aws_byte_buf_append_dynamic_harness.c (25:34) duplicated block id: 63 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c (24:34) duplicated block id: 64 size: 7 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (936:942) - include/aws/common/private/lookup3.inl (960:966) duplicated block id: 65 size: 7 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (936:942) - include/aws/common/private/lookup3.inl (952:958) duplicated block id: 66 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_append_dynamic/aws_byte_buf_append_dynamic_harness.c (25:34) - verification/cbmc/proofs/aws_byte_buf_append_with_lookup/aws_byte_buf_append_with_lookup_harness.c (32:41) duplicated block id: 67 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c (14:24) duplicated block id: 68 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c (14:24) duplicated block id: 69 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c (14:24) duplicated block id: 70 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c (14:24) duplicated block id: 71 size: 7 cleaned lines of code in 2 files: - include/aws/common/atomics_gnu.inl (124:130) - include/aws/common/atomics_msvc.inl (237:243) duplicated block id: 72 size: 7 cleaned lines of code in 2 files: - include/aws/common/atomics_gnu.inl (124:130) - include/aws/common/atomics_gnu_old.inl (184:190) duplicated block id: 73 size: 7 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (944:950) - include/aws/common/private/lookup3.inl (952:958) duplicated block id: 74 size: 7 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (944:950) - include/aws/common/private/lookup3.inl (960:966) duplicated block id: 75 size: 7 cleaned lines of code in 2 files: - include/aws/common/atomics_gnu_old.inl (205:211) - include/aws/common/atomics_msvc.inl (259:265) duplicated block id: 76 size: 7 cleaned lines of code in 2 files: - include/aws/common/fifo_cache.h (20:27) - include/aws/common/lifo_cache.h (20:27) duplicated block id: 77 size: 7 cleaned lines of code in 2 files: - include/aws/common/private/lookup3.inl (952:958) - include/aws/common/private/lookup3.inl (960:966) duplicated block id: 78 size: 7 cleaned lines of code in 2 files: - include/aws/common/atomics_gnu_old.inl (184:190) - include/aws/common/atomics_msvc.inl (237:243) duplicated block id: 79 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c (24:34) duplicated block id: 80 size: 7 cleaned lines of code in 2 files: - include/aws/common/atomics_gnu.inl (145:151) - include/aws/common/atomics_msvc.inl (259:265) duplicated block id: 81 size: 7 cleaned lines of code in 2 files: - source/linked_hash_table.c (48:57) - source/linked_hash_table.c (64:73) duplicated block id: 82 size: 7 cleaned lines of code in 2 files: - include/aws/testing/aws_test_harness.h (154:160) - include/aws/testing/aws_test_harness.h (166:172) duplicated block id: 83 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c (14:24) duplicated block id: 84 size: 7 cleaned lines of code in 2 files: - include/aws/testing/aws_test_harness.h (170:178) - include/aws/testing/aws_test_harness.h (183:191) duplicated block id: 85 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c (14:24) duplicated block id: 86 size: 7 cleaned lines of code in 2 files: - include/aws/common/atomics_gnu.inl (145:151) - include/aws/common/atomics_gnu_old.inl (205:211) duplicated block id: 87 size: 7 cleaned lines of code in 2 files: - include/aws/common/linked_hash_table.h (41:47) - source/linked_hash_table.c (18:24) duplicated block id: 88 size: 7 cleaned lines of code in 2 files: - source/allocator_sba.c (246:253) - source/allocator_sba.c (272:279) duplicated block id: 89 size: 7 cleaned lines of code in 2 files: - verification/cbmc/stubs/memcpy_override_havoc.c (17:23) - verification/cbmc/stubs/memcpy_override_no_op.c (23:29) duplicated block id: 90 size: 7 cleaned lines of code in 2 files: - include/aws/testing/aws_test_harness.h (181:189) - include/aws/testing/aws_test_harness.h (194:202) duplicated block id: 91 size: 7 cleaned lines of code in 2 files: - source/hash_table.c (1058:1066) - verification/cbmc/stubs/aws_hash_table_no_slots_override.c (29:37) duplicated block id: 92 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c (24:34) duplicated block id: 93 size: 7 cleaned lines of code in 2 files: - source/date_time.c (365:372) - source/date_time.c (383:390) duplicated block id: 94 size: 7 cleaned lines of code in 2 files: - source/posix/thread.c (355:367) - source/windows/thread.c (338:350) duplicated block id: 95 size: 7 cleaned lines of code in 2 files: - source/error.c (133:143) - source/error.c (167:177) duplicated block id: 96 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_hash_table_create/aws_hash_table_create_harness.c (31:37) - verification/cbmc/proofs/aws_hash_table_put/aws_hash_table_put_harness.c (32:38) duplicated block id: 97 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c (24:34) duplicated block id: 98 size: 7 cleaned lines of code in 2 files: - include/aws/testing/aws_test_harness.h (212:230) - include/aws/testing/aws_test_harness.h (235:247) duplicated block id: 99 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c (24:34) duplicated block id: 100 size: 7 cleaned lines of code in 2 files: - verification/cbmc/stubs/aws_hash_iter_overrides.c (51:59) - verification/cbmc/stubs/aws_hash_table_no_slots_override.c (196:204) duplicated block id: 101 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c (14:24) duplicated block id: 102 size: 7 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c (14:24) - verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c (14:24) duplicated block id: 103 size: 7 cleaned lines of code in 2 files: - include/aws/common/hash_table.h (130:136) - source/hash_table.c (213:219) duplicated block id: 104 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_priority_queue_capacity/aws_priority_queue_capacity_harness.c (23:30) - verification/cbmc/proofs/aws_priority_queue_size/aws_priority_queue_size_harness.c (22:29) duplicated block id: 105 size: 6 cleaned lines of code in 2 files: - source/posix/clock.c (61:68) - source/posix/clock.c (111:118) duplicated block id: 106 size: 6 cleaned lines of code in 2 files: - source/date_time.c (390:397) - source/date_time.c (527:533) duplicated block id: 107 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_write_be32/aws_byte_buf_write_be32_harness.c (15:22) - verification/cbmc/proofs/aws_byte_cursor_from_buf/aws_byte_cursor_from_buf_harness.c (14:21) duplicated block id: 108 size: 6 cleaned lines of code in 2 files: - source/posix/clock.c (111:118) - source/posix/clock.c (126:134) duplicated block id: 109 size: 6 cleaned lines of code in 2 files: - source/string.c (246:253) - source/string.c (276:283) duplicated block id: 110 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c (19:26) - verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c (17:24) duplicated block id: 111 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c (15:22) - verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c (17:24) duplicated block id: 112 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_write_u8/aws_byte_buf_write_u8_harness.c (15:22) - verification/cbmc/proofs/aws_byte_cursor_from_buf/aws_byte_cursor_from_buf_harness.c (14:21) duplicated block id: 113 size: 6 cleaned lines of code in 2 files: - include/aws/common/atomics.h (233:238) - include/aws/common/atomics_msvc.inl (259:264) duplicated block id: 114 size: 6 cleaned lines of code in 2 files: - source/byte_buf.c (399:405) - source/byte_buf.c (420:426) duplicated block id: 115 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_hash_iter_done/aws_hash_iter_done_harness.c (12:18) - verification/cbmc/proofs/aws_hash_iter_next/aws_hash_iter_next_harness.c (12:18) duplicated block id: 116 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c (29:34) - verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c (32:37) duplicated block id: 117 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c (46:52) - verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c (43:49) duplicated block id: 118 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memcpy_override_havoc.c (30:39) - verification/cbmc/stubs/memcpy_override_no_op.c (31:40) duplicated block id: 119 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_write_be16/aws_byte_buf_write_be16_harness.c (15:22) - verification/cbmc/proofs/aws_byte_buf_write_be32/aws_byte_buf_write_be32_harness.c (15:22) duplicated block id: 120 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/aws_byte_cursor_satisfies_pred_harness.c (11:20) - verification/cbmc/proofs/aws_byte_cursor_trim_pred/aws_byte_cursor_trim_pred_harness.c (11:20) duplicated block id: 121 size: 6 cleaned lines of code in 2 files: - source/date_time.c (668:674) - source/date_time.c (731:737) duplicated block id: 122 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memmove_override.c (34:43) - verification/cbmc/stubs/memmove_override_havoc.c (27:36) duplicated block id: 123 size: 6 cleaned lines of code in 2 files: - source/posix/clock.c (81:88) - source/posix/clock.c (111:118) duplicated block id: 124 size: 6 cleaned lines of code in 2 files: - source/hash_table.c (614:619) - verification/cbmc/stubs/s_remove_entry_override.c (19:24) duplicated block id: 125 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/aws_byte_cursor_right_trim_pred_harness.c (11:20) - verification/cbmc/proofs/aws_byte_cursor_trim_pred/aws_byte_cursor_trim_pred_harness.c (11:20) duplicated block id: 126 size: 6 cleaned lines of code in 2 files: - include/aws/common/array_list.h (33:45) - include/aws/common/array_list.inl (15:21) duplicated block id: 127 size: 6 cleaned lines of code in 2 files: - include/aws/common/atomics.h (211:216) - include/aws/common/atomics_gnu_old.inl (184:189) duplicated block id: 128 size: 6 cleaned lines of code in 2 files: - source/posix/clock.c (81:88) - source/posix/clock.c (126:134) duplicated block id: 129 size: 6 cleaned lines of code in 2 files: - source/windows/system_info.c (246:253) - source/windows/system_info.c (263:270) duplicated block id: 130 size: 6 cleaned lines of code in 2 files: - include/aws/testing/aws_test_harness.h (108:115) - include/aws/testing/aws_test_harness.h (123:130) duplicated block id: 131 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memcpy_override.c (34:43) - verification/cbmc/stubs/memcpy_override_havoc.c (30:39) duplicated block id: 132 size: 6 cleaned lines of code in 2 files: - include/aws/common/fifo_cache.h (19:24) - source/fifo_cache.c (18:23) duplicated block id: 133 size: 6 cleaned lines of code in 2 files: - source/ring_buffer.c (69:76) - source/ring_buffer.c (143:150) duplicated block id: 134 size: 6 cleaned lines of code in 2 files: - include/aws/testing/aws_test_harness.h (108:115) - include/aws/testing/aws_test_harness.h (138:145) duplicated block id: 135 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_string_eq_byte_buf/aws_string_eq_byte_buf_harness.c (12:18) - verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/aws_string_eq_byte_buf_ignore_case_harness.c (12:18) duplicated block id: 136 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memmove_override.c (34:43) - verification/cbmc/stubs/memmove_override_no_op.c (21:30) duplicated block id: 137 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c (15:22) - verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c (17:24) duplicated block id: 138 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_write_be16/aws_byte_buf_write_be16_harness.c (15:22) - verification/cbmc/proofs/aws_byte_cursor_from_buf/aws_byte_cursor_from_buf_harness.c (14:21) duplicated block id: 139 size: 6 cleaned lines of code in 2 files: - include/aws/common/lifo_cache.h (19:24) - source/lifo_cache.c (17:22) duplicated block id: 140 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c (19:26) - verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c (17:24) duplicated block id: 141 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memcpy_override.c (34:43) - verification/cbmc/stubs/memcpy_override_no_op.c (31:40) duplicated block id: 142 size: 6 cleaned lines of code in 2 files: - source/date_time.c (689:695) - source/date_time.c (710:716) duplicated block id: 143 size: 6 cleaned lines of code in 2 files: - source/string.c (324:330) - source/string.c (340:346) duplicated block id: 144 size: 6 cleaned lines of code in 2 files: - include/aws/testing/aws_test_harness.h (268:273) - include/aws/testing/aws_test_harness.h (310:315) duplicated block id: 145 size: 6 cleaned lines of code in 2 files: - include/aws/common/atomics.h (233:238) - include/aws/common/atomics_gnu.inl (145:150) duplicated block id: 146 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_priority_queue_push_ref/aws_priority_queue_push_ref_harness.c (11:18) - verification/cbmc/proofs/aws_priority_queue_remove/aws_priority_queue_remove_harness.c (11:20) duplicated block id: 147 size: 6 cleaned lines of code in 2 files: - include/aws/common/atomics.h (211:216) - include/aws/common/atomics_gnu.inl (124:129) duplicated block id: 148 size: 6 cleaned lines of code in 2 files: - source/posix/file.c (124:129) - source/windows/file.c (213:218) duplicated block id: 149 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/aws_byte_cursor_right_trim_pred_harness.c (11:20) - verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/aws_byte_cursor_satisfies_pred_harness.c (11:20) duplicated block id: 150 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c (15:22) - verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c (27:34) duplicated block id: 151 size: 6 cleaned lines of code in 2 files: - include/aws/common/atomics.h (233:238) - include/aws/common/atomics_gnu_old.inl (205:210) duplicated block id: 152 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c (19:26) - verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c (15:22) duplicated block id: 153 size: 6 cleaned lines of code in 2 files: - source/posix/clock.c (61:68) - source/posix/clock.c (126:134) duplicated block id: 154 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c (29:34) - verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c (27:32) duplicated block id: 155 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memset_override.c (21:30) - verification/cbmc/stubs/memset_override_no_op.c (17:26) duplicated block id: 156 size: 6 cleaned lines of code in 2 files: - source/date_time.c (668:674) - source/date_time.c (710:716) duplicated block id: 157 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memmove_override.c (15:20) - verification/cbmc/stubs/memmove_override_no_op.c (14:19) duplicated block id: 158 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c (46:52) - verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c (43:49) duplicated block id: 159 size: 6 cleaned lines of code in 2 files: - include/aws/testing/aws_test_harness.h (273:278) - include/aws/testing/aws_test_harness.h (296:301) duplicated block id: 160 size: 6 cleaned lines of code in 2 files: - source/date_time.c (372:379) - source/date_time.c (517:523) duplicated block id: 161 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c (46:52) - verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c (40:46) duplicated block id: 162 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_write_be64/aws_byte_buf_write_be64_harness.c (15:22) - verification/cbmc/proofs/aws_byte_cursor_from_buf/aws_byte_cursor_from_buf_harness.c (14:21) duplicated block id: 163 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c (19:26) - verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c (17:24) duplicated block id: 164 size: 6 cleaned lines of code in 2 files: - source/android/logging.c (99:104) - source/logging.c (33:39) duplicated block id: 165 size: 6 cleaned lines of code in 2 files: - include/aws/common/lru_cache.h (19:24) - source/lru_cache.c (25:30) duplicated block id: 166 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c (19:26) - verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c (17:24) duplicated block id: 167 size: 6 cleaned lines of code in 2 files: - source/ring_buffer.c (117:125) - source/ring_buffer.c (220:228) duplicated block id: 168 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/aws_hash_iter_overrides.c (60:68) - verification/cbmc/stubs/aws_hash_table_no_slots_override.c (207:215) duplicated block id: 169 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memset_override.c (21:30) - verification/cbmc/stubs/memset_override_havoc.c (24:33) duplicated block id: 170 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_write_be32/aws_byte_buf_write_be32_harness.c (15:22) - verification/cbmc/proofs/aws_byte_buf_write_be64/aws_byte_buf_write_be64_harness.c (15:22) duplicated block id: 171 size: 6 cleaned lines of code in 2 files: - include/aws/common/lifo_cache.h (20:25) - include/aws/common/lru_cache.h (20:25) duplicated block id: 172 size: 6 cleaned lines of code in 2 files: - include/aws/common/fifo_cache.h (20:25) - include/aws/common/lru_cache.h (20:25) duplicated block id: 173 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memcpy_override.c (24:29) - verification/cbmc/stubs/memcpy_using_uint64.c (23:28) duplicated block id: 174 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/aws_byte_cursor_left_trim_pred_harness.c (11:20) - verification/cbmc/proofs/aws_byte_cursor_trim_pred/aws_byte_cursor_trim_pred_harness.c (11:20) duplicated block id: 175 size: 6 cleaned lines of code in 2 files: - include/aws/common/linked_list.inl (377:384) - include/aws/common/linked_list.inl (406:413) duplicated block id: 176 size: 6 cleaned lines of code in 2 files: - source/posix/condition_variable.c (83:89) - source/windows/condition_variable.c (53:59) duplicated block id: 177 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memset_override_havoc.c (24:33) - verification/cbmc/stubs/memset_override_no_op.c (17:26) duplicated block id: 178 size: 6 cleaned lines of code in 2 files: - include/aws/common/math.gcc_arm64_asm.inl (114:121) - include/aws/common/math.gcc_arm64_asm.inl (153:160) duplicated block id: 179 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_write_be16/aws_byte_buf_write_be16_harness.c (15:22) - verification/cbmc/proofs/aws_byte_buf_write_u8/aws_byte_buf_write_u8_harness.c (15:22) duplicated block id: 180 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/aws_byte_cursor_left_trim_pred_harness.c (11:20) - verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/aws_byte_cursor_satisfies_pred_harness.c (11:20) duplicated block id: 181 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_string_eq_byte_cursor/aws_string_eq_byte_cursor_harness.c (11:18) - verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/aws_string_eq_byte_cursor_ignore_case_harness.c (10:17) duplicated block id: 182 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_get_at/aws_array_list_get_at_harness.c (20:29) - verification/cbmc/proofs/aws_array_list_set_at/aws_array_list_set_at_harness.c (22:31) duplicated block id: 183 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c (19:24) - verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c (18:23) duplicated block id: 184 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_hash_table_create/aws_hash_table_create_harness.c (15:21) - verification/cbmc/proofs/aws_hash_table_remove/aws_hash_table_remove_harness.c (17:23) duplicated block id: 185 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c (19:26) - verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c (17:24) duplicated block id: 186 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_write_be64/aws_byte_buf_write_be64_harness.c (15:22) - verification/cbmc/proofs/aws_byte_buf_write_u8/aws_byte_buf_write_u8_harness.c (15:22) duplicated block id: 187 size: 6 cleaned lines of code in 2 files: - source/date_time.c (710:716) - source/date_time.c (731:737) duplicated block id: 188 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c (43:49) - verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c (40:46) duplicated block id: 189 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c (15:22) - verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c (17:24) duplicated block id: 190 size: 6 cleaned lines of code in 2 files: - include/aws/common/atomics_gnu.inl (133:145) - include/aws/common/atomics_gnu.inl (154:164) duplicated block id: 191 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c (46:52) - verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c (46:52) duplicated block id: 192 size: 6 cleaned lines of code in 2 files: - source/hash_table.c (862:867) - verification/cbmc/stubs/aws_hash_table_no_slots_override.c (228:233) duplicated block id: 193 size: 6 cleaned lines of code in 2 files: - source/date_time.c (299:308) - source/date_time.c (547:556) duplicated block id: 194 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/aws_byte_cursor_left_trim_pred_harness.c (11:20) - verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/aws_byte_cursor_right_trim_pred_harness.c (11:20) duplicated block id: 195 size: 6 cleaned lines of code in 2 files: - include/aws/common/logging.h (300:305) - source/logging.c (242:247) duplicated block id: 196 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c (19:26) - verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c (27:34) duplicated block id: 197 size: 6 cleaned lines of code in 2 files: - include/aws/common/atomics.h (211:216) - include/aws/common/atomics_msvc.inl (237:242) duplicated block id: 198 size: 6 cleaned lines of code in 2 files: - source/date_time.c (689:695) - source/date_time.c (731:737) duplicated block id: 199 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c (19:24) - verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c (18:23) duplicated block id: 200 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c (19:24) - verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c (23:28) duplicated block id: 201 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_hash_table_create/aws_hash_table_create_harness.c (15:21) - verification/cbmc/proofs/aws_hash_table_put/aws_hash_table_put_harness.c (18:25) duplicated block id: 202 size: 6 cleaned lines of code in 2 files: - source/string.c (294:300) - source/string.c (309:315) duplicated block id: 203 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c (29:34) - verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c (27:32) duplicated block id: 204 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c (15:22) - verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c (17:24) duplicated block id: 205 size: 6 cleaned lines of code in 2 files: - source/date_time.c (668:674) - source/date_time.c (689:695) duplicated block id: 206 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_write_be16/aws_byte_buf_write_be16_harness.c (15:22) - verification/cbmc/proofs/aws_byte_buf_write_be64/aws_byte_buf_write_be64_harness.c (15:22) duplicated block id: 207 size: 6 cleaned lines of code in 2 files: - source/string.c (355:361) - source/string.c (371:377) duplicated block id: 208 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_buf_write_be32/aws_byte_buf_write_be32_harness.c (15:22) - verification/cbmc/proofs/aws_byte_buf_write_u8/aws_byte_buf_write_u8_harness.c (15:22) duplicated block id: 209 size: 6 cleaned lines of code in 2 files: - verification/cbmc/stubs/memmove_override_havoc.c (27:36) - verification/cbmc/stubs/memmove_override_no_op.c (21:30) duplicated block id: 210 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_priority_queue_capacity/aws_priority_queue_capacity_harness.c (23:30) - verification/cbmc/proofs/aws_priority_queue_top/aws_priority_queue_top_harness.c (22:29) duplicated block id: 211 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c (17:24) - verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c (15:22) duplicated block id: 212 size: 6 cleaned lines of code in 2 files: - verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c (46:52) - verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c (40:46)