id: 1
unit: static void hashlittle2()
file: include/aws/common/private/lookup3.inl
start line: 499
end line: 680
size: 148 LOC
McCabe index: 60
number of parameters: 4

id: 2
unit: static uint32_t hashlittle()
file: include/aws/common/private/lookup3.inl
start line: 312
end line: 486
size: 142 LOC
McCabe index: 60
number of parameters: 3

id: 3
unit: static int s_parse_rfc_822()
file: source/date_time.c
start line: 435
end line: 568
size: 123 LOC
McCabe index: 43
number of parameters: 3

id: 4
unit: int aws_directory_traverse()
file: source/windows/file.c
start line: 213
end line: 375
size: 117 LOC
McCabe index: 16
number of parameters: 5

id: 5
unit: int aws_thread_launch()
file: source/posix/thread.c
start line: 207
end line: 356
size: 111 LOC
McCabe index: 25
number of parameters: 2

id: 6
unit: void aws_mem_tracer_dump()
file: source/memtrace.c
start line: 293
end line: 418
size: 110 LOC
McCabe index: 9
number of parameters: 1

id: 7
unit: static int s_parse_iso_8601()
file: source/date_time.c
start line: 315
end line: 433
size: 107 LOC
McCabe index: 37
number of parameters: 2

id: 8
unit: static uint32_t hashbig()
file: include/aws/common/private/lookup3.inl
start line: 690
end line: 818
size: 101 LOC
McCabe index: 44
number of parameters: 3

id: 9
unit: int aws_format_standard_log_line()
file: source/log_formatter.c
start line: 51
end line: 187
size: 94 LOC
McCabe index: 17
number of parameters: 2

id: 10
unit: static int s_parse_iso_8601_basic()
file: source/date_time.c
start line: 210
end line: 313
size: 92 LOC
McCabe index: 30
number of parameters: 2

id: 11
unit: int aws_thread_launch()
file: source/windows/thread.c
start line: 228
end line: 339
size: 91 LOC
McCabe index: 14
number of parameters: 2

id: 12
unit: int aws_ring_buffer_acquire_up_to()
file: source/ring_buffer.c
start line: 128
end line: 229
size: 80 LOC
McCabe index: 18
number of parameters: 4

id: 13
unit: void driver3()
file: include/aws/common/private/lookup3.inl
start line: 916
end line: 1004
size: 80 LOC
McCabe index: 8
number of parameters: 0

id: 14
unit: int aws_directory_traverse()
file: source/posix/file.c
start line: 124
end line: 220
size: 75 LOC
McCabe index: 20
number of parameters: 5

id: 15
unit: static void s_bus_async_init()
file: source/bus.c
start line: 586
end line: 674
size: 75 LOC
McCabe index: 9
number of parameters: 2

id: 16
unit: int aws_xml_node_traverse()
file: source/xml_parser.c
start line: 278
end line: 373
size: 73 LOC
McCabe index: 16
number of parameters: 4

id: 17
unit: static inline int s_aws_run_test_case()
file: include/aws/testing/aws_test_harness.h
start line: 378
end line: 456
size: 64 LOC
McCabe index: 13
number of parameters: 1

id: 18
unit: int s_advance_to_closing_tag()
file: source/xml_parser.c
start line: 189
end line: 268
size: 63 LOC
McCabe index: 9
number of parameters: 3

id: 19
unit: typedef BOOL __stdcall SymFromAddr_fn()
file: source/windows/system_info.c
start line: 79
end line: 150
size: 63 LOC
McCabe index: 8
number of parameters: 4

id: 20
unit: void driver2()
file: include/aws/common/private/lookup3.inl
start line: 846
end line: 913
size: 62 LOC
McCabe index: 15
number of parameters: 0

id: 21
unit: int aws_logger_init_standard()
file: source/logging.c
start line: 144
end line: 223
size: 61 LOC
McCabe index: 8
number of parameters: 3

id: 22
unit: static int s_aws_byte_buf_append_dynamic()
file: source/byte_buf.c
start line: 612
end line: 711
size: 60 LOC
McCabe index: 11
number of parameters: 3

id: 23
unit: int aws_cli_getopt_long()
file: source/command_line_parser.c
start line: 72
end line: 138
size: 56 LOC
McCabe index: 13
number of parameters: 5

id: 24
unit: int aws_date_time_init_from_str_cursor()
file: source/date_time.c
start line: 570
end line: 642
size: 56 LOC
McCabe index: 19
number of parameters: 3

id: 25
unit: void aws_common_library_init()
file: source/common.c
start line: 284
end line: 353
size: 53 LOC
McCabe index: 11
number of parameters: 1

id: 26
unit: static int s_default_aws_log_formatter_format()
file: source/log_formatter.c
start line: 193
end line: 268
size: 53 LOC
McCabe index: 6
number of parameters: 6

id: 27
unit: int aws_base64_decode()
file: source/encoding.c
start line: 351
end line: 413
size: 52 LOC
McCabe index: 17
number of parameters: 2

id: 28
unit: int aws_base64_encode()
file: source/encoding.c
start line: 268
end line: 338
size: 51 LOC
McCabe index: 10
number of parameters: 2

id: 29
unit: int aws_ring_buffer_acquire()
file: source/ring_buffer.c
start line: 64
end line: 126
size: 51 LOC
McCabe index: 9
number of parameters: 3

id: 30
unit: static int s_load_node_decl()
file: source/xml_parser.c
start line: 74
end line: 135
size: 49 LOC
McCabe index: 6
number of parameters: 3

id: 31
unit: static int s_find_entry1()
file: source/hash_table.c
start line: 330
end line: 395
size: 47 LOC
McCabe index: 7
number of parameters: 5

id: 32
unit: int aws_run_command()
file: source/process_common.c
start line: 42
end line: 94
size: 47 LOC
McCabe index: 10
number of parameters: 3

id: 33
unit: int aws_hash_table_create()
file: source/hash_table.c
start line: 510
end line: 572
size: 45 LOC
McCabe index: 8
number of parameters: 4

id: 34
unit: static void s_thread_fn()
file: source/thread_scheduler.c
start line: 58
end line: 118
size: 45 LOC
McCabe index: 11
number of parameters: 1

id: 35
unit: static int get_month_number_from_str()
file: source/date_time.c
start line: 65
end line: 125
size: 44 LOC
McCabe index: 14
number of parameters: 3

id: 36
unit: int aws_thread_join_all_managed()
file: source/thread_shared.c
start line: 67
end line: 142
size: 43 LOC
McCabe index: 8
number of parameters: 1

id: 37
unit: static void s_alloc_tracer_track()
file: source/memtrace.c
start line: 121
end line: 171
size: 43 LOC
McCabe index: 5
number of parameters: 3

id: 38
unit: int s_parse_symbol()
file: source/posix/system_info.c
start line: 251
end line: 303
size: 42 LOC
McCabe index: 14
number of parameters: 3

id: 39
unit: int aws_byte_cursor_compare_lookup()
file: source/byte_buf.c
start line: 859
end line: 908
size: 42 LOC
McCabe index: 11
number of parameters: 3

id: 40
unit: void aws_byte_buf_cat_harness()
file: verification/cbmc/proofs/aws_byte_buf_cat/aws_byte_buf_cat_harness.c
start line: 9
end line: 59
size: 42 LOC
McCabe index: 2
number of parameters: 0

id: 41
unit: void aws_ring_buffer_acquire_harness()
file: verification/cbmc/proofs/aws_ring_buffer_acquire/aws_ring_buffer_acquire_harness.c
start line: 11
end line: 61
size: 42 LOC
McCabe index: 6
number of parameters: 0

id: 42
unit: size_t aws_common_private_base64_decode_sse41()
file: source/arch/intel/encoding_avx2.c
start line: 195
end line: 247
size: 41 LOC
McCabe index: 10
number of parameters: 3

id: 43
unit: int aws_log_channel_init_background()
file: source/log_channel.c
start line: 185
end line: 242
size: 41 LOC
McCabe index: 7
number of parameters: 3

id: 44
unit: static int s_noalloc_stderr_logger_log()
file: source/logging.c
start line: 447
end line: 500
size: 41 LOC
McCabe index: 3
number of parameters: 5

id: 45
unit: int aws_array_list_copy()
file: source/array_list.c
start line: 60
end line: 106
size: 40 LOC
McCabe index: 7
number of parameters: 2

id: 46
unit: static int s_logcat_format()
file: source/android/logging.c
start line: 32
end line: 94
size: 40 LOC
McCabe index: 9
number of parameters: 2

id: 47
unit: int aws_array_list_ensure_capacity()
file: source/array_list.c
start line: 108
end line: 167
size: 39 LOC
McCabe index: 8
number of parameters: 2

id: 48
unit: int aws_priority_queue_push_ref()
file: source/priority_queue.c
start line: 273
end line: 327
size: 39 LOC
McCabe index: 10
number of parameters: 3

id: 49
unit: static void s_run_all()
file: source/task_scheduler.c
start line: 191
end line: 251
size: 39 LOC
McCabe index: 9
number of parameters: 3

id: 50
unit: def main()
file: verification/cbmc/proofs/scripts/move_proofs.py
start line: 0
end line: 0
size: 38 LOC
McCabe index: 14
number of parameters: 0

id: 51
unit: void aws_hash_table_print_stats()
file: source/hash_table.c
start line: 114
end line: 156
size: 37 LOC
McCabe index: 9
number of parameters: 1

id: 52
unit: int aws_hash_table_remove()
file: source/hash_table.c
start line: 653
end line: 696
size: 37 LOC
McCabe index: 8
number of parameters: 4

id: 53
unit: int aws_xml_parser_parse()
file: source/xml_parser.c
start line: 137
end line: 187
size: 37 LOC
McCabe index: 7
number of parameters: 3

id: 54
unit: void aws_byte_cursor_compare_lexical_harness()
file: verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c
start line: 9
end line: 54
size: 37 LOC
McCabe index: 6
number of parameters: 0

id: 55
unit: void aws_hash_table_remove_harness()
file: verification/cbmc/proofs/aws_hash_table_remove/aws_hash_table_remove_harness.c
start line: 11
end line: 53
size: 37 LOC
McCabe index: 11
number of parameters: 0

id: 56
unit: void aws_byte_buf_advance_harness()
file: verification/cbmc/proofs/aws_byte_buf_advance/aws_byte_buf_advance_harness.c
start line: 9
end line: 52
size: 37 LOC
McCabe index: 4
number of parameters: 0

id: 57
unit: void aws_priority_queue_s_swap_harness()
file: verification/cbmc/proofs/aws_priority_queue_s_swap/aws_priority_queue_s_swap_harness.c
start line: 11
end line: 68
size: 36 LOC
McCabe index: 4
number of parameters: 0

id: 58
unit: int aws_byte_buf_init_from_file()
file: source/file.c
start line: 25
end line: 70
size: 35 LOC
McCabe index: 6
number of parameters: 3

id: 59
unit: int aws_hex_decode()
file: source/encoding.c
start line: 166
end line: 210
size: 34 LOC
McCabe index: 8
number of parameters: 2

id: 60
unit: void aws_hash_iter_delete()
file: source/hash_table.c
start line: 861
end line: 919
size: 34 LOC
McCabe index: 6
number of parameters: 2

id: 61
unit: static bool s_sift_down()
file: source/priority_queue.c
start line: 50
end line: 94
size: 34 LOC
McCabe index: 6
number of parameters: 2

id: 62
unit: int s_node_next_sibling()
file: source/xml_parser.c
start line: 409
end line: 455
size: 34 LOC
McCabe index: 6
number of parameters: 1

id: 63
unit: void aws_ring_buffer_release_harness()
file: verification/cbmc/proofs/aws_ring_buffer_release/aws_ring_buffer_release_harness.c
start line: 11
end line: 53
size: 34 LOC
McCabe index: 6
number of parameters: 0

id: 64
unit: void aws_byte_cursor_eq_harness()
file: verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c
start line: 9
end line: 51
size: 34 LOC
McCabe index: 6
number of parameters: 0

id: 65
unit: bool aws_byte_cursor_next_split()
file: source/byte_buf.c
start line: 196
end line: 254
size: 33 LOC
McCabe index: 7
number of parameters: 3

id: 66
unit: void aws_byte_cursor_read_and_fill_buffer_harness()
file: verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/aws_byte_cursor_read_and_fill_buffer_harness.c
start line: 9
end line: 53
size: 33 LOC
McCabe index: 7
number of parameters: 0

id: 67
unit: void aws_byte_cursor_compare_lookup_harness()
file: verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c
start line: 9
end line: 54
size: 33 LOC
McCabe index: 5
number of parameters: 0

id: 68
unit: static void s_sba_free_to_bin()
file: source/allocator_sba.c
start line: 336
end line: 372
size: 32 LOC
McCabe index: 8
number of parameters: 2

id: 69
unit: int aws_directory_delete()
file: source/windows/file.c
start line: 117
end line: 158
size: 32 LOC
McCabe index: 9
number of parameters: 2

id: 70
unit: int aws_array_list_init_dynamic()
file: include/aws/common/array_list.inl
start line: 18
end line: 56
size: 32 LOC
McCabe index: 5
number of parameters: 4

id: 71
unit: void aws_priority_queue_s_remove_node_harness()
file: verification/cbmc/proofs/aws_priority_queue_s_remove_node/aws_priority_queue_s_remove_node_harness.c
start line: 11
end line: 63
size: 32 LOC
McCabe index: 8
number of parameters: 0

id: 72
unit: void aws_array_eq_harness()
file: verification/cbmc/proofs/aws_array_eq/aws_array_eq_harness.c
start line: 9
end line: 51
size: 32 LOC
McCabe index: 11
number of parameters: 0

id: 73
unit: void aws_hash_table_create_harness()
file: verification/cbmc/proofs/aws_hash_table_create/aws_hash_table_create_harness.c
start line: 11
end line: 46
size: 32 LOC
McCabe index: 7
number of parameters: 0

id: 74
unit: void aws_ring_buffer_acquire_up_to_harness()
file: verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/aws_ring_buffer_acquire_up_to_harness.c
start line: 11
end line: 51
size: 32 LOC
McCabe index: 5
number of parameters: 0

id: 75
unit: void aws_common_private_base64_encode_sse41()
file: source/arch/intel/encoding_avx2.c
start line: 335
end line: 384
size: 31 LOC
McCabe index: 7
number of parameters: 3

id: 76
unit: static void s_background_thread_writer()
file: source/log_channel.c
start line: 130
end line: 183
size: 31 LOC
McCabe index: 5
number of parameters: 1

id: 77
unit: void aws_task_scheduler_schedule_future()
file: source/task_scheduler.c
start line: 146
end line: 183
size: 31 LOC
McCabe index: 4
number of parameters: 3

id: 78
unit: int aws_hash_table_remove()
file: verification/cbmc/stubs/aws_hash_table_no_slots_override.c
start line: 119
end line: 170
size: 31 LOC
McCabe index: 2
number of parameters: 4

id: 79
unit: void aws_byte_cursor_eq_ignore_case_harness()
file: verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c
start line: 9
end line: 48
size: 31 LOC
McCabe index: 6
number of parameters: 0

id: 80
unit: void aws_get_cpu_ids_for_group()
file: source/posix/system_info.c
start line: 67
end line: 109
size: 30 LOC
McCabe index: 11
number of parameters: 3

id: 81
unit: static void s_alloc_tracer_init()
file: source/memtrace.c
start line: 85
end line: 119
size: 30 LOC
McCabe index: 7
number of parameters: 4

id: 82
unit: static int s_collect_stack_trace()
file: source/memtrace.c
start line: 201
end line: 233
size: 30 LOC
McCabe index: 5
number of parameters: 2

id: 83
unit: AWS_STATIC_IMPL enum aws_text_encoding aws_text_detect_encoding()
file: include/aws/common/encoding.inl
start line: 103
end line: 133
size: 30 LOC
McCabe index: 11
number of parameters: 2

id: 84
unit: void aws_byte_buf_eq_harness()
file: verification/cbmc/proofs/aws_byte_buf_eq/aws_byte_buf_eq_harness.c
start line: 9
end line: 47
size: 30 LOC
McCabe index: 4
number of parameters: 0

id: 85
unit: void aws_hash_table_put_harness()
file: verification/cbmc/proofs/aws_hash_table_put/aws_hash_table_put_harness.c
start line: 12
end line: 44
size: 30 LOC
McCabe index: 7
number of parameters: 0

id: 86
unit: void aws_priority_queue_remove_harness()
file: verification/cbmc/proofs/aws_priority_queue_remove/aws_priority_queue_remove_harness.c
start line: 9
end line: 55
size: 30 LOC
McCabe index: 9
number of parameters: 0

id: 87
unit: int aws_hash_table_init()
file: source/hash_table.c
start line: 213
end line: 245
size: 29 LOC
McCabe index: 3
number of parameters: 7

id: 88
unit: static int s_find_entry1()
file: source/hash_table.c
start line: 294
end line: 328
size: 29 LOC
McCabe index: 6
number of parameters: 5

id: 89
unit: static inline __m256i encode_stride()
file: source/arch/intel/encoding_avx2.c
start line: 271
end line: 333
size: 29 LOC
McCabe index: 1
number of parameters: 1

id: 90
unit: int aws_string_compare()
file: source/string.c
start line: 243
end line: 273
size: 29 LOC
McCabe index: 10
number of parameters: 2

id: 91
unit: void aws_thread_scheduler_cancel_task()
file: source/thread_scheduler.c
start line: 188
end line: 225
size: 29 LOC
McCabe index: 9
number of parameters: 2

id: 92
unit: static int s_sba_init()
file: source/allocator_sba.c
start line: 148
end line: 180
size: 29 LOC
McCabe index: 9
number of parameters: 3

id: 93
unit: static int s_aws_file_writer_init_internal()
file: source/log_writer.c
start line: 54
end line: 91
size: 29 LOC
McCabe index: 5
number of parameters: 4

id: 94
unit: static void hashword2()
file: include/aws/common/private/lookup3.inl
start line: 247
end line: 282
size: 29 LOC
McCabe index: 6
number of parameters: 4

id: 95
unit: void aws_byte_cursor_advance_nospec_harness()
file: verification/cbmc/proofs/aws_byte_cursor_advance_nospec/aws_byte_cursor_advance_nospec_harness.c
start line: 9
end line: 46
size: 29 LOC
McCabe index: 6
number of parameters: 0

id: 96
unit: void aws_byte_buf_write_from_whole_cursor_harness()
file: verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/aws_byte_buf_write_from_whole_cursor_harness.c
start line: 9
end line: 45
size: 29 LOC
McCabe index: 4
number of parameters: 0

id: 97
unit: void aws_array_eq_ignore_case_harness()
file: verification/cbmc/proofs/aws_array_eq_ignore_case/aws_array_eq_ignore_case_harness.c
start line: 9
end line: 47
size: 29 LOC
McCabe index: 8
number of parameters: 0

id: 98
unit: void aws_byte_buf_write_from_whole_buffer_harness()
file: verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/aws_byte_buf_write_from_whole_buffer_harness.c
start line: 9
end line: 45
size: 29 LOC
McCabe index: 4
number of parameters: 0

id: 99
unit: void aws_byte_cursor_advance_harness()
file: verification/cbmc/proofs/aws_byte_cursor_advance/aws_byte_cursor_advance_harness.c
start line: 9
end line: 46
size: 29 LOC
McCabe index: 6
number of parameters: 0

id: 100
unit: int aws_array_list_shrink_to_fit()
file: source/array_list.c
start line: 27
end line: 58
size: 28 LOC
McCabe index: 6
number of parameters: 1

id: 101
unit: static inline __m256i pack_vec()
file: source/arch/intel/encoding_avx2.c
start line: 87
end line: 160
size: 28 LOC
McCabe index: 1
number of parameters: 1

id: 102
unit: int aws_uuid_init_from_str()
file: source/uuid.c
start line: 36
end line: 67
size: 28 LOC
McCabe index: 2
number of parameters: 2

id: 103
unit: int aws_byte_cursor_find_exact()
file: source/byte_buf.c
start line: 296
end line: 332
size: 28 LOC
McCabe index: 7
number of parameters: 3

id: 104
unit: static void s_bus_async_deliver()
file: source/bus.c
start line: 441
end line: 482
size: 28 LOC
McCabe index: 5
number of parameters: 1

id: 105
unit: int s_bus_async_subscribe()
file: source/bus.c
start line: 512
end line: 544
size: 28 LOC
McCabe index: 3
number of parameters: 4

id: 106
unit: void aws_byte_cursor_eq_byte_buf_harness()
file: verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/aws_byte_cursor_eq_byte_buf_harness.c
start line: 9
end line: 45
size: 28 LOC
McCabe index: 4
number of parameters: 0

id: 107
unit: int s_parse_symbol()
file: source/posix/system_info.c
start line: 207
end line: 245
size: 27 LOC
McCabe index: 4
number of parameters: 3

id: 108
unit: void s_bus_async_unsubscribe()
file: source/bus.c
start line: 546
end line: 577
size: 27 LOC
McCabe index: 3
number of parameters: 4

id: 109
unit: bool aws_task_scheduler_has_tasks()
file: source/task_scheduler.c
start line: 93
end line: 125
size: 27 LOC
McCabe index: 6
number of parameters: 2

id: 110
unit: static DWORD WINAPI thread_wrapper_fn()
file: source/windows/thread.c
start line: 68
end line: 114
size: 27 LOC
McCabe index: 4
number of parameters: 1

id: 111
unit: static void s_get_group_and_cpu_id()
file: source/windows/thread.c
start line: 173
end line: 205
size: 27 LOC
McCabe index: 5
number of parameters: 3

id: 112
unit: static uint32_t hashword()
file: include/aws/common/private/lookup3.inl
start line: 203
end line: 236
size: 27 LOC
McCabe index: 6
number of parameters: 3

id: 113
unit: AWS_STATIC_IMPL void aws_linked_list_swap_contents()
file: include/aws/common/linked_list.inl
start line: 343
end line: 374
size: 27 LOC
McCabe index: 3
number of parameters: 2

id: 114
unit: void aws_priority_queue_pop_harness()
file: verification/cbmc/proofs/aws_priority_queue_pop/aws_priority_queue_pop_harness.c
start line: 9
end line: 52
size: 27 LOC
McCabe index: 7
number of parameters: 0

id: 115
unit: void aws_byte_buf_eq_ignore_case_harness()
file: verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/aws_byte_buf_eq_ignore_case_harness.c
start line: 9
end line: 44
size: 27 LOC
McCabe index: 4
number of parameters: 0

id: 116
unit: void aws_hash_table_swap_harness()
file: verification/cbmc/proofs/aws_hash_table_swap/aws_hash_table_swap_harness.c
start line: 12
end line: 42
size: 27 LOC
McCabe index: 5
number of parameters: 0

id: 117
unit: void aws_byte_cursor_eq_c_str_harness()
file: verification/cbmc/proofs/aws_byte_cursor_eq_c_str/aws_byte_cursor_eq_c_str_harness.c
start line: 9
end line: 44
size: 27 LOC
McCabe index: 5
number of parameters: 0

