- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Text files path like ".*[.]txt" 183 files: cmake/rpm-scripts/changelog.txt tests/resources/ xample.txt tests/resources/dir_traversal_test/first_child_dir/child.txt tests/resources/dir_traversal_test/root_child.txt tests/resources/utf8.txt tests/resources/utf16le.txt tests/resources/ascii.txt tests/resources/utf16be.txt tests/CMakeLists.txt AWSCRTAndroidTestRunner/app/src/main/cpp/CMakeLists.txt CMakeLists.txt sanitizer-blacklist.txt verification/cbmc/proofs/aws_byte_buf_reset/cbmc-proof.txt verification/cbmc/proofs/aws_hash_ptr/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_array_eq_c_str/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_pop/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_advance_nospec/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_eq/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_top/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_cat/cbmc-proof.txt verification/cbmc/proofs/aws_string_eq_byte_cursor/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_insert_before/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_copy/cbmc-proof.txt verification/cbmc/proofs/aws_ring_buffer_init/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_size/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_secure_zero/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_back/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_compare_lexical/cbmc-proof.txt verification/cbmc/proofs/aws_ring_buffer_clean_up/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_from_string/cbmc-proof.txt verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_swap/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_clean_up/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_append/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_node_reset/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_erase/cbmc-proof.txt verification/cbmc/proofs/aws_hash_string/cbmc-proof.txt verification/cbmc/proofs/aws_hash_iter_next/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_clear/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_s_remove_node/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_init_bounded/cbmc-proof.txt verification/cbmc/proofs/aws_hash_iter_begin/cbmc-proof.txt verification/cbmc/proofs/aws_string_new_from_array/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_insert_after/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_remove/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_sort/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_ensure_capacity/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_push_back/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_reserve_relative/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_swap_contents/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_write/cbmc-proof.txt verification/cbmc/proofs/aws_mul_size_checked/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_pop_front/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_pop_back/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_init/cbmc-proof.txt verification/cbmc/proofs/aws_array_eq/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_pop_back/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_from_c_str/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_from_array/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_move/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_foreach/cbmc-proof.txt verification/cbmc/proofs/aws_string_new_from_c_str/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_from_c_str/cbmc-proof.txt verification/cbmc/proofs/aws_is_power_of_two/cbmc-proof.txt verification/cbmc/proofs/aws_hash_callback_c_str_eq/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_init_copy/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_append_with_lookup/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_comparator_string/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_remove/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_reserve/cbmc-proof.txt verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/cbmc-proof.txt verification/cbmc/proofs/aws_hash_callback_string_destroy/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_append_dynamic/cbmc-proof.txt verification/cbmc/proofs/aws_hash_callback_string_eq/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_init_unbounded/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_write_be64/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_set_at/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_eq_c_str/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_advance/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_s_sift_up/cbmc-proof.txt verification/cbmc/proofs/aws_hash_byte_cursor_ptr/cbmc-proof.txt verification/cbmc/proofs/aws_mul_size_saturating/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_init_static/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_front/cbmc-proof.txt verification/cbmc/proofs/aws_string_eq_c_str/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_capacity/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_get_at/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_shrink_to_fit/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_prev/cbmc-proof.txt verification/cbmc/proofs/aws_hash_iter_done/cbmc-proof.txt verification/cbmc/proofs/aws_string_new_from_string/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_put/cbmc-proof.txt verification/cbmc/proofs/aws_string_destroy/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_write_u8/cbmc-proof.txt verification/cbmc/proofs/aws_array_eq_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_clear/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_front/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_trim_pred/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_init_static/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_push_back/cbmc-proof.txt verification/cbmc/proofs/aws_string_compare/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_clean_up_secure/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_push_front/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_find/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_round_up_to_power_of_two/cbmc-proof.txt verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_string_destroy_secure/cbmc-proof.txt verification/cbmc/proofs/aws_ring_buffer_acquire/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_init/cbmc-proof.txt verification/cbmc/proofs/aws_nospec_mask/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_push_ref/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_capacity/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_rbegin/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_read_u8/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_advance/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_pop_front/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_eq/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_pop_front_n/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_next/cbmc-proof.txt verification/cbmc/proofs/aws_add_size_saturating/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_write_be32/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_back/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_remove/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_begin/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_clean_up/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_eq_c_str/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_s_sift_down/cbmc-proof.txt verification/cbmc/proofs/aws_ring_buffer_release/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_create/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_read_be64/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_swap/cbmc-proof.txt verification/cbmc/proofs/aws_add_size_checked/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_read/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/cbmc-proof.txt verification/cbmc/proofs/aws_string_eq_byte_buf/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_push/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_clean_up/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_rend/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_swap_contents/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_s_swap/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_get_at_ptr/cbmc-proof.txt verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_from_array/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_s_sift_either/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_clean_up/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_eq/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_init_dynamic/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_compare_lookup/cbmc-proof.txt verification/cbmc/proofs/memcpy_using_uint64/cbmc-proof.txt verification/cbmc/proofs/aws_priority_queue_init_dynamic/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_read_be16/cbmc-proof.txt verification/cbmc/proofs/aws_hash_array_ignore_case/cbmc-proof.txt verification/cbmc/proofs/memset_override_0/cbmc-proof.txt verification/cbmc/proofs/aws_hash_iter_delete/cbmc-proof.txt verification/cbmc/proofs/aws_linked_list_end/cbmc-proof.txt verification/cbmc/proofs/aws_byte_cursor_from_buf/cbmc-proof.txt verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_ptr_eq/cbmc-proof.txt verification/cbmc/proofs/aws_string_eq/cbmc-proof.txt verification/cbmc/proofs/aws_hash_c_string/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_length/cbmc-proof.txt verification/cbmc/proofs/aws_string_bytes/cbmc-proof.txt verification/cbmc/proofs/aws_hash_table_get_entry_count/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_write_be16/cbmc-proof.txt verification/cbmc/proofs/aws_byte_buf_from_empty_array/cbmc-proof.txt verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/cbmc-proof.txt verification/cbmc/proofs/memset_using_uint64/cbmc-proof.txt verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_string_eq_ignore_case/cbmc-proof.txt verification/cbmc/proofs/aws_array_list_push_front/cbmc-proof.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Hidden files and folders path like ".*/[.][a-zA-Z0-9_]+.*" 12 files: .builder/actions/clang-tidy.py .clang-format .github/PULL_REQUEST_TEMPLATE.md .github/workflows/clang-format.yml .github/workflows/clang-tidy.yml .github/workflows/ci.yml .gitmodules .gitignore .clang-tidy AWSCRTAndroidTestRunner/.gitignore AWSCRTAndroidTestRunner/app/.gitignore verification/cbmc/.gitignore - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Sokrates scoping conventions path like ".*/sokrates_conventions[.]json" 1 files: sokrates_conventions.json - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Gradle path like ".*/gradle/wrapper/.*" 1 files: AWSCRTAndroidTestRunner/gradle/wrapper/gradle-wrapper.properties - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Git history path like ".*/git[-]history[.]txt" 1 files: git-history.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -