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

Folder: proofs

d .. (parent)
d d rwxr-xr-x 88 lib
d d rwxr-xr-x 91 s2n_add_overflow
d d rwxr-xr-x 87 s2n_align_to
d d rwxr-xr-x 84 s2n_alloc
d d rwxr-xr-x 93 s2n_array_capacity
d d rwxr-xr-x 89 s2n_array_free
d d rwxr-xr-x 91 s2n_array_free_p
d d rwxr-xr-x 88 s2n_array_get
d d rwxr-xr-x 89 s2n_array_init
d d rwxr-xr-x 91 s2n_array_insert
d d rwxr-xr-x 100 s2n_array_insert_and_copy
d d rwxr-xr-x 88 s2n_array_new
d d rwxr-xr-x 97 s2n_array_num_elements
d d rwxr-xr-x 93 s2n_array_pushback
d d rwxr-xr-x 91 s2n_array_remove
d d rwxr-xr-x 97 s2n_blob_char_to_lower
d d rwxr-xr-x 88 s2n_blob_init
d d rwxr-xr-x 95 s2n_blob_is_growable
d d rwxr-xr-x 89 s2n_blob_slice
d d rwxr-xr-x 88 s2n_blob_zero
d d rwxr-xr-x 111 s2n_connection_get_last_message_name
d d rwxr-xr-x 105 s2n_constant_time_copy_or_dont
d d rwxr-xr-x 99 s2n_constant_time_equals
d d rwxr-xr-x 112 s2n_constant_time_pkcs1_unpad_or_dont
d d rwxr-xr-x 113 s2n_dh_compute_shared_secret_as_client
d d rwxr-xr-x 113 s2n_dh_compute_shared_secret_as_server
d d rwxr-xr-x 104 s2n_dh_generate_ephemeral_key
d d rwxr-xr-x 101 s2n_dh_p_g_Ys_to_dh_params
d d rwxr-xr-x 94 s2n_dh_params_check
d d rwxr-xr-x 93 s2n_dh_params_copy
d d rwxr-xr-x 93 s2n_dh_params_free
d d rwxr-xr-x 98 s2n_dh_params_to_p_g_Ys
d d rwxr-xr-x 104 s2n_digest_allow_md5_for_fips
d d rwxr-xr-x 120 s2n_digest_allow_md5_for_fips_boringssl_awslc
d d rwxr-xr-x 109 s2n_digest_is_md5_allowed_for_fips
d d rwxr-xr-x 82 s2n_dup
d d rwxr-xr-x 83 s2n_free
d d rwxr-xr-x 90 s2n_free_object
d d rwxr-xr-x 91 s2n_free_or_wipe
d d rwxr-xr-x 102 s2n_hash_allow_md5_for_fips
d d rwxr-xr-x 94 s2n_hash_block_size
d d rwxr-xr-x 122 s2n_hash_const_time_get_currently_in_hash_block
d d rwxr-xr-x 88 s2n_hash_copy
d d rwxr-xr-x 90 s2n_hash_digest
d d rwxr-xr-x 95 s2n_hash_digest_size
d d rwxr-xr-x 88 s2n_hash_free
d d rwxr-xr-x 111 s2n_hash_get_currently_in_hash_total
d d rwxr-xr-x 92 s2n_hash_hmac_alg
d d rwxr-xr-x 88 s2n_hash_init
d d rwxr-xr-x 96 s2n_hash_is_available
d d rwxr-xr-x 102 s2n_hash_is_ready_for_input
d d rwxr-xr-x 87 s2n_hash_new
d d rwxr-xr-x 89 s2n_hash_reset
d d rwxr-xr-x 90 s2n_hash_update
d d rwxr-xr-x 98 s2n_hex_string_to_bytes
d d rwxr-xr-x 88 s2n_hmac_copy
d d rwxr-xr-x 90 s2n_hmac_digest
d d rwxr-xr-x 95 s2n_hmac_digest_size
d d rwxr-xr-x 113 s2n_hmac_digest_two_compression_rounds
d d rwxr-xr-x 97 s2n_hmac_digest_verify
d d rwxr-xr-x 88 s2n_hmac_free
d d rwxr-xr-x 92 s2n_hmac_hash_alg
d d rwxr-xr-x 99 s2n_hmac_hash_block_size
d d rwxr-xr-x 88 s2n_hmac_init
d d rwxr-xr-x 96 s2n_hmac_is_available
d d rwxr-xr-x 87 s2n_hmac_new
d d rwxr-xr-x 89 s2n_hmac_reset
d d rwxr-xr-x 106 s2n_hmac_restore_evp_hash_state
d d rwxr-xr-x 103 s2n_hmac_save_evp_hash_state
d d rwxr-xr-x 90 s2n_hmac_update
d d rwxr-xr-x 96 s2n_hmac_xor_pad_size
d d rwxr-xr-x 93 s2n_is_base64_char
d d rwxr-xr-x 103 s2n_is_hello_retry_handshake
d d rwxr-xr-x 101 s2n_is_hello_retry_message
d d rwxr-xr-x 90 s2n_mem_cleanup
d d rwxr-xr-x 87 s2n_mem_init
d d rwxr-xr-x 91 s2n_mul_overflow_harness
d d rwxr-xr-x 97 s2n_pkcs3_to_dh_params
d d rwxr-xr-x 111 s2n_pkcs3_to_dh_params_openssl_1_1_0
d d rwxr-xr-x 86 s2n_realloc
d d rwxr-xr-x 86 s2n_set_add
d d rwxr-xr-x 87 s2n_set_free
d d rwxr-xr-x 89 s2n_set_free_p
d d rwxr-xr-x 86 s2n_set_get
d d rwxr-xr-x 86 s2n_set_len
d d rwxr-xr-x 86 s2n_set_new
d d rwxr-xr-x 89 s2n_set_remove
d d rwxr-xr-x 93 s2n_socket_is_ipv6
d d rwxr-xr-x 94 s2n_socket_quickack
d d rwxr-xr-x 90 s2n_socket_read
d d rwxr-xr-x 98 s2n_socket_read_restore
d d rwxr-xr-x 99 s2n_socket_read_snapshot
d d rwxr-xr-x 99 s2n_socket_set_read_size
d d rwxr-xr-x 96 s2n_socket_was_corked
d d rwxr-xr-x 91 s2n_socket_write
d d rwxr-xr-x 96 s2n_socket_write_cork
d d rwxr-xr-x 99 s2n_socket_write_restore
d d rwxr-xr-x 100 s2n_socket_write_snapshot
d d rwxr-xr-x 98 s2n_socket_write_uncork
d d rwxr-xr-x 92 s2n_stuffer_alloc
d d rwxr-xr-x 103 s2n_stuffer_alloc_ro_from_fd
d d rwxr-xr-x 105 s2n_stuffer_alloc_ro_from_file
d d rwxr-xr-x 107 s2n_stuffer_alloc_ro_from_string
d d rwxr-xr-x 107 s2n_stuffer_certificate_from_pem
d d rwxr-xr-x 91 s2n_stuffer_copy
d d rwxr-xr-x 104 s2n_stuffer_dhparams_from_pem
d d rwxr-xr-x 101 s2n_stuffer_erase_and_read
d d rwxr-xr-x 107 s2n_stuffer_erase_and_read_bytes
d d rwxr-xr-x 99 s2n_stuffer_extract_blob
d d rwxr-xr-x 91 s2n_stuffer_free
d d rwxr-xr-x 101 s2n_stuffer_growable_alloc
d d rwxr-xr-x 91 s2n_stuffer_init
d d rwxr-xr-x 98 s2n_stuffer_is_consumed
d d rwxr-xr-x 96 s2n_stuffer_peek_char
d d rwxr-xr-x 105 s2n_stuffer_peek_check_for_str
d d rwxr-xr-x 93 s2n_stuffer_printf
d d rwxr-xr-x 107 s2n_stuffer_private_key_from_pem
d d rwxr-xr-x 95 s2n_stuffer_raw_read
d d rwxr-xr-x 96 s2n_stuffer_raw_write
d d rwxr-xr-x 91 s2n_stuffer_read
d d rwxr-xr-x 98 s2n_stuffer_read_base64
d d rwxr-xr-x 97 s2n_stuffer_read_bytes
d d rwxr-xr-x 104 s2n_stuffer_read_expected_str
d d rwxr-xr-x 96 s2n_stuffer_read_line
d d rwxr-xr-x 97 s2n_stuffer_read_token
d d rwxr-xr-x 98 s2n_stuffer_read_uint16
d d rwxr-xr-x 98 s2n_stuffer_read_uint24
d d rwxr-xr-x 98 s2n_stuffer_read_uint32
d d rwxr-xr-x 98 s2n_stuffer_read_uint64
d d rwxr-xr-x 97 s2n_stuffer_read_uint8
d d rwxr-xr-x 99 s2n_stuffer_recv_from_fd
d d rwxr-xr-x 93 s2n_stuffer_reread
d d rwxr-xr-x 94 s2n_stuffer_reserve
d d rwxr-xr-x 100 s2n_stuffer_reserve_space
d d rwxr-xr-x 101 s2n_stuffer_reserve_uint16
d d rwxr-xr-x 101 s2n_stuffer_reserve_uint24
d d rwxr-xr-x 93 s2n_stuffer_resize
d d rwxr-xr-x 102 s2n_stuffer_resize_if_empty
d d rwxr-xr-x 98 s2n_stuffer_rewind_read
d d rwxr-xr-x 94 s2n_stuffer_rewrite
d d rwxr-xr-x 97 s2n_stuffer_send_to_fd
d d rwxr-xr-x 105 s2n_stuffer_skip_expected_char
d d rwxr-xr-x 96 s2n_stuffer_skip_read
d d rwxr-xr-x 102 s2n_stuffer_skip_read_until
d d rwxr-xr-x 99 s2n_stuffer_skip_to_char
d d rwxr-xr-x 102 s2n_stuffer_skip_whitespace
d d rwxr-xr-x 97 s2n_stuffer_skip_write
d d rwxr-xr-x 91 s2n_stuffer_wipe
d d rwxr-xr-x 93 s2n_stuffer_wipe_n
d d rwxr-xr-x 92 s2n_stuffer_write
d d rwxr-xr-x 99 s2n_stuffer_write_base64
d d rwxr-xr-x 98 s2n_stuffer_write_bytes
d d rwxr-xr-x 106 s2n_stuffer_write_network_order
d d rwxr-xr-x 104 s2n_stuffer_write_reservation
d d rwxr-xr-x 99 s2n_stuffer_write_uint16
d d rwxr-xr-x 99 s2n_stuffer_write_uint24
d d rwxr-xr-x 99 s2n_stuffer_write_uint32
d d rwxr-xr-x 99 s2n_stuffer_write_uint64
d d rwxr-xr-x 98 s2n_stuffer_write_uint8
d d rwxr-xr-x 104 s2n_stuffer_write_vector_size
d d rwxr-xr-x 99 s2n_stuffer_writev_bytes
d d rwxr-xr-x 91 s2n_sub_overflow
- - rw-r--r-- 1,873 Makefile-project-defines
- - rw-r--r-- 337 Makefile-project-targets
- - rw-r--r-- 380 Makefile-project-testing
- - rw-r--r-- 535 Makefile-template-defines
- - rw-r--r-- 2,442 Makefile.cbmc_batch
- - rw-r--r-- 35,663 Makefile.common
- - rw-r--r-- 983 README.md
- - rwxr-xr-x 1,476 prepare.py
- - rwxr-xr-x 14,300 run-cbmc-proofs.py