id: 118
unit: void aws_byte_cursor_read_harness()
file: verification/cbmc/proofs/aws_byte_cursor_read/aws_byte_cursor_read_harness.c
start line: 9
end line: 49
size: 27 LOC
McCabe index: 7
number of parameters: 0

id: 119
unit: void aws_byte_cursor_read_common_harness()
file: verification/cbmc/include/proof_helpers/aws_byte_cursor_read_common.h
start line: 9
end line: 47
size: 27 LOC
McCabe index: 3
number of parameters: 0

id: 120
unit: bool aws_hash_table_eq()
file: source/hash_table.c
start line: 737
end line: 774
size: 26 LOC
McCabe index: 10
number of parameters: 3

id: 121
unit: void aws_register_error_info()
file: source/error.c
start line: 127
end line: 164
size: 26 LOC
McCabe index: 6
number of parameters: 1

id: 122
unit: static void s_swap()
file: source/priority_queue.c
start line: 14
end line: 46
size: 26 LOC
McCabe index: 4
number of parameters: 3

id: 123
unit: static int s_remove_node()
file: source/priority_queue.c
start line: 329
end line: 361
size: 26 LOC
McCabe index: 7
number of parameters: 3

id: 124
unit: int aws_mem_realloc()
file: source/allocator.c
start line: 217
end line: 253
size: 26 LOC
McCabe index: 5
number of parameters: 4

id: 125
unit: static void s_bus_unsubscribe()
file: source/bus.c
start line: 149
end line: 178
size: 26 LOC
McCabe index: 6
number of parameters: 5

id: 126
unit: void aws_array_eq_c_str_harness()
file: verification/cbmc/proofs/aws_array_eq_c_str/aws_array_eq_c_str_harness.c
start line: 9
end line: 44
size: 26 LOC
McCabe index: 7
number of parameters: 0

id: 127
unit: void aws_array_list_swap_contents_harness()
file: verification/cbmc/proofs/aws_array_list_swap_contents/aws_array_list_swap_contents_harness.c
start line: 12
end line: 50
size: 26 LOC
McCabe index: 1
number of parameters: 0

id: 128
unit: void aws_byte_buf_write_from_whole_string_harness()
file: verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/aws_byte_buf_write_from_whole_string_harness.c
start line: 11
end line: 42
size: 26 LOC
McCabe index: 7
number of parameters: 0

id: 129
unit: int aws_base64_compute_decoded_len()
file: source/encoding.c
start line: 234
end line: 266
size: 25 LOC
McCabe index: 8
number of parameters: 2

id: 130
unit: void aws_backtrace_print()
file: source/posix/system_info.c
start line: 366
end line: 393
size: 25 LOC
McCabe index: 5
number of parameters: 2

id: 131
unit: int aws_byte_buf_init_cache_and_update_cursors()
file: source/byte_buf.c
start line: 162
end line: 194
size: 25 LOC
McCabe index: 5
number of parameters: 3

id: 132
unit: void aws_byte_cursor_eq_byte_buf_ignore_case_harness()
file: verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/aws_byte_cursor_eq_byte_buf_ignore_case_harness.c
start line: 9
end line: 42
size: 25 LOC
McCabe index: 4
number of parameters: 0

id: 133
unit: void aws_byte_buf_init_copy_harness()
file: verification/cbmc/proofs/aws_byte_buf_init_copy/aws_byte_buf_init_copy_harness.c
start line: 9
end line: 43
size: 25 LOC
McCabe index: 3
number of parameters: 0

id: 134
unit: void aws_byte_buf_append_with_lookup_harness()
file: verification/cbmc/proofs/aws_byte_buf_append_with_lookup/aws_byte_buf_append_with_lookup_harness.c
start line: 9
end line: 45
size: 25 LOC
McCabe index: 2
number of parameters: 0

id: 135
unit: void aws_byte_buf_eq_c_str_harness()
file: verification/cbmc/proofs/aws_byte_buf_eq_c_str/aws_byte_buf_eq_c_str_harness.c
start line: 9
end line: 42
size: 25 LOC
McCabe index: 4
number of parameters: 0

id: 136
unit: static int s_expand_table()
file: source/hash_table.c
start line: 478
end line: 508
size: 24 LOC
McCabe index: 6
number of parameters: 1

id: 137
unit: static int s_logcat_log()
file: source/android/logging.c
start line: 98
end line: 129
size: 24 LOC
McCabe index: 2
number of parameters: 5

id: 138
unit: bool aws_is_debugger_present()
file: source/posix/system_info.c
start line: 111
end line: 142
size: 24 LOC
McCabe index: 7
number of parameters: 1

id: 139
unit: int aws_uuid_to_str()
file: source/uuid.c
start line: 69
end line: 95
size: 24 LOC
McCabe index: 1
number of parameters: 2

id: 140
unit: void aws_byte_buf_append_harness()
file: verification/cbmc/proofs/aws_byte_buf_append/aws_byte_buf_append_harness.c
start line: 9
end line: 40
size: 24 LOC
McCabe index: 2
number of parameters: 0

id: 141
unit: void aws_byte_cursor_eq_c_str_ignore_case_harness()
file: verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/aws_byte_cursor_eq_c_str_ignore_case_harness.c
start line: 9
end line: 41
size: 24 LOC
McCabe index: 5
number of parameters: 0

id: 142
unit: void aws_linked_list_swap_contents_harness()
file: verification/cbmc/proofs/aws_linked_list_swap_contents/aws_linked_list_swap_contents_harness.c
start line: 9
end line: 45
size: 24 LOC
McCabe index: 3
number of parameters: 0

id: 143
unit: void aws_priority_queue_init_dynamic_harness()
file: verification/cbmc/proofs/aws_priority_queue_init_dynamic/aws_priority_queue_init_dynamic_harness.c
start line: 12
end line: 46
size: 24 LOC
McCabe index: 6
number of parameters: 0

id: 144
unit: bool aws_hash_iter_is_valid()
file: source/hash_table.c
start line: 1058
end line: 1086
size: 23 LOC
McCabe index: 10
number of parameters: 1

id: 145
unit: int aws_translate_and_raise_io_error()
file: source/error.c
start line: 184
end line: 206
size: 23 LOC
McCabe index: 11
number of parameters: 1

id: 146
unit: static int s_aws_logger_pipeline_log()
file: source/logging.c
start line: 88
end line: 119
size: 23 LOC
McCabe index: 4
number of parameters: 5

id: 147
unit: static bool s_sift_up()
file: source/priority_queue.c
start line: 97
end line: 128
size: 23 LOC
McCabe index: 5
number of parameters: 2

id: 148
unit: size_t aws_small_block_allocator_bytes_active()
file: source/allocator_sba.c
start line: 245
end line: 269
size: 23 LOC
McCabe index: 6
number of parameters: 1

id: 149
unit: int aws_linked_hash_table_put()
file: source/linked_hash_table.c
start line: 79
end line: 109
size: 23 LOC
McCabe index: 4
number of parameters: 3

id: 150
unit: int aws_byte_cursor_split_on_char_n()
file: source/byte_buf.c
start line: 256
end line: 286
size: 23 LOC
McCabe index: 6
number of parameters: 4

id: 151
unit: int aws_byte_buf_append_with_lookup()
file: source/byte_buf.c
start line: 584
end line: 610
size: 23 LOC
McCabe index: 4
number of parameters: 3

id: 152
unit: static int s_read_unsigned()
file: source/byte_buf.c
start line: 1637
end line: 1666
size: 23 LOC
McCabe index: 6
number of parameters: 3

id: 153
unit: static void s_bus_async_clean_up()
file: source/bus.c
start line: 394
end line: 425
size: 23 LOC
McCabe index: 3
number of parameters: 1

id: 154
unit: static bool is_utc_time_zone()
file: source/date_time.c
start line: 128
end line: 159
size: 23 LOC
McCabe index: 11
number of parameters: 1

id: 155
unit: bool aws_hash_iter_is_valid()
file: verification/cbmc/stubs/aws_hash_table_no_slots_override.c
start line: 29
end line: 57
size: 23 LOC
McCabe index: 8
number of parameters: 1

id: 156
unit: void aws_ring_buffer_buf_belongs_to_pool_harness()
file: verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/aws_ring_buffer_buf_belongs_to_pool_harness.c
start line: 10
end line: 40
size: 23 LOC
McCabe index: 2
number of parameters: 0

id: 157
unit: void aws_hash_table_find_harness()
file: verification/cbmc/proofs/aws_hash_table_find/aws_hash_table_find_harness.c
start line: 11
end line: 39
size: 23 LOC
McCabe index: 3
number of parameters: 0

id: 158
unit: void aws_hash_table_eq_harness()
file: verification/cbmc/proofs/aws_hash_table_eq/aws_hash_table_eq_harness.c
start line: 11
end line: 38
size: 23 LOC
McCabe index: 1
number of parameters: 0

id: 159
unit: int aws_hash_table_put()
file: source/hash_table.c
start line: 575
end line: 607
size: 22 LOC
McCabe index: 7
number of parameters: 4

id: 160
unit: static size_t s_remove_entry()
file: source/hash_table.c
start line: 613
end line: 651
size: 22 LOC
McCabe index: 6
number of parameters: 2

id: 161
unit: int aws_hash_table_foreach()
file: source/hash_table.c
start line: 710
end line: 735
size: 22 LOC
McCabe index: 6
number of parameters: 2

id: 162
unit: void aws_register_log_subject_info_list()
file: source/logging.c
start line: 371
end line: 403
size: 22 LOC
McCabe index: 4
number of parameters: 1

id: 163
unit: int aws_logger_init_noalloc()
file: source/logging.c
start line: 533
end line: 561
size: 22 LOC
McCabe index: 3
number of parameters: 3

id: 164
unit: int aws_condition_variable_wait_for()
file: source/posix/condition_variable.c
start line: 83
end line: 111
size: 22 LOC
McCabe index: 5
number of parameters: 3

id: 165
unit: bool aws_priority_queue_backpointers_valid()
file: source/priority_queue.c
start line: 212
end line: 244
size: 22 LOC
McCabe index: 12
number of parameters: 1

id: 166
unit: int aws_get_environment_value()
file: source/windows/environment.c
start line: 11
end line: 38
size: 22 LOC
McCabe index: 3
number of parameters: 3

id: 167
unit: int aws_directory_or_file_move()
file: source/windows/file.c
start line: 184
end line: 211
size: 22 LOC
McCabe index: 4
number of parameters: 2

id: 168
unit: int aws_array_list_push_front()
file: include/aws/common/array_list.inl
start line: 165
end line: 188
size: 22 LOC
McCabe index: 7
number of parameters: 2

id: 169
unit: int aws_array_list_erase()
file: include/aws/common/array_list.inl
start line: 225
end line: 254
size: 22 LOC
McCabe index: 4
number of parameters: 2

id: 170
unit: int __CPROVER_file_local_hash_table_c_s_expand_table()
file: verification/cbmc/stubs/s_expand_table_override.c
start line: 12
end line: 41
size: 22 LOC
McCabe index: 3
number of parameters: 1

id: 171
unit: void aws_byte_buf_eq_c_str_ignore_case_harness()
file: verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/aws_byte_buf_eq_c_str_ignore_case_harness.c
start line: 9
end line: 39
size: 22 LOC
McCabe index: 4
number of parameters: 0

id: 172
unit: void aws_array_eq_c_str_ignore_case_harness()
file: verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/aws_array_eq_c_str_ignore_case_harness.c
start line: 9
end line: 39
size: 22 LOC
McCabe index: 7
number of parameters: 0

id: 173
unit: void aws_byte_buf_write_harness()
file: verification/cbmc/proofs/aws_byte_buf_write/aws_byte_buf_write_harness.c
start line: 9
end line: 37
size: 22 LOC
McCabe index: 4
number of parameters: 0

id: 174
unit: void aws_array_list_set_at_harness()
file: verification/cbmc/proofs/aws_array_list_set_at/aws_array_list_set_at_harness.c
start line: 12
end line: 43
size: 22 LOC
McCabe index: 4
number of parameters: 0

id: 175
unit: void aws_string_destroy_secure_harness()
file: verification/cbmc/proofs/aws_string_destroy_secure/aws_string_destroy_secure_harness.c
start line: 9
end line: 39
size: 22 LOC
McCabe index: 4
number of parameters: 0

id: 176
unit: void aws_hash_table_clean_up_harness()
file: verification/cbmc/proofs/aws_hash_table_clean_up/aws_hash_table_clean_up_harness.c
start line: 11
end line: 37
size: 22 LOC
McCabe index: 1
number of parameters: 0

id: 177
unit: void aws_add_size_checked_harness()
file: verification/cbmc/proofs/aws_add_size_checked/aws_add_size_checked_harness.c
start line: 15
end line: 36
size: 22 LOC
McCabe index: 6
number of parameters: 0

id: 178
unit: void aws_hash_table_clear()
file: source/hash_table.c
start line: 921
end line: 946
size: 21 LOC
McCabe index: 7
number of parameters: 1

id: 179
unit: int aws_logger_init_from_external()
file: source/logging.c
start line: 242
end line: 267
size: 21 LOC
McCabe index: 2
number of parameters: 6

id: 180
unit: CFAllocatorRef aws_wrapped_cf_allocator_new()
file: source/allocator.c
start line: 312
end line: 338
size: 21 LOC
McCabe index: 3
number of parameters: 1

id: 181
unit: static void s_sba_clean_up()
file: source/allocator_sba.c
start line: 182
end line: 204
size: 21 LOC
McCabe index: 6
number of parameters: 1

id: 182
unit: int aws_byte_buf_init_copy()
file: source/byte_buf.c
start line: 34
end line: 56
size: 21 LOC
McCabe index: 3
number of parameters: 3

id: 183
unit: int aws_byte_buf_init_copy_from_cursor()
file: source/byte_buf.c
start line: 137
end line: 160
size: 21 LOC
McCabe index: 5
number of parameters: 3

id: 184
unit: bool aws_array_eq_ignore_case()
file: source/byte_buf.c
start line: 394
end line: 417
size: 21 LOC
McCabe index: 7
number of parameters: 4

id: 185
unit: uint64_t aws_hash_array_ignore_case()
file: source/byte_buf.c
start line: 492
end line: 515
size: 21 LOC
McCabe index: 4
number of parameters: 2

id: 186
unit: int aws_byte_buf_reserve()
file: source/byte_buf.c
start line: 745
end line: 768
size: 21 LOC
McCabe index: 7
number of parameters: 2

id: 187
unit: int aws_directory_create()
file: source/windows/file.c
start line: 58
end line: 84
size: 21 LOC
McCabe index: 5
number of parameters: 1

id: 188
unit: AWS_STATIC_IMPL int aws_round_up_to_power_of_two()
file: include/aws/common/math.inl
start line: 168
end line: 189
size: 21 LOC
McCabe index: 3
number of parameters: 2

id: 189
unit: AWS_STATIC_IMPL void aws_linked_list_swap_nodes()
file: include/aws/common/linked_list.inl
start line: 210
end line: 236
size: 21 LOC
McCabe index: 2
number of parameters: 2

id: 190
unit: void aws_mul_size_checked_harness()
file: verification/cbmc/proofs/aws_mul_size_checked/aws_mul_size_checked_harness.c
start line: 15
end line: 43
size: 21 LOC
McCabe index: 6
number of parameters: 0

id: 191
unit: void aws_byte_buf_append_dynamic_harness()
file: verification/cbmc/proofs/aws_byte_buf_append_dynamic/aws_byte_buf_append_dynamic_harness.c
start line: 9
end line: 37
size: 21 LOC
McCabe index: 2
number of parameters: 0

id: 192
unit: void aws_mul_size_saturating_harness()
file: verification/cbmc/proofs/aws_mul_size_saturating/aws_mul_size_saturating_harness.c
start line: 15
end line: 43
size: 21 LOC
McCabe index: 10
number of parameters: 0

id: 193
unit: void aws_array_list_init_static_harness()
file: verification/cbmc/proofs/aws_array_list_init_static/aws_array_list_init_static_harness.c
start line: 12
end line: 43
size: 21 LOC
McCabe index: 3
number of parameters: 0

id: 194
unit: void aws_add_size_saturating_harness()
file: verification/cbmc/proofs/aws_add_size_saturating/aws_add_size_saturating_harness.c
start line: 15
end line: 35
size: 21 LOC
McCabe index: 6
number of parameters: 0

id: 195
unit: int aws_hex_encode_append_dynamic()
file: source/encoding.c
start line: 107
end line: 132
size: 20 LOC
McCabe index: 4
number of parameters: 2

id: 196
unit: static inline void s_get_next_element()
file: source/hash_table.c
start line: 785
end line: 806
size: 20 LOC
McCabe index: 3
number of parameters: 2

id: 197
unit: void aws_run_cpuid()
file: source/arch/intel/asm/cpuid.c
start line: 8
end line: 29
size: 20 LOC
McCabe index: 2
number of parameters: 3

id: 198
unit: int aws_priority_queue_init_dynamic()
file: source/priority_queue.c
start line: 145
end line: 167
size: 20 LOC
McCabe index: 2
number of parameters: 5

id: 199
unit: int aws_byte_cursor_compare_lexical()
file: source/byte_buf.c
start line: 833
end line: 857
size: 20 LOC
McCabe index: 5
number of parameters: 2

id: 200
unit: struct aws_byte_cursor aws_byte_cursor_advance_nospec()
file: source/byte_buf.c
start line: 1081
end line: 1114
size: 20 LOC
McCabe index: 5
number of parameters: 2

id: 201
unit: bool aws_byte_buf_advance()
file: source/byte_buf.c
start line: 1379
end line: 1398
size: 20 LOC
McCabe index: 3
number of parameters: 3

id: 202
unit: int s_bus_async_send()
file: source/bus.c
start line: 484
end line: 510
size: 20 LOC
McCabe index: 2
number of parameters: 4

id: 203
unit: int aws_file_get_length()
file: source/windows/file.c
start line: 457
end line: 481
size: 20 LOC
McCabe index: 5
number of parameters: 2

id: 204
unit: void driver5()
file: include/aws/common/private/lookup3.inl
start line: 1023
end line: 1042
size: 20 LOC
McCabe index: 1
number of parameters: 0

id: 205
unit: AWS_STATIC_IMPL void aws_linked_list_move_all_back()
file: include/aws/common/linked_list.inl
start line: 376
end line: 403
size: 20 LOC
McCabe index: 2
number of parameters: 2

id: 206
unit: AWS_STATIC_IMPL void aws_linked_list_move_all_front()
file: include/aws/common/linked_list.inl
start line: 405
end line: 432
size: 20 LOC
McCabe index: 2
number of parameters: 2

id: 207
unit: int aws_array_list_set_at()
file: include/aws/common/array_list.inl
start line: 374
end line: 402
size: 20 LOC
McCabe index: 5
number of parameters: 3

id: 208
unit: void aws_array_list_erase_harness()
file: verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c
start line: 9
end line: 35
size: 20 LOC
McCabe index: 2
number of parameters: 0

id: 209
unit: void aws_byte_cursor_read_u8_harness()
file: verification/cbmc/proofs/aws_byte_cursor_read_u8/aws_byte_cursor_read_u8_harness.c
start line: 9
end line: 42
size: 20 LOC
McCabe index: 4
number of parameters: 0

id: 210
unit: void aws_array_list_pop_front_n_harness()
file: verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c
start line: 12
end line: 40
size: 20 LOC
McCabe index: 3
number of parameters: 0

id: 211
unit: int aws_hex_encode()
file: source/encoding.c
start line: 80
end line: 105
size: 19 LOC
McCabe index: 4
number of parameters: 2

id: 212
unit: void aws_backtrace_print()
file: source/windows/system_info.c
start line: 238
end line: 258
size: 19 LOC
McCabe index: 4
number of parameters: 2

id: 213
unit: static inline void aws_atomic_priv_check_order()
file: include/aws/common/atomics_msvc.inl
start line: 70
end line: 88
size: 19 LOC
McCabe index: 6
number of parameters: 1

id: 214
unit: bool aws_is_mem_zeroed()
file: include/aws/common/zero.inl
start line: 19
end line: 45
size: 19 LOC
McCabe index: 5
number of parameters: 2

id: 215
unit: void aws_array_list_pop_front_n()
file: include/aws/common/array_list.inl
start line: 204
end line: 223
size: 19 LOC
McCabe index: 3
number of parameters: 2

id: 216
unit: void aws_array_list_swap()
file: verification/cbmc/stubs/aws_array_list_swap_override.c
start line: 20
end line: 44
size: 19 LOC
McCabe index: 3
number of parameters: 3

id: 217
unit: void aws_byte_buf_init_copy_from_cursor_harness()
file: verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/aws_byte_buf_init_copy_from_cursor_harness.c
start line: 9
end line: 35
size: 19 LOC
McCabe index: 3
number of parameters: 0

id: 218
unit: void aws_array_list_copy_harness()
file: verification/cbmc/proofs/aws_array_list_copy/aws_array_list_copy_harness.c
start line: 12
end line: 40
size: 19 LOC
McCabe index: 2
number of parameters: 0

id: 219
unit: void aws_array_list_ensure_capacity_harness()
file: verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c
start line: 12
end line: 39
size: 19 LOC
McCabe index: 2
number of parameters: 0

id: 220
unit: void aws_array_list_pop_front_harness()
file: verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c
start line: 12
end line: 38
size: 19 LOC
McCabe index: 2
number of parameters: 0

id: 221
unit: void aws_array_list_pop_back_harness()
file: verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c
start line: 12
end line: 38
size: 19 LOC
McCabe index: 2
number of parameters: 0

id: 222
unit: void aws_array_list_get_at_harness()
file: verification/cbmc/proofs/aws_array_list_get_at/aws_array_list_get_at_harness.c
start line: 12
end line: 44
size: 19 LOC
McCabe index: 3
number of parameters: 0

id: 223
unit: void aws_array_list_shrink_to_fit_harness()
file: verification/cbmc/proofs/aws_array_list_shrink_to_fit/aws_array_list_shrink_to_fit_harness.c
start line: 11
end line: 39
size: 19 LOC
McCabe index: 5
number of parameters: 0

id: 224
unit: void aws_array_list_front_harness()
file: verification/cbmc/proofs/aws_array_list_front/aws_array_list_front_harness.c
start line: 12
end line: 42
size: 19 LOC
McCabe index: 3
number of parameters: 0

id: 225
unit: void aws_array_list_push_back_harness()
file: verification/cbmc/proofs/aws_array_list_push_back/aws_array_list_push_back_harness.c
start line: 12
end line: 40
size: 19 LOC
McCabe index: 3
number of parameters: 0

id: 226
unit: void aws_string_compare_harness()
file: verification/cbmc/proofs/aws_string_compare/aws_string_compare_harness.c
start line: 10
end line: 28
size: 19 LOC
McCabe index: 11
number of parameters: 0

id: 227
unit: void aws_round_up_to_power_of_two_harness()
file: verification/cbmc/proofs/aws_round_up_to_power_of_two/aws_round_up_to_power_of_two_harness.c
start line: 8
end line: 28
size: 19 LOC
McCabe index: 2
number of parameters: 0

id: 228
unit: void aws_array_list_get_at_ptr_harness()
file: verification/cbmc/proofs/aws_array_list_get_at_ptr/aws_array_list_get_at_ptr_harness.c
start line: 12
end line: 44
size: 19 LOC
McCabe index: 2
number of parameters: 0

