Path	Lines of Code
verification/cbmc/proofs/aws_add_size_checked/aws_add_size_checked_harness.c	24
verification/cbmc/proofs/aws_add_size_saturating/aws_add_size_saturating_harness.c	23
verification/cbmc/proofs/aws_array_eq/aws_array_eq_harness.c	34
verification/cbmc/proofs/aws_array_eq_c_str/aws_array_eq_c_str_harness.c	28
verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/aws_array_eq_c_str_ignore_case_harness.c	24
verification/cbmc/proofs/aws_array_eq_ignore_case/aws_array_eq_ignore_case_harness.c	31
verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c	20
verification/cbmc/proofs/aws_array_list_capacity/aws_array_list_capacity_harness.c	16
verification/cbmc/proofs/aws_array_list_clean_up/aws_array_list_clean_up_harness.c	10
verification/cbmc/proofs/aws_array_list_clear/aws_array_list_clear_harness.c	16
verification/cbmc/proofs/aws_array_list_comparator_string/aws_array_list_comparator_string_harness.c	17
verification/cbmc/proofs/aws_array_list_copy/aws_array_list_copy_harness.c	21
verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c	21
verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c	22
verification/cbmc/proofs/aws_array_list_front/aws_array_list_front_harness.c	21
verification/cbmc/proofs/aws_array_list_get_at/aws_array_list_get_at_harness.c	21
verification/cbmc/proofs/aws_array_list_get_at_ptr/aws_array_list_get_at_ptr_harness.c	21
verification/cbmc/proofs/aws_array_list_init_dynamic/aws_array_list_init_dynamic_harness.c	19
verification/cbmc/proofs/aws_array_list_init_static/aws_array_list_init_static_harness.c	23
verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c	14
verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c	21
verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c	21
verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c	22
verification/cbmc/proofs/aws_array_list_push_back/aws_array_list_push_back_harness.c	21
verification/cbmc/proofs/aws_array_list_push_front/aws_array_list_push_front_harness.c	21
verification/cbmc/proofs/aws_array_list_set_at/aws_array_list_set_at_harness.c	24
verification/cbmc/proofs/aws_array_list_shrink_to_fit/aws_array_list_shrink_to_fit_harness.c	21
verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c	21
verification/cbmc/proofs/aws_array_list_swap/aws_array_list_swap_harness.c	19
verification/cbmc/proofs/aws_array_list_swap_contents/aws_array_list_swap_contents_harness.c	28
verification/cbmc/proofs/aws_byte_buf_advance/aws_byte_buf_advance_harness.c	39
verification/cbmc/proofs/aws_byte_buf_append/aws_byte_buf_append_harness.c	26
verification/cbmc/proofs/aws_byte_buf_append_dynamic/aws_byte_buf_append_dynamic_harness.c	23
verification/cbmc/proofs/aws_byte_buf_append_with_lookup/aws_byte_buf_append_with_lookup_harness.c	27
verification/cbmc/proofs/aws_byte_buf_cat/aws_byte_buf_cat_harness.c	44
verification/cbmc/proofs/aws_byte_buf_clean_up/aws_byte_buf_clean_up_harness.c	12
verification/cbmc/proofs/aws_byte_buf_clean_up_secure/aws_byte_buf_clean_up_secure_harness.c	13
verification/cbmc/proofs/aws_byte_buf_eq/aws_byte_buf_eq_harness.c	32
verification/cbmc/proofs/aws_byte_buf_eq_c_str/aws_byte_buf_eq_c_str_harness.c	27
verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/aws_byte_buf_eq_c_str_ignore_case_harness.c	24
verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/aws_byte_buf_eq_ignore_case_harness.c	29
verification/cbmc/proofs/aws_byte_buf_from_array/aws_byte_buf_from_array_harness.c	15
verification/cbmc/proofs/aws_byte_buf_from_c_str/aws_byte_buf_from_c_str_harness.c	19
verification/cbmc/proofs/aws_byte_buf_from_empty_array/aws_byte_buf_from_empty_array_harness.c	15
verification/cbmc/proofs/aws_byte_buf_init/aws_byte_buf_init_harness.c	13
verification/cbmc/proofs/aws_byte_buf_init_copy/aws_byte_buf_init_copy_harness.c	27
verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/aws_byte_buf_init_copy_from_cursor_harness.c	21
verification/cbmc/proofs/aws_byte_buf_reserve/aws_byte_buf_reserve_harness.c	19
verification/cbmc/proofs/aws_byte_buf_reserve_relative/aws_byte_buf_reserve_relative_harness.c	15
verification/cbmc/proofs/aws_byte_buf_reset/aws_byte_buf_reset_harness.c	19
verification/cbmc/proofs/aws_byte_buf_secure_zero/aws_byte_buf_secure_zero_harness.c	12
verification/cbmc/proofs/aws_byte_buf_write/aws_byte_buf_write_harness.c	24
verification/cbmc/proofs/aws_byte_buf_write_be16/aws_byte_buf_write_be16_harness.c	20
verification/cbmc/proofs/aws_byte_buf_write_be32/aws_byte_buf_write_be32_harness.c	20
verification/cbmc/proofs/aws_byte_buf_write_be64/aws_byte_buf_write_be64_harness.c	20
verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/aws_byte_buf_write_from_whole_buffer_harness.c	31
verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/aws_byte_buf_write_from_whole_cursor_harness.c	31
verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/aws_byte_buf_write_from_whole_string_harness.c	30
verification/cbmc/proofs/aws_byte_buf_write_u8/aws_byte_buf_write_u8_harness.c	20
verification/cbmc/proofs/aws_byte_cursor_advance/aws_byte_cursor_advance_harness.c	31
verification/cbmc/proofs/aws_byte_cursor_advance_nospec/aws_byte_cursor_advance_nospec_harness.c	31
verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c	39
verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c	35
verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c	36
verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/aws_byte_cursor_eq_byte_buf_harness.c	30
verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/aws_byte_cursor_eq_byte_buf_ignore_case_harness.c	27
verification/cbmc/proofs/aws_byte_cursor_eq_c_str/aws_byte_cursor_eq_c_str_harness.c	29
verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/aws_byte_cursor_eq_c_str_ignore_case_harness.c	26
verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c	33
verification/cbmc/proofs/aws_byte_cursor_from_array/aws_byte_cursor_from_array_harness.c	13
verification/cbmc/proofs/aws_byte_cursor_from_buf/aws_byte_cursor_from_buf_harness.c	19
verification/cbmc/proofs/aws_byte_cursor_from_c_str/aws_byte_cursor_from_c_str_harness.c	13
verification/cbmc/proofs/aws_byte_cursor_from_string/aws_byte_cursor_from_string_harness.c	13
verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/aws_byte_cursor_left_trim_pred_harness.c	16
verification/cbmc/proofs/aws_byte_cursor_read/aws_byte_cursor_read_harness.c	29
verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/aws_byte_cursor_read_and_fill_buffer_harness.c	35
verification/cbmc/proofs/aws_byte_cursor_read_be16/aws_byte_cursor_read_be16_harness.c	8
verification/cbmc/proofs/aws_byte_cursor_read_be32/aws_byte_cursor_read_be32_harness.c	8
verification/cbmc/proofs/aws_byte_cursor_read_be64/aws_byte_cursor_read_be64_harness.c	8
verification/cbmc/proofs/aws_byte_cursor_read_u8/aws_byte_cursor_read_u8_harness.c	22
verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/aws_byte_cursor_right_trim_pred_harness.c	16
verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/aws_byte_cursor_satisfies_pred_harness.c	15
verification/cbmc/proofs/aws_byte_cursor_trim_pred/aws_byte_cursor_trim_pred_harness.c	16
verification/cbmc/proofs/aws_hash_array_ignore_case/aws_hash_array_ignore_case_harness.c	10
verification/cbmc/proofs/aws_hash_byte_cursor_ptr/aws_hash_byte_cursor_ptr_harness.c	12
verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/aws_hash_byte_cursor_ptr_ignore_case_harness.c	11
verification/cbmc/proofs/aws_hash_c_string/aws_hash_c_string_harness.c	9
verification/cbmc/proofs/aws_hash_callback_c_str_eq/aws_hash_callback_c_str_eq_harness.c	15
verification/cbmc/proofs/aws_hash_callback_string_destroy/aws_hash_callback_string_destroy_harness.c	9
verification/cbmc/proofs/aws_hash_callback_string_eq/aws_hash_callback_string_eq_harness.c	15
verification/cbmc/proofs/aws_hash_iter_begin/aws_hash_iter_begin_harness.c	16
verification/cbmc/proofs/aws_hash_iter_delete/aws_hash_iter_delete_harness.c	21
verification/cbmc/proofs/aws_hash_iter_done/aws_hash_iter_done_harness.c	22
verification/cbmc/proofs/aws_hash_iter_next/aws_hash_iter_next_harness.c	21
verification/cbmc/proofs/aws_hash_ptr/aws_hash_ptr_harness.c	8
verification/cbmc/proofs/aws_hash_string/aws_hash_string_harness.c	9
verification/cbmc/proofs/aws_hash_table_clean_up/aws_hash_table_clean_up_harness.c	26
verification/cbmc/proofs/aws_hash_table_clear/aws_hash_table_clear_harness.c	16
verification/cbmc/proofs/aws_hash_table_create/aws_hash_table_create_harness.c	36
verification/cbmc/proofs/aws_hash_table_eq/aws_hash_table_eq_harness.c	27
verification/cbmc/proofs/aws_hash_table_find/aws_hash_table_find_harness.c	27
verification/cbmc/proofs/aws_hash_table_foreach/aws_hash_table_foreach_harness.c	18
verification/cbmc/proofs/aws_hash_table_get_entry_count/aws_hash_table_get_entry_count_harness.c	18
verification/cbmc/proofs/aws_hash_table_init_bounded/aws_hash_table_init_bounded_harness.c	22
verification/cbmc/proofs/aws_hash_table_init_unbounded/aws_hash_table_init_unbounded_harness.c	19
verification/cbmc/proofs/aws_hash_table_move/aws_hash_table_move_harness.c	16
verification/cbmc/proofs/aws_hash_table_put/aws_hash_table_put_harness.c	34
verification/cbmc/proofs/aws_hash_table_remove/aws_hash_table_remove_harness.c	41
verification/cbmc/proofs/aws_hash_table_swap/aws_hash_table_swap_harness.c	32
verification/cbmc/proofs/aws_is_power_of_two/aws_is_power_of_two_harness.c	13
verification/cbmc/proofs/aws_linked_list_back/aws_linked_list_back_harness.c	13
verification/cbmc/proofs/aws_linked_list_begin/aws_linked_list_begin_harness.c	10
verification/cbmc/proofs/aws_linked_list_end/aws_linked_list_end_harness.c	10
verification/cbmc/proofs/aws_linked_list_front/aws_linked_list_front_harness.c	13
verification/cbmc/proofs/aws_linked_list_init/aws_linked_list_init_harness.c	7
verification/cbmc/proofs/aws_linked_list_insert_after/aws_linked_list_insert_after_harness.c	16
verification/cbmc/proofs/aws_linked_list_insert_before/aws_linked_list_insert_before_harness.c	16
verification/cbmc/proofs/aws_linked_list_next/aws_linked_list_next_harness.c	12
verification/cbmc/proofs/aws_linked_list_node_reset/aws_linked_list_node_reset_harness.c	7
verification/cbmc/proofs/aws_linked_list_pop_back/aws_linked_list_pop_back_harness.c	12
verification/cbmc/proofs/aws_linked_list_pop_front/aws_linked_list_pop_front_harness.c	12
verification/cbmc/proofs/aws_linked_list_prev/aws_linked_list_prev_harness.c	12
verification/cbmc/proofs/aws_linked_list_push_back/aws_linked_list_push_back_harness.c	14
verification/cbmc/proofs/aws_linked_list_push_front/aws_linked_list_push_front_harness.c	14
verification/cbmc/proofs/aws_linked_list_rbegin/aws_linked_list_rbegin_harness.c	10
verification/cbmc/proofs/aws_linked_list_remove/aws_linked_list_remove_harness.c	17
verification/cbmc/proofs/aws_linked_list_rend/aws_linked_list_rend_harness.c	10
verification/cbmc/proofs/aws_linked_list_swap_contents/aws_linked_list_swap_contents_harness.c	26
verification/cbmc/proofs/aws_mul_size_checked/aws_mul_size_checked_harness.c	23
verification/cbmc/proofs/aws_mul_size_saturating/aws_mul_size_saturating_harness.c	23
verification/cbmc/proofs/aws_nospec_mask/aws_nospec_mask_harness.c	14
verification/cbmc/proofs/aws_priority_queue_capacity/aws_priority_queue_capacity_harness.c	20
verification/cbmc/proofs/aws_priority_queue_clean_up/aws_priority_queue_clean_up_harness.c	11
verification/cbmc/proofs/aws_priority_queue_init_dynamic/aws_priority_queue_init_dynamic_harness.c	26
verification/cbmc/proofs/aws_priority_queue_init_static/aws_priority_queue_init_static_harness.c	20
verification/cbmc/proofs/aws_priority_queue_pop/aws_priority_queue_pop_harness.c	29
verification/cbmc/proofs/aws_priority_queue_push/aws_priority_queue_push_harness.c	12
verification/cbmc/proofs/aws_priority_queue_push_ref/aws_priority_queue_push_ref_harness.c	13
verification/cbmc/proofs/aws_priority_queue_remove/aws_priority_queue_remove_harness.c	32
verification/cbmc/proofs/aws_priority_queue_s_remove_node/aws_priority_queue_s_remove_node_harness.c	35
verification/cbmc/proofs/aws_priority_queue_s_sift_down/aws_priority_queue_s_sift_down_harness.c	21
verification/cbmc/proofs/aws_priority_queue_s_sift_either/aws_priority_queue_s_sift_either_harness.c	21
verification/cbmc/proofs/aws_priority_queue_s_sift_up/aws_priority_queue_s_sift_up_harness.c	21
verification/cbmc/proofs/aws_priority_queue_s_swap/aws_priority_queue_s_swap_harness.c	39
verification/cbmc/proofs/aws_priority_queue_size/aws_priority_queue_size_harness.c	18
verification/cbmc/proofs/aws_priority_queue_top/aws_priority_queue_top_harness.c	19
verification/cbmc/proofs/aws_ptr_eq/aws_ptr_eq_harness.c	10
verification/cbmc/proofs/aws_ring_buffer_acquire/aws_ring_buffer_acquire_harness.c	46
verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/aws_ring_buffer_acquire_up_to_harness.c	36
verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/aws_ring_buffer_buf_belongs_to_pool_harness.c	26
verification/cbmc/proofs/aws_ring_buffer_clean_up/aws_ring_buffer_clean_up_harness.c	15
verification/cbmc/proofs/aws_ring_buffer_init/aws_ring_buffer_init_harness.c	15
verification/cbmc/proofs/aws_ring_buffer_release/aws_ring_buffer_release_harness.c	38
verification/cbmc/proofs/aws_round_up_to_power_of_two/aws_round_up_to_power_of_two_harness.c	20
verification/cbmc/proofs/aws_string_bytes/aws_string_bytes_harness.c	8
verification/cbmc/proofs/aws_string_compare/aws_string_compare_harness.c	22
verification/cbmc/proofs/aws_string_destroy/aws_string_destroy_harness.c	7
verification/cbmc/proofs/aws_string_destroy_secure/aws_string_destroy_secure_harness.c	24
verification/cbmc/proofs/aws_string_eq/aws_string_eq_harness.c	15
verification/cbmc/proofs/aws_string_eq_byte_buf/aws_string_eq_byte_buf_harness.c	18
verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/aws_string_eq_byte_buf_ignore_case_harness.c	20
verification/cbmc/proofs/aws_string_eq_byte_cursor/aws_string_eq_byte_cursor_harness.c	21
verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/aws_string_eq_byte_cursor_ignore_case_harness.c	17
verification/cbmc/proofs/aws_string_eq_c_str/aws_string_eq_c_str_harness.c	14
verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/aws_string_eq_c_str_ignore_case_harness.c	13
verification/cbmc/proofs/aws_string_eq_ignore_case/aws_string_eq_ignore_case_harness.c	14
verification/cbmc/proofs/aws_string_new_from_array/aws_string_new_from_array_harness.c	19
verification/cbmc/proofs/aws_string_new_from_c_str/aws_string_new_from_c_str_harness.c	17
verification/cbmc/proofs/aws_string_new_from_string/aws_string_new_from_string_harness.c	17
verification/cbmc/proofs/memcpy_using_uint64/memcpy_using_uint64_harness.c	14
verification/cbmc/proofs/memset_override_0/memset_override_0_harness.c	17
verification/cbmc/proofs/memset_using_uint64/memset_using_uint64_harness.c	15
verification/cbmc/proofs/scripts/fixup_makefiles.py	46
verification/cbmc/proofs/scripts/move_proofs.py	43