LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: all_fuzz.info Lines: 6837 12738 53.7 %
Date: 2021-04-23 16:28:21 Functions: 607 14910 4.1 %

Directory Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
/home/x245zhou/seahorn/build/run/include/seahorn
100.0%
 100.0 % 2 / 2 - 0 / 0
aws-c-common/include/aws/common
52.7%52.7%
 52.7 % 664 / 1260 1.9 % 271 / 14286
aws-c-common/include/aws/common/posix
0.0%
 0.0 % 0 / 18 0.0 % 0 / 1
aws-c-common/include/aws/common/private
12.7%12.7%
 12.7 % 60 / 472 20.0 % 1 / 5
aws-c-common/source
28.2%28.2%
 28.2 % 1481 / 5255 35.8 % 110 / 307
aws-c-common/source/posix
0.0%
 0.0 % 0 / 774 0.0 % 0 / 47
seahorn/include
100.0%
 100.0 % 4 / 4 - 0 / 0
seahorn/jobs/add_size_checked
100.0%
 100.0 % 23 / 23 100.0 % 1 / 1
seahorn/jobs/add_size_saturating
100.0%
 100.0 % 22 / 22 100.0 % 1 / 1
seahorn/jobs/array_eq_c_str
100.0%
 100.0 % 39 / 39 100.0 % 1 / 1
seahorn/jobs/array_list_back
100.0%
 100.0 % 34 / 34 100.0 % 1 / 1
seahorn/jobs/array_list_capacity
100.0%
 100.0 % 24 / 24 100.0 % 1 / 1
seahorn/jobs/array_list_clean_up
100.0%
 100.0 % 16 / 16 100.0 % 1 / 1
seahorn/jobs/array_list_clear
100.0%
 100.0 % 25 / 25 100.0 % 1 / 1
seahorn/jobs/array_list_comparator_string
100.0%
 100.0 % 14 / 14 100.0 % 1 / 1
seahorn/jobs/array_list_copy
100.0%
 100.0 % 32 / 32 100.0 % 1 / 1
seahorn/jobs/array_list_ensure_capacity
100.0%
 100.0 % 30 / 30 100.0 % 1 / 1
seahorn/jobs/array_list_erase
100.0%
 100.0 % 28 / 28 100.0 % 1 / 1
seahorn/jobs/array_list_front
100.0%
 100.0 % 32 / 32 100.0 % 1 / 1
seahorn/jobs/array_list_get_at
100.0%
 100.0 % 34 / 34 100.0 % 1 / 1
seahorn/jobs/array_list_get_at_ptr
100.0%
 100.0 % 34 / 34 100.0 % 1 / 1
seahorn/jobs/array_list_init_dynamic
100.0%
 100.0 % 31 / 31 100.0 % 1 / 1
seahorn/jobs/array_list_init_static
100.0%
 100.0 % 40 / 40 100.0 % 1 / 1
seahorn/jobs/array_list_length
100.0%
 100.0 % 22 / 22 100.0 % 1 / 1
seahorn/jobs/array_list_pop_back
100.0%
 100.0 % 28 / 28 100.0 % 1 / 1
seahorn/jobs/array_list_pop_front
100.0%
 100.0 % 28 / 28 100.0 % 1 / 1
seahorn/jobs/array_list_pop_front_n
100.0%
 100.0 % 30 / 30 100.0 % 1 / 1
seahorn/jobs/array_list_push_back
100.0%
 100.0 % 31 / 31 100.0 % 1 / 1
seahorn/jobs/array_list_set_at
100.0%
 100.0 % 34 / 34 100.0 % 1 / 1
seahorn/jobs/array_list_shrink_to_fit
100.0%
 100.0 % 30 / 30 100.0 % 1 / 1
seahorn/jobs/array_list_sort
100.0%
 100.0 % 28 / 28 100.0 % 2 / 2
seahorn/jobs/array_list_swap
100.0%
 100.0 % 43 / 43 100.0 % 1 / 1