id: 229
unit: void aws_array_list_push_front_harness()
file: verification/cbmc/proofs/aws_array_list_push_front/aws_array_list_push_front_harness.c
start line: 12
end line: 45
size: 19 LOC
McCabe index: 5
number of parameters: 0

id: 230
unit: static void aws_array_list_mem_swap()
file: source/array_list.c
start line: 169
end line: 190
size: 18 LOC
McCabe index: 2
number of parameters: 3

id: 231
unit: int aws_log_channel_init_foreground()
file: source/log_channel.c
start line: 57
end line: 77
size: 18 LOC
McCabe index: 3
number of parameters: 3

id: 232
unit: int aws_thread_id_t_to_string()
file: source/logging.c
start line: 319
end line: 336
size: 18 LOC
McCabe index: 5
number of parameters: 3

id: 233
unit: static int s_parse_and_raise_error()
file: source/posix/file.c
start line: 19
end line: 41
size: 18 LOC
McCabe index: 8
number of parameters: 1

id: 234
unit: int aws_directory_delete()
file: source/posix/file.c
start line: 83
end line: 106
size: 18 LOC
McCabe index: 7
number of parameters: 2

id: 235
unit: int aws_thread_join()
file: source/posix/thread.c
start line: 366
end line: 386
size: 18 LOC
McCabe index: 6
number of parameters: 1

id: 236
unit: int aws_linked_hash_table_init()
file: source/linked_hash_table.c
start line: 18
end line: 37
size: 18 LOC
McCabe index: 1
number of parameters: 7

id: 237
unit: bool aws_array_eq_c_str_ignore_case()
file: source/byte_buf.c
start line: 436
end line: 462
size: 18 LOC
McCabe index: 6
number of parameters: 3

id: 238
unit: bool aws_array_eq_c_str()
file: source/byte_buf.c
start line: 464
end line: 490
size: 18 LOC
McCabe index: 5
number of parameters: 3

id: 239
unit: int aws_byte_buf_append()
file: source/byte_buf.c
start line: 561
end line: 582
size: 18 LOC
McCabe index: 3
number of parameters: 2

id: 240
unit: static void s_bus_async_deliver_messages()
file: source/bus.c
start line: 373
end line: 392
size: 18 LOC
McCabe index: 3
number of parameters: 2

id: 241
unit: int aws_cli_dispatch_on_subcommand()
file: source/command_line_parser.c
start line: 140
end line: 160
size: 18 LOC
McCabe index: 5
number of parameters: 5

id: 242
unit: int aws_file_delete()
file: source/windows/file.c
start line: 160
end line: 182
size: 18 LOC
McCabe index: 4
number of parameters: 1

id: 243
unit: static void s_check_init_str_to_int()
file: source/date_time.c
start line: 45
end line: 62
size: 18 LOC
McCabe index: 2
number of parameters: 1

id: 244
unit: static int s_cunit_failure_message0()
file: include/aws/testing/aws_test_harness.h
start line: 37
end line: 58
size: 18 LOC
McCabe index: 2
number of parameters: 6

id: 245
unit: static inline int aws_private_convert_and_raise_error_code()
file: include/aws/common/posix/common.inl
start line: 15
end line: 32
size: 18 LOC
McCabe index: 7
number of parameters: 1

id: 246
unit: void aws_hash_iter_next()
file: verification/cbmc/stubs/aws_hash_iter_overrides.c
start line: 59
end line: 79
size: 18 LOC
McCabe index: 4
number of parameters: 1

id: 247
unit: bool aws_byte_cursor_read_be16()
file: verification/cbmc/stubs/aws_byte_cursor_read_be16_override.c
start line: 25
end line: 47
size: 18 LOC
McCabe index: 5
number of parameters: 2

id: 248
unit: void ensure_ring_buffer_has_allocated_members()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 27
end line: 45
size: 18 LOC
McCabe index: 3
number of parameters: 2

id: 249
unit: void ensure_byte_buf_has_allocated_buffer_member_in_ring_buf()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 64
end line: 81
size: 18 LOC
McCabe index: 4
number of parameters: 2

id: 250
unit: void aws_string_eq_byte_cursor_harness()
file: verification/cbmc/proofs/aws_string_eq_byte_cursor/aws_string_eq_byte_cursor_harness.c
start line: 10
end line: 29
size: 18 LOC
McCabe index: 6
number of parameters: 0

id: 251
unit: void aws_array_list_back_harness()
file: verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c
start line: 12
end line: 42
size: 18 LOC
McCabe index: 3
number of parameters: 0

id: 252
unit: void aws_hash_table_init_bounded_harness()
file: verification/cbmc/proofs/aws_hash_table_init_bounded/aws_hash_table_init_bounded_harness.c
start line: 14
end line: 31
size: 18 LOC
McCabe index: 2
number of parameters: 0

id: 253
unit: void aws_byte_buf_write_be64_harness()
file: verification/cbmc/proofs/aws_byte_buf_write_be64/aws_byte_buf_write_be64_harness.c
start line: 9
end line: 34
size: 18 LOC
McCabe index: 2
number of parameters: 0

id: 254
unit: void aws_priority_queue_s_sift_up_harness()
file: verification/cbmc/proofs/aws_priority_queue_s_sift_up/aws_priority_queue_s_sift_up_harness.c
start line: 11
end line: 44
size: 18 LOC
McCabe index: 3
number of parameters: 0

id: 255
unit: void aws_priority_queue_init_static_harness()
file: verification/cbmc/proofs/aws_priority_queue_init_static/aws_priority_queue_init_static_harness.c
start line: 12
end line: 39
size: 18 LOC
McCabe index: 3
number of parameters: 0

id: 256
unit: void aws_hash_iter_done_harness()
file: verification/cbmc/proofs/aws_hash_iter_done/aws_hash_iter_done_harness.c
start line: 11
end line: 31
size: 18 LOC
McCabe index: 2
number of parameters: 0

id: 257
unit: void aws_byte_buf_write_u8_harness()
file: verification/cbmc/proofs/aws_byte_buf_write_u8/aws_byte_buf_write_u8_harness.c
start line: 9
end line: 34
size: 18 LOC
McCabe index: 2
number of parameters: 0

id: 258
unit: void aws_priority_queue_capacity_harness()
file: verification/cbmc/proofs/aws_priority_queue_capacity/aws_priority_queue_capacity_harness.c
start line: 12
end line: 40
size: 18 LOC
McCabe index: 1
number of parameters: 0

id: 259
unit: void aws_byte_buf_write_be32_harness()
file: verification/cbmc/proofs/aws_byte_buf_write_be32/aws_byte_buf_write_be32_harness.c
start line: 9
end line: 34
size: 18 LOC
McCabe index: 2
number of parameters: 0

id: 260
unit: void aws_priority_queue_s_sift_down_harness()
file: verification/cbmc/proofs/aws_priority_queue_s_sift_down/aws_priority_queue_s_sift_down_harness.c
start line: 11
end line: 41
size: 18 LOC
McCabe index: 3
number of parameters: 0

id: 261
unit: void aws_priority_queue_s_sift_either_harness()
file: verification/cbmc/proofs/aws_priority_queue_s_sift_either/aws_priority_queue_s_sift_either_harness.c
start line: 11
end line: 44
size: 18 LOC
McCabe index: 3
number of parameters: 0

id: 262
unit: void aws_byte_buf_write_be16_harness()
file: verification/cbmc/proofs/aws_byte_buf_write_be16/aws_byte_buf_write_be16_harness.c
start line: 9
end line: 34
size: 18 LOC
McCabe index: 2
number of parameters: 0

id: 263
unit: static int s_update_template_size()
file: source/hash_table.c
start line: 186
end line: 211
size: 17 LOC
McCabe index: 4
number of parameters: 2

id: 264
unit: bool hash_table_state_is_valid()
file: source/hash_table.c
start line: 1035
end line: 1053
size: 17 LOC
McCabe index: 11
number of parameters: 1

id: 265
unit: static inline bool decode()
file: source/arch/intel/encoding_avx2.c
start line: 162
end line: 193
size: 17 LOC
McCabe index: 2
number of parameters: 2

id: 266
unit: bool aws_common_private_has_avx2()
file: source/arch/intel/cpuid.c
start line: 105
end line: 125
size: 17 LOC
McCabe index: 5
number of parameters: 1

id: 267
unit: int aws_mutex_init()
file: source/posix/mutex.c
start line: 19
end line: 38
size: 17 LOC
McCabe index: 4
number of parameters: 1

id: 268
unit: int aws_byte_buf_cat()
file: source/byte_buf.c
start line: 334
end line: 354
size: 17 LOC
McCabe index: 3
number of parameters: 3

id: 269
unit: bool aws_byte_cursor_read_hex_u8()
file: source/byte_buf.c
start line: 1346
end line: 1366
size: 17 LOC
McCabe index: 4
number of parameters: 2

id: 270
unit: static int s_collect_stack_stats()
file: source/memtrace.c
start line: 255
end line: 271
size: 17 LOC
McCabe index: 2
number of parameters: 2

id: 271
unit: static void s_bus_deliver_msg_to_slot()
file: source/bus.c
start line: 98
end line: 114
size: 17 LOC
McCabe index: 3
number of parameters: 5

id: 272
unit: static int s_bus_subscribe()
file: source/bus.c
start line: 127
end line: 146
size: 17 LOC
McCabe index: 2
number of parameters: 5

id: 273
unit: typedef BOOL WINAPI SetThreadGroupAffinity_fn()
file: source/windows/thread.c
start line: 207
end line: 226
size: 17 LOC
McCabe index: 1
number of parameters: 3

id: 274
unit: AWS_STATIC_IMPL double aws_htonf64()
file: include/aws/common/byte_order.inl
start line: 93
end line: 113
size: 17 LOC
McCabe index: 2
number of parameters: 1

id: 275
unit: AWS_STATIC_IMPL bool aws_linked_list_is_valid_deep()
file: include/aws/common/linked_list.inl
start line: 81
end line: 103
size: 17 LOC
McCabe index: 5
number of parameters: 1

id: 276
unit: void aws_array_list_init_static()
file: include/aws/common/array_list.inl
start line: 59
end line: 79
size: 17 LOC
McCabe index: 1
number of parameters: 4

id: 277
unit: int __CPROVER_file_local_priority_queue_c_s_remove_node()
file: verification/cbmc/stubs/s_remove_node_override.c
start line: 21
end line: 50
size: 17 LOC
McCabe index: 4
number of parameters: 3

id: 278
unit: int aws_hash_table_put()
file: verification/cbmc/stubs/aws_hash_table_no_slots_override.c
start line: 87
end line: 109
size: 17 LOC
McCabe index: 5
number of parameters: 4

id: 279
unit: void assert_array_list_equivalence()
file: verification/cbmc/sources/utils.c
start line: 44
end line: 61
size: 17 LOC
McCabe index: 4
number of parameters: 3

id: 280
unit: void ensure_allocated_hash_table()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 148
end line: 165
size: 17 LOC
McCabe index: 3
number of parameters: 2

id: 281
unit: void aws_priority_queue_top_harness()
file: verification/cbmc/proofs/aws_priority_queue_top/aws_priority_queue_top_harness.c
start line: 12
end line: 39
size: 17 LOC
McCabe index: 1
number of parameters: 0

id: 282
unit: void aws_hash_iter_next_harness()
file: verification/cbmc/proofs/aws_hash_iter_next/aws_hash_iter_next_harness.c
start line: 11
end line: 30
size: 17 LOC
McCabe index: 2
number of parameters: 0

id: 283
unit: void aws_byte_buf_from_c_str_harness()
file: verification/cbmc/proofs/aws_byte_buf_from_c_str/aws_byte_buf_from_c_str_harness.c
start line: 9
end line: 30
size: 17 LOC
McCabe index: 3
number of parameters: 0

id: 284
unit: void aws_byte_buf_reserve_harness()
file: verification/cbmc/proofs/aws_byte_buf_reserve/aws_byte_buf_reserve_harness.c
start line: 9
end line: 28
size: 17 LOC
McCabe index: 3
number of parameters: 0

id: 285
unit: void aws_array_list_swap_harness()
file: verification/cbmc/proofs/aws_array_list_swap/aws_array_list_swap_harness.c
start line: 12
end line: 40
size: 17 LOC
McCabe index: 1
number of parameters: 0

id: 286
unit: void aws_array_list_init_dynamic_harness()
file: verification/cbmc/proofs/aws_array_list_init_dynamic/aws_array_list_init_dynamic_harness.c
start line: 12
end line: 37
size: 17 LOC
McCabe index: 3
number of parameters: 0

id: 287
unit: void aws_hash_iter_delete_harness()
file: verification/cbmc/proofs/aws_hash_iter_delete/aws_hash_iter_delete_harness.c
start line: 11
end line: 32
size: 17 LOC
McCabe index: 3
number of parameters: 0

id: 288
unit: void aws_byte_cursor_from_buf_harness()
file: verification/cbmc/proofs/aws_byte_cursor_from_buf/aws_byte_cursor_from_buf_harness.c
start line: 9
end line: 34
size: 17 LOC
McCabe index: 2
number of parameters: 0

id: 289
unit: int aws_high_res_clock_get_ticks()
file: source/posix/clock.c
start line: 53
end line: 72
size: 16 LOC
McCabe index: 3
number of parameters: 1

id: 290
unit: int aws_sys_clock_get_ticks()
file: source/posix/clock.c
start line: 74
end line: 91
size: 16 LOC
McCabe index: 3
number of parameters: 1

id: 291
unit: struct aws_byte_cursor aws_byte_cursor_advance()
file: source/byte_buf.c
start line: 1054
end line: 1069
size: 16 LOC
McCabe index: 5
number of parameters: 2

id: 292
unit: bool aws_byte_cursor_read()
file: source/byte_buf.c
start line: 1124
end line: 1141
size: 16 LOC
McCabe index: 3
number of parameters: 3

id: 293
unit: bool aws_byte_buf_write()
file: source/byte_buf.c
start line: 1407
end line: 1426
size: 16 LOC
McCabe index: 5
number of parameters: 3

id: 294
unit: int aws_ring_buffer_init()
file: source/ring_buffer.c
start line: 33
end line: 53
size: 16 LOC
McCabe index: 2
number of parameters: 3

id: 295
unit: static void s_alloc_tracer_untrack()
file: source/memtrace.c
start line: 173
end line: 192
size: 16 LOC
McCabe index: 4
number of parameters: 2

id: 296
unit: static int s_lifo_cache_put()
file: source/lifo_cache.c
start line: 42
end line: 62
size: 16 LOC
McCabe index: 4
number of parameters: 3

id: 297
unit: void aws_secure_zero()
file: source/common.c
start line: 39
end line: 74
size: 16 LOC
McCabe index: 3
number of parameters: 2

id: 298
unit: int aws_date_time_to_local_time_str()
file: source/date_time.c
start line: 667
end line: 686
size: 16 LOC
McCabe index: 4
number of parameters: 3

id: 299
unit: int aws_date_time_to_utc_time_str()
file: source/date_time.c
start line: 688
end line: 707
size: 16 LOC
McCabe index: 4
number of parameters: 3

id: 300
unit: int aws_date_time_to_local_time_short_str()
file: source/date_time.c
start line: 709
end line: 728
size: 16 LOC
McCabe index: 4
number of parameters: 3

id: 301
unit: int aws_date_time_to_utc_time_short_str()
file: source/date_time.c
start line: 730
end line: 749
size: 16 LOC
McCabe index: 4
number of parameters: 3

id: 302
unit: void aws_atomic_thread_fence()
file: include/aws/common/atomics_msvc.inl
start line: 331
end line: 350
size: 16 LOC
McCabe index: 6
number of parameters: 1

id: 303
unit: static inline int aws_atomic_priv_xlate_order()
file: include/aws/common/atomics_gnu.inl
start line: 28
end line: 43
size: 16 LOC
McCabe index: 6
number of parameters: 1

id: 304
unit: AWS_STATIC_IMPL uint64_t aws_hton64()
file: include/aws/common/byte_order.inl
start line: 34
end line: 49
size: 16 LOC
McCabe index: 5
number of parameters: 1

id: 305
unit: int aws_hash_table_find()
file: verification/cbmc/stubs/aws_hash_table_find_override.c
start line: 13
end line: 30
size: 16 LOC
McCabe index: 2
number of parameters: 3

id: 306
unit: void aws_hash_iter_next()
file: verification/cbmc/stubs/aws_hash_table_no_slots_override.c
start line: 204
end line: 223
size: 16 LOC
McCabe index: 3
number of parameters: 1

id: 307
unit: void aws_hash_iter_delete()
file: verification/cbmc/stubs/aws_hash_table_no_slots_override.c
start line: 226
end line: 245
size: 16 LOC
McCabe index: 1
number of parameters: 2

id: 308
unit: void assert_byte_buf_equivalence()
file: verification/cbmc/sources/utils.c
start line: 63
end line: 79
size: 16 LOC
McCabe index: 4
number of parameters: 3

id: 309
unit: void aws_byte_buf_reset_harness()
file: verification/cbmc/proofs/aws_byte_buf_reset/aws_byte_buf_reset_harness.c
start line: 10
end line: 27
size: 16 LOC
McCabe index: 2
number of parameters: 0

id: 310
unit: void aws_priority_queue_size_harness()
file: verification/cbmc/proofs/aws_priority_queue_size/aws_priority_queue_size_harness.c
start line: 12
end line: 38
size: 16 LOC
McCabe index: 1
number of parameters: 0

id: 311
unit: void aws_string_new_from_array_harness()
file: verification/cbmc/proofs/aws_string_new_from_array/aws_string_new_from_array_harness.c
start line: 10
end line: 32
size: 16 LOC
McCabe index: 2
number of parameters: 0

id: 312
unit: void aws_string_eq_byte_buf_ignore_case_harness()
file: verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/aws_string_eq_byte_buf_ignore_case_harness.c
start line: 11
end line: 29
size: 16 LOC
McCabe index: 6
number of parameters: 0

id: 313
unit: def replace()
file: verification/cbmc/proofs/scripts/fixup_makefiles.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 8
number of parameters: 2

id: 314
unit: static int s_hex_decode_char_to_int()
file: source/encoding.c
start line: 134
end line: 151
size: 15 LOC
McCabe index: 7
number of parameters: 2

id: 315
unit: int aws_base64_compute_encoded_len()
file: source/encoding.c
start line: 212
end line: 232
size: 15 LOC
McCabe index: 3
number of parameters: 2

id: 316
unit: void hash_dump()
file: source/hash_table.c
start line: 92
end line: 108
size: 15 LOC
McCabe index: 3
number of parameters: 1

id: 317
unit: void aws_hash_table_clean_up()
file: source/hash_table.c
start line: 247
end line: 265
size: 15 LOC
McCabe index: 3
number of parameters: 1

id: 318
unit: bool aws_hash_iter_done()
file: source/hash_table.c
start line: 823
end line: 843
size: 15 LOC
McCabe index: 3
number of parameters: 1

id: 319
unit: void aws_hash_iter_next()
file: source/hash_table.c
start line: 845
end line: 859
size: 15 LOC
McCabe index: 2
number of parameters: 1

id: 320
unit: int aws_get_environment_value()
file: source/posix/environment.c
start line: 11
end line: 28
size: 15 LOC
McCabe index: 3
number of parameters: 3

id: 321
unit: void aws_priority_queue_init_static()
file: source/priority_queue.c
start line: 169
end line: 187
size: 15 LOC
McCabe index: 1
number of parameters: 5

id: 322
unit: bool aws_byte_cursor_read_and_fill_buffer()
file: source/byte_buf.c
start line: 1150
end line: 1164
size: 15 LOC
McCabe index: 2
number of parameters: 2

id: 323
unit: AWS_COMMON_API int aws_add_size_checked_varargs()
file: source/math.c
start line: 9
end line: 24
size: 15 LOC
McCabe index: 3
number of parameters: 3

id: 324
unit: void aws_task_scheduler_schedule_now()
file: source/task_scheduler.c
start line: 127
end line: 144
size: 15 LOC
McCabe index: 1
number of parameters: 2

id: 325
unit: static inline int enable_vt_mode()
file: include/aws/testing/aws_test_harness.h
start line: 468
end line: 484
size: 15 LOC
McCabe index: 4
number of parameters: 1

id: 326
unit: void driver1()
file: include/aws/common/private/lookup3.inl
start line: 824
end line: 839
size: 15 LOC
McCabe index: 4
number of parameters: 0

id: 327
unit: AWS_STATIC_IMPL int aws_mul_u64_checked()
file: include/aws/common/math.gcc_x64_asm.inl
start line: 44
end line: 60
size: 15 LOC
McCabe index: 2
number of parameters: 3

id: 328
unit: AWS_STATIC_IMPL int aws_mul_u32_checked()
file: include/aws/common/math.gcc_x64_asm.inl
start line: 87
end line: 106
size: 15 LOC
McCabe index: 2
number of parameters: 3

id: 329
unit: void aws_array_list_swap_contents()
file: include/aws/common/array_list.inl
start line: 306
end line: 321
size: 15 LOC
McCabe index: 1
number of parameters: 2

id: 330
unit: void ensure_linked_list_is_allocated()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 107
end line: 125
size: 15 LOC
McCabe index: 3
number of parameters: 2

id: 331
unit: void aws_linked_list_remove_harness()
file: verification/cbmc/proofs/aws_linked_list_remove/aws_linked_list_remove_harness.c
start line: 9
end line: 33
size: 15 LOC
McCabe index: 1
number of parameters: 0

id: 332
unit: void aws_hash_table_init_unbounded_harness()
file: verification/cbmc/proofs/aws_hash_table_init_unbounded/aws_hash_table_init_unbounded_harness.c
start line: 15
end line: 29
size: 15 LOC
McCabe index: 2
number of parameters: 0

id: 333
unit: void aws_string_eq_byte_cursor_ignore_case_harness()
file: verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/aws_string_eq_byte_cursor_ignore_case_harness.c
start line: 9
end line: 25
size: 15 LOC
McCabe index: 6
number of parameters: 0

id: 334
unit: int aws_array_list_calc_necessary_size()
file: source/array_list.c
start line: 11
end line: 25
size: 14 LOC
McCabe index: 3
number of parameters: 3

id: 335
unit: void aws_array_list_swap()
file: source/array_list.c
start line: 192
end line: 207
size: 14 LOC
McCabe index: 2
number of parameters: 3

id: 336
unit: int aws_hash_table_find()
file: source/hash_table.c
start line: 397
end line: 413
size: 14 LOC
McCabe index: 2
number of parameters: 3

id: 337
unit: struct aws_hash_iter aws_hash_iter_begin()
file: source/hash_table.c
start line: 808
end line: 821
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 338
unit: static bool s_has_avx2()
file: source/arch/intel/cpuid.c
start line: 52
end line: 86
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 339
unit: int aws_array_list_comparator_string()
file: source/string.c
start line: 275
end line: 288
size: 14 LOC
McCabe index: 4
number of parameters: 2

id: 340
unit: void aws_backtrace_log()
file: source/posix/system_info.c
start line: 395
end line: 408
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 341
unit: static bool s_delete_file_or_directory()
file: source/posix/file.c
start line: 63
end line: 81
size: 14 LOC
McCabe index: 3
number of parameters: 2

