*No copyright* Apache License 2.0 --------------------------------- aws-c-common-0.9.17/.github/PULL_REQUEST_TEMPLATE.md aws-c-common-0.9.17/LICENSE aws-c-common-0.9.17/README.md *No copyright* Public domain ---------------------------- aws-c-common-0.9.17/include/aws/common/private/lookup3.inl Apache License 2.0 ------------------ aws-c-common-0.9.17/CMakeLists.txt aws-c-common-0.9.17/cmake/AwsCFlags.cmake aws-c-common-0.9.17/cmake/AwsCRuntime.cmake aws-c-common-0.9.17/cmake/AwsCheckHeaders.cmake aws-c-common-0.9.17/cmake/AwsFeatureTests.cmake aws-c-common-0.9.17/cmake/AwsFindPackage.cmake aws-c-common-0.9.17/cmake/AwsLibFuzzer.cmake aws-c-common-0.9.17/cmake/AwsSIMD.cmake aws-c-common-0.9.17/cmake/AwsSanitizers.cmake aws-c-common-0.9.17/cmake/AwsSharedLibSetup.cmake aws-c-common-0.9.17/cmake/AwsTestHarness.cmake aws-c-common-0.9.17/cmake/AwsThreadAffinity.cmake aws-c-common-0.9.17/cmake/AwsThreadName.cmake aws-c-common-0.9.17/include/aws/common/allocator.h aws-c-common-0.9.17/include/aws/common/array_list.h aws-c-common-0.9.17/include/aws/common/array_list.inl aws-c-common-0.9.17/include/aws/common/assert.h aws-c-common-0.9.17/include/aws/common/atomics.h aws-c-common-0.9.17/include/aws/common/atomics.inl aws-c-common-0.9.17/include/aws/common/atomics_fallback.inl aws-c-common-0.9.17/include/aws/common/atomics_gnu.inl aws-c-common-0.9.17/include/aws/common/atomics_gnu_old.inl aws-c-common-0.9.17/include/aws/common/atomics_msvc.inl aws-c-common-0.9.17/include/aws/common/byte_buf.h aws-c-common-0.9.17/include/aws/common/byte_order.h aws-c-common-0.9.17/include/aws/common/byte_order.inl aws-c-common-0.9.17/include/aws/common/cache.h aws-c-common-0.9.17/include/aws/common/clock.h aws-c-common-0.9.17/include/aws/common/clock.inl aws-c-common-0.9.17/include/aws/common/command_line_parser.h aws-c-common-0.9.17/include/aws/common/common.h aws-c-common-0.9.17/include/aws/common/condition_variable.h aws-c-common-0.9.17/include/aws/common/config.h.in aws-c-common-0.9.17/include/aws/common/cpuid.h aws-c-common-0.9.17/include/aws/common/cross_process_lock.h aws-c-common-0.9.17/include/aws/common/date_time.h aws-c-common-0.9.17/include/aws/common/device_random.h aws-c-common-0.9.17/include/aws/common/encoding.h aws-c-common-0.9.17/include/aws/common/encoding.inl aws-c-common-0.9.17/include/aws/common/environment.h aws-c-common-0.9.17/include/aws/common/error.h aws-c-common-0.9.17/include/aws/common/error.inl aws-c-common-0.9.17/include/aws/common/exports.h aws-c-common-0.9.17/include/aws/common/fifo_cache.h aws-c-common-0.9.17/include/aws/common/file.h aws-c-common-0.9.17/include/aws/common/hash_table.h aws-c-common-0.9.17/include/aws/common/host_utils.h aws-c-common-0.9.17/include/aws/common/json.h aws-c-common-0.9.17/include/aws/common/lifo_cache.h aws-c-common-0.9.17/include/aws/common/linked_hash_table.h aws-c-common-0.9.17/include/aws/common/linked_list.h aws-c-common-0.9.17/include/aws/common/linked_list.inl aws-c-common-0.9.17/include/aws/common/log_channel.h aws-c-common-0.9.17/include/aws/common/log_formatter.h aws-c-common-0.9.17/include/aws/common/log_writer.h aws-c-common-0.9.17/include/aws/common/logging.h aws-c-common-0.9.17/include/aws/common/lru_cache.h aws-c-common-0.9.17/include/aws/common/macros.h aws-c-common-0.9.17/include/aws/common/math.cbmc.inl aws-c-common-0.9.17/include/aws/common/math.fallback.inl aws-c-common-0.9.17/include/aws/common/math.gcc_arm64_asm.inl aws-c-common-0.9.17/include/aws/common/math.gcc_builtin.inl aws-c-common-0.9.17/include/aws/common/math.gcc_overflow.inl aws-c-common-0.9.17/include/aws/common/math.gcc_x64_asm.inl aws-c-common-0.9.17/include/aws/common/math.h aws-c-common-0.9.17/include/aws/common/math.inl aws-c-common-0.9.17/include/aws/common/math.msvc.inl aws-c-common-0.9.17/include/aws/common/mutex.h aws-c-common-0.9.17/include/aws/common/package.h aws-c-common-0.9.17/include/aws/common/platform.h aws-c-common-0.9.17/include/aws/common/posix/common.inl aws-c-common-0.9.17/include/aws/common/predicates.h aws-c-common-0.9.17/include/aws/common/priority_queue.h aws-c-common-0.9.17/include/aws/common/private/array_list.h aws-c-common-0.9.17/include/aws/common/private/byte_buf.h aws-c-common-0.9.17/include/aws/common/private/dlloads.h aws-c-common-0.9.17/include/aws/common/private/hash_table_impl.h aws-c-common-0.9.17/include/aws/common/private/json_impl.h aws-c-common-0.9.17/include/aws/common/private/system_info_priv.h aws-c-common-0.9.17/include/aws/common/private/thread_shared.h aws-c-common-0.9.17/include/aws/common/private/xml_parser_impl.h aws-c-common-0.9.17/include/aws/common/process.h aws-c-common-0.9.17/include/aws/common/ref_count.h aws-c-common-0.9.17/include/aws/common/ring_buffer.h aws-c-common-0.9.17/include/aws/common/ring_buffer.inl aws-c-common-0.9.17/include/aws/common/rw_lock.h aws-c-common-0.9.17/include/aws/common/statistics.h aws-c-common-0.9.17/include/aws/common/stdbool.h aws-c-common-0.9.17/include/aws/common/stdint.h aws-c-common-0.9.17/include/aws/common/string.h aws-c-common-0.9.17/include/aws/common/string.inl aws-c-common-0.9.17/include/aws/common/system_info.h aws-c-common-0.9.17/include/aws/common/system_resource_util.h aws-c-common-0.9.17/include/aws/common/task_scheduler.h aws-c-common-0.9.17/include/aws/common/thread.h aws-c-common-0.9.17/include/aws/common/thread_scheduler.h aws-c-common-0.9.17/include/aws/common/time.h aws-c-common-0.9.17/include/aws/common/uri.h aws-c-common-0.9.17/include/aws/common/uuid.h aws-c-common-0.9.17/include/aws/common/xml_parser.h aws-c-common-0.9.17/include/aws/common/zero.h aws-c-common-0.9.17/include/aws/common/zero.inl aws-c-common-0.9.17/include/aws/testing/aws_test_harness.h aws-c-common-0.9.17/scripts/appverifier_ctest.py aws-c-common-0.9.17/scripts/appverifier_xml.py aws-c-common-0.9.17/source/allocator.c aws-c-common-0.9.17/source/allocator_sba.c aws-c-common-0.9.17/source/android/logging.c aws-c-common-0.9.17/source/arch/arm/auxv/cpuid.c aws-c-common-0.9.17/source/arch/arm/darwin/cpuid.c aws-c-common-0.9.17/source/arch/arm/windows/cpuid.c aws-c-common-0.9.17/source/arch/generic/cpuid.c aws-c-common-0.9.17/source/arch/intel/asm/cpuid.c aws-c-common-0.9.17/source/arch/intel/cpuid.c aws-c-common-0.9.17/source/arch/intel/encoding_avx2.c aws-c-common-0.9.17/source/arch/intel/msvc/cpuid.c aws-c-common-0.9.17/source/array_list.c aws-c-common-0.9.17/source/assert.c aws-c-common-0.9.17/source/byte_buf.c aws-c-common-0.9.17/source/cache.c aws-c-common-0.9.17/source/codegen.c aws-c-common-0.9.17/source/command_line_parser.c aws-c-common-0.9.17/source/common.c aws-c-common-0.9.17/source/condition_variable.c aws-c-common-0.9.17/source/date_time.c aws-c-common-0.9.17/source/device_random.c aws-c-common-0.9.17/source/encoding.c aws-c-common-0.9.17/source/error.c aws-c-common-0.9.17/source/fifo_cache.c aws-c-common-0.9.17/source/file.c aws-c-common-0.9.17/source/hash_table.c aws-c-common-0.9.17/source/host_utils.c aws-c-common-0.9.17/source/json.c aws-c-common-0.9.17/source/lifo_cache.c aws-c-common-0.9.17/source/linked_hash_table.c aws-c-common-0.9.17/source/linux/system_info.c aws-c-common-0.9.17/source/log_channel.c aws-c-common-0.9.17/source/log_formatter.c aws-c-common-0.9.17/source/log_writer.c aws-c-common-0.9.17/source/logging.c aws-c-common-0.9.17/source/lru_cache.c aws-c-common-0.9.17/source/math.c aws-c-common-0.9.17/source/memtrace.c aws-c-common-0.9.17/source/platform_fallback_stubs/system_info.c aws-c-common-0.9.17/source/posix/clock.c aws-c-common-0.9.17/source/posix/condition_variable.c aws-c-common-0.9.17/source/posix/cross_process_lock.c aws-c-common-0.9.17/source/posix/device_random.c aws-c-common-0.9.17/source/posix/environment.c aws-c-common-0.9.17/source/posix/file.c aws-c-common-0.9.17/source/posix/mutex.c aws-c-common-0.9.17/source/posix/process.c aws-c-common-0.9.17/source/posix/rw_lock.c aws-c-common-0.9.17/source/posix/system_info.c aws-c-common-0.9.17/source/posix/system_resource_utils.c aws-c-common-0.9.17/source/posix/thread.c aws-c-common-0.9.17/source/priority_queue.c aws-c-common-0.9.17/source/process_common.c aws-c-common-0.9.17/source/ref_count.c aws-c-common-0.9.17/source/ring_buffer.c aws-c-common-0.9.17/source/statistics.c aws-c-common-0.9.17/source/string.c aws-c-common-0.9.17/source/system_info.c aws-c-common-0.9.17/source/task_scheduler.c aws-c-common-0.9.17/source/thread_scheduler.c aws-c-common-0.9.17/source/thread_shared.c aws-c-common-0.9.17/source/uri.c aws-c-common-0.9.17/source/uuid.c aws-c-common-0.9.17/source/windows/clock.c aws-c-common-0.9.17/source/windows/condition_variable.c aws-c-common-0.9.17/source/windows/cross_process_lock.c aws-c-common-0.9.17/source/windows/device_random.c aws-c-common-0.9.17/source/windows/environment.c aws-c-common-0.9.17/source/windows/file.c aws-c-common-0.9.17/source/windows/mutex.c aws-c-common-0.9.17/source/windows/process.c aws-c-common-0.9.17/source/windows/rw_lock.c aws-c-common-0.9.17/source/windows/system_info.c aws-c-common-0.9.17/source/windows/system_resource_utils.c aws-c-common-0.9.17/source/windows/thread.c aws-c-common-0.9.17/source/windows/time.c aws-c-common-0.9.17/source/xml_parser.c aws-c-common-0.9.17/tests/alloc_test.c aws-c-common-0.9.17/tests/array_list_test.c aws-c-common-0.9.17/tests/atomics_test.c aws-c-common-0.9.17/tests/byte_buf_test.c aws-c-common-0.9.17/tests/byte_cursor_find_test.c aws-c-common-0.9.17/tests/byte_order_test.c aws-c-common-0.9.17/tests/cache_test.c aws-c-common-0.9.17/tests/calloc_test.c aws-c-common-0.9.17/tests/clock_test.c aws-c-common-0.9.17/tests/command_line_parser_test.c aws-c-common-0.9.17/tests/condition_variable_test.c aws-c-common-0.9.17/tests/cpuid_test.c aws-c-common-0.9.17/tests/cross_process_lock_tests.c aws-c-common-0.9.17/tests/cursor_test.c aws-c-common-0.9.17/tests/date_time_test.c aws-c-common-0.9.17/tests/device_random_test.c aws-c-common-0.9.17/tests/encoding_test.c aws-c-common-0.9.17/tests/environment_test.c aws-c-common-0.9.17/tests/error_test.c aws-c-common-0.9.17/tests/file_test.c aws-c-common-0.9.17/tests/fuzz/base64_encoding_transitive.c aws-c-common-0.9.17/tests/fuzz/hex_encoding_transitive.c aws-c-common-0.9.17/tests/hash_table_test.c aws-c-common-0.9.17/tests/host_util_test.c aws-c-common-0.9.17/tests/json_test.c aws-c-common-0.9.17/tests/linked_hash_table_test.c aws-c-common-0.9.17/tests/linked_list_test.c aws-c-common-0.9.17/tests/logging/log_channel_test.c aws-c-common-0.9.17/tests/logging/log_formatter_test.c aws-c-common-0.9.17/tests/logging/log_writer_test.c aws-c-common-0.9.17/tests/logging/logging_filter_debug_static_test.c aws-c-common-0.9.17/tests/logging/logging_filter_error_static_test.c aws-c-common-0.9.17/tests/logging/logging_filter_fatal_static_test.c aws-c-common-0.9.17/tests/logging/logging_filter_info_static_test.c aws-c-common-0.9.17/tests/logging/logging_filter_none_static_test.c aws-c-common-0.9.17/tests/logging/logging_filter_trace_static_test.c aws-c-common-0.9.17/tests/logging/logging_filter_warn_static_test.c aws-c-common-0.9.17/tests/logging/logging_general_test.c aws-c-common-0.9.17/tests/logging/logging_misc.c aws-c-common-0.9.17/tests/logging/logging_test_utilities.c aws-c-common-0.9.17/tests/logging/logging_test_utilities.h aws-c-common-0.9.17/tests/logging/pipeline_logger_test.c aws-c-common-0.9.17/tests/logging/test_logger.c aws-c-common-0.9.17/tests/logging/test_logger.h aws-c-common-0.9.17/tests/math_test.c aws-c-common-0.9.17/tests/memtrace_test.c aws-c-common-0.9.17/tests/mutex_test.c aws-c-common-0.9.17/tests/priority_queue_test.c aws-c-common-0.9.17/tests/process_test.c aws-c-common-0.9.17/tests/realloc_test.c aws-c-common-0.9.17/tests/ring_buffer_test.c aws-c-common-0.9.17/tests/rw_lock_test.c aws-c-common-0.9.17/tests/split_test.c aws-c-common-0.9.17/tests/string_test.c aws-c-common-0.9.17/tests/system_info_tests.c aws-c-common-0.9.17/tests/system_resource_util_test.c aws-c-common-0.9.17/tests/task_scheduler_test.c aws-c-common-0.9.17/tests/thread_scheduler_test.c aws-c-common-0.9.17/tests/thread_test.c aws-c-common-0.9.17/tests/uri_test.c aws-c-common-0.9.17/tests/uuid_test.c aws-c-common-0.9.17/tests/xml_parser_test.c aws-c-common-0.9.17/tests/zero_test.c aws-c-common-0.9.17/verification/cbmc/include/aws/common/config.h aws-c-common-0.9.17/verification/cbmc/include/proof_helpers/aws_byte_cursor_read_common.h aws-c-common-0.9.17/verification/cbmc/include/proof_helpers/make_common_data_structures.h aws-c-common-0.9.17/verification/cbmc/include/proof_helpers/nondet.h aws-c-common-0.9.17/verification/cbmc/include/proof_helpers/ring_buffer_abstract_states.h aws-c-common-0.9.17/verification/cbmc/include/proof_helpers/utils.h aws-c-common-0.9.17/verification/cbmc/proofs/Makefile-project-defines aws-c-common-0.9.17/verification/cbmc/proofs/Makefile-project-targets aws-c-common-0.9.17/verification/cbmc/proofs/Makefile-project-testing aws-c-common-0.9.17/verification/cbmc/proofs/Makefile.aws_array_list aws-c-common-0.9.17/verification/cbmc/proofs/Makefile.aws_byte_buf aws-c-common-0.9.17/verification/cbmc/proofs/Makefile.aws_hash_table aws-c-common-0.9.17/verification/cbmc/proofs/Makefile.aws_linked_list aws-c-common-0.9.17/verification/cbmc/proofs/Makefile.aws_priority_queue_sift aws-c-common-0.9.17/verification/cbmc/proofs/Makefile.aws_string aws-c-common-0.9.17/verification/cbmc/proofs/Makefile.cbmc_batch aws-c-common-0.9.17/verification/cbmc/proofs/aws_add_size_checked/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_add_size_saturating/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq/aws_array_eq_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq_c_str/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq_c_str/aws_array_eq_c_str_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/aws_array_eq_c_str_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq_ignore_case/aws_array_eq_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_back/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_capacity/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_capacity/aws_array_list_capacity_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_clean_up/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_clean_up/aws_array_list_clean_up_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_clear/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_clear/aws_array_list_clear_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_comparator_string/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_comparator_string/aws_array_list_comparator_string_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_copy/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_copy/aws_array_list_copy_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_ensure_capacity/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_erase/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_front/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_front/aws_array_list_front_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_get_at/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_get_at/aws_array_list_get_at_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_get_at_ptr/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_get_at_ptr/aws_array_list_get_at_ptr_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_init_dynamic/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_init_dynamic/aws_array_list_init_dynamic_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_init_static/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_init_static/aws_array_list_init_static_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_length/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_pop_back/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_pop_front/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_pop_front_n/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_push_back/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_push_back/aws_array_list_push_back_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_push_front/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_push_front/aws_array_list_push_front_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_set_at/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_set_at/aws_array_list_set_at_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_shrink_to_fit/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_shrink_to_fit/aws_array_list_shrink_to_fit_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_sort/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_swap/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_swap/aws_array_list_swap_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_swap_contents/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_swap_contents/aws_array_list_swap_contents_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_advance/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_advance/aws_byte_buf_advance_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append/aws_byte_buf_append_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append_and_update/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append_and_update/aws_byte_buf_append_and_update_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append_dynamic/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append_dynamic/aws_byte_buf_append_dynamic_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append_with_lookup/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append_with_lookup/aws_byte_buf_append_with_lookup_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_cat/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_cat/aws_byte_buf_cat_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_clean_up/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_clean_up/aws_byte_buf_clean_up_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_clean_up_secure/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_clean_up_secure/aws_byte_buf_clean_up_secure_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq/aws_byte_buf_eq_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq_c_str/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq_c_str/aws_byte_buf_eq_c_str_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/aws_byte_buf_eq_c_str_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/aws_byte_buf_eq_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_from_array/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_from_array/aws_byte_buf_from_array_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_from_c_str/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_from_c_str/aws_byte_buf_from_c_str_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_from_empty_array/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_from_empty_array/aws_byte_buf_from_empty_array_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_init/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_init/aws_byte_buf_init_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_init_copy/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_init_copy/aws_byte_buf_init_copy_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/aws_byte_buf_init_copy_from_cursor_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_reserve/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_reserve/aws_byte_buf_reserve_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_reserve_relative/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_reserve_relative/aws_byte_buf_reserve_relative_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_reset/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_reset/aws_byte_buf_reset_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_secure_zero/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_secure_zero/aws_byte_buf_secure_zero_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write/aws_byte_buf_write_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_be16/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_be16/aws_byte_buf_write_be16_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_be32/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_be32/aws_byte_buf_write_be32_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_be64/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_be64/aws_byte_buf_write_be64_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/aws_byte_buf_write_from_whole_buffer_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/aws_byte_buf_write_from_whole_cursor_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/aws_byte_buf_write_from_whole_string_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_u8/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_u8/aws_byte_buf_write_u8_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_advance/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_advance/aws_byte_cursor_advance_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_advance_nospec/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_advance_nospec/aws_byte_cursor_advance_nospec_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_compare_lexical/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_compare_lookup/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/aws_byte_cursor_eq_byte_buf_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/aws_byte_cursor_eq_byte_buf_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_c_str/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_c_str/aws_byte_cursor_eq_c_str_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/aws_byte_cursor_eq_c_str_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_array/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_array/aws_byte_cursor_from_array_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_buf/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_buf/aws_byte_cursor_from_buf_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_c_str/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_c_str/aws_byte_cursor_from_c_str_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_string/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_string/aws_byte_cursor_from_string_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/aws_byte_cursor_left_trim_pred_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read/aws_byte_cursor_read_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/aws_byte_cursor_read_and_fill_buffer_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_be16/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_be16/aws_byte_cursor_read_be16_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_be32/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_be32/aws_byte_cursor_read_be32_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_be64/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_be64/aws_byte_cursor_read_be64_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_u8/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_u8/aws_byte_cursor_read_u8_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/aws_byte_cursor_right_trim_pred_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/aws_byte_cursor_satisfies_pred_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_trim_pred/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_trim_pred/aws_byte_cursor_trim_pred_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_array_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_array_ignore_case/aws_hash_array_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_byte_cursor_ptr/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_byte_cursor_ptr/aws_hash_byte_cursor_ptr_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/aws_hash_byte_cursor_ptr_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_c_string/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_c_string/aws_hash_c_string_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_callback_c_str_eq/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_callback_c_str_eq/aws_hash_callback_c_str_eq_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_callback_string_destroy/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_callback_string_destroy/aws_hash_callback_string_destroy_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_callback_string_eq/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_callback_string_eq/aws_hash_callback_string_eq_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_begin/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_begin/aws_hash_iter_begin_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_delete/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_delete/aws_hash_iter_delete_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_done/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_done/aws_hash_iter_done_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_next/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_next/aws_hash_iter_next_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_ptr/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_ptr/aws_hash_ptr_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_string/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_string/aws_hash_string_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_clean_up/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_clean_up/aws_hash_table_clean_up_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_clear/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_clear/aws_hash_table_clear_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_create/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_create/aws_hash_table_create_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_eq/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_eq/aws_hash_table_eq_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_find/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_find/aws_hash_table_find_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_foreach/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_foreach/aws_hash_table_foreach_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_get_entry_count/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_get_entry_count/aws_hash_table_get_entry_count_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_init_bounded/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_init_bounded/aws_hash_table_init_bounded_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_init_unbounded/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_init_unbounded/aws_hash_table_init_unbounded_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_move/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_move/aws_hash_table_move_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_put/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_put/aws_hash_table_put_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_remove/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_remove/aws_hash_table_remove_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_swap/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_swap/aws_hash_table_swap_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_is_power_of_two/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_is_power_of_two/aws_is_power_of_two_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_back/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_back/aws_linked_list_back_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_begin/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_begin/aws_linked_list_begin_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_end/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_end/aws_linked_list_end_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_front/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_front/aws_linked_list_front_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_init/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_init/aws_linked_list_init_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_insert_after/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_insert_after/aws_linked_list_insert_after_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_insert_before/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_insert_before/aws_linked_list_insert_before_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_next/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_next/aws_linked_list_next_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_node_reset/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_node_reset/aws_linked_list_node_reset_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_pop_back/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_pop_back/aws_linked_list_pop_back_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_pop_front/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_pop_front/aws_linked_list_pop_front_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_prev/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_prev/aws_linked_list_prev_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_push_back/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_push_back/aws_linked_list_push_back_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_push_front/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_push_front/aws_linked_list_push_front_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_rbegin/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_rbegin/aws_linked_list_rbegin_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_remove/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_remove/aws_linked_list_remove_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_rend/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_rend/aws_linked_list_rend_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_swap_contents/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_swap_contents/aws_linked_list_swap_contents_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_mul_size_checked/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_mul_size_saturating/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_nospec_mask/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_nospec_mask/aws_nospec_mask_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_capacity/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_capacity/aws_priority_queue_capacity_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_clean_up/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_clean_up/aws_priority_queue_clean_up_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_init_dynamic/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_init_dynamic/aws_priority_queue_init_dynamic_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_init_static/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_init_static/aws_priority_queue_init_static_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_pop/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_pop/aws_priority_queue_pop_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_push/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_push/aws_priority_queue_push_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_push_ref/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_push_ref/aws_priority_queue_push_ref_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_remove/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_remove/aws_priority_queue_remove_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_remove_node/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_remove_node/aws_priority_queue_s_remove_node_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_sift_down/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_sift_down/aws_priority_queue_s_sift_down_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_sift_either/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_sift_either/aws_priority_queue_s_sift_either_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_sift_up/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_sift_up/aws_priority_queue_s_sift_up_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_swap/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_swap/aws_priority_queue_s_swap_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_size/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_size/aws_priority_queue_size_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_top/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_top/aws_priority_queue_top_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_ptr_eq/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_ptr_eq/aws_ptr_eq_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_acquire/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_acquire/aws_ring_buffer_acquire_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/aws_ring_buffer_acquire_up_to_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/aws_ring_buffer_buf_belongs_to_pool_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_clean_up/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_clean_up/aws_ring_buffer_clean_up_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_init/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_init/aws_ring_buffer_init_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_release/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_release/aws_ring_buffer_release_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_round_up_to_power_of_two/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_round_up_to_power_of_two/aws_round_up_to_power_of_two_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_bytes/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_bytes/aws_string_bytes_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_compare/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_compare/aws_string_compare_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_destroy/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_destroy/aws_string_destroy_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_destroy_secure/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_destroy_secure/aws_string_destroy_secure_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq/aws_string_eq_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_buf/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_buf/aws_string_eq_byte_buf_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/aws_string_eq_byte_buf_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_cursor/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_cursor/aws_string_eq_byte_cursor_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/aws_string_eq_byte_cursor_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_c_str/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_c_str/aws_string_eq_c_str_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/aws_string_eq_c_str_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_ignore_case/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_ignore_case/aws_string_eq_ignore_case_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_new_from_array/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_new_from_array/aws_string_new_from_array_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_new_from_c_str/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_new_from_c_str/aws_string_new_from_c_str_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_new_from_string/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_new_from_string/aws_string_new_from_string_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/memcpy_using_uint64/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/memcpy_using_uint64/memcpy_using_uint64_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/memset_override_0/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/memset_override_0/memset_override_0_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/memset_using_uint64/Makefile aws-c-common-0.9.17/verification/cbmc/proofs/memset_using_uint64/memset_using_uint64_harness.c aws-c-common-0.9.17/verification/cbmc/sources/make_common_data_structures.c aws-c-common-0.9.17/verification/cbmc/sources/utils.c aws-c-common-0.9.17/verification/cbmc/stubs/abort_override_assert_false.c aws-c-common-0.9.17/verification/cbmc/stubs/aws_array_list_swap_override.c aws-c-common-0.9.17/verification/cbmc/stubs/aws_byte_cursor_read_be16_override.c aws-c-common-0.9.17/verification/cbmc/stubs/aws_hash_table_no_slots_override.c aws-c-common-0.9.17/verification/cbmc/stubs/aws_string_destroy_override.c aws-c-common-0.9.17/verification/cbmc/stubs/aws_string_new_from_array_override.c aws-c-common-0.9.17/verification/cbmc/stubs/empty-source-file.c aws-c-common-0.9.17/verification/cbmc/stubs/error.c aws-c-common-0.9.17/verification/cbmc/stubs/hash_table_generators.c aws-c-common-0.9.17/verification/cbmc/stubs/memcpy_override.c aws-c-common-0.9.17/verification/cbmc/stubs/memcpy_override_havoc.c aws-c-common-0.9.17/verification/cbmc/stubs/memcpy_override_no_op.c aws-c-common-0.9.17/verification/cbmc/stubs/memcpy_using_uint64.c aws-c-common-0.9.17/verification/cbmc/stubs/memmove_override.c aws-c-common-0.9.17/verification/cbmc/stubs/memmove_override_havoc.c aws-c-common-0.9.17/verification/cbmc/stubs/memmove_override_no_op.c aws-c-common-0.9.17/verification/cbmc/stubs/memset_override.c aws-c-common-0.9.17/verification/cbmc/stubs/memset_override_0.c aws-c-common-0.9.17/verification/cbmc/stubs/memset_override_havoc.c aws-c-common-0.9.17/verification/cbmc/stubs/memset_override_no_op.c aws-c-common-0.9.17/verification/cbmc/stubs/memset_using_uint64.c aws-c-common-0.9.17/verification/cbmc/stubs/qsort_override.c aws-c-common-0.9.17/verification/cbmc/stubs/s_remove_node_override.c aws-c-common-0.9.17/verification/cbmc/stubs/s_sift_either_override.c aws-c-common-0.9.17/verification/cbmc/stubs/s_sift_up_override.c aws-c-common-0.9.17/verification/cbmc/stubs/s_swap_override_no_op.c aws-c-common-0.9.17/verification/cbmc/uninline/array_list.c aws-c-common-0.9.17/verification/cbmc/uninline/atomics.c aws-c-common-0.9.17/verification/cbmc/uninline/byte_order.c aws-c-common-0.9.17/verification/cbmc/uninline/clock.c aws-c-common-0.9.17/verification/cbmc/uninline/encoding.c aws-c-common-0.9.17/verification/cbmc/uninline/error.c aws-c-common-0.9.17/verification/cbmc/uninline/linked_list.c aws-c-common-0.9.17/verification/cbmc/uninline/math.c aws-c-common-0.9.17/verification/cbmc/uninline/ring_buffer.c aws-c-common-0.9.17/verification/cbmc/uninline/string.c aws-c-common-0.9.17/verification/cbmc/uninline/zero.c Apache License 2.0 and/or BSD 3-Clause License ---------------------------------------------- aws-c-common-0.9.17/source/posix/time.c BSD 3-Clause License and/or GNU General Public License, Version 2 ----------------------------------------------------------------- aws-c-common-0.9.17/include/aws/common/external/ittnotify.h BSD 3-Clause License and/or GNU General Public License, Version 2 and/or MIT License ------------------------------------------------------------------------------------ aws-c-common-0.9.17/THIRD-PARTY-LICENSES.txt MIT License ----------- aws-c-common-0.9.17/source/external/cJSON.c aws-c-common-0.9.17/source/external/cJSON.h MIT No Attribution ------------------ aws-c-common-0.9.17/.github/workflows/proof_ci.yaml aws-c-common-0.9.17/verification/cbmc/proofs/Makefile.common aws-c-common-0.9.17/verification/cbmc/proofs/lib/print_tool_versions.py aws-c-common-0.9.17/verification/cbmc/proofs/lib/summarize.py aws-c-common-0.9.17/verification/cbmc/proofs/run-cbmc-proofs.py Unknown or generated -------------------- aws-c-common-0.9.17/.builder/actions/clang-tidy.py aws-c-common-0.9.17/.clang-format aws-c-common-0.9.17/.clang-tidy aws-c-common-0.9.17/.github/ISSUE_TEMPLATE/bug-report.yml aws-c-common-0.9.17/.github/ISSUE_TEMPLATE/config.yml aws-c-common-0.9.17/.github/ISSUE_TEMPLATE/documentation.yml aws-c-common-0.9.17/.github/ISSUE_TEMPLATE/feature-request.yml aws-c-common-0.9.17/.github/workflows/ci.yml aws-c-common-0.9.17/.github/workflows/clang-format.yml aws-c-common-0.9.17/.github/workflows/clang-tidy.yml aws-c-common-0.9.17/.github/workflows/closed-issue-message.yml aws-c-common-0.9.17/.github/workflows/codecov.yml aws-c-common-0.9.17/.github/workflows/handle-stale-discussions.yml aws-c-common-0.9.17/.github/workflows/proof_ci_resources/config.yaml aws-c-common-0.9.17/.github/workflows/stale_issue.yml aws-c-common-0.9.17/AWSCRTAndroidTestRunner/app/build.gradle aws-c-common-0.9.17/AWSCRTAndroidTestRunner/app/src/androidTest/java/software/amazon/awssdk/crt/awscrtandroidtestrunner/NativeTest.kt.in aws-c-common-0.9.17/AWSCRTAndroidTestRunner/app/src/androidTest/java/software/amazon/awssdk/crt/awscrtandroidtestrunner/NativeTestFixture.kt aws-c-common-0.9.17/AWSCRTAndroidTestRunner/app/src/main/AndroidManifest.xml aws-c-common-0.9.17/AWSCRTAndroidTestRunner/app/src/main/cpp/CMakeLists.txt aws-c-common-0.9.17/AWSCRTAndroidTestRunner/app/src/main/cpp/native-lib.cpp aws-c-common-0.9.17/AWSCRTAndroidTestRunner/build.gradle aws-c-common-0.9.17/AWSCRTAndroidTestRunner/gradle.properties aws-c-common-0.9.17/AWSCRTAndroidTestRunner/gradle/wrapper/gradle-wrapper.jar aws-c-common-0.9.17/AWSCRTAndroidTestRunner/gradle/wrapper/gradle-wrapper.properties aws-c-common-0.9.17/AWSCRTAndroidTestRunner/gradlew aws-c-common-0.9.17/AWSCRTAndroidTestRunner/gradlew.bat aws-c-common-0.9.17/AWSCRTAndroidTestRunner/settings.gradle aws-c-common-0.9.17/CONTRIBUTING.md aws-c-common-0.9.17/NOTICE aws-c-common-0.9.17/bin/system_info/CMakeLists.txt aws-c-common-0.9.17/bin/system_info/print_system_info.c aws-c-common-0.9.17/builder.json aws-c-common-0.9.17/cmake/CPackConfig.cmake aws-c-common-0.9.17/cmake/aws-c-common-config.cmake aws-c-common-0.9.17/cmake/rpm-scripts/changelog.txt aws-c-common-0.9.17/cmake/rpm-scripts/post.sh aws-c-common-0.9.17/cmake/rpm-scripts/postun.sh aws-c-common-0.9.17/format-check.sh aws-c-common-0.9.17/include/aws/common/external/.clang-format aws-c-common-0.9.17/scripts/latest_submodules.py aws-c-common-0.9.17/source/external/.clang-format aws-c-common-0.9.17/tests/CMakeLists.txt aws-c-common-0.9.17/tests/assert_test.c aws-c-common-0.9.17/tests/resources/ascii.txt aws-c-common-0.9.17/tests/resources/dir_traversal_test/first_child_dir/child.txt aws-c-common-0.9.17/tests/resources/dir_traversal_test/root_child.txt aws-c-common-0.9.17/tests/resources/utf16be.txt aws-c-common-0.9.17/tests/resources/utf16le.txt aws-c-common-0.9.17/tests/resources/utf8.txt aws-c-common-0.9.17/verification/cbmc/README.md aws-c-common-0.9.17/verification/cbmc/include/README.md aws-c-common-0.9.17/verification/cbmc/proofs/Makefile-template-defines aws-c-common-0.9.17/verification/cbmc/proofs/README.md aws-c-common-0.9.17/verification/cbmc/proofs/aws_add_size_checked/aws_add_size_checked_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_add_size_checked/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_add_size_saturating/aws_add_size_saturating_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_add_size_saturating/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq_c_str/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_eq_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_back/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_capacity/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_clean_up/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_clear/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_comparator_string/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_copy/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_ensure_capacity/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_erase/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_front/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_get_at/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_get_at_ptr/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_init_dynamic/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_init_static/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_length/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_pop_back/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_pop_front/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_pop_front_n/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_push_back/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_push_front/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_set_at/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_shrink_to_fit/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_sort/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_swap/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_array_list_swap_contents/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_advance/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append_and_update/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append_dynamic/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_append_with_lookup/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_cat/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_clean_up/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_clean_up_secure/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq_c_str/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_from_array/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_from_c_str/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_from_empty_array/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_init/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_init_copy/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_reserve/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_reserve_relative/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_reset/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_secure_zero/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_be16/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_be32/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_be64/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_buf_write_u8/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_advance/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_advance_nospec/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_compare_lexical/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_compare_lookup/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_c_str/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_array/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_buf/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_c_str/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_from_string/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_be16/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_be64/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_read_u8/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_byte_cursor_trim_pred/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_array_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_byte_cursor_ptr/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_c_string/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_callback_c_str_eq/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_callback_string_destroy/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_callback_string_eq/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_begin/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_delete/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_done/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_iter_next/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_ptr/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_string/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_clean_up/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_clear/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_create/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_eq/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_find/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_foreach/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_get_entry_count/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_init_bounded/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_init_unbounded/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_move/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_put/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_remove/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_hash_table_swap/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_is_power_of_two/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_back/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_begin/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_end/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_front/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_init/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_insert_after/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_insert_before/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_next/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_node_reset/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_pop_back/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_pop_front/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_prev/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_push_back/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_push_front/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_rbegin/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_remove/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_rend/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_linked_list_swap_contents/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_mul_size_checked/aws_mul_size_checked_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_mul_size_checked/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_mul_size_saturating/aws_mul_size_saturating_harness.c aws-c-common-0.9.17/verification/cbmc/proofs/aws_mul_size_saturating/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_nospec_mask/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_capacity/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_clean_up/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_init_dynamic/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_init_static/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_pop/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_push/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_push_ref/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_remove/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_remove_node/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_sift_down/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_sift_either/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_sift_up/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_s_swap/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_size/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_priority_queue_top/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_ptr_eq/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_acquire/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_clean_up/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_init/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_ring_buffer_release/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_round_up_to_power_of_two/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_bytes/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_compare/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_destroy/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_destroy_secure/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_buf/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_cursor/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_c_str/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_eq_ignore_case/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_new_from_array/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_new_from_c_str/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/aws_string_new_from_string/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/build-buildspec.sh aws-c-common-0.9.17/verification/cbmc/proofs/memcpy_using_uint64/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/memset_override_0/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/memset_using_uint64/cbmc-proof.txt aws-c-common-0.9.17/verification/cbmc/proofs/scripts/fixup_makefiles.py aws-c-common-0.9.17/verification/cbmc/proofs/scripts/move_proofs.py aws-c-common-0.9.17/verification/cbmc/sources/README.md aws-c-common-0.9.17/verification/cbmc/stubs/README.md aws-c-common-0.9.17/verification/cbmc/stubs/aws_hash_iter_overrides.c aws-c-common-0.9.17/verification/cbmc/stubs/aws_hash_table_find_override.c aws-c-common-0.9.17/verification/cbmc/stubs/s_emplace_item_override.c aws-c-common-0.9.17/verification/cbmc/stubs/s_expand_table_override.c aws-c-common-0.9.17/verification/cbmc/stubs/s_remove_entry_override.c Éxample.txt