seahorn/jobs/array_list_swap_contents
100.0%
 100.0 % 38 / 38 100.0 % 1 / 1
seahorn/jobs/byte_buf_advance
100.0%
 100.0 % 44 / 44 100.0 % 1 / 1
seahorn/jobs/byte_buf_append
100.0%
 100.0 % 32 / 32 100.0 % 1 / 1
seahorn/jobs/byte_buf_append_dynamic
100.0%
 100.0 % 31 / 31 100.0 % 1 / 1
seahorn/jobs/byte_buf_append_with_lookup
100.0%
 100.0 % 42 / 42 100.0 % 1 / 1
seahorn/jobs/byte_buf_cat
100.0%
 100.0 % 78 / 78 100.0 % 2 / 2
seahorn/jobs/byte_buf_clean_up
100.0%
 100.0 % 14 / 14 100.0 % 1 / 1
seahorn/jobs/byte_buf_clean_up_secure
100.0%
 100.0 % 19 / 19 100.0 % 1 / 1
seahorn/jobs/byte_buf_eq
100.0%
 100.0 % 39 / 39 100.0 % 1 / 1
seahorn/jobs/byte_buf_eq_c_str
100.0%
 100.0 % 35 / 35 100.0 % 1 / 1
seahorn/jobs/byte_buf_eq_c_str_ignore_case
100.0%
 100.0 % 32 / 32 100.0 % 1 / 1
seahorn/jobs/byte_buf_eq_ignore_case
100.0%
 100.0 % 36 / 36 100.0 % 1 / 1
seahorn/jobs/byte_buf_from_array
100.0%
 100.0 % 20 / 20 100.0 % 1 / 1
seahorn/jobs/byte_buf_from_c_str
100.0%
 100.0 % 25 / 25 100.0 % 1 / 1
seahorn/jobs/byte_buf_from_empty_array
100.0%
 100.0 % 16 / 16 100.0 % 1 / 1
seahorn/jobs/byte_buf_init
100.0%
 100.0 % 20 / 20 100.0 % 1 / 1
seahorn/jobs/byte_buf_init_copy
100.0%
 100.0 % 33 / 33 100.0 % 1 / 1
seahorn/jobs/byte_buf_init_copy_from_cursor
100.0%
 100.0 % 27 / 27 100.0 % 1 / 1
seahorn/jobs/byte_buf_reserve
100.0%
 100.0 % 26 / 26 100.0 % 1 / 1
seahorn/jobs/byte_buf_reserve_relative
100.0%
 100.0 % 19 / 19 100.0 % 1 / 1
seahorn/jobs/byte_buf_reset
100.0%
 100.0 % 19 / 19 100.0 % 1 / 1
seahorn/jobs/byte_buf_secure_zero
100.0%
 100.0 % 14 / 14 100.0 % 1 / 1
seahorn/jobs/byte_buf_write_be16
100.0%
 100.0 % 27 / 27 100.0 % 1 / 1
seahorn/jobs/byte_buf_write_be32
100.0%
 100.0 % 27 / 27 100.0 % 1 / 1
seahorn/jobs/byte_buf_write_be64
100.0%
 100.0 % 27 / 27 100.0 % 1 / 1
seahorn/jobs/byte_buf_write_from_whole_buffer
100.0%
 100.0 % 41 / 41 100.0 % 1 / 1
seahorn/jobs/byte_buf_write_from_whole_cursor
100.0%
 100.0 % 36 / 36 100.0 % 1 / 1
seahorn/jobs/byte_buf_write_from_whole_string
100.0%
 100.0 % 38 / 38 100.0 % 1 / 1
seahorn/jobs/byte_buf_write_u8
100.0%
 100.0 % 26 / 26 100.0 % 1 / 1
seahorn/jobs/byte_cursor_advance
100.0%
 100.0 % 36 / 36 100.0 % 1 / 1