id: 342
unit: int aws_fseek()
file: source/posix/file.c
start line: 244
end line: 261
size: 14 LOC
McCabe index: 3
number of parameters: 3

id: 343
unit: int aws_thread_current_at_exit()
file: source/posix/thread.c
start line: 409
end line: 423
size: 14 LOC
McCabe index: 3
number of parameters: 2

id: 344
unit: int aws_set_soft_limit_io_handles()
file: source/posix/process.c
start line: 36
end line: 53
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 345
unit: int aws_priority_queue_remove()
file: source/priority_queue.c
start line: 363
end line: 377
size: 14 LOC
McCabe index: 3
number of parameters: 3

id: 346
unit: static void s_sba_free()
file: source/allocator_sba.c
start line: 403
end line: 425
size: 14 LOC
McCabe index: 4
number of parameters: 2

id: 347
unit: int aws_byte_buf_init()
file: source/byte_buf.c
start line: 17
end line: 32
size: 14 LOC
McCabe index: 4
number of parameters: 3

id: 348
unit: struct aws_byte_cursor aws_byte_cursor_left_trim_pred()
file: source/byte_buf.c
start line: 798
end line: 812
size: 14 LOC
McCabe index: 3
number of parameters: 2

id: 349
unit: size_t aws_nospec_mask()
file: source/byte_buf.c
start line: 982
end line: 1039
size: 14 LOC
McCabe index: 2
number of parameters: 2

id: 350
unit: void aws_backtrace_log()
file: source/windows/system_info.c
start line: 260
end line: 274
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 351
unit: static bool s_delete_file_or_directory()
file: source/windows/file.c
start line: 97
end line: 115
size: 14 LOC
McCabe index: 3
number of parameters: 2

id: 352
unit: int aws_thread_current_at_exit()
file: source/windows/thread.c
start line: 379
end line: 393
size: 14 LOC
McCabe index: 3
number of parameters: 2

id: 353
unit: bool aws_atomic_compare_exchange_int_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 125
end line: 138
size: 14 LOC
McCabe index: 1
number of parameters: 5

id: 354
unit: bool aws_atomic_compare_exchange_ptr_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 146
end line: 159
size: 14 LOC
McCabe index: 1
number of parameters: 5

id: 355
unit: AWS_STATIC_IMPL void aws_linked_list_insert_after()
file: include/aws/common/linked_list.inl
start line: 192
end line: 205
size: 14 LOC
McCabe index: 1
number of parameters: 2

id: 356
unit: AWS_STATIC_IMPL void aws_linked_list_insert_before()
file: include/aws/common/linked_list.inl
start line: 241
end line: 254
size: 14 LOC
McCabe index: 1
number of parameters: 2

id: 357
unit: int aws_array_list_front()
file: include/aws/common/array_list.inl
start line: 148
end line: 162
size: 14 LOC
McCabe index: 3
number of parameters: 2

id: 358
unit: int aws_array_list_back()
file: include/aws/common/array_list.inl
start line: 257
end line: 272
size: 14 LOC
McCabe index: 3
number of parameters: 2

id: 359
unit: AWS_STATIC_IMPL size_t aws_clz_i32()
file: include/aws/common/math.fallback.inl
start line: 110
end line: 124
size: 14 LOC
McCabe index: 4
number of parameters: 1

id: 360
unit: AWS_STATIC_IMPL size_t aws_clz_i64()
file: include/aws/common/math.fallback.inl
start line: 130
end line: 144
size: 14 LOC
McCabe index: 4
number of parameters: 1

id: 361
unit: AWS_STATIC_IMPL size_t aws_ctz_i32()
file: include/aws/common/math.fallback.inl
start line: 161
end line: 174
size: 14 LOC
McCabe index: 4
number of parameters: 1

id: 362
unit: AWS_STATIC_IMPL size_t aws_ctz_i64()
file: include/aws/common/math.fallback.inl
start line: 180
end line: 193
size: 14 LOC
McCabe index: 4
number of parameters: 1

id: 363
unit: AWS_STATIC_IMPL int aws_add_u64_checked()
file: include/aws/common/math.gcc_arm64_asm.inl
start line: 105
end line: 122
size: 14 LOC
McCabe index: 2
number of parameters: 3

id: 364
unit: void aws_linked_list_insert_before_harness()
file: verification/cbmc/proofs/aws_linked_list_insert_before/aws_linked_list_insert_before_harness.c
start line: 9
end line: 29
size: 14 LOC
McCabe index: 1
number of parameters: 0

id: 365
unit: void aws_linked_list_insert_after_harness()
file: verification/cbmc/proofs/aws_linked_list_insert_after/aws_linked_list_insert_after_harness.c
start line: 9
end line: 29
size: 14 LOC
McCabe index: 1
number of parameters: 0

id: 366
unit: void aws_byte_cursor_left_trim_pred_harness()
file: verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/aws_byte_cursor_left_trim_pred_harness.c
start line: 9
end line: 31
size: 14 LOC
McCabe index: 2
number of parameters: 0

id: 367
unit: void aws_string_new_from_c_str_harness()
file: verification/cbmc/proofs/aws_string_new_from_c_str/aws_string_new_from_c_str_harness.c
start line: 10
end line: 30
size: 14 LOC
McCabe index: 2
number of parameters: 0

id: 368
unit: void aws_byte_cursor_right_trim_pred_harness()
file: verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/aws_byte_cursor_right_trim_pred_harness.c
start line: 9
end line: 31
size: 14 LOC
McCabe index: 2
number of parameters: 0

id: 369
unit: void aws_array_list_capacity_harness()
file: verification/cbmc/proofs/aws_array_list_capacity/aws_array_list_capacity_harness.c
start line: 12
end line: 34
size: 14 LOC
McCabe index: 1
number of parameters: 0

id: 370
unit: void aws_string_new_from_string_harness()
file: verification/cbmc/proofs/aws_string_new_from_string/aws_string_new_from_string_harness.c
start line: 10
end line: 28
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 371
unit: void aws_array_list_clear_harness()
file: verification/cbmc/proofs/aws_array_list_clear/aws_array_list_clear_harness.c
start line: 12
end line: 34
size: 14 LOC
McCabe index: 1
number of parameters: 0

id: 372
unit: void aws_byte_cursor_trim_pred_harness()
file: verification/cbmc/proofs/aws_byte_cursor_trim_pred/aws_byte_cursor_trim_pred_harness.c
start line: 9
end line: 31
size: 14 LOC
McCabe index: 2
number of parameters: 0

id: 373
unit: void aws_string_eq_byte_buf_harness()
file: verification/cbmc/proofs/aws_string_eq_byte_buf/aws_string_eq_byte_buf_harness.c
start line: 11
end line: 27
size: 14 LOC
McCabe index: 4
number of parameters: 0

id: 374
unit: static void s_background_channel_clean_up()
file: source/log_channel.c
start line: 99
end line: 114
size: 13 LOC
McCabe index: 1
number of parameters: 1

id: 375
unit: static void s_aws_logger_pipeline_owned_clean_up()
file: source/logging.c
start line: 66
end line: 83
size: 13 LOC
McCabe index: 1
number of parameters: 1

id: 376
unit: int aws_string_to_log_level()
file: source/logging.c
start line: 304
end line: 317
size: 13 LOC
McCabe index: 6
number of parameters: 2

id: 377
unit: size_t aws_get_cpu_count_for_group()
file: source/posix/system_info.c
start line: 51
end line: 65
size: 13 LOC
McCabe index: 4
number of parameters: 1

id: 378
unit: static void s_init_rand()
file: source/posix/device_random.c
start line: 21
end line: 36
size: 13 LOC
McCabe index: 4
number of parameters: 1

id: 379
unit: size_t aws_small_block_allocator_bytes_reserved()
file: source/allocator_sba.c
start line: 271
end line: 285
size: 13 LOC
McCabe index: 4
number of parameters: 1

id: 380
unit: bool aws_array_eq()
file: source/byte_buf.c
start line: 419
end line: 434
size: 13 LOC
McCabe index: 5
number of parameters: 4

id: 381
unit: struct aws_byte_cursor aws_byte_cursor_right_trim_pred()
file: source/byte_buf.c
start line: 783
end line: 796
size: 13 LOC
McCabe index: 3
number of parameters: 2

id: 382
unit: bool aws_isspace()
file: source/byte_buf.c
start line: 1623
end line: 1635
size: 13 LOC
McCabe index: 7
number of parameters: 1

id: 383
unit: static void s_bus_apply_listeners()
file: source/bus.c
start line: 359
end line: 371
size: 13 LOC
McCabe index: 4
number of parameters: 2

id: 384
unit: int aws_task_scheduler_init()
file: source/task_scheduler.c
start line: 55
end line: 71
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 385
unit: void aws_common_library_clean_up()
file: source/common.c
start line: 355
end line: 367
size: 13 LOC
McCabe index: 4
number of parameters: 1

id: 386
unit: bool aws_atomic_compare_exchange_int_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 238
end line: 252
size: 13 LOC
McCabe index: 1
number of parameters: 5

id: 387
unit: bool aws_atomic_compare_exchange_ptr_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 260
end line: 274
size: 13 LOC
McCabe index: 1
number of parameters: 5

id: 388
unit: void driver4()
file: include/aws/common/private/lookup3.inl
start line: 1007
end line: 1021
size: 13 LOC
McCabe index: 3
number of parameters: 0

id: 389
unit: AWS_STATIC_IMPL float aws_htonf32()
file: include/aws/common/byte_order.inl
start line: 72
end line: 88
size: 13 LOC
McCabe index: 2
number of parameters: 1

id: 390
unit: AWS_STATIC_IMPL int aws_add_u64_checked()
file: include/aws/common/math.gcc_x64_asm.inl
start line: 112
end line: 126
size: 13 LOC
McCabe index: 2
number of parameters: 3

id: 391
unit: AWS_STATIC_IMPL int aws_add_u32_checked()
file: include/aws/common/math.gcc_x64_asm.inl
start line: 147
end line: 161
size: 13 LOC
McCabe index: 2
number of parameters: 3

id: 392
unit: bool aws_array_list_is_valid()
file: include/aws/common/array_list.inl
start line: 82
end line: 94
size: 13 LOC
McCabe index: 6
number of parameters: 1

id: 393
unit: int aws_array_list_push_back()
file: include/aws/common/array_list.inl
start line: 130
end line: 145
size: 13 LOC
McCabe index: 5
number of parameters: 2

id: 394
unit: int aws_array_list_pop_back()
file: include/aws/common/array_list.inl
start line: 275
end line: 291
size: 13 LOC
McCabe index: 2
number of parameters: 1

id: 395
unit: int aws_array_list_get_at()
file: include/aws/common/array_list.inl
start line: 346
end line: 358
size: 13 LOC
McCabe index: 3
number of parameters: 3

id: 396
unit: AWS_STATIC_IMPL int aws_add_u32_checked()
file: include/aws/common/math.gcc_arm64_asm.inl
start line: 145
end line: 161
size: 13 LOC
McCabe index: 2
number of parameters: 3

id: 397
unit: size_t __CPROVER_file_local_hash_table_c_s_remove_entry()
file: verification/cbmc/stubs/s_remove_entry_override.c
start line: 16
end line: 32
size: 13 LOC
McCabe index: 3
number of parameters: 2

id: 398
unit: void aws_ring_buffer_init_harness()
file: verification/cbmc/proofs/aws_ring_buffer_init/aws_ring_buffer_init_harness.c
start line: 9
end line: 27
size: 13 LOC
McCabe index: 3
number of parameters: 0

id: 399
unit: void aws_array_list_sort_harness()
file: verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c
start line: 22
end line: 43
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 400
unit: void aws_byte_buf_reserve_relative_harness()
file: verification/cbmc/proofs/aws_byte_buf_reserve_relative/aws_byte_buf_reserve_relative_harness.c
start line: 9
end line: 23
size: 13 LOC
McCabe index: 2
number of parameters: 0

id: 401
unit: void aws_array_list_comparator_string_harness()
file: verification/cbmc/proofs/aws_array_list_comparator_string/aws_array_list_comparator_string_harness.c
start line: 11
end line: 24
size: 13 LOC
McCabe index: 7
number of parameters: 0

id: 402
unit: void aws_byte_cursor_satisfies_pred_harness()
file: verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/aws_byte_cursor_satisfies_pred_harness.c
start line: 9
end line: 30
size: 13 LOC
McCabe index: 2
number of parameters: 0

id: 403
unit: void aws_byte_buf_from_array_harness()
file: verification/cbmc/proofs/aws_byte_buf_from_array/aws_byte_buf_from_array_harness.c
start line: 9
end line: 28
size: 13 LOC
McCabe index: 2
number of parameters: 0

id: 404
unit: void memset_override_0_harness()
file: verification/cbmc/proofs/memset_override_0/memset_override_0_harness.c
start line: 16
end line: 30
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 405
unit: void aws_hash_table_get_entry_count_harness()
file: verification/cbmc/proofs/aws_hash_table_get_entry_count/aws_hash_table_get_entry_count_harness.c
start line: 12
end line: 29
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 406
unit: void aws_byte_buf_from_empty_array_harness()
file: verification/cbmc/proofs/aws_byte_buf_from_empty_array/aws_byte_buf_from_empty_array_harness.c
start line: 9
end line: 23
size: 13 LOC
McCabe index: 2
number of parameters: 0

id: 407
unit: static uint64_t s_hash_for()
file: source/hash_table.c
start line: 39
end line: 53
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 408
unit: static inline bool decode_vec()
file: source/arch/intel/encoding_avx2.c
start line: 54
end line: 79
size: 12 LOC
McCabe index: 1
number of parameters: 1

id: 409
unit: void aws_unregister_error_info()
file: source/error.c
start line: 166
end line: 182
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 410
unit: static int s_null_logger_log()
file: source/logging.c
start line: 32
end line: 45
size: 12 LOC
McCabe index: 1
number of parameters: 5

id: 411
unit: void aws_unregister_log_subject_info_list()
file: source/logging.c
start line: 405
end line: 426
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 412
unit: static void s_noalloc_stderr_logger_clean_up()
file: source/logging.c
start line: 502
end line: 516
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 413
unit: int aws_file_get_length()
file: source/posix/file.c
start line: 263
end line: 279
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 414
unit: void aws_thread_join_and_free_wrapper_list()
file: source/posix/thread.c
start line: 85
end line: 110
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 415
unit: void aws_thread_call_once()
file: source/posix/thread.c
start line: 185
end line: 199
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 416
unit: int aws_high_res_clock_get_ticks()
file: source/posix/clock.c
start line: 104
end line: 119
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 417
unit: int aws_sys_clock_get_ticks()
file: source/posix/clock.c
start line: 121
end line: 135
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 418
unit: void aws_small_block_allocator_destroy()
file: source/allocator_sba.c
start line: 231
end line: 243
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 419
unit: int aws_linked_hash_table_find_and_move_to_back()
file: source/linked_hash_table.c
start line: 62
end line: 77
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 420
unit: static int s_fifo_cache_put()
file: source/fifo_cache.c
start line: 43
end line: 59
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 421
unit: bool aws_byte_cursor_read_be24()
file: source/byte_buf.c
start line: 1211
end line: 1229
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 422
unit: void s_bus_destroy_listener_list()
file: source/bus.c
start line: 181
end line: 193
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 423
unit: static void s_bus_sync_init()
file: source/bus.c
start line: 242
end line: 257
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 424
unit: static int s_lru_cache_put()
file: source/lru_cache.c
start line: 55
end line: 72
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 425
unit: int aws_condition_variable_wait_for_pred()
file: source/condition_variable.c
start line: 22
end line: 35
size: 12 LOC
McCabe index: 3
number of parameters: 5

id: 426
unit: int aws_xml_node_get_attribute()
file: source/xml_parser.c
start line: 393
end line: 406
size: 12 LOC
McCabe index: 2
number of parameters: 3

id: 427
unit: int aws_mutex_try_lock()
file: source/windows/mutex.c
start line: 53
end line: 70
size: 12 LOC
McCabe index: 4
number of parameters: 1

id: 428
unit: void aws_thread_join_and_free_wrapper_list()
file: source/windows/thread.c
start line: 53
end line: 66
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 429
unit: static BOOL CALLBACK s_get_system_time_init_once()
file: source/windows/clock.c
start line: 22
end line: 37
size: 12 LOC
McCabe index: 2
number of parameters: 3

id: 430
unit: int aws_condition_variable_wait_for()
file: source/windows/condition_variable.c
start line: 53
end line: 68
size: 12 LOC
McCabe index: 4
number of parameters: 3

id: 431
unit: int aws_log_formatter_init_default()
file: source/log_formatter.c
start line: 279
end line: 292
size: 12 LOC
McCabe index: 1
number of parameters: 3

id: 432
unit: AWS_STATIC_IMPL uint32_t aws_mul_u32_saturating()
file: include/aws/common/math.gcc_x64_asm.inl
start line: 65
end line: 81
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 433
unit: bool aws_atomic_compare_exchange_int_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 185
end line: 198
size: 12 LOC
McCabe index: 2
number of parameters: 5

id: 434
unit: bool aws_atomic_compare_exchange_ptr_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 206
end line: 219
size: 12 LOC
McCabe index: 2
number of parameters: 5

id: 435
unit: AWS_STATIC_IMPL int aws_mul_u64_checked()
file: include/aws/common/math.gcc_arm64_asm.inl
start line: 43
end line: 59
size: 12 LOC
McCabe index: 2
number of parameters: 3

id: 436
unit: struct aws_hash_iter aws_hash_iter_begin()
file: verification/cbmc/stubs/aws_hash_iter_overrides.c
start line: 34
end line: 48
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 437
unit: struct aws_hash_iter aws_hash_iter_begin()
file: verification/cbmc/stubs/aws_hash_table_no_slots_override.c
start line: 178
end line: 192
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 438
unit: void assert_byte_cursor_equivalence()
file: verification/cbmc/sources/utils.c
start line: 81
end line: 92
size: 12 LOC
McCabe index: 4
number of parameters: 3

id: 439
unit: void aws_ring_buffer_clean_up_harness()
file: verification/cbmc/proofs/aws_ring_buffer_clean_up/aws_ring_buffer_clean_up_harness.c
start line: 10
end line: 28
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 440
unit: void aws_hash_table_clear_harness()
file: verification/cbmc/proofs/aws_hash_table_clear/aws_hash_table_clear_harness.c
start line: 11
end line: 23
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 441
unit: void aws_hash_iter_begin_harness()
file: verification/cbmc/proofs/aws_hash_iter_begin/aws_hash_iter_begin_harness.c
start line: 11
end line: 26
size: 12 LOC
McCabe index: 2
number of parameters: 0

id: 442
unit: void aws_linked_list_push_back_harness()
file: verification/cbmc/proofs/aws_linked_list_push_back/aws_linked_list_push_back_harness.c
start line: 9
end line: 28
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 443
unit: void aws_is_power_of_two_harness()
file: verification/cbmc/proofs/aws_is_power_of_two/aws_is_power_of_two_harness.c
start line: 8
end line: 19
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 444
unit: void aws_linked_list_push_front_harness()
file: verification/cbmc/proofs/aws_linked_list_push_front/aws_linked_list_push_front_harness.c
start line: 9
end line: 26
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 445
unit: void aws_string_eq_harness()
file: verification/cbmc/proofs/aws_string_eq/aws_string_eq_harness.c
start line: 10
end line: 21
size: 12 LOC
McCabe index: 5
number of parameters: 0

id: 446
unit: void aws_array_list_length_harness()
file: verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c
start line: 12
end line: 32
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 447
unit: static inline __m256i translate_range()
file: source/arch/intel/encoding_avx2.c
start line: 22
end line: 39
size: 11 LOC
McCabe index: 1
number of parameters: 4

id: 448
unit: bool aws_string_eq()
file: source/string.c
start line: 293
end line: 303
size: 11 LOC
McCabe index: 6
number of parameters: 2

id: 449
unit: bool aws_string_eq_ignore_case()
file: source/string.c
start line: 308
end line: 318
size: 11 LOC
McCabe index: 8
number of parameters: 2

id: 450
unit: bool aws_string_eq_byte_cursor()
file: source/string.c
start line: 323
end line: 333
size: 11 LOC
McCabe index: 7
number of parameters: 2

id: 451
unit: bool aws_string_eq_byte_cursor_ignore_case()
file: source/string.c
start line: 339
end line: 349
size: 11 LOC
McCabe index: 9
number of parameters: 2

id: 452
unit: bool aws_string_eq_byte_buf()
file: source/string.c
start line: 354
end line: 364
size: 11 LOC
McCabe index: 7
number of parameters: 2

id: 453
unit: bool aws_string_eq_byte_buf_ignore_case()
file: source/string.c
start line: 370
end line: 380
size: 11 LOC
McCabe index: 9
number of parameters: 2

id: 454
unit: static bool s_directory_iterator_directory_entry()
file: source/file.c
start line: 89
end line: 101
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 455
unit: void aws_debug_break()
file: source/posix/system_info.c
start line: 150
end line: 160
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 456
unit: static int s_legacy_get_time()
file: source/posix/clock.c
start line: 30
end line: 42
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 457
unit: static void s_destroy_callback()
file: source/thread_scheduler.c
start line: 33
end line: 43
size: 11 LOC
McCabe index: 1
number of parameters: 1

id: 458
unit: bool aws_priority_queue_backpointers_valid_deep()
file: source/priority_queue.c
start line: 200
end line: 210
size: 11 LOC
McCabe index: 4
number of parameters: 1

id: 459
unit: int aws_linked_hash_table_find()
file: source/linked_hash_table.c
start line: 46
end line: 60
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 460
unit: static int s_aws_byte_buf_append_byte_dynamic()
file: source/byte_buf.c
start line: 721
end line: 735
size: 11 LOC
McCabe index: 1
number of parameters: 3

id: 461
unit: struct aws_byte_cursor aws_byte_cursor_trim_pred()
file: source/byte_buf.c
start line: 814
end line: 824
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 462
unit: struct aws_byte_buf aws_byte_buf_from_empty_array()
file: source/byte_buf.c
start line: 934
end line: 944
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 463
unit: struct aws_byte_cursor aws_byte_buf_write_to_capacity()
file: source/byte_buf.c
start line: 1454
end line: 1466
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 464
unit: bool aws_byte_buf_write_u8_n()
file: source/byte_buf.c
start line: 1488
end line: 1501
size: 11 LOC
McCabe index: 4
number of parameters: 3

id: 465
unit: int aws_condition_variable_wait_pred()
file: source/condition_variable.c
start line: 8
end line: 20
size: 11 LOC
McCabe index: 3
number of parameters: 4

id: 466
unit: void aws_task_run()
file: source/task_scheduler.c
start line: 34
end line: 45
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 467
unit: void aws_get_cpu_ids_for_group()
file: source/windows/system_info.c
start line: 35
end line: 49
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 468
unit: int aws_rw_lock_try_rlock()
file: source/windows/rw_lock.c
start line: 59
end line: 73
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 469
unit: int aws_rw_lock_try_wlock()
file: source/windows/rw_lock.c
start line: 75
end line: 89
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 470
unit: static inline void aws_atomic_priv_barrier_before()
file: include/aws/common/atomics_msvc.inl
start line: 92
end line: 114
size: 11 LOC
McCabe index: 5
number of parameters: 2

