Folder: proofs

package info (click to toggle)

aws-crt-python 0.20.4%2Bdfsg-1~bpo12%2B1

links: PTS, VCS
area: main
in suites: bookworm-backports
size: 72,656 kB
sloc: ansic: 381,805; python: 23,008; makefile: 6,251; sh: 4,536; cpp: 699; ruby: 208; java: 77; perl: 73; javascript: 46; xml: 11

			.. (parent)
d	rwxr-xr-x	95	aws_add_size_checked
d	rwxr-xr-x	98	aws_add_size_saturating
d	rwxr-xr-x	87	aws_array_eq
d	rwxr-xr-x	93	aws_array_eq_c_str
d	rwxr-xr-x	105	aws_array_eq_c_str_ignore_case
d	rwxr-xr-x	99	aws_array_eq_ignore_case
d	rwxr-xr-x	94	aws_array_list_back
d	rwxr-xr-x	98	aws_array_list_capacity
d	rwxr-xr-x	98	aws_array_list_clean_up
d	rwxr-xr-x	95	aws_array_list_clear
d	rwxr-xr-x	107	aws_array_list_comparator_string
d	rwxr-xr-x	94	aws_array_list_copy
d	rwxr-xr-x	105	aws_array_list_ensure_capacity
d	rwxr-xr-x	95	aws_array_list_erase
d	rwxr-xr-x	95	aws_array_list_front
d	rwxr-xr-x	96	aws_array_list_get_at
d	rwxr-xr-x	100	aws_array_list_get_at_ptr
d	rwxr-xr-x	102	aws_array_list_init_dynamic
d	rwxr-xr-x	101	aws_array_list_init_static
d	rwxr-xr-x	96	aws_array_list_length
d	rwxr-xr-x	98	aws_array_list_pop_back
d	rwxr-xr-x	99	aws_array_list_pop_front
d	rwxr-xr-x	101	aws_array_list_pop_front_n
d	rwxr-xr-x	99	aws_array_list_push_back
d	rwxr-xr-x	100	aws_array_list_push_front
d	rwxr-xr-x	96	aws_array_list_set_at
d	rwxr-xr-x	103	aws_array_list_shrink_to_fit
d	rwxr-xr-x	94	aws_array_list_sort
d	rwxr-xr-x	94	aws_array_list_swap
d	rwxr-xr-x	103	aws_array_list_swap_contents
d	rwxr-xr-x	95	aws_byte_buf_advance
d	rwxr-xr-x	94	aws_byte_buf_append
d	rwxr-xr-x	105	aws_byte_buf_append_and_update
d	rwxr-xr-x	102	aws_byte_buf_append_dynamic
d	rwxr-xr-x	106	aws_byte_buf_append_with_lookup
d	rwxr-xr-x	91	aws_byte_buf_cat
d	rwxr-xr-x	96	aws_byte_buf_clean_up
d	rwxr-xr-x	103	aws_byte_buf_clean_up_secure
d	rwxr-xr-x	90	aws_byte_buf_eq
d	rwxr-xr-x	96	aws_byte_buf_eq_c_str
d	rwxr-xr-x	108	aws_byte_buf_eq_c_str_ignore_case
d	rwxr-xr-x	102	aws_byte_buf_eq_ignore_case
d	rwxr-xr-x	98	aws_byte_buf_from_array
d	rwxr-xr-x	98	aws_byte_buf_from_c_str
d	rwxr-xr-x	104	aws_byte_buf_from_empty_array
d	rwxr-xr-x	92	aws_byte_buf_init
d	rwxr-xr-x	97	aws_byte_buf_init_copy
d	rwxr-xr-x	109	aws_byte_buf_init_copy_from_cursor
d	rwxr-xr-x	95	aws_byte_buf_reserve
d	rwxr-xr-x	104	aws_byte_buf_reserve_relative
d	rwxr-xr-x	93	aws_byte_buf_reset
d	rwxr-xr-x	99	aws_byte_buf_secure_zero
d	rwxr-xr-x	93	aws_byte_buf_write
d	rwxr-xr-x	98	aws_byte_buf_write_be16
d	rwxr-xr-x	98	aws_byte_buf_write_be32
d	rwxr-xr-x	98	aws_byte_buf_write_be64
d	rwxr-xr-x	111	aws_byte_buf_write_from_whole_buffer
d	rwxr-xr-x	111	aws_byte_buf_write_from_whole_cursor
d	rwxr-xr-x	111	aws_byte_buf_write_from_whole_string
d	rwxr-xr-x	96	aws_byte_buf_write_u8
d	rwxr-xr-x	98	aws_byte_cursor_advance
d	rwxr-xr-x	105	aws_byte_cursor_advance_nospec
d	rwxr-xr-x	106	aws_byte_cursor_compare_lexical
d	rwxr-xr-x	105	aws_byte_cursor_compare_lookup
d	rwxr-xr-x	93	aws_byte_cursor_eq
d	rwxr-xr-x	102	aws_byte_cursor_eq_byte_buf
d	rwxr-xr-x	114	aws_byte_cursor_eq_byte_buf_ignore_case
d	rwxr-xr-x	99	aws_byte_cursor_eq_c_str
d	rwxr-xr-x	111	aws_byte_cursor_eq_c_str_ignore_case
d	rwxr-xr-x	105	aws_byte_cursor_eq_ignore_case
d	rwxr-xr-x	101	aws_byte_cursor_from_array
d	rwxr-xr-x	99	aws_byte_cursor_from_buf
d	rwxr-xr-x	101	aws_byte_cursor_from_c_str
d	rwxr-xr-x	102	aws_byte_cursor_from_string
d	rwxr-xr-x	105	aws_byte_cursor_left_trim_pred
d	rwxr-xr-x	95	aws_byte_cursor_read
d	rwxr-xr-x	111	aws_byte_cursor_read_and_fill_buffer
d	rwxr-xr-x	100	aws_byte_cursor_read_be16
d	rwxr-xr-x	75	aws_byte_cursor_read_be32
d	rwxr-xr-x	100	aws_byte_cursor_read_be64
d	rwxr-xr-x	98	aws_byte_cursor_read_u8
d	rwxr-xr-x	106	aws_byte_cursor_right_trim_pred
d	rwxr-xr-x	105	aws_byte_cursor_satisfies_pred
d	rwxr-xr-x	100	aws_byte_cursor_trim_pred
d	rwxr-xr-x	101	aws_hash_array_ignore_case
d	rwxr-xr-x	99	aws_hash_byte_cursor_ptr
d	rwxr-xr-x	111	aws_hash_byte_cursor_ptr_ignore_case
d	rwxr-xr-x	92	aws_hash_c_string
d	rwxr-xr-x	101	aws_hash_callback_c_str_eq
d	rwxr-xr-x	107	aws_hash_callback_string_destroy
d	rwxr-xr-x	102	aws_hash_callback_string_eq
d	rwxr-xr-x	94	aws_hash_iter_begin
d	rwxr-xr-x	95	aws_hash_iter_delete
d	rwxr-xr-x	93	aws_hash_iter_done
d	rwxr-xr-x	93	aws_hash_iter_next
d	rwxr-xr-x	87	aws_hash_ptr
d	rwxr-xr-x	90	aws_hash_string
d	rwxr-xr-x	98	aws_hash_table_clean_up
d	rwxr-xr-x	95	aws_hash_table_clear
d	rwxr-xr-x	96	aws_hash_table_create
d	rwxr-xr-x	92	aws_hash_table_eq
d	rwxr-xr-x	94	aws_hash_table_find
d	rwxr-xr-x	97	aws_hash_table_foreach
d	rwxr-xr-x	105	aws_hash_table_get_entry_count
d	rwxr-xr-x	102	aws_hash_table_init_bounded
d	rwxr-xr-x	104	aws_hash_table_init_unbounded
d	rwxr-xr-x	94	aws_hash_table_move
d	rwxr-xr-x	93	aws_hash_table_put
d	rwxr-xr-x	96	aws_hash_table_remove
d	rwxr-xr-x	94	aws_hash_table_swap
d	rwxr-xr-x	94	aws_is_power_of_two
d	rwxr-xr-x	95	aws_linked_list_back
d	rwxr-xr-x	96	aws_linked_list_begin
d	rwxr-xr-x	94	aws_linked_list_end
d	rwxr-xr-x	96	aws_linked_list_front
d	rwxr-xr-x	95	aws_linked_list_init
d	rwxr-xr-x	103	aws_linked_list_insert_after
d	rwxr-xr-x	104	aws_linked_list_insert_before
d	rwxr-xr-x	95	aws_linked_list_next
d	rwxr-xr-x	101	aws_linked_list_node_reset
d	rwxr-xr-x	99	aws_linked_list_pop_back
d	rwxr-xr-x	100	aws_linked_list_pop_front
d	rwxr-xr-x	95	aws_linked_list_prev
d	rwxr-xr-x	100	aws_linked_list_push_back
d	rwxr-xr-x	101	aws_linked_list_push_front
d	rwxr-xr-x	97	aws_linked_list_rbegin
d	rwxr-xr-x	97	aws_linked_list_remove
d	rwxr-xr-x	95	aws_linked_list_rend
d	rwxr-xr-x	104	aws_linked_list_swap_contents
d	rwxr-xr-x	95	aws_mul_size_checked
d	rwxr-xr-x	98	aws_mul_size_saturating
d	rwxr-xr-x	90	aws_nospec_mask
d	rwxr-xr-x	102	aws_priority_queue_capacity
d	rwxr-xr-x	102	aws_priority_queue_clean_up
d	rwxr-xr-x	106	aws_priority_queue_init_dynamic
d	rwxr-xr-x	105	aws_priority_queue_init_static
d	rwxr-xr-x	97	aws_priority_queue_pop
d	rwxr-xr-x	98	aws_priority_queue_push
d	rwxr-xr-x	102	aws_priority_queue_push_ref
d	rwxr-xr-x	100	aws_priority_queue_remove
d	rwxr-xr-x	107	aws_priority_queue_s_remove_node
d	rwxr-xr-x	105	aws_priority_queue_s_sift_down
d	rwxr-xr-x	107	aws_priority_queue_s_sift_either
d	rwxr-xr-x	103	aws_priority_queue_s_sift_up
d	rwxr-xr-x	100	aws_priority_queue_s_swap
d	rwxr-xr-x	98	aws_priority_queue_size
d	rwxr-xr-x	97	aws_priority_queue_top
d	rwxr-xr-x	85	aws_ptr_eq
d	rwxr-xr-x	98	aws_ring_buffer_acquire
d	rwxr-xr-x	104	aws_ring_buffer_acquire_up_to
d	rwxr-xr-x	110	aws_ring_buffer_buf_belongs_to_pool
d	rwxr-xr-x	99	aws_ring_buffer_clean_up
d	rwxr-xr-x	95	aws_ring_buffer_init
d	rwxr-xr-x	98	aws_ring_buffer_release
d	rwxr-xr-x	103	aws_round_up_to_power_of_two
d	rwxr-xr-x	91	aws_string_bytes
d	rwxr-xr-x	93	aws_string_compare
d	rwxr-xr-x	93	aws_string_destroy
d	rwxr-xr-x	100	aws_string_destroy_secure
d	rwxr-xr-x	88	aws_string_eq
d	rwxr-xr-x	97	aws_string_eq_byte_buf
d	rwxr-xr-x	109	aws_string_eq_byte_buf_ignore_case
d	rwxr-xr-x	100	aws_string_eq_byte_cursor
d	rwxr-xr-x	112	aws_string_eq_byte_cursor_ignore_case
d	rwxr-xr-x	94	aws_string_eq_c_str
d	rwxr-xr-x	106	aws_string_eq_c_str_ignore_case
d	rwxr-xr-x	100	aws_string_eq_ignore_case
d	rwxr-xr-x	100	aws_string_new_from_array
d	rwxr-xr-x	100	aws_string_new_from_c_str
d	rwxr-xr-x	101	aws_string_new_from_string
d	rwxr-xr-x	88	lib
d	rwxr-xr-x	94	memcpy_using_uint64
d	rwxr-xr-x	92	memset_override_0
d	rwxr-xr-x	94	memset_using_uint64
d	rwxr-xr-x	64	scripts
-	rw-r--r--	1,575	Makefile-project-defines
-	rw-r--r--	444	Makefile-project-targets
-	rw-r--r--	487	Makefile-project-testing
-	rw-r--r--	444	Makefile-template-defines
-	rw-r--r--	494	Makefile.aws_array_list
-	rw-r--r--	339	Makefile.aws_byte_buf
-	rw-r--r--	327	Makefile.aws_hash_table
-	rw-r--r--	258	Makefile.aws_linked_list
-	rw-r--r--	322	Makefile.aws_priority_queue_sift
-	rw-r--r--	295	Makefile.aws_string
-	rw-r--r--	2,108	Makefile.cbmc_batch
-	rw-r--r--	35,605	Makefile.common
-	rw-r--r--	983	README.md
-	rw-r--r--	29	build-buildspec.sh
-	rwxr-xr-x	13,491	run-cbmc-proofs.py