seahorn/jobs/byte_cursor_advance_nospec
100.0%
 100.0 % 36 / 36 100.0 % 1 / 1
seahorn/jobs/byte_cursor_compare_lexical
100.0%
 100.0 % 48 / 48 100.0 % 1 / 1
seahorn/jobs/byte_cursor_compare_lookup
100.0%
 100.0 % 48 / 48 100.0 % 1 / 1
seahorn/jobs/byte_cursor_eq
100.0%
 100.0 % 43 / 43 100.0 % 1 / 1
seahorn/jobs/byte_cursor_eq_byte_buf
100.0%
 100.0 % 36 / 36 100.0 % 1 / 1
seahorn/jobs/byte_cursor_eq_byte_buf_ignore_case
100.0%
 100.0 % 33 / 33 100.0 % 1 / 1
seahorn/jobs/byte_cursor_eq_c_str
94.6%94.6%
 94.6 % 35 / 37 100.0 % 1 / 1
seahorn/jobs/byte_cursor_eq_c_str_ignore_case
100.0%
 100.0 % 34 / 34 100.0 % 1 / 1
seahorn/jobs/byte_cursor_eq_ignore_case
100.0%
 100.0 % 40 / 40 100.0 % 1 / 1
seahorn/jobs/byte_cursor_from_array
100.0%
 100.0 % 18 / 18 100.0 % 1 / 1
seahorn/jobs/byte_cursor_from_buf
100.0%
 100.0 % 27 / 27 100.0 % 1 / 1
seahorn/jobs/byte_cursor_from_c_str
100.0%
 100.0 % 19 / 19 100.0 % 1 / 1
seahorn/jobs/byte_cursor_from_string
100.0%
 100.0 % 11 / 11 100.0 % 1 / 1
seahorn/jobs/byte_cursor_left_trim_pred
100.0%
 100.0 % 27 / 27 100.0 % 2 / 2
seahorn/jobs/byte_cursor_read
100.0%
 100.0 % 39 / 39 100.0 % 1 / 1
seahorn/jobs/byte_cursor_read_and_fill_buffer
100.0%
 100.0 % 42 / 42 100.0 % 1 / 1
seahorn/jobs/byte_cursor_read_be16
100.0%
 100.0 % 37 / 37 100.0 % 1 / 1
seahorn/jobs/byte_cursor_read_be32
100.0%
 100.0 % 37 / 37 100.0 % 1 / 1
seahorn/jobs/byte_cursor_read_be64
100.0%
 100.0 % 37 / 37 100.0 % 1 / 1
seahorn/jobs/byte_cursor_read_u8
100.0%
 100.0 % 36 / 36 100.0 % 1 / 1
seahorn/jobs/byte_cursor_right_trim_pred
100.0%
 100.0 % 27 / 27 100.0 % 2 / 2
seahorn/jobs/byte_cursor_satisfies_pred
100.0%
 100.0 % 26 / 26 100.0 % 2 / 2
seahorn/jobs/byte_cursor_trim_pred
100.0%
 100.0 % 27 / 27 100.0 % 2 / 2
seahorn/jobs/hash_byte_cursor_ptr
100.0%
 100.0 % 13 / 13 100.0 % 1 / 1
seahorn/jobs/hash_byte_cursor_ptr_ignore_case
100.0%
 100.0 % 17 / 17 100.0 % 1 / 1
seahorn/jobs/hash_c_string
0.0%
 0.0 % 0 / 10 0.0 % 0 / 1
seahorn/jobs/hash_callback_c_str_eq
92.1%92.1%
 92.1 % 35 / 38 66.7 % 2 / 3
seahorn/jobs/hash_callback_string_destroy
100.0%
 100.0 % 9 / 9 100.0 % 1 / 1
seahorn/jobs/hash_callback_string_eq
100.0%
 100.0 % 17 / 17 100.0 % 1 / 1