id: 471
unit: static inline void aws_atomic_priv_barrier_after()
file: include/aws/common/atomics_msvc.inl
start line: 116
end line: 135
size: 11 LOC
McCabe index: 5
number of parameters: 2

id: 472
unit: AWS_STATIC_IMPL uint64_t aws_mul_u64_saturating()
file: include/aws/common/math.gcc_x64_asm.inl
start line: 23
end line: 38
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 473
unit: int aws_array_list_get_at_ptr()
file: include/aws/common/array_list.inl
start line: 361
end line: 371
size: 11 LOC
McCabe index: 2
number of parameters: 3

id: 474
unit: AWS_STATIC_IMPL uint64_t aws_mul_u64_saturating()
file: include/aws/common/math.gcc_arm64_asm.inl
start line: 23
end line: 37
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 475
unit: AWS_STATIC_IMPL int aws_mul_u32_checked()
file: include/aws/common/math.gcc_arm64_asm.inl
start line: 84
end line: 99
size: 11 LOC
McCabe index: 2
number of parameters: 3

id: 476
unit: void aws_hash_iter_delete()
file: verification/cbmc/stubs/aws_hash_iter_overrides.c
start line: 82
end line: 93
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 477
unit: void hash_find_string_string_generator()
file: verification/cbmc/stubs/hash_table_generators.c
start line: 32
end line: 42
size: 11 LOC
McCabe index: 2
number of parameters: 3

id: 478
unit: void __CPROVER_file_local_priority_queue_c_s_swap()
file: verification/cbmc/stubs/s_swap_override_no_op.c
start line: 26
end line: 37
size: 11 LOC
McCabe index: 2
number of parameters: 3

id: 479
unit: int uninterpreted_compare()
file: verification/cbmc/sources/utils.c
start line: 114
end line: 127
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 480
unit: void aws_byte_cursor_from_array_harness()
file: verification/cbmc/proofs/aws_byte_cursor_from_array/aws_byte_cursor_from_array_harness.c
start line: 9
end line: 26
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 481
unit: void aws_hash_table_move_harness()
file: verification/cbmc/proofs/aws_hash_table_move/aws_hash_table_move_harness.c
start line: 12
end line: 30
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 482
unit: void aws_byte_cursor_from_c_str_harness()
file: verification/cbmc/proofs/aws_byte_cursor_from_c_str/aws_byte_cursor_from_c_str_harness.c
start line: 9
end line: 24
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 483
unit: void aws_hash_callback_c_str_eq_harness()
file: verification/cbmc/proofs/aws_hash_callback_c_str_eq/aws_hash_callback_c_str_eq_harness.c
start line: 11
end line: 23
size: 11 LOC
McCabe index: 3
number of parameters: 0

id: 484
unit: void aws_hash_callback_string_eq_harness()
file: verification/cbmc/proofs/aws_hash_callback_string_eq/aws_hash_callback_string_eq_harness.c
start line: 11
end line: 23
size: 11 LOC
McCabe index: 3
number of parameters: 0

id: 485
unit: void aws_linked_list_front_harness()
file: verification/cbmc/proofs/aws_linked_list_front/aws_linked_list_front_harness.c
start line: 9
end line: 29
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 486
unit: void aws_string_eq_c_str_harness()
file: verification/cbmc/proofs/aws_string_eq_c_str/aws_string_eq_c_str_harness.c
start line: 10
end line: 20
size: 11 LOC
McCabe index: 4
number of parameters: 0

id: 487
unit: void aws_byte_buf_clean_up_secure_harness()
file: verification/cbmc/proofs/aws_byte_buf_clean_up_secure/aws_byte_buf_clean_up_secure_harness.c
start line: 9
end line: 26
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 488
unit: void aws_byte_buf_init_harness()
file: verification/cbmc/proofs/aws_byte_buf_init/aws_byte_buf_init_harness.c
start line: 9
end line: 24
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 489
unit: void aws_nospec_mask_harness()
file: verification/cbmc/proofs/aws_nospec_mask/aws_nospec_mask_harness.c
start line: 10
end line: 25
size: 11 LOC
McCabe index: 4
number of parameters: 0

id: 490
unit: void aws_priority_queue_push_ref_harness()
file: verification/cbmc/proofs/aws_priority_queue_push_ref/aws_priority_queue_push_ref_harness.c
start line: 9
end line: 28
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 491
unit: void aws_linked_list_back_harness()
file: verification/cbmc/proofs/aws_linked_list_back/aws_linked_list_back_harness.c
start line: 9
end line: 29
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 492
unit: void memset_using_uint64_harness()
file: verification/cbmc/proofs/memset_using_uint64/memset_using_uint64_harness.c
start line: 16
end line: 27
size: 11 LOC
McCabe index: 1
number of parameters: 0

id: 493
unit: void aws_string_eq_ignore_case_harness()
file: verification/cbmc/proofs/aws_string_eq_ignore_case/aws_string_eq_ignore_case_harness.c
start line: 10
end line: 20
size: 11 LOC
McCabe index: 7
number of parameters: 0

id: 494
unit: int hash_table_state_required_bytes()
file: source/hash_table.c
start line: 1094
end line: 1106
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 495
unit: static void s_cache_hwcap()
file: source/arch/arm/asm/cpuid.c
start line: 47
end line: 58
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 496
unit: bool aws_cpu_has_feature()
file: source/arch/arm/asm/cpuid.c
start line: 63
end line: 74
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 497
unit: bool aws_string_eq_c_str()
file: source/string.c
start line: 382
end line: 391
size: 10 LOC
McCabe index: 6
number of parameters: 2

id: 498
unit: bool aws_string_eq_c_str_ignore_case()
file: source/string.c
start line: 396
end line: 405
size: 10 LOC
McCabe index: 8
number of parameters: 2

id: 499
unit: bool aws_byte_buf_write_from_whole_string()
file: source/string.c
start line: 407
end line: 416
size: 10 LOC
McCabe index: 5
number of parameters: 2

id: 500
unit: void aws_directory_entry_iterator_destroy()
file: source/file.c
start line: 147
end line: 159
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 501
unit: int aws_logger_init_logcat()
file: source/android/logging.c
start line: 147
end line: 158
size: 10 LOC
McCabe index: 1
number of parameters: 3

id: 502
unit: void aws_thread_current_sleep()
file: source/posix/thread.c
start line: 396
end line: 407
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 503
unit: static int s_fallback_device_random_buffer()
file: source/posix/device_random.c
start line: 38
end line: 53
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 504
unit: static int process_error_code()
file: source/posix/condition_variable.c
start line: 13
end line: 22
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 505
unit: static bool s_thread_should_wake()
file: source/thread_scheduler.c
start line: 45
end line: 56
size: 10 LOC
McCabe index: 4
number of parameters: 1

id: 506
unit: void aws_thread_scheduler_schedule_future()
file: source/thread_scheduler.c
start line: 174
end line: 183
size: 10 LOC
McCabe index: 3
number of parameters: 3

id: 507
unit: bool aws_priority_queue_backpointer_index_valid()
file: source/priority_queue.c
start line: 189
end line: 198
size: 10 LOC
McCabe index: 4
number of parameters: 2

id: 508
unit: void aws_byte_buf_clean_up()
file: source/byte_buf.c
start line: 76
end line: 85
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 509
unit: bool aws_byte_cursor_eq_byte_buf_ignore_case()
file: source/byte_buf.c
start line: 534
end line: 543
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 510
unit: int aws_byte_buf_reserve_relative()
file: source/byte_buf.c
start line: 770
end line: 781
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 511
unit: struct aws_byte_buf aws_byte_buf_from_array()
file: source/byte_buf.c
start line: 923
end line: 932
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 512
unit: bool aws_byte_cursor_read_be16()
file: source/byte_buf.c
start line: 1189
end line: 1200
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 513
unit: bool aws_byte_cursor_read_be32()
file: source/byte_buf.c
start line: 1239
end line: 1250
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 514
unit: bool aws_byte_cursor_read_float_be32()
file: source/byte_buf.c
start line: 1260
end line: 1271
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 515
unit: bool aws_byte_cursor_read_float_be64()
file: source/byte_buf.c
start line: 1281
end line: 1292
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 516
unit: bool aws_byte_cursor_read_be64()
file: source/byte_buf.c
start line: 1302
end line: 1313
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 517
unit: static inline bool s_buf_belongs_to_pool()
file: source/ring_buffer.c
start line: 231
end line: 243
size: 10 LOC
McCabe index: 6
number of parameters: 2

id: 518
unit: size_t aws_mem_tracer_count()
file: source/memtrace.c
start line: 517
end line: 527
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 519
unit: static void s_bus_async_free_message()
file: source/bus.c
start line: 322
end line: 331
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 520
unit: void aws_task_scheduler_clean_up()
file: source/task_scheduler.c
start line: 73
end line: 86
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 521
unit: int aws_xml_node_get_name()
file: source/xml_parser.c
start line: 375
end line: 386
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 522
unit: int aws_device_random_buffer()
file: source/windows/device_random.c
start line: 27
end line: 39
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 523
unit: struct tm s_get_time_struct()
file: source/date_time.c
start line: 161
end line: 171
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 524
unit: void aws_atomic_store_ptr_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 195
end line: 204
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 525
unit: AWS_STATIC_IMPL bool aws_linked_list_is_valid()
file: include/aws/common/linked_list.inl
start line: 40
end line: 49
size: 10 LOC
McCabe index: 6
number of parameters: 1

id: 526
unit: AWS_STATIC_IMPL uint32_t aws_add_u32_saturating()
file: include/aws/common/math.gcc_x64_asm.inl
start line: 166
end line: 178
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 527
unit: size_t aws_atomic_exchange_int_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 133
end line: 152
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 528
unit: void aws_array_list_debug_print()
file: include/aws/common/array_list.inl
start line: 97
end line: 106
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 529
unit: int aws_array_list_pop_front()
file: include/aws/common/array_list.inl
start line: 191
end line: 201
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 530
unit: void aws_array_list_clear()
file: include/aws/common/array_list.inl
start line: 294
end line: 303
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 531
unit: AWS_STATIC_IMPL uint32_t aws_mul_u32_saturating()
file: include/aws/common/math.gcc_arm64_asm.inl
start line: 64
end line: 78
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 532
unit: void qsort()
file: verification/cbmc/stubs/qsort_override.c
start line: 8
end line: 17
size: 10 LOC
McCabe index: 1
number of parameters: 4

id: 533
unit: void ensure_byte_buf_has_allocated_buffer_member_in_range()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 50
end line: 59
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 534
unit: bool aws_priority_queue_is_bounded()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 127
end line: 140
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 535
unit: void aws_byte_buf_secure_zero_harness()
file: verification/cbmc/proofs/aws_byte_buf_secure_zero/aws_byte_buf_secure_zero_harness.c
start line: 9
end line: 22
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 536
unit: void aws_byte_cursor_from_string_harness()
file: verification/cbmc/proofs/aws_byte_cursor_from_string/aws_byte_cursor_from_string_harness.c
start line: 10
end line: 19
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 537
unit: void aws_linked_list_pop_back_harness()
file: verification/cbmc/proofs/aws_linked_list_pop_back/aws_linked_list_pop_back_harness.c
start line: 9
end line: 28
size: 10 LOC
McCabe index: 2
number of parameters: 0

id: 538
unit: void aws_hash_table_foreach_harness()
file: verification/cbmc/proofs/aws_hash_table_foreach/aws_hash_table_foreach_harness.c
start line: 16
end line: 28
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 539
unit: void aws_linked_list_prev_harness()
file: verification/cbmc/proofs/aws_linked_list_prev/aws_linked_list_prev_harness.c
start line: 9
end line: 25
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 540
unit: void aws_linked_list_pop_front_harness()
file: verification/cbmc/proofs/aws_linked_list_pop_front/aws_linked_list_pop_front_harness.c
start line: 9
end line: 28
size: 10 LOC
McCabe index: 2
number of parameters: 0

id: 541
unit: void aws_linked_list_next_harness()
file: verification/cbmc/proofs/aws_linked_list_next/aws_linked_list_next_harness.c
start line: 9
end line: 25
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 542
unit: void aws_priority_queue_push_harness()
file: verification/cbmc/proofs/aws_priority_queue_push/aws_priority_queue_push_harness.c
start line: 9
end line: 27
size: 10 LOC
McCabe index: 2
number of parameters: 0

id: 543
unit: void aws_byte_buf_clean_up_harness()
file: verification/cbmc/proofs/aws_byte_buf_clean_up/aws_byte_buf_clean_up_harness.c
start line: 9
end line: 20
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 544
unit: void memcpy_using_uint64_harness()
file: verification/cbmc/proofs/memcpy_using_uint64/memcpy_using_uint64_harness.c
start line: 16
end line: 26
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 545
unit: void aws_string_eq_c_str_ignore_case_harness()
file: verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/aws_string_eq_c_str_ignore_case_harness.c
start line: 10
end line: 19
size: 10 LOC
McCabe index: 5
number of parameters: 0

id: 546
unit: int aws_hex_compute_encoded_len()
file: source/encoding.c
start line: 66
end line: 78
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 547
unit: int aws_hex_compute_decoded_len()
file: source/encoding.c
start line: 153
end line: 164
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 548
unit: static bool s_safe_eq_check()
file: source/hash_table.c
start line: 58
end line: 69
size: 9 LOC
McCabe index: 4
number of parameters: 3

id: 549
unit: void aws_hash_table_move()
file: source/hash_table.c
start line: 274
end line: 283
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 550
unit: static inline __m256i encode_chars()
file: source/arch/intel/encoding_avx2.c
start line: 250
end line: 265
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 551
unit: static int s_foreground_channel_send()
file: source/log_channel.c
start line: 24
end line: 42
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 552
unit: void aws_string_destroy_secure()
file: source/string.c
start line: 233
end line: 241
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 553
unit: int aws_secure_strlen()
file: source/string.c
start line: 441
end line: 455
size: 9 LOC
McCabe index: 3
number of parameters: 3

id: 554
unit: int aws_logger_set_log_level()
file: source/logging.c
start line: 563
end line: 573
size: 9 LOC
McCabe index: 4
number of parameters: 2

id: 555
unit: int aws_condition_variable_init()
file: source/posix/condition_variable.c
start line: 24
end line: 34
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 556
unit: int aws_condition_variable_wait()
file: source/posix/condition_variable.c
start line: 70
end line: 81
size: 9 LOC
McCabe index: 4
number of parameters: 2

id: 557
unit: bool aws_priority_queue_is_valid()
file: source/priority_queue.c
start line: 246
end line: 256
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 558
unit: void aws_thread_pending_join_add()
file: source/thread_shared.c
start line: 144
end line: 163
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 559
unit: struct aws_byte_buf aws_byte_buf_from_c_str()
file: source/byte_buf.c
start line: 913
end line: 921
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 560
unit: bool aws_byte_buf_write_be24()
file: source/byte_buf.c
start line: 1524
end line: 1536
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 561
unit: int aws_byte_buf_append_and_update()
file: source/byte_buf.c
start line: 1590
end line: 1600
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 562
unit: int aws_run_command()
file: source/process_common.c
start line: 31
end line: 39
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 563
unit: static void s_aws_promise_dtor()
file: source/promise.c
start line: 24
end line: 32
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 564
unit: void aws_promise_complete()
file: source/promise.c
start line: 79
end line: 87
size: 9 LOC
McCabe index: 2
number of parameters: 3

id: 565
unit: void aws_promise_fail()
file: source/promise.c
start line: 89
end line: 97
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 566
unit: int aws_high_res_clock_get_ticks()
file: source/windows/clock.c
start line: 50
end line: 61
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 567
unit: int aws_sys_clock_get_ticks()
file: source/windows/clock.c
start line: 63
end line: 78
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 568
unit: static inline int s_date_to_str()
file: source/date_time.c
start line: 654
end line: 665
size: 9 LOC
McCabe index: 2
number of parameters: 3

id: 569
unit: static void s_print_stack_trace()
file: include/aws/testing/aws_test_harness.h
start line: 367
end line: 375
size: 9 LOC
McCabe index: 2
number of parameters: 3

id: 570
unit: void aws_atomic_store_int_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 181
end line: 189
size: 9 LOC
McCabe index: 2
number of parameters: 3

id: 571
unit: AWS_STATIC_IMPL size_t aws_mul_size_saturating()
file: include/aws/common/math.inl
start line: 85
end line: 93
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 572
unit: AWS_STATIC_IMPL int aws_mul_size_checked()
file: include/aws/common/math.inl
start line: 99
end line: 107
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 573
unit: AWS_STATIC_IMPL size_t aws_add_size_saturating()
file: include/aws/common/math.inl
start line: 112
end line: 120
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 574
unit: AWS_STATIC_IMPL int aws_add_size_checked()
file: include/aws/common/math.inl
start line: 126
end line: 134
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 575
unit: AWS_STATIC_IMPL size_t aws_sub_size_saturating()
file: include/aws/common/math.inl
start line: 136
end line: 144
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 576
unit: AWS_STATIC_IMPL int aws_sub_size_checked()
file: include/aws/common/math.inl
start line: 146
end line: 154
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 577
unit: int main()
file: include/aws/common/private/lookup3.inl
start line: 1045
end line: 1053
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 578
unit: AWS_STATIC_IMPL void aws_linked_list_init()
file: include/aws/common/linked_list.inl
start line: 108
end line: 116
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 579
unit: AWS_STATIC_IMPL bool aws_ring_buffer_is_valid()
file: include/aws/common/ring_buffer.inl
start line: 33
end line: 42
size: 9 LOC
McCabe index: 7
number of parameters: 1

id: 580
unit: AWS_STATIC_IMPL uint64_t aws_add_u64_saturating()
file: include/aws/common/math.gcc_x64_asm.inl
start line: 131
end line: 141
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 581
unit: AWS_STATIC_IMPL uint64_t aws_add_u64_saturating()
file: include/aws/common/math.gcc_arm64_asm.inl
start line: 127
end line: 139
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 582
unit: AWS_STATIC_IMPL uint32_t aws_add_u32_saturating()
file: include/aws/common/math.gcc_arm64_asm.inl
start line: 166
end line: 178
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 583
unit: void hash_iterator_string_string_generator()
file: verification/cbmc/stubs/hash_table_generators.c
start line: 18
end line: 26
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 584
unit: void hash_iterator_unbacked_string_string_generator()
file: verification/cbmc/stubs/hash_table_generators.c
start line: 50
end line: 58
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 585
unit: bool aws_hash_iter_done()
file: verification/cbmc/stubs/aws_hash_table_no_slots_override.c
start line: 194
end line: 202
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 586
unit: bool uninterpreted_equals()
file: verification/cbmc/sources/utils.c
start line: 141
end line: 152
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 587
unit: void aws_priority_queue_clean_up_harness()
file: verification/cbmc/proofs/aws_priority_queue_clean_up/aws_priority_queue_clean_up_harness.c
start line: 12
end line: 27
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 588
unit: void aws_hash_byte_cursor_ptr_ignore_case_harness()
file: verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/aws_hash_byte_cursor_ptr_ignore_case_harness.c
start line: 9
end line: 24
size: 9 LOC
McCabe index: 2
number of parameters: 0

id: 589
unit: static inline int s_base64_get_decoded_value()
file: source/encoding.c
start line: 340
end line: 349
size: 8 LOC
McCabe index: 4
number of parameters: 3

id: 590
unit: int aws_hash_table_remove_element()
file: source/hash_table.c
start line: 698
end line: 708
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 591
unit: static bool s_has_clmul()
file: source/arch/intel/cpuid.c
start line: 19
end line: 28
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 592
unit: static bool s_has_sse41()
file: source/arch/intel/cpuid.c
start line: 30
end line: 39
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 593
unit: static bool s_has_sse42()
file: source/arch/intel/cpuid.c
start line: 41
end line: 50
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 594
unit: static int s_background_channel_send()
file: source/log_channel.c
start line: 87
end line: 97
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 595
unit: int aws_directory_entry_iterator_next()
file: source/file.c
start line: 123
end line: 133
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 596
unit: int aws_directory_entry_iterator_previous()
file: source/file.c
start line: 135
end line: 145
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 597
unit: void aws_raise_error_private()
file: source/error.c
start line: 93
end line: 101
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 598
unit: size_t aws_ref_count_release()
file: source/ref_count.c
start line: 23
end line: 31
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 599
unit: size_t aws_system_info_processor_count()
file: source/posix/system_info.c
start line: 20
end line: 28
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 600
unit: size_t aws_system_info_processor_count()
file: source/posix/system_info.c
start line: 30
end line: 37
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 601
unit: int aws_condition_variable_notify_one()
file: source/posix/condition_variable.c
start line: 46
end line: 56
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 602
unit: int aws_condition_variable_notify_all()
file: source/posix/condition_variable.c
start line: 58
end line: 68
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 603
unit: size_t aws_get_soft_limit_io_handles()
file: source/posix/process.c
start line: 16
end line: 24
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 604
unit: size_t aws_get_hard_limit_io_handles()
file: source/posix/process.c
start line: 26
end line: 34
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 605
unit: static void s_sift_either()
file: source/priority_queue.c
start line: 134
end line: 143
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 606
unit: int aws_priority_queue_pop()
file: source/priority_queue.c
start line: 379
end line: 387
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 607
unit: static void s_default_free()
file: source/allocator.c
start line: 65
end line: 72
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 608
unit: static void s_element_destroy()
file: source/linked_hash_table.c
start line: 7
end line: 16
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 609
unit: void aws_byte_buf_secure_zero()
file: source/byte_buf.c
start line: 87
end line: 94
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 610
unit: bool aws_byte_buf_eq()
file: source/byte_buf.c
start line: 103
end line: 110
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 611
unit: bool aws_byte_buf_eq_ignore_case()
file: source/byte_buf.c
start line: 112
end line: 119
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 612
unit: bool aws_byte_cursor_eq()
file: source/byte_buf.c
start line: 356
end line: 363
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 613
unit: bool aws_byte_cursor_eq_ignore_case()
file: source/byte_buf.c
start line: 365
end line: 372
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 614
unit: bool aws_byte_cursor_eq_byte_buf()
file: source/byte_buf.c
start line: 525
end line: 532
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 615
unit: struct aws_byte_cursor aws_byte_cursor_from_buf()
file: source/byte_buf.c
start line: 946
end line: 953
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 616
unit: struct aws_byte_cursor aws_byte_cursor_from_array()
file: source/byte_buf.c
start line: 963
end line: 970
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 617
unit: void aws_ring_buffer_release()
file: source/ring_buffer.c
start line: 245
end line: 252
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 618
unit: bool aws_ring_buffer_buf_belongs_to_pool()
file: source/ring_buffer.c
start line: 254
end line: 261
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 619
unit: static void s_bus_deliver_msg()
file: source/bus.c
start line: 117
end line: 124
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 620
unit: static int s_bus_sync_send()
file: source/bus.c
start line: 212
end line: 219
size: 8 LOC
McCabe index: 2
number of parameters: 4