seahorn/jobs/hash_iter_begin
100.0%
 100.0 % 18 / 18 100.0 % 1 / 1
seahorn/jobs/hash_iter_begin_done
91.7%91.7%
 91.7 % 22 / 24 100.0 % 1 / 1
seahorn/jobs/hash_iter_delete
100.0%
 100.0 % 23 / 23 100.0 % 1 / 1
seahorn/jobs/hash_iter_done
100.0%
 100.0 % 23 / 23 100.0 % 1 / 1
seahorn/jobs/hash_iter_next
100.0%
 100.0 % 24 / 24 100.0 % 1 / 1
seahorn/jobs/hash_ptr
100.0%
 100.0 % 8 / 8 100.0 % 1 / 1
seahorn/jobs/hash_string
100.0%
 100.0 % 8 / 8 100.0 % 1 / 1
seahorn/jobs/hash_table_clean_up
100.0%
 100.0 % 27 / 27 100.0 % 1 / 1
seahorn/jobs/hash_table_clear
100.0%
 100.0 % 17 / 17 100.0 % 1 / 1
seahorn/jobs/hash_table_create
83.8%83.8%
 83.8 % 31 / 37 100.0 % 1 / 1
seahorn/jobs/hash_table_eq
100.0%
 100.0 % 23 / 23 100.0 % 1 / 1
seahorn/jobs/hash_table_find
96.4%96.4%
 96.4 % 27 / 28 100.0 % 1 / 1
seahorn/jobs/hash_table_foreach
77.3%77.3%
 77.3 % 17 / 22 50.0 % 1 / 2
seahorn/jobs/hash_table_get_entry_count
100.0%
 100.0 % 19 / 19 100.0 % 1 / 1
seahorn/jobs/hash_table_init_bounded
100.0%
 100.0 % 28 / 28 100.0 % 1 / 1
seahorn/jobs/hash_table_move
100.0%
 100.0 % 20 / 20 100.0 % 1 / 1
seahorn/jobs/hash_table_put
80.6%80.6%
 80.6 % 25 / 31 100.0 % 1 / 1
seahorn/jobs/hash_table_remove
83.8%83.8%
 83.8 % 31 / 37 100.0 % 1 / 1
seahorn/jobs/hash_table_swap
100.0%
 100.0 % 27 / 27 100.0 % 1 / 1
seahorn/jobs/linked_list_back
100.0%
 100.0 % 19 / 19 100.0 % 1 / 1
seahorn/jobs/linked_list_begin
100.0%
 100.0 % 19 / 19 100.0 % 1 / 1
seahorn/jobs/linked_list_end
100.0%
 100.0 % 16 / 16 100.0 % 1 / 1
seahorn/jobs/linked_list_front
100.0%
 100.0 % 25 / 25 100.0 % 1 / 1
seahorn/jobs/linked_list_init
100.0%
 100.0 % 15 / 15 100.0 % 1 / 1
seahorn/jobs/linked_list_insert_after
100.0%
 100.0 % 33 / 33 100.0 % 1 / 1
seahorn/jobs/linked_list_insert_before
100.0%
 100.0 % 33 / 33 100.0 % 1 / 1
seahorn/jobs/linked_list_next
100.0%
 100.0 % 19 / 19 100.0 % 1 / 1
seahorn/jobs/linked_list_node_reset
100.0%
 100.0 % 13 / 13 100.0 % 1 / 1
seahorn/jobs/linked_list_pop_back
100.0%
 100.0 % 29 / 29 100.0 % 1 / 1
seahorn/jobs/linked_list_pop_front
100.0%
 100.0 % 28 / 28 100.0 % 1 / 1
seahorn/jobs/linked_list_prev
100.0%
 100.0 % 19 / 19 100.0 % 1 / 1
seahorn/jobs/linked_list_push_back
100.0%
 100.0 % 25 / 25 100.0 % 1 / 1
seahorn/jobs/linked_list_push_front
100.0%
 100.0 % 25 / 25 100.0 % 1 / 1
seahorn/jobs/linked_list_rbegin
100.0%
 100.0 % 20 / 20 100.0 % 1 / 1
seahorn/jobs/linked_list_remove
100.0%
 100.0 % 37 / 37 100.0 % 1 / 1
seahorn/jobs/linked_list_rend
100.0%
 100.0 % 17 / 17 100.0 % 1 / 1
seahorn/jobs/linked_list_swap_contents
100.0%
 100.0 % 34 / 34 100.0 % 1 / 1
seahorn/jobs/mul_size_checked
100.0%
 100.0 % 34 / 34 100.0 % 1 / 1
seahorn/jobs/mul_size_saturating
100.0%
 100.0 % 32 / 32 100.0 % 1 / 1
seahorn/jobs/nospec_mask
100.0%
 100.0 % 17 / 17 100.0 % 1 / 1
seahorn/jobs/priority_queue_capacity
100.0%
 100.0 % 35 / 35 100.0 % 1 / 1
seahorn/jobs/priority_queue_clean_up
100.0%
 100.0 % 20 / 20 100.0 % 1 / 1
seahorn/jobs/priority_queue_init_dynamic
100.0%
 100.0 % 39 / 39 100.0 % 1 / 1
seahorn/jobs/priority_queue_init_static
100.0%
 100.0 % 33 / 33 100.0 % 1 / 1
seahorn/jobs/priority_queue_size
100.0%
 100.0 % 28 / 28 100.0 % 1 / 1
seahorn/jobs/priority_queue_top
100.0%
 100.0 % 34 / 34 100.0 % 1 / 1
seahorn/jobs/ring_buffer_clean_up
100.0%
 100.0 % 20 / 20 100.0 % 1 / 1
seahorn/jobs/ring_buffer_init
100.0%
 100.0 % 17 / 17 100.0 % 1 / 1
seahorn/jobs/string_bytes
100.0%
 100.0 % 8 / 8 100.0 % 1 / 1
seahorn/jobs/string_compare
100.0%
 100.0 % 22 / 22 100.0 % 1 / 1
seahorn/jobs/string_destroy
100.0%
 100.0 % 7 / 7 100.0 % 1 / 1
seahorn/jobs/string_destroy_secure
0.0%
 0.0 % 0 / 14 0.0 % 0 / 1
seahorn/jobs/string_eq
100.0%
 100.0 % 14 / 14 100.0 % 1 / 1
seahorn/jobs/string_eq_byte_buf
100.0%
 100.0 % 19 / 19 100.0 % 1 / 1
seahorn/jobs/string_eq_byte_buf_ignore_case
100.0%
 100.0 % 21 / 21 100.0 % 1 / 1
seahorn/jobs/string_eq_byte_cursor
100.0%
 100.0 % 23 / 23 100.0 % 1 / 1
seahorn/jobs/string_eq_byte_cursor_ignore_case
100.0%
 100.0 % 20 / 20 100.0 % 1 / 1
seahorn/jobs/string_eq_c_str
100.0%
 100.0 % 16 / 16 100.0 % 1 / 1
seahorn/jobs/string_eq_c_str_ignore_case
100.0%
 100.0 % 17 / 17 100.0 % 1 / 1
seahorn/jobs/string_eq_ignore_case
100.0%
 100.0 % 15 / 15 100.0 % 1 / 1
seahorn/jobs/string_new_from_array
100.0%
 100.0 % 24 / 24 100.0 % 1 / 1
seahorn/jobs/string_new_from_c_str
100.0%
 100.0 % 21 / 21 100.0 % 1 / 1
seahorn/jobs/string_new_from_string
100.0%
 100.0 % 21 / 21 100.0 % 1 / 1
seahorn/lib
72.6%72.6%
 72.6 % 722 / 994 67.6 % 73 / 108

Generated by: LCOV version 1.13