id: 621
unit: static void s_bus_sync_unsubscribe()
file: source/bus.c
start line: 226
end line: 233
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 622
unit: static int s_aws_file_writer_write()
file: source/log_writer.c
start line: 25
end line: 34
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 623
unit: bool aws_promise_wait_for()
file: source/promise.c
start line: 63
end line: 70
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 624
unit: AWS_COMMON_API void aws_cli_reset_state()
file: source/command_line_parser.c
start line: 39
end line: 47
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 625
unit: void aws_task_scheduler_cancel_task()
file: source/task_scheduler.c
start line: 253
end line: 267
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 626
unit: bool aws_directory_exists()
file: source/windows/file.c
start line: 86
end line: 95
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 627
unit: static void s_init_rand()
file: source/windows/device_random.c
start line: 16
end line: 25
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 628
unit: static VOID WINAPI s_get_system_time_func_lazy_init()
file: source/windows/clock.c
start line: 39
end line: 48
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 629
unit: int aws_condition_variable_wait()
file: source/windows/condition_variable.c
start line: 42
end line: 51
size: 8 LOC
McCabe index: 4
number of parameters: 2

id: 630
unit: void aws_date_time_init_epoch_millis()
file: source/date_time.c
start line: 180
end line: 187
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 631
unit: int aws_date_time_init_from_str()
file: source/date_time.c
start line: 644
end line: 652
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 632
unit: AWS_STATIC_IMPL void aws_linked_list_remove()
file: include/aws/common/linked_list.inl
start line: 260
end line: 267
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 633
unit: void aws_array_list_clean_up_secure()
file: include/aws/common/array_list.inl
start line: 119
end line: 127
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 634
unit: AWS_STATIC_IMPL int aws_mul_u64_checked()
file: include/aws/common/math.msvc.inl
start line: 33
end line: 41
size: 8 LOC
McCabe index: 2
number of parameters: 3

id: 635
unit: AWS_STATIC_IMPL int aws_mul_u32_checked()
file: include/aws/common/math.msvc.inl
start line: 56
end line: 64
size: 8 LOC
McCabe index: 2
number of parameters: 3

id: 636
unit: bool aws_hash_iter_done()
file: verification/cbmc/stubs/aws_hash_iter_overrides.c
start line: 50
end line: 57
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 637
unit: void assert_bytes_match()
file: verification/cbmc/sources/utils.c
start line: 9
end line: 16
size: 8 LOC
McCabe index: 6
number of parameters: 3

id: 638
unit: bool aws_array_list_is_bounded()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 93
end line: 100
size: 8 LOC
McCabe index: 2
number of parameters: 3

id: 639
unit: void aws_hash_byte_cursor_ptr_harness()
file: verification/cbmc/proofs/aws_hash_byte_cursor_ptr/aws_hash_byte_cursor_ptr_harness.c
start line: 11
end line: 22
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 640
unit: void aws_linked_list_rbegin_harness()
file: verification/cbmc/proofs/aws_linked_list_rbegin/aws_linked_list_rbegin_harness.c
start line: 9
end line: 26
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 641
unit: void aws_linked_list_begin_harness()
file: verification/cbmc/proofs/aws_linked_list_begin/aws_linked_list_begin_harness.c
start line: 9
end line: 26
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 642
unit: void aws_array_list_clean_up_harness()
file: verification/cbmc/proofs/aws_array_list_clean_up/aws_array_list_clean_up_harness.c
start line: 12
end line: 26
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 643
unit: void aws_linked_list_rend_harness()
file: verification/cbmc/proofs/aws_linked_list_rend/aws_linked_list_rend_harness.c
start line: 9
end line: 26
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 644
unit: void aws_hash_array_ignore_case_harness()
file: verification/cbmc/proofs/aws_hash_array_ignore_case/aws_hash_array_ignore_case_harness.c
start line: 9
end line: 21
size: 8 LOC
McCabe index: 2
number of parameters: 0

id: 645
unit: void aws_linked_list_end_harness()
file: verification/cbmc/proofs/aws_linked_list_end/aws_linked_list_end_harness.c
start line: 9
end line: 26
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 646
unit: static inline size_t aws_common_private_base64_decode_sse41()
file: source/encoding.c
start line: 21
end line: 27
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 647
unit: uint64_t aws_hash_c_string()
file: source/hash_table.c
start line: 948
end line: 957
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 648
unit: uint64_t aws_hash_string()
file: source/hash_table.c
start line: 959
end line: 967
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 649
unit: uint64_t aws_hash_byte_cursor_ptr()
file: source/hash_table.c
start line: 969
end line: 977
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 650
unit: size_t aws_wstring_num_chars()
file: source/string.c
start line: 166
end line: 174
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 651
unit: void aws_crt_statistics_handler_process_statistics()
file: source/statistics.c
start line: 8
end line: 14
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 652
unit: static size_t s_advance_and_clamp_index()
file: source/android/logging.c
start line: 22
end line: 29
size: 7 LOC
McCabe index: 2
number of parameters: 3

id: 653
unit: void aws_logger_set()
file: source/logging.c
start line: 274
end line: 280
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 654
unit: int aws_log_level_to_string()
file: source/logging.c
start line: 294
end line: 302
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 655
unit: void aws_mutex_clean_up()
file: source/posix/mutex.c
start line: 11
end line: 17
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 656
unit: int aws_directory_create()
file: source/posix/file.c
start line: 43
end line: 52
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 657
unit: bool aws_directory_exists()
file: source/posix/file.c
start line: 54
end line: 61
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 658
unit: int aws_file_delete()
file: source/posix/file.c
start line: 114
end line: 122
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 659
unit: void aws_condition_variable_clean_up()
file: source/posix/condition_variable.c
start line: 36
end line: 44
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 660
unit: time_t aws_timegm()
file: source/posix/time.c
start line: 51
end line: 58
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 661
unit: int aws_priority_queue_push()
file: source/priority_queue.c
start line: 265
end line: 271
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 662
unit: void aws_mem_release()
file: source/allocator.c
start line: 208
end line: 215
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 663
unit: static void s_aligned_free()
file: source/allocator_sba.c
start line: 127
end line: 133
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 664
unit: size_t aws_thread_get_managed_thread_count()
file: source/thread_shared.c
start line: 47
end line: 54
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 665
unit: bool aws_byte_buf_eq_c_str()
file: source/byte_buf.c
start line: 121
end line: 127
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 666
unit: bool aws_byte_buf_eq_c_str_ignore_case()
file: source/byte_buf.c
start line: 129
end line: 135
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 667
unit: uint64_t aws_hash_byte_cursor_ptr_ignore_case()
file: source/byte_buf.c
start line: 517
end line: 523
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 668
unit: bool aws_byte_cursor_eq_c_str()
file: source/byte_buf.c
start line: 545
end line: 551
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 669
unit: bool aws_byte_cursor_eq_c_str_ignore_case()
file: source/byte_buf.c
start line: 553
end line: 559
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 670
unit: struct aws_byte_cursor aws_byte_cursor_from_c_str()
file: source/byte_buf.c
start line: 955
end line: 961
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 671
unit: bool aws_byte_cursor_read_u8()
file: source/byte_buf.c
start line: 1173
end line: 1179
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 672
unit: void aws_ring_buffer_clean_up()
file: source/ring_buffer.c
start line: 55
end line: 62
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 673
unit: size_t aws_mem_tracer_bytes()
file: source/memtrace.c
start line: 508
end line: 515
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 674
unit: static void s_bus_message_clean_up()
file: source/bus.c
start line: 313
end line: 319
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 675
unit: static void s_aws_file_writer_clean_up()
file: source/log_writer.c
start line: 36
end line: 44
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 676
unit: int aws_run_command_result_init()
file: source/process_common.c
start line: 14
end line: 20
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 677
unit: void aws_run_command_result_cleanup()
file: source/process_common.c
start line: 22
end line: 28
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 678
unit: void aws_common_fatal_assert_library_initialized()
file: source/common.c
start line: 369
end line: 376
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 679
unit: void aws_debug_break()
file: source/windows/system_info.c
start line: 55
end line: 61
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 680
unit: static bool s_init_dbghelp()
file: source/windows/system_info.c
start line: 152
end line: 159
size: 7 LOC
McCabe index: 2
number of parameters: 0

id: 681
unit: BOOL WINAPI s_init_once_wrapper()
file: source/windows/thread.c
start line: 125
end line: 132
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 682
unit: int aws_thread_init()
file: source/windows/thread.c
start line: 141
end line: 148
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 683
unit: static void s_check_active_processor_functions()
file: source/windows/thread.c
start line: 161
end line: 168
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 684
unit: int aws_thread_join()
file: source/windows/thread.c
start line: 349
end line: 356
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 685
unit: static void s_check_try_lock_function()
file: source/windows/rw_lock.c
start line: 50
end line: 57
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 686
unit: int aws_condition_variable_init()
file: source/windows/condition_variable.c
start line: 15
end line: 23
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 687
unit: int aws_get_pid()
file: source/windows/process.c
start line: 15
end line: 21
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 688
unit: void aws_date_time_init_epoch_secs()
file: source/date_time.c
start line: 189
end line: 195
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 689
unit: static size_t s_advance_and_clamp_index()
file: source/log_formatter.c
start line: 36
end line: 43
size: 7 LOC
McCabe index: 2
number of parameters: 3

id: 690
unit: size_t aws_atomic_exchange_int_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 211
end line: 217
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 691
unit: AWS_STATIC_IMPL int aws_sub_u64_checked()
file: include/aws/common/math.inl
start line: 60
end line: 67
size: 7 LOC
McCabe index: 2
number of parameters: 3

id: 692
unit: AWS_STATIC_IMPL int aws_sub_u32_checked()
file: include/aws/common/math.inl
start line: 73
end line: 80
size: 7 LOC
McCabe index: 2
number of parameters: 3

id: 693
unit: AWS_STATIC_IMPL uint64_t aws_mul_u64_saturating()
file: include/aws/common/math.gcc_overflow.inl
start line: 20
end line: 28
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 694
unit: AWS_STATIC_IMPL uint32_t aws_mul_u32_saturating()
file: include/aws/common/math.gcc_overflow.inl
start line: 44
end line: 52
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 695
unit: AWS_STATIC_IMPL uint64_t aws_add_u64_saturating()
file: include/aws/common/math.gcc_overflow.inl
start line: 79
end line: 87
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 696
unit: AWS_STATIC_IMPL uint32_t aws_add_u32_saturating()
file: include/aws/common/math.gcc_overflow.inl
start line: 103
end line: 111
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 697
unit: AWS_STATIC_IMPL uint32_t aws_hton32()
file: include/aws/common/byte_order.inl
start line: 61
end line: 67
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 698
unit: AWS_STATIC_IMPL uint32_t aws_ntoh32()
file: include/aws/common/byte_order.inl
start line: 118
end line: 124
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 699
unit: AWS_STATIC_IMPL uint16_t aws_hton16()
file: include/aws/common/byte_order.inl
start line: 143
end line: 149
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 700
unit: AWS_STATIC_IMPL uint16_t aws_ntoh16()
file: include/aws/common/byte_order.inl
start line: 154
end line: 160
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 701
unit: AWS_STATIC_IMPL uint64_t aws_timestamp_convert()
file: include/aws/common/clock.inl
start line: 80
end line: 87
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 702
unit: AWS_STATIC_IMPL void aws_linked_list_push_back()
file: include/aws/common/linked_list.inl
start line: 272
end line: 278
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 703
unit: AWS_STATIC_IMPL void aws_linked_list_push_front()
file: include/aws/common/linked_list.inl
start line: 309
end line: 315
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 704
unit: AWS_STATIC_IMPL size_t aws_clz_size()
file: include/aws/common/math.gcc_builtin.inl
start line: 39
end line: 45
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 705
unit: AWS_STATIC_IMPL size_t aws_ctz_size()
file: include/aws/common/math.gcc_builtin.inl
start line: 66
end line: 72
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 706
unit: void aws_array_list_clean_up()
file: include/aws/common/array_list.inl
start line: 109
end line: 116
size: 7 LOC
McCabe index: 4
number of parameters: 1

id: 707
unit: size_t aws_array_list_capacity()
file: include/aws/common/array_list.inl
start line: 324
end line: 330
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 708
unit: size_t aws_array_list_length()
file: include/aws/common/array_list.inl
start line: 333
end line: 343
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 709
unit: void aws_array_list_sort()
file: include/aws/common/array_list.inl
start line: 405
end line: 411
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 710
unit: AWS_STATIC_IMPL size_t aws_clz_size()
file: include/aws/common/math.fallback.inl
start line: 146
end line: 152
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 711
unit: AWS_STATIC_IMPL size_t aws_ctz_size()
file: include/aws/common/math.fallback.inl
start line: 195
end line: 201
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 712
unit: AWS_STATIC_IMPL uint64_t aws_add_u64_saturating()
file: include/aws/common/math.msvc.inl
start line: 80
end line: 88
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 713
unit: AWS_STATIC_IMPL uint64_t aws_add_u32_saturating()
file: include/aws/common/math.msvc.inl
start line: 104
end line: 112
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 714
unit: AWS_STATIC_IMPL size_t aws_clz_size()
file: include/aws/common/math.msvc.inl
start line: 141
end line: 147
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 715
unit: AWS_STATIC_IMPL size_t aws_ctz_size()
file: include/aws/common/math.msvc.inl
start line: 176
end line: 182
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 716
unit: void hash_find_unbacked_string_string_generator()
file: verification/cbmc/stubs/hash_table_generators.c
start line: 66
end line: 72
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 717
unit: bool __CPROVER_file_local_priority_queue_c_s_sift_up()
file: verification/cbmc/stubs/s_sift_up_override.c
start line: 15
end line: 21
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 718
unit: void make_hash_table_with_no_backing_store()
file: verification/cbmc/stubs/aws_hash_table_no_slots_override.c
start line: 66
end line: 72
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 719
unit: void assert_all_bytes_are()
file: verification/cbmc/sources/utils.c
start line: 18
end line: 24
size: 7 LOC
McCabe index: 3
number of parameters: 3

id: 720
unit: void save_byte_from_array()
file: verification/cbmc/sources/utils.c
start line: 36
end line: 42
size: 7 LOC
McCabe index: 4
number of parameters: 3

id: 721
unit: bool hash_table_state_has_an_empty_slot()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 176
end line: 182
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 722
unit: static inline void aws_common_private_base64_encode_sse41()
file: source/encoding.c
start line: 28
end line: 33
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 723
unit: static void s_suppress_unused_lookup3_func_warnings()
file: source/hash_table.c
start line: 24
end line: 32
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 724
unit: void aws_hash_table_swap()
file: source/hash_table.c
start line: 267
end line: 272
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 725
unit: uint64_t aws_hash_combine()
file: source/hash_table.c
start line: 990
end line: 996
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 726
unit: bool aws_hash_callback_c_str_eq()
file: source/hash_table.c
start line: 998
end line: 1003
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 727
unit: bool aws_hash_callback_string_eq()
file: source/hash_table.c
start line: 1005
end line: 1010
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 728
unit: void aws_wstring_destroy()
file: source/string.c
start line: 105
end line: 110
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 729
unit: void aws_string_destroy()
file: source/string.c
start line: 226
end line: 231
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 730
unit: void aws_crt_statistics_handler_destroy()
file: source/statistics.c
start line: 20
end line: 26
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 731
unit: uint16_t aws_get_cpu_group_count()
file: source/posix/system_info.c
start line: 43
end line: 49
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 732
unit: int aws_set_environment_value()
file: source/posix/environment.c
start line: 30
end line: 37
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 733
unit: int aws_unset_environment_value()
file: source/posix/environment.c
start line: 39
end line: 45
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 734
unit: void aws_priority_queue_clean_up()
file: source/priority_queue.c
start line: 258
end line: 263
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 735
unit: void aws_linked_hash_table_move_node_to_end_of_list()
file: source/linked_hash_table.c
start line: 127
end line: 133
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 736
unit: void aws_thread_decrement_unjoined_count()
file: source/thread_shared.c
start line: 40
end line: 45
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 737
unit: void aws_byte_buf_reset()
file: source/byte_buf.c
start line: 69
end line: 74
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 738
unit: void aws_byte_buf_clean_up_secure()
file: source/byte_buf.c
start line: 96
end line: 101
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 739
unit: int aws_byte_cursor_split_on_char()
file: source/byte_buf.c
start line: 288
end line: 294
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 740
unit: bool aws_byte_cursor_satisfies_pred()
file: source/byte_buf.c
start line: 826
end line: 831
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 741
unit: static void s_stack_info_destroy()
file: source/memtrace.c
start line: 247
end line: 252
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 742
unit: static int s_insert_stacks()
file: source/memtrace.c
start line: 273
end line: 278
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 743
unit: static int s_insert_allocs()
file: source/memtrace.c
start line: 280
end line: 285
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 744
unit: static bool s_bus_async_is_running()
file: source/bus.c
start line: 433
end line: 438
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 745
unit: int aws_log_writer_init_file()
file: source/log_writer.c
start line: 104
end line: 109
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 746
unit: bool aws_promise_is_complete()
file: source/promise.c
start line: 72
end line: 77
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 747
unit: void aws_fatal_assert()
file: source/assert.c
start line: 13
end line: 18
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 748
unit: void aws_task_init()
file: source/task_scheduler.c
start line: 14
end line: 19
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 749
unit: int aws_xml_node_as_body()
file: source/xml_parser.c
start line: 270
end line: 276
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 750
unit: void aws_backtrace_print()
file: source/windows/system_info.c
start line: 291
end line: 296
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 751
unit: int aws_mutex_init()
file: source/windows/mutex.c
start line: 15
end line: 22
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 752
unit: int aws_set_environment_value()
file: source/windows/environment.c
start line: 40
end line: 46
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 753
unit: int aws_unset_environment_value()
file: source/windows/environment.c
start line: 50
end line: 56
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 754
unit: bool aws_path_exists()
file: source/windows/file.c
start line: 442
end line: 447
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 755
unit: int aws_fseek()
file: source/windows/file.c
start line: 449
end line: 455
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 756
unit: void aws_thread_call_once()
file: source/windows/thread.c
start line: 134
end line: 139
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 757
unit: void aws_date_time_init_now()
file: source/date_time.c
start line: 173
end line: 178
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 758
unit: static LONG WINAPI s_test_print_stack_trace()
file: include/aws/testing/aws_test_harness.h
start line: 359
end line: 364
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 759
unit: size_t aws_atomic_load_int_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 159
end line: 164
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 760
unit: AWS_STATIC_IMPL int aws_mul_u64_checked()
file: include/aws/common/math.cbmc.inl
start line: 36
end line: 41
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 761
unit: AWS_STATIC_IMPL int aws_mul_u32_checked()
file: include/aws/common/math.cbmc.inl
start line: 56
end line: 61
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 762
unit: AWS_STATIC_IMPL int aws_add_u64_checked()
file: include/aws/common/math.cbmc.inl
start line: 76
end line: 81
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 763
unit: AWS_STATIC_IMPL int aws_add_u32_checked()
file: include/aws/common/math.cbmc.inl
start line: 96
end line: 101
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 764
unit: size_t aws_atomic_exchange_int_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 100
end line: 105
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 765
unit: AWS_STATIC_IMPL int aws_mul_u64_checked()
file: include/aws/common/math.gcc_overflow.inl
start line: 34
end line: 39
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 766
unit: AWS_STATIC_IMPL int aws_mul_u32_checked()
file: include/aws/common/math.gcc_overflow.inl
start line: 58
end line: 63
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 767
unit: AWS_STATIC_IMPL int aws_add_u64_checked()
file: include/aws/common/math.gcc_overflow.inl
start line: 69
end line: 74
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 768
unit: AWS_STATIC_IMPL int aws_add_u32_checked()
file: include/aws/common/math.gcc_overflow.inl
start line: 93
end line: 98
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 769
unit: static inline void aws_atomic_private_barrier_before()
file: include/aws/common/atomics_gnu_old.inl
start line: 38
end line: 44
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 770
unit: static inline void aws_atomic_private_barrier_after()
file: include/aws/common/atomics_gnu_old.inl
start line: 46
end line: 52
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 771
unit: size_t aws_atomic_load_int_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 76
end line: 85
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 772
unit: void aws_atomic_thread_fence()
file: include/aws/common/atomics_fallback.inl
start line: 13
end line: 19
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 773
unit: AWS_STATIC_IMPL int aws_mul_u64_checked()
file: include/aws/common/math.fallback.inl
start line: 30
end line: 35
size: 6 LOC
McCabe index: 4
number of parameters: 3

id: 774
unit: AWS_STATIC_IMPL int aws_mul_u32_checked()
file: include/aws/common/math.fallback.inl
start line: 50
end line: 55
size: 6 LOC
McCabe index: 4
number of parameters: 3

id: 775
unit: AWS_STATIC_IMPL int aws_add_u64_checked()
file: include/aws/common/math.fallback.inl
start line: 70
end line: 75
size: 6 LOC
McCabe index: 3
number of parameters: 3

id: 776
unit: AWS_STATIC_IMPL int aws_add_u32_checked()
file: include/aws/common/math.fallback.inl
start line: 90
end line: 95
size: 6 LOC
McCabe index: 3
number of parameters: 3

id: 777
unit: AWS_STATIC_IMPL int aws_add_u64_checked()
file: include/aws/common/math.msvc.inl
start line: 70
end line: 75
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 778
unit: AWS_STATIC_IMPL int aws_add_u32_checked()
file: include/aws/common/math.msvc.inl
start line: 94
end line: 99
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 779
unit: void aws_string_destroy()
file: verification/cbmc/stubs/aws_string_destroy_override.c
start line: 15
end line: 21
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 780
unit: bool __CPROVER_file_local_priority_queue_c_s_sift_either()
file: verification/cbmc/stubs/s_sift_either_override.c
start line: 24
end line: 29
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 781
unit: void aws_hash_table_clear()
file: verification/cbmc/stubs/aws_hash_table_no_slots_override.c
start line: 77
end line: 82
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 782
unit: void save_byte_from_hash_table()
file: verification/cbmc/sources/utils.c
start line: 94
end line: 99
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 783
unit: void ensure_byte_buf_has_allocated_buffer_member()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 20
end line: 25
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 784
unit: void aws_ptr_eq_harness()
file: verification/cbmc/proofs/aws_ptr_eq/aws_ptr_eq_harness.c
start line: 11
end line: 16
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 785
unit: void aws_string_bytes_harness()
file: verification/cbmc/proofs/aws_string_bytes/aws_string_bytes_harness.c
start line: 9
end line: 14
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 786
unit: static bool s_hash_keys_eq()
file: source/hash_table.c
start line: 74
end line: 78
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 787
unit: static size_t s_index_for()
file: source/hash_table.c
start line: 80
end line: 84
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 788
unit: uint64_t aws_hash_ptr()
file: source/hash_table.c
start line: 979
end line: 988
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 789
unit: bool aws_cpu_has_feature()
file: source/arch/intel/cpuid.c
start line: 95
end line: 99
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 790
unit: static void s_cache_hwcap()
file: source/arch/arm/asm/cpuid.c
start line: 41
end line: 45
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 791
unit: static void s_foreground_channel_clean_up()
file: source/log_channel.c
start line: 44
end line: 50
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 792
unit: void aws_ref_count_init()
file: source/ref_count.c
start line: 11
end line: 15
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 793
unit: static enum aws_log_level s_logcat_get_log_level()
file: source/android/logging.c
start line: 131
end line: 135
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 794
unit: static enum aws_log_level s_null_logger_get_log_level()
file: source/logging.c
start line: 25
end line: 30
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 795
unit: static enum aws_log_level s_aws_logger_pipeline_get_log_level()
file: source/logging.c
start line: 121
end line: 127
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 796
unit: static int s_aws_logger_pipeline_set_log_level()
file: source/logging.c
start line: 129
end line: 135
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 797
unit: static enum aws_log_level s_noalloc_stderr_logger_get_log_level()
file: source/logging.c
start line: 438
end line: 443
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 798
unit: int s_no_alloc_stderr_logger_set_log_level()
file: source/logging.c
start line: 518
end line: 524
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 799
unit: size_t aws_backtrace()
file: source/posix/system_info.c
start line: 416
end line: 420
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 800
unit: void aws_thread_clean_up()
file: source/posix/thread.c
start line: 175
end line: 179
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 801
unit: static void s_cf_allocator_deallocate()
file: source/allocator.c
start line: 273
end line: 279
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 802
unit: static CFIndex s_cf_allocator_preferred_size()
file: source/allocator.c
start line: 305
end line: 310
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 803
unit: void aws_thread_increment_unjoined_count()
file: source/thread_shared.c
start line: 34
end line: 38
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 804
unit: void aws_thread_set_managed_join_timeout_ns()
file: source/thread_shared.c
start line: 61
end line: 65
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 805
unit: bool aws_byte_buf_is_valid()
file: source/byte_buf.c
start line: 58
end line: 62
size: 5 LOC
McCabe index: 7
number of parameters: 1

id: 806
unit: bool aws_byte_buf_write_from_whole_buffer()
file: source/byte_buf.c
start line: 1435
end line: 1439
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 807
unit: bool aws_byte_buf_write_from_whole_cursor()
file: source/byte_buf.c
start line: 1448
end line: 1452
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 808
unit: bool aws_byte_buf_write_be16()
file: source/byte_buf.c
start line: 1510
end line: 1514
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 809
unit: bool aws_byte_buf_write_be32()
file: source/byte_buf.c
start line: 1545
end line: 1549
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 810
unit: bool aws_byte_buf_write_float_be32()
file: source/byte_buf.c
start line: 1558
end line: 1562
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 811
unit: bool aws_byte_buf_write_be64()
file: source/byte_buf.c
start line: 1571
end line: 1575
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 812
unit: bool aws_byte_buf_write_float_be64()
file: source/byte_buf.c
start line: 1584
end line: 1588
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 813
unit: static int s_stack_info_compare_size()
file: source/memtrace.c
start line: 235
end line: 239
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 814
unit: static int s_stack_info_compare_count()
file: source/memtrace.c
start line: 241
end line: 245
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 815
unit: static int s_alloc_compare()
file: source/memtrace.c
start line: 287
end line: 291
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 816
unit: static void s_trace_mem_release()
file: source/memtrace.c
start line: 429
end line: 433
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 817
unit: static void s_bus_sync_clean_up()
file: source/bus.c
start line: 206
end line: 210
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 818
unit: static bool s_bus_async_should_wake_up()
file: source/bus.c
start line: 427
end line: 431
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 819
unit: void aws_bus_destroy()
file: source/bus.c
start line: 701
end line: 705
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 820
unit: void aws_promise_wait()
file: source/promise.c
start line: 57
end line: 61
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 821
unit: static int s_compare_timestamps()
file: source/task_scheduler.c
start line: 47
end line: 51
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 822
unit: void aws_xml_parser_destroy()
file: source/xml_parser.c
start line: 55
end line: 61
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 823
unit: size_t aws_system_info_processor_count()
file: source/windows/system_info.c
start line: 18
end line: 22
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 824
unit: size_t aws_backtrace()
file: source/windows/system_info.c
start line: 276
end line: 280
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 825
unit: int aws_mutex_lock()
file: source/windows/mutex.c
start line: 35
end line: 39
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 826
unit: static void s_check_try_lock_function()
file: source/windows/mutex.c
start line: 46
end line: 51
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 827
unit: int aws_mutex_unlock()
file: source/windows/mutex.c
start line: 72
end line: 76
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 828
unit: int aws_condition_variable_notify_one()
file: source/windows/condition_variable.c
start line: 30
end line: 34
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 829
unit: int aws_condition_variable_notify_all()
file: source/windows/condition_variable.c
start line: 36
end line: 40
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 830
unit: int name()
file: include/aws/testing/aws_test_harness.h
start line: 521
end line: 525
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 831
unit: AWS_STATIC_IMPL uint64_t aws_mul_u64_saturating()
file: include/aws/common/math.cbmc.inl
start line: 26
end line: 30
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 832
unit: AWS_STATIC_IMPL uint32_t aws_mul_u32_saturating()
file: include/aws/common/math.cbmc.inl
start line: 46
end line: 50
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 833
unit: AWS_STATIC_IMPL uint64_t aws_add_u64_saturating()
file: include/aws/common/math.cbmc.inl
start line: 66
end line: 70
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 834
unit: AWS_STATIC_IMPL uint32_t aws_add_u32_saturating()
file: include/aws/common/math.cbmc.inl
start line: 86
end line: 90
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 835
unit: AWS_STATIC_IMPL void aws_linked_list_node_reset()
file: include/aws/common/linked_list.inl
start line: 18
end line: 22
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 836
unit: AWS_STATIC_IMPL bool aws_ring_buffer_check_atomic_ptr()
file: include/aws/common/ring_buffer.inl
start line: 14
end line: 18
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 837
unit: AWS_STATIC_IMPL bool aws_ring_buffer_is_empty()
file: include/aws/common/ring_buffer.inl
start line: 23
end line: 27
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 838
unit: void aws_atomic_store_int_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 106
end line: 113
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 839
unit: void aws_atomic_store_ptr_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 119
end line: 126
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 840
unit: AWS_STATIC_IMPL uint64_t aws_read_u64()
file: include/aws/common/encoding.inl
start line: 30
end line: 35
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 841
unit: AWS_STATIC_IMPL uint32_t aws_read_u32()
file: include/aws/common/encoding.inl
start line: 51
end line: 56
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 842
unit: AWS_STATIC_IMPL uint32_t aws_read_u24()
file: include/aws/common/encoding.inl
start line: 73
end line: 78
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 843
unit: AWS_STATIC_IMPL uint16_t aws_read_u16()
file: include/aws/common/encoding.inl
start line: 95
end line: 100
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 844
unit: AWS_STATIC_IMPL uint64_t aws_mul_u64_saturating()
file: include/aws/common/math.fallback.inl
start line: 20
end line: 24
size: 5 LOC
McCabe index: 4
number of parameters: 2

id: 845
unit: AWS_STATIC_IMPL uint32_t aws_mul_u32_saturating()
file: include/aws/common/math.fallback.inl
start line: 40
end line: 44
size: 5 LOC
McCabe index: 4
number of parameters: 2

id: 846
unit: AWS_STATIC_IMPL uint64_t aws_add_u64_saturating()
file: include/aws/common/math.fallback.inl
start line: 60
end line: 64
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 847
unit: AWS_STATIC_IMPL uint32_t aws_add_u32_saturating()
file: include/aws/common/math.fallback.inl
start line: 80
end line: 84
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 848
unit: AWS_STATIC_IMPL uint64_t aws_mul_u64_saturating()
file: include/aws/common/math.msvc.inl
start line: 23
end line: 27
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 849
unit: AWS_STATIC_IMPL uint32_t aws_mul_u32_saturating()
file: include/aws/common/math.msvc.inl
start line: 46
end line: 50
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 850
unit: AWS_STATIC_IMPL size_t aws_clz_u32()
file: include/aws/common/math.msvc.inl
start line: 117
end line: 121
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 851
unit: AWS_STATIC_IMPL size_t aws_clz_i32()
file: include/aws/common/math.msvc.inl
start line: 123
end line: 127
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 852
unit: AWS_STATIC_IMPL size_t aws_clz_u64()
file: include/aws/common/math.msvc.inl
start line: 129
end line: 133
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 853
unit: AWS_STATIC_IMPL size_t aws_clz_i64()
file: include/aws/common/math.msvc.inl
start line: 135
end line: 139
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 854
unit: AWS_STATIC_IMPL size_t aws_ctz_u32()
file: include/aws/common/math.msvc.inl
start line: 152
end line: 156
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 855
unit: AWS_STATIC_IMPL size_t aws_ctz_i32()
file: include/aws/common/math.msvc.inl
start line: 158
end line: 162
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 856
unit: AWS_STATIC_IMPL size_t aws_ctz_u64()
file: include/aws/common/math.msvc.inl
start line: 164
end line: 168
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 857
unit: AWS_STATIC_IMPL size_t aws_ctz_i64()
file: include/aws/common/math.msvc.inl
start line: 170
end line: 174
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 858
unit: void assert_byte_from_buffer_matches()
file: verification/cbmc/sources/utils.c
start line: 30
end line: 34
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 859
unit: void check_hash_table_unchanged()
file: verification/cbmc/sources/utils.c
start line: 101
end line: 105
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 860
unit: int nondet_compare()
file: verification/cbmc/sources/utils.c
start line: 107
end line: 111
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 861
unit: bool nondet_equals()
file: verification/cbmc/sources/utils.c
start line: 129
end line: 133
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 862
unit: bool uninterpreted_equals_assert_inputs_nonnull()
file: verification/cbmc/sources/utils.c
start line: 154
end line: 158
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 863
unit: void ensure_byte_cursor_has_allocated_buffer_member()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 87
end line: 91
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 864
unit: void ensure_priority_queue_has_allocated_members()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 142
end line: 146
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 865
unit: void aws_linked_list_node_reset_harness()
file: verification/cbmc/proofs/aws_linked_list_node_reset/aws_linked_list_node_reset_harness.c
start line: 9
end line: 18
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 866
unit: void aws_hash_string_harness()
file: verification/cbmc/proofs/aws_hash_string/aws_hash_string_harness.c
start line: 11
end line: 23
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 867
unit: int compare()
file: verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c
start line: 13
end line: 17
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 868
unit: void aws_linked_list_init_harness()
file: verification/cbmc/proofs/aws_linked_list_init/aws_linked_list_init_harness.c
start line: 9
end line: 21
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 869
unit: void aws_hash_callback_string_destroy_harness()
file: verification/cbmc/proofs/aws_hash_callback_string_destroy/aws_hash_callback_string_destroy_harness.c
start line: 11
end line: 17
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 870
unit: void aws_string_destroy_harness()
file: verification/cbmc/proofs/aws_string_destroy/aws_string_destroy_harness.c
start line: 9
end line: 13
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 871
unit: void aws_hash_c_string_harness()
file: verification/cbmc/proofs/aws_hash_c_string/aws_hash_c_string_harness.c
start line: 11
end line: 17
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 872
unit: bool is_empty_state()
file: verification/cbmc/include/proof_helpers/ring_buffer_abstract_states.h
start line: 11
end line: 15
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 873
unit: bool is_front_valid_state()
file: verification/cbmc/include/proof_helpers/ring_buffer_abstract_states.h
start line: 20
end line: 24
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 874
unit: bool is_middle_valid_state()
file: verification/cbmc/include/proof_helpers/ring_buffer_abstract_states.h
start line: 29
end line: 33
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 875
unit: bool is_ends_valid_state()
file: verification/cbmc/include/proof_helpers/ring_buffer_abstract_states.h
start line: 38
end line: 42
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 876
unit: size_t aws_hash_table_get_entry_count()
file: source/hash_table.c
start line: 159
end line: 162
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 877
unit: void aws_hash_callback_string_destroy()
file: source/hash_table.c
start line: 1012
end line: 1015
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 878
unit: bool aws_cpu_has_feature()
file: source/arch/generic/cpuid.c
start line: 13
end line: 16
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 879
unit: static inline __m256i translate_exact()
file: source/arch/intel/encoding_avx2.c
start line: 44
end line: 47
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 880
unit: static bool s_background_wait()
file: source/log_channel.c
start line: 121
end line: 128
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 881
unit: void aws_log_channel_clean_up()
file: source/log_channel.c
start line: 244
end line: 247
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 882
unit: size_t aws_wstring_size_bytes()
file: source/string.c
start line: 176
end line: 180
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 883
unit: struct aws_byte_cursor aws_byte_cursor_from_string()
file: source/string.c
start line: 421
end line: 424
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 884
unit: static void s_aws_pipeline_logger_unowned_clean_up()
file: source/logging.c
start line: 229
end line: 233
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 885
unit: void aws_logger_clean_up()
file: source/logging.c
start line: 286
end line: 290
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 886
unit: void aws_backtrace_print()
file: source/posix/system_info.c
start line: 411
end line: 414
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 887
unit: int aws_mutex_lock()
file: source/posix/mutex.c
start line: 40
end line: 43
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 888
unit: int aws_mutex_try_lock()
file: source/posix/mutex.c
start line: 45
end line: 48
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 889
unit: int aws_mutex_unlock()
file: source/posix/mutex.c
start line: 50
end line: 53
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 890
unit: int aws_directory_or_file_move()
file: source/posix/file.c
start line: 108
end line: 112
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 891
unit: bool aws_path_exists()
file: source/posix/file.c
start line: 239
end line: 242
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 892
unit: int aws_thread_init()
file: source/posix/thread.c
start line: 201
end line: 205
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 893
unit: static void s_do_osx_loads()
file: source/posix/clock.c
start line: 48
end line: 51
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 894
unit: int aws_priority_queue_top()
file: source/priority_queue.c
start line: 389
end line: 392
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 895
unit: int aws_uuid_init()
file: source/uuid.c
start line: 30
end line: 34
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 896
unit: static CFStringRef s_cf_allocator_copy_description()
file: source/allocator.c
start line: 299
end line: 303
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 897
unit: static int s_null_lock()
file: source/allocator_sba.c
start line: 76
end line: 80
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 898
unit: static int s_null_unlock()
file: source/allocator_sba.c
start line: 82
end line: 86
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 899
unit: size_t aws_small_block_allocator_page_size()
file: source/allocator_sba.c
start line: 287
end line: 290
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 900
unit: static void s_sba_mem_release()
file: source/allocator_sba.c
start line: 432
end line: 435
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 901
unit: void aws_linked_hash_table_clean_up()
file: source/linked_hash_table.c
start line: 39
end line: 44
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 902
unit: int aws_device_random_u64()
file: source/device_random.c
start line: 15
end line: 19
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 903
unit: int aws_device_random_u32()
file: source/device_random.c
start line: 21
end line: 25
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 904
unit: int aws_device_random_u16()
file: source/device_random.c
start line: 27
end line: 31
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 905
unit: int aws_device_random_u8()
file: source/device_random.c
start line: 33
end line: 37
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 906
unit: static bool s_one_or_fewer_managed_threads_unjoined()
file: source/thread_shared.c
start line: 56
end line: 59
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 907
unit: bool aws_byte_cursor_is_valid()
file: source/byte_buf.c
start line: 64
end line: 67
size: 4 LOC
McCabe index: 5
number of parameters: 1

id: 908
unit: bool aws_byte_buf_write_u8()
file: source/byte_buf.c
start line: 1477
end line: 1480
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 909
unit: static void s_destroy_alloc()
file: source/memtrace.c
start line: 75
end line: 78
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 910
unit: static void s_destroy_stacktrace()
file: source/memtrace.c
start line: 80
end line: 83
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 911
unit: static int s_bus_sync_subscribe()
file: source/bus.c
start line: 221
end line: 224
size: 4 LOC
McCabe index: 1
number of parameters: 4

id: 912
unit: int aws_bus_subscribe()
file: source/bus.c
start line: 707
end line: 710
size: 4 LOC
McCabe index: 1
number of parameters: 4

id: 913
unit: void aws_bus_unsubscribe()
file: source/bus.c
start line: 712
end line: 715
size: 4 LOC
McCabe index: 1
number of parameters: 4

id: 914
unit: int aws_bus_send()
file: source/bus.c
start line: 717
end line: 720
size: 4 LOC
McCabe index: 1
number of parameters: 4

id: 915
unit: void aws_log_writer_clean_up()
file: source/log_writer.c
start line: 111
end line: 114
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 916
unit: static bool s_promise_completed()
file: source/promise.c
start line: 52
end line: 55
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 917
unit: int aws_promise_error_code()
file: source/promise.c
start line: 99
end line: 102
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 918
unit: bool aws_task_scheduler_is_valid()
file: source/task_scheduler.c
start line: 88
end line: 91
size: 4 LOC
McCabe index: 5
number of parameters: 1

id: 919
unit: void aws_task_scheduler_run_all()
file: source/task_scheduler.c
start line: 185
end line: 189
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 920
unit: void aws_cache_destroy()
file: source/cache.c
start line: 7
end line: 10
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 921
unit: int aws_cache_find()
file: source/cache.c
start line: 12
end line: 15
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 922
unit: int aws_cache_put()
file: source/cache.c
start line: 17
end line: 20
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 923
unit: int aws_cache_remove()
file: source/cache.c
start line: 22
end line: 25
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 924
unit: void aws_cache_clear()
file: source/cache.c
start line: 27
end line: 30
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 925
unit: size_t aws_cache_get_element_count()
file: source/cache.c
start line: 32
end line: 35
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 926
unit: void aws_cache_base_default_destroy()
file: source/cache.c
start line: 37
end line: 40
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 927
unit: size_t aws_xml_node_get_num_attributes()
file: source/xml_parser.c
start line: 388
end line: 391
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 928
unit: size_t aws_get_cpu_count_for_group()
file: source/windows/system_info.c
start line: 30
end line: 33
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 929
unit: void aws_backtrace_log()
file: source/windows/system_info.c
start line: 298
end line: 301
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 930
unit: void aws_mutex_clean_up()
file: source/windows/mutex.c
start line: 30
end line: 33
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 931
unit: void aws_thread_clean_up()
file: source/windows/thread.c
start line: 358
end line: 361
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 932
unit: int aws_rw_lock_init()
file: source/windows/rw_lock.c
start line: 19
end line: 23
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 933
unit: int aws_rw_lock_rlock()
file: source/windows/rw_lock.c
start line: 30
end line: 34
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 934
unit: int aws_rw_lock_wlock()
file: source/windows/rw_lock.c
start line: 36
end line: 40
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 935
unit: int aws_rw_lock_runlock()
file: source/windows/rw_lock.c
start line: 91
end line: 96
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 936
unit: int aws_rw_lock_wunlock()
file: source/windows/rw_lock.c
start line: 98
end line: 103
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 937
unit: void aws_condition_variable_clean_up()
file: source/windows/condition_variable.c
start line: 25
end line: 28
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 938
unit: int aws_set_soft_limit_io_handles()
file: source/windows/process.c
start line: 31
end line: 35
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 939
unit: uint64_t aws_date_time_as_nanos()
file: source/date_time.c
start line: 755
end line: 758
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 940
unit: uint64_t aws_date_time_as_millis()
file: source/date_time.c
start line: 760
end line: 763
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 941
unit: uint16_t aws_date_time_year()
file: source/date_time.c
start line: 765
end line: 769
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 942
unit: enum aws_date_month aws_date_time_month()
file: source/date_time.c
start line: 771
end line: 775
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 943
unit: uint8_t aws_date_time_month_day()
file: source/date_time.c
start line: 777
end line: 781
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 944
unit: enum aws_date_day_of_week aws_date_time_day_of_week()
file: source/date_time.c
start line: 783
end line: 787
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 945
unit: uint8_t aws_date_time_hour()
file: source/date_time.c
start line: 789
end line: 793
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 946
unit: uint8_t aws_date_time_minute()
file: source/date_time.c
start line: 795
end line: 799
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 947
unit: uint8_t aws_date_time_second()
file: source/date_time.c
start line: 801
end line: 805
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 948
unit: bool aws_date_time_dst()
file: source/date_time.c
start line: 807
end line: 811
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 949
unit: void aws_log_formatter_clean_up()
file: source/log_formatter.c
start line: 294
end line: 297
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 950
unit: int name()
file: include/aws/testing/aws_test_harness.h
start line: 504
end line: 507
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 951
unit: size_t aws_atomic_fetch_add_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 280
end line: 284
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 952
unit: size_t aws_atomic_fetch_sub_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 290
end line: 294
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 953
unit: size_t aws_atomic_fetch_or_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 300
end line: 304
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 954
unit: size_t aws_atomic_fetch_and_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 310
end line: 314
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 955
unit: size_t aws_atomic_fetch_xor_explicit()
file: include/aws/common/atomics_msvc.inl
start line: 320
end line: 324
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 956
unit: AWS_STATIC_IMPL int aws_is_big_endian()
file: include/aws/common/byte_order.inl
start line: 26
end line: 29
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 957
unit: bool aws_atomic_compare_exchange_int()
file: include/aws/common/atomics.inl
start line: 70
end line: 73
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 958
unit: bool aws_atomic_compare_exchange_ptr()
file: include/aws/common/atomics.inl
start line: 81
end line: 84
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 959
unit: AWS_STATIC_IMPL bool aws_linked_list_empty()
file: include/aws/common/linked_list.inl
start line: 32
end line: 35
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 960
unit: AWS_STATIC_IMPL void aws_write_u64()
file: include/aws/common/encoding.inl
start line: 19
end line: 23
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 961
unit: AWS_STATIC_IMPL void aws_write_u32()
file: include/aws/common/encoding.inl
start line: 40
end line: 44
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 962
unit: AWS_STATIC_IMPL void aws_write_u24()
file: include/aws/common/encoding.inl
start line: 63
end line: 66
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 963
unit: AWS_STATIC_IMPL void aws_write_u16()
file: include/aws/common/encoding.inl
start line: 84
end line: 88
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 964
unit: AWS_STATIC_IMPL bool aws_text_is_utf8()
file: include/aws/common/encoding.inl
start line: 135
end line: 138
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 965
unit: int aws_raise_error()
file: include/aws/common/error.inl
start line: 17
end line: 27
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 966
unit: uint64_t nondet_hasher()
file: verification/cbmc/sources/utils.c
start line: 160
end line: 163
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 967
unit: uint64_t uninterpreted_hasher()
file: verification/cbmc/sources/utils.c
start line: 168
end line: 171
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 968
unit: void ensure_array_list_has_allocated_data_member()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 102
end line: 105
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 969
unit: void ensure_hash_table_has_valid_destroy_functions()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 167
end line: 170
size: 4 LOC
McCabe index: 3
number of parameters: 1

id: 970
unit: void aws_hash_ptr_harness()
file: verification/cbmc/proofs/aws_hash_ptr/aws_hash_ptr_harness.c
start line: 11
end line: 15
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 971
unit: int hash_table_foreach_proof_callback()
file: verification/cbmc/proofs/aws_hash_table_foreach/aws_hash_table_foreach_harness.c
start line: 11
end line: 14
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 972
unit: static inline bool aws_common_private_has_avx2()
file: source/encoding.c
start line: 34
end line: 36
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 973
unit: static uint64_t s_distance()
file: source/hash_table.c
start line: 88
end line: 90
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 974
unit: bool aws_ptr_eq()
file: source/hash_table.c
start line: 1017
end line: 1019
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 975
unit: bool aws_hash_table_is_valid()
file: source/hash_table.c
start line: 1026
end line: 1028
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 976
unit: void aws_run_cpuid()
file: source/arch/intel/msvc/cpuid.c
start line: 10
end line: 12
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 977
unit: bool aws_cpu_has_feature()
file: source/arch/arm/asm/cpuid.c
start line: 77
end line: 79
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 978
unit: bool aws_cpu_has_feature()
file: source/arch/arm/msvc/cpuid.c
start line: 19
end line: 21
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 979
unit: bool aws_wstring_is_valid()
file: source/string.c
start line: 101
end line: 103
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 980
unit: bool aws_is_any_directory_separator()
file: source/file.c
start line: 72
end line: 74
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 981
unit: int aws_last_error()
file: source/error.c
start line: 32
end line: 34
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 982
unit: void aws_reset_error()
file: source/error.c
start line: 103
end line: 105
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 983
unit: void aws_restore_error()
file: source/error.c
start line: 107
end line: 109
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 984
unit: uint64_t aws_crt_statistics_handler_get_report_interval_ms()
file: source/statistics.c
start line: 16
end line: 18
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 985
unit: static void s_logcat_clean_up()
file: source/android/logging.c
start line: 137
end line: 139
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 986
unit: static void s_null_logger_clean_up()
file: source/logging.c
start line: 47
end line: 49
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 987
unit: void s_resolve_cmd()
file: source/posix/system_info.c
start line: 247
end line: 249
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 988
unit: void s_resolve_cmd()
file: source/posix/system_info.c
start line: 304
end line: 306
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 989
unit: size_t aws_backtrace()
file: source/posix/system_info.c
start line: 309
end line: 311
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 990
unit: void aws_backtrace_log()
file: source/posix/system_info.c
start line: 434
end line: 436
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 991
unit: enum aws_platform_os aws_get_platform_build_os()
file: source/posix/system_info.c
start line: 440
end line: 442
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 992
unit: enum aws_platform_os aws_get_platform_build_os()
file: source/posix/system_info.c
start line: 444
end line: 446
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 993
unit: char aws_get_platform_directory_separator()
file: source/posix/file.c
start line: 222
end line: 224
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 994
unit: static void s_call_once()
file: source/posix/thread.c
start line: 181
end line: 183
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 995
unit: aws_thread_id_t aws_thread_get_id()
file: source/posix/thread.c
start line: 358
end line: 360
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 996
unit: enum aws_thread_detach_state aws_thread_get_detach_state()
file: source/posix/thread.c
start line: 362
end line: 364
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 997
unit: aws_thread_id_t aws_thread_current_thread_id()
file: source/posix/thread.c
start line: 388
end line: 390
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 998
unit: bool aws_thread_thread_id_equal()
file: source/posix/thread.c
start line: 392
end line: 394
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 999
unit: int aws_rw_lock_init()
file: source/posix/rw_lock.c
start line: 11
end line: 14
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1000
unit: void aws_rw_lock_clean_up()
file: source/posix/rw_lock.c
start line: 16
end line: 19
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1001
unit: int aws_rw_lock_rlock()
file: source/posix/rw_lock.c
start line: 21
end line: 24
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1002
unit: int aws_rw_lock_wlock()
file: source/posix/rw_lock.c
start line: 26
end line: 29
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1003
unit: int aws_rw_lock_try_rlock()
file: source/posix/rw_lock.c
start line: 31
end line: 34
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1004
unit: int aws_rw_lock_try_wlock()
file: source/posix/rw_lock.c
start line: 36
end line: 39
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1005
unit: int aws_rw_lock_runlock()
file: source/posix/rw_lock.c
start line: 41
end line: 44
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1006
unit: int aws_rw_lock_wunlock()
file: source/posix/rw_lock.c
start line: 46
end line: 49
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1007
unit: int aws_device_random_buffer()
file: source/posix/device_random.c
start line: 55
end line: 57
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1008
unit: int aws_high_res_clock_get_ticks()
file: source/posix/clock.c
start line: 93
end line: 95
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1009
unit: int aws_sys_clock_get_ticks()
file: source/posix/clock.c
start line: 97
end line: 99
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1010
unit: int aws_get_pid()
file: source/posix/process.c
start line: 12
end line: 14
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1011
unit: time_t aws_timegm()
file: source/posix/time.c
start line: 67
end line: 69
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1012
unit: void aws_localtime()
file: source/posix/time.c
start line: 73
end line: 75
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1013
unit: void aws_gmtime()
file: source/posix/time.c
start line: 77
end line: 79
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1014
unit: void aws_thread_scheduler_acquire()
file: source/thread_scheduler.c
start line: 166
end line: 168
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1015
unit: void aws_thread_scheduler_release()
file: source/thread_scheduler.c
start line: 170
end line: 172
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1016
unit: void aws_thread_scheduler_schedule_now()
file: source/thread_scheduler.c
start line: 184
end line: 186
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1017
unit: size_t aws_priority_queue_size()
file: source/priority_queue.c
start line: 394
end line: 396
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1018
unit: size_t aws_priority_queue_capacity()
file: source/priority_queue.c
start line: 398
end line: 400
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1019
unit: bool aws_uuid_equals()
file: source/uuid.c
start line: 97
end line: 99
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1020
unit: bool aws_allocator_is_valid()
file: source/allocator.c
start line: 32
end line: 35
size: 3 LOC
McCabe index: 4
number of parameters: 1

id: 1021
unit: void aws_wrapped_cf_allocator_destroy()
file: source/allocator.c
start line: 340
end line: 342
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1022
unit: static int s_mutex_lock()
file: source/allocator_sba.c
start line: 88
end line: 90
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1023
unit: static int s_mutex_unlock()
file: source/allocator_sba.c
start line: 92
end line: 94
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1024
unit: int aws_linked_hash_table_remove()
file: source/linked_hash_table.c
start line: 111
end line: 115
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1025
unit: void aws_linked_hash_table_clear()
file: source/linked_hash_table.c
start line: 117
end line: 121
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1026
unit: size_t aws_linked_hash_table_get_element_count()
file: source/linked_hash_table.c
start line: 123
end line: 125
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1027
unit: void aws_thread_initialize_thread_management()
file: source/thread_shared.c
start line: 165
end line: 167
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1028
unit: int aws_byte_buf_append_dynamic()
file: source/byte_buf.c
start line: 713
end line: 715
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1029
unit: int aws_byte_buf_append_dynamic_secure()
file: source/byte_buf.c
start line: 717
end line: 719
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1030
unit: int aws_byte_buf_append_byte_dynamic()
file: source/byte_buf.c
start line: 737
end line: 739
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1031
unit: int aws_byte_buf_append_byte_dynamic_secure()
file: source/byte_buf.c
start line: 741
end line: 743
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1032
unit: int aws_byte_buf_append_null_terminator()
file: source/byte_buf.c
start line: 1603
end line: 1605
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1033
unit: bool aws_isalnum()
file: source/byte_buf.c
start line: 1607
end line: 1609
size: 3 LOC
McCabe index: 4
number of parameters: 1

id: 1034
unit: bool aws_isalpha()
file: source/byte_buf.c
start line: 1611
end line: 1613
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 1035
unit: bool aws_isdigit()
file: source/byte_buf.c
start line: 1615
end line: 1617
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 1036
unit: bool aws_isxdigit()
file: source/byte_buf.c
start line: 1619
end line: 1621
size: 3 LOC
McCabe index: 4
number of parameters: 1

id: 1037
unit: int aws_byte_cursor_utf8_parse_u64()
file: source/byte_buf.c
start line: 1668
end line: 1670
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1038
unit: int aws_byte_cursor_utf8_parse_u64_hex()
file: source/byte_buf.c
start line: 1672
end line: 1674
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1039
unit: int aws_log_writer_init_stdout()
file: source/log_writer.c
start line: 96
end line: 98
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1040
unit: int aws_log_writer_init_stderr()
file: source/log_writer.c
start line: 100
end line: 102
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1041
unit: static int s_lru_cache_find()
file: source/lru_cache.c
start line: 74
end line: 76
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1042
unit: void aws_promise_release()
file: source/promise.c
start line: 48
end line: 50
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1043
unit: int aws_cache_base_default_find()
file: source/cache.c
start line: 42
end line: 44
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1044
unit: int aws_cache_base_default_remove()
file: source/cache.c
start line: 46
end line: 50
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1045
unit: void aws_cache_base_default_clear()
file: source/cache.c
start line: 52
end line: 56
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1046
unit: size_t aws_cache_base_default_get_element_count()
file: source/cache.c
start line: 58
end line: 60
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1047
unit: static bool s_double_quote_fn()
file: source/xml_parser.c
start line: 65
end line: 67
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1048
unit: enum aws_platform_os aws_get_platform_build_os()
file: source/windows/system_info.c
start line: 14
end line: 16
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1049
unit: uint16_t aws_get_cpu_group_count()
file: source/windows/system_info.c
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1050
unit: bool aws_is_debugger_present()
file: source/windows/system_info.c
start line: 51
end line: 53
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1051
unit: size_t aws_backtrace()
file: source/windows/system_info.c
start line: 161
end line: 163
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1052
unit: char aws_get_platform_directory_separator()
file: source/windows/file.c
start line: 377
end line: 379
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1053
unit: aws_thread_id_t aws_thread_get_id()
file: source/windows/thread.c
start line: 341
end line: 343
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1054
unit: enum aws_thread_detach_state aws_thread_get_detach_state()
file: source/windows/thread.c
start line: 345
end line: 347
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1055
unit: aws_thread_id_t aws_thread_current_thread_id()
file: source/windows/thread.c
start line: 363
end line: 365
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1056
unit: bool aws_thread_thread_id_equal()
file: source/windows/thread.c
start line: 367
end line: 369
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1057
unit: void aws_thread_current_sleep()
file: source/windows/thread.c
start line: 371
end line: 377
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1058
unit: void aws_rw_lock_clean_up()
file: source/windows/rw_lock.c
start line: 25
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1059
unit: size_t aws_get_soft_limit_io_handles()
file: source/windows/process.c
start line: 23
end line: 25
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1060
unit: size_t aws_get_hard_limit_io_handles()
file: source/windows/process.c
start line: 27
end line: 29
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1061
unit: time_t aws_timegm()
file: source/windows/time.c
start line: 7
end line: 9
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1062
unit: void aws_localtime()
file: source/windows/time.c
start line: 11
end line: 13
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1063
unit: void aws_gmtime()
file: source/windows/time.c
start line: 15
end line: 17
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1064
unit: double aws_date_time_as_epoch_secs()
file: source/date_time.c
start line: 751
end line: 753
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1065
unit: time_t aws_date_time_diff()
file: source/date_time.c
start line: 813
end line: 815
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1066
unit: static void s_default_aws_log_formatter_clean_up()
file: source/log_formatter.c
start line: 270
end line: 272
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1067
unit: static inline int enable_vt_mode()
file: include/aws/testing/aws_test_harness.h
start line: 488
end line: 490
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1068
unit: void aws_atomic_init_int()
file: include/aws/common/atomics_msvc.inl
start line: 142
end line: 144
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1069
unit: void aws_atomic_init_ptr()
file: include/aws/common/atomics_msvc.inl
start line: 151
end line: 153
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1070
unit: AWS_STATIC_IMPL uint64_t aws_sub_u64_saturating()
file: include/aws/common/math.inl
start line: 56
end line: 58
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1071
unit: AWS_STATIC_IMPL uint32_t aws_sub_u32_saturating()
file: include/aws/common/math.inl
start line: 69
end line: 71
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1072
unit: AWS_STATIC_IMPL bool aws_is_power_of_two()
file: include/aws/common/math.inl
start line: 159
end line: 162
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 1073
unit: AWS_STATIC_IMPL uint8_t aws_min_u8()
file: include/aws/common/math.inl
start line: 195
end line: 197
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1074
unit: AWS_STATIC_IMPL uint8_t aws_max_u8()
file: include/aws/common/math.inl
start line: 199
end line: 201
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1075
unit: AWS_STATIC_IMPL int8_t aws_min_i8()
file: include/aws/common/math.inl
start line: 203
end line: 205
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1076
unit: AWS_STATIC_IMPL int8_t aws_max_i8()
file: include/aws/common/math.inl
start line: 207
end line: 209
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1077
unit: AWS_STATIC_IMPL uint16_t aws_min_u16()
file: include/aws/common/math.inl
start line: 211
end line: 213
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1078
unit: AWS_STATIC_IMPL uint16_t aws_max_u16()
file: include/aws/common/math.inl
start line: 215
end line: 217
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1079
unit: AWS_STATIC_IMPL int16_t aws_min_i16()
file: include/aws/common/math.inl
start line: 219
end line: 221
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1080
unit: AWS_STATIC_IMPL int16_t aws_max_i16()
file: include/aws/common/math.inl
start line: 223
end line: 225
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1081
unit: AWS_STATIC_IMPL uint32_t aws_min_u32()
file: include/aws/common/math.inl
start line: 227
end line: 229
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1082
unit: AWS_STATIC_IMPL uint32_t aws_max_u32()
file: include/aws/common/math.inl
start line: 231
end line: 233
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1083
unit: AWS_STATIC_IMPL int32_t aws_min_i32()
file: include/aws/common/math.inl
start line: 235
end line: 237
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1084
unit: AWS_STATIC_IMPL int32_t aws_max_i32()
file: include/aws/common/math.inl
start line: 239
end line: 241
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1085
unit: AWS_STATIC_IMPL uint64_t aws_min_u64()
file: include/aws/common/math.inl
start line: 243
end line: 245
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1086
unit: AWS_STATIC_IMPL uint64_t aws_max_u64()
file: include/aws/common/math.inl
start line: 247
end line: 249
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1087
unit: AWS_STATIC_IMPL int64_t aws_min_i64()
file: include/aws/common/math.inl
start line: 251
end line: 253
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1088
unit: AWS_STATIC_IMPL int64_t aws_max_i64()
file: include/aws/common/math.inl
start line: 255
end line: 257
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1089
unit: AWS_STATIC_IMPL size_t aws_min_size()
file: include/aws/common/math.inl
start line: 259
end line: 261
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1090
unit: AWS_STATIC_IMPL size_t aws_max_size()
file: include/aws/common/math.inl
start line: 263
end line: 265
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1091
unit: AWS_STATIC_IMPL int aws_min_int()
file: include/aws/common/math.inl
start line: 267
end line: 269
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1092
unit: AWS_STATIC_IMPL int aws_max_int()
file: include/aws/common/math.inl
start line: 271
end line: 273
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1093
unit: AWS_STATIC_IMPL float aws_min_float()
file: include/aws/common/math.inl
start line: 275
end line: 277
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1094
unit: AWS_STATIC_IMPL float aws_max_float()
file: include/aws/common/math.inl
start line: 279
end line: 281
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1095
unit: AWS_STATIC_IMPL double aws_min_double()
file: include/aws/common/math.inl
start line: 283
end line: 285
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1096
unit: AWS_STATIC_IMPL double aws_max_double()
file: include/aws/common/math.inl
start line: 287
end line: 289
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 1097
unit: void aws_atomic_init_int()
file: include/aws/common/atomics_gnu.inl
start line: 50
end line: 52
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1098
unit: void aws_atomic_init_ptr()
file: include/aws/common/atomics_gnu.inl
start line: 59
end line: 61
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1099
unit: size_t aws_atomic_load_int_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 67
end line: 69
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1100
unit: void aws_atomic_store_int_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 83
end line: 85
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1101
unit: void aws_atomic_store_ptr_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 91
end line: 93
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1102
unit: size_t aws_atomic_fetch_add_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 165
end line: 167
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1103
unit: size_t aws_atomic_fetch_sub_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 173
end line: 175
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1104
unit: size_t aws_atomic_fetch_or_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 181
end line: 183
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1105
unit: size_t aws_atomic_fetch_and_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 189
end line: 191
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1106
unit: size_t aws_atomic_fetch_xor_explicit()
file: include/aws/common/atomics_gnu.inl
start line: 197
end line: 199
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1107
unit: void aws_atomic_thread_fence()
file: include/aws/common/atomics_gnu.inl
start line: 206
end line: 208
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1108
unit: AWS_STATIC_IMPL uint64_t aws_ntoh64()
file: include/aws/common/byte_order.inl
start line: 54
end line: 56
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1109
unit: AWS_STATIC_IMPL float aws_ntohf32()
file: include/aws/common/byte_order.inl
start line: 129
end line: 131
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1110
unit: AWS_STATIC_IMPL double aws_ntohf64()
file: include/aws/common/byte_order.inl
start line: 136
end line: 138
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1111
unit: size_t aws_atomic_load_int()
file: include/aws/common/atomics.inl
start line: 18
end line: 20
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1112
unit: void aws_atomic_store_int()
file: include/aws/common/atomics.inl
start line: 34
end line: 36
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1113
unit: void aws_atomic_store_ptr()
file: include/aws/common/atomics.inl
start line: 42
end line: 44
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1114
unit: size_t aws_atomic_exchange_int()
file: include/aws/common/atomics.inl
start line: 51
end line: 53
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1115
unit: size_t aws_atomic_fetch_add()
file: include/aws/common/atomics.inl
start line: 91
end line: 93
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1116
unit: size_t aws_atomic_fetch_sub()
file: include/aws/common/atomics.inl
start line: 100
end line: 102
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1117
unit: size_t aws_atomic_fetch_and()
file: include/aws/common/atomics.inl
start line: 109
end line: 111
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1118
unit: size_t aws_atomic_fetch_or()
file: include/aws/common/atomics.inl
start line: 118
end line: 120
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1119
unit: size_t aws_atomic_fetch_xor()
file: include/aws/common/atomics.inl
start line: 127
end line: 129
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1120
unit: AWS_STATIC_IMPL bool aws_linked_list_node_next_is_valid()
file: include/aws/common/linked_list.inl
start line: 56
end line: 58
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 1121
unit: AWS_STATIC_IMPL bool aws_linked_list_node_prev_is_valid()
file: include/aws/common/linked_list.inl
start line: 65
end line: 67
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 1122
unit: AWS_STATIC_IMPL size_t aws_clz_u32()
file: include/aws/common/math.gcc_builtin.inl
start line: 23
end line: 25
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1123
unit: AWS_STATIC_IMPL size_t aws_clz_i32()
file: include/aws/common/math.gcc_builtin.inl
start line: 27
end line: 29
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1124
unit: AWS_STATIC_IMPL size_t aws_clz_u64()
file: include/aws/common/math.gcc_builtin.inl
start line: 31
end line: 33
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1125
unit: AWS_STATIC_IMPL size_t aws_clz_i64()
file: include/aws/common/math.gcc_builtin.inl
start line: 35
end line: 37
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1126
unit: AWS_STATIC_IMPL size_t aws_ctz_u32()
file: include/aws/common/math.gcc_builtin.inl
start line: 50
end line: 52
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1127
unit: AWS_STATIC_IMPL size_t aws_ctz_i32()
file: include/aws/common/math.gcc_builtin.inl
start line: 54
end line: 56
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1128
unit: AWS_STATIC_IMPL size_t aws_ctz_u64()
file: include/aws/common/math.gcc_builtin.inl
start line: 58
end line: 60
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1129
unit: AWS_STATIC_IMPL size_t aws_ctz_i64()
file: include/aws/common/math.gcc_builtin.inl
start line: 62
end line: 64
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1130
unit: static inline void aws_atomic_private_compiler_barrier()
file: include/aws/common/atomics_gnu_old.inl
start line: 34
end line: 36
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1131
unit: void aws_atomic_init_int()
file: include/aws/common/atomics_gnu_old.inl
start line: 59
end line: 61
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1132
unit: void aws_atomic_init_ptr()
file: include/aws/common/atomics_gnu_old.inl
start line: 68
end line: 70
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1133
unit: size_t aws_atomic_fetch_add_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 225
end line: 227
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1134
unit: size_t aws_atomic_fetch_sub_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 233
end line: 235
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1135
unit: size_t aws_atomic_fetch_or_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 241
end line: 243
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1136
unit: size_t aws_atomic_fetch_and_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 249
end line: 251
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1137
unit: size_t aws_atomic_fetch_xor_explicit()
file: include/aws/common/atomics_gnu_old.inl
start line: 257
end line: 259
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 1138
unit: void aws_atomic_thread_fence()
file: include/aws/common/atomics_gnu_old.inl
start line: 266
end line: 269
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1139
unit: bool aws_string_is_valid()
file: include/aws/common/string.inl
start line: 34
end line: 36
size: 3 LOC
McCabe index: 3
number of parameters: 1

id: 1140
unit: bool aws_c_string_is_valid()
file: include/aws/common/string.inl
start line: 42
end line: 49
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 1141
unit: bool aws_char_is_space()
file: include/aws/common/string.inl
start line: 55
end line: 57
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1142
unit: AWS_STATIC_IMPL size_t aws_clz_u32()
file: include/aws/common/math.fallback.inl
start line: 106
end line: 108
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1143
unit: AWS_STATIC_IMPL size_t aws_clz_u64()
file: include/aws/common/math.fallback.inl
start line: 126
end line: 128
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1144
unit: AWS_STATIC_IMPL size_t aws_ctz_u32()
file: include/aws/common/math.fallback.inl
start line: 157
end line: 159
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1145
unit: AWS_STATIC_IMPL size_t aws_ctz_u64()
file: include/aws/common/math.fallback.inl
start line: 176
end line: 178
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1146
unit: void abort()
file: verification/cbmc/stubs/abort_override_assert_false.c
start line: 14
end line: 16
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 1147
unit: void aws_raise_error_private()
file: verification/cbmc/stubs/error.c
start line: 14
end line: 16
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1148
unit: int aws_last_error()
file: verification/cbmc/stubs/error.c
start line: 21
end line: 23
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1149
unit: bool aws_hash_table_is_valid()
file: verification/cbmc/stubs/aws_hash_table_no_slots_override.c
start line: 22
end line: 24
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 1150
unit: void assert_all_zeroes()
file: verification/cbmc/sources/utils.c
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1151
unit: bool aws_byte_buf_is_bounded()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 12
end line: 14
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1152
unit: bool aws_byte_buf_has_allocator()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 16
end line: 18
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 1153
unit: bool aws_byte_cursor_is_bounded()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 83
end line: 85
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1154
unit: bool aws_hash_table_has_an_empty_slot()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 172
end line: 174
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 1155
unit: void aws_byte_cursor_read_be32_harness()
file: verification/cbmc/proofs/aws_byte_cursor_read_be32/aws_byte_cursor_read_be32_harness.c
start line: 13
end line: 15
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 1156
unit: void aws_byte_cursor_read_be64_harness()
file: verification/cbmc/proofs/aws_byte_cursor_read_be64/aws_byte_cursor_read_be64_harness.c
start line: 13
end line: 15
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 1157
unit: void aws_byte_cursor_read_be16_harness()
file: verification/cbmc/proofs/aws_byte_cursor_read_be16/aws_byte_cursor_read_be16_harness.c
start line: 13
end line: 15
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 1158
unit: void hash_proof_destroy_noop()
file: verification/cbmc/sources/make_common_data_structures.c
start line: 190
end line: 190
size: 1 LOC
McCabe index: 1
number of parameters: 1