├── .builder └── actions │ └── clang-tidy.py ├── .clang-format ├── .clang-tidy ├── .github ├── ISSUE_TEMPLATE │ ├── bug-report.yml │ ├── config.yml │ ├── documentation.yml │ └── feature-request.yml ├── PULL_REQUEST_TEMPLATE.md └── workflows │ ├── ci.yml │ ├── clang-format.yml │ ├── clang-tidy.yml │ ├── closed-issue-message.yml │ ├── codecov.yml │ ├── handle-stale-discussions.yml │ ├── issue-regression-labeler.yml │ ├── proof_ci.yaml │ ├── proof_ci_resources │ └── config.yaml │ └── stale_issue.yml ├── .gitignore ├── AWSCRTAndroidTestRunner ├── .gitignore ├── app │ ├── .gitignore │ ├── build.gradle │ └── src │ │ ├── androidTest │ │ └── java │ │ │ └── software │ │ │ └── amazon │ │ │ └── awssdk │ │ │ └── crt │ │ │ └── awscrtandroidtestrunner │ │ │ ├── NativeTest.kt.in │ │ │ └── NativeTestFixture.kt │ │ └── main │ │ ├── AndroidManifest.xml │ │ └── cpp │ │ ├── CMakeLists.txt │ │ └── native-lib.cpp ├── build.gradle ├── gradle.properties ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat └── settings.gradle ├── CMakeLists.txt ├── CONTRIBUTING.md ├── LICENSE ├── NOTICE ├── README.md ├── THIRD-PARTY-LICENSES.txt ├── bin └── system_info │ ├── CMakeLists.txt │ ├── print_system_info.c │ └── test-print-system-info.py ├── cmake ├── AwsCFlags.cmake ├── AwsCRuntime.cmake ├── AwsCheckHeaders.cmake ├── AwsFeatureTests.cmake ├── AwsFindPackage.cmake ├── AwsLibFuzzer.cmake ├── AwsPrebuildDependency.cmake ├── AwsSIMD.cmake ├── AwsSanitizers.cmake ├── AwsSharedLibSetup.cmake ├── AwsTestHarness.cmake ├── AwsThreadAffinity.cmake ├── AwsThreadName.cmake ├── CPackConfig.cmake ├── aws-c-common-config.cmake └── rpm-scripts │ ├── changelog.txt │ ├── post.sh │ └── postun.sh ├── docs └── error-handling.md ├── format-check.py ├── include └── aws │ ├── common │ ├── allocator.h │ ├── array_list.h │ ├── array_list.inl │ ├── assert.h │ ├── atomics.h │ ├── atomics.inl │ ├── atomics_fallback.inl │ ├── atomics_gnu.inl │ ├── atomics_gnu_old.inl │ ├── atomics_msvc.inl │ ├── byte_buf.h │ ├── byte_order.h │ ├── byte_order.inl │ ├── cache.h │ ├── cbor.h │ ├── clock.h │ ├── clock.inl │ ├── command_line_parser.h │ ├── common.h │ ├── condition_variable.h │ ├── config.h.in │ ├── cpuid.h │ ├── cross_process_lock.h │ ├── date_time.h │ ├── device_random.h │ ├── encoding.h │ ├── encoding.inl │ ├── environment.h │ ├── error.h │ ├── error.inl │ ├── exports.h │ ├── external │ │ ├── .clang-format │ │ └── ittnotify.h │ ├── fifo_cache.h │ ├── file.h │ ├── hash_table.h │ ├── host_utils.h │ ├── json.h │ ├── lifo_cache.h │ ├── linked_hash_table.h │ ├── linked_list.h │ ├── linked_list.inl │ ├── log_channel.h │ ├── log_formatter.h │ ├── log_writer.h │ ├── logging.h │ ├── lru_cache.h │ ├── macros.h │ ├── math.cbmc.inl │ ├── math.fallback.inl │ ├── math.gcc_arm64_asm.inl │ ├── math.gcc_builtin.inl │ ├── math.gcc_overflow.inl │ ├── math.gcc_x64_asm.inl │ ├── math.h │ ├── math.inl │ ├── math.msvc_x64.inl │ ├── mutex.h │ ├── package.h │ ├── platform.h │ ├── posix │ │ └── common.inl │ ├── predicates.h │ ├── priority_queue.h │ ├── private │ │ ├── array_list.h │ │ ├── byte_buf.h │ │ ├── dlloads.h │ │ ├── external_module_impl.h │ │ ├── hash_table_impl.h │ │ ├── lookup3.inl │ │ ├── system_info_priv.h │ │ ├── thread_shared.h │ │ └── xml_parser_impl.h │ ├── process.h │ ├── ref_count.h │ ├── ring_buffer.h │ ├── ring_buffer.inl │ ├── rw_lock.h │ ├── shutdown_types.h │ ├── statistics.h │ ├── stdbool.h │ ├── stdint.h │ ├── string.h │ ├── string.inl │ ├── system_info.h │ ├── system_resource_util.h │ ├── task_scheduler.h │ ├── thread.h │ ├── thread_scheduler.h │ ├── time.h │ ├── uri.h │ ├── uuid.h │ ├── xml_parser.h │ ├── zero.h │ └── zero.inl │ └── testing │ └── aws_test_harness.h ├── scripts ├── appverifier_ctest.py ├── appverifier_xml.py ├── import_libcbor.py ├── latest_submodules.py └── update_cjson.py ├── source ├── allocator.c ├── allocator_sba.c ├── android │ └── logging.c ├── arch │ ├── arm │ │ ├── auxv │ │ │ └── cpuid.c │ │ ├── darwin │ │ │ └── cpuid.c │ │ └── windows │ │ │ └── cpuid.c │ ├── generic │ │ └── cpuid.c │ └── intel │ │ ├── asm │ │ └── cpuid.c │ │ ├── cpuid.c │ │ ├── encoding_avx2.c │ │ └── msvc │ │ └── cpuid.c ├── array_list.c ├── assert.c ├── byte_buf.c ├── cache.c ├── cbor.c ├── codegen.c ├── command_line_parser.c ├── common.c ├── condition_variable.c ├── date_time.c ├── device_random.c ├── encoding.c ├── error.c ├── external │ ├── .clang-format │ ├── cJSON.c │ ├── cJSON.h │ └── libcbor │ │ ├── allocators.c │ │ ├── cbor.c │ │ ├── cbor.h │ │ └── cbor │ │ ├── arrays.c │ │ ├── arrays.h │ │ ├── bytestrings.c │ │ ├── bytestrings.h │ │ ├── callbacks.c │ │ ├── callbacks.h │ │ ├── cbor_export.h │ │ ├── common.c │ │ ├── common.h │ │ ├── configuration.h │ │ ├── data.h │ │ ├── encoding.c │ │ ├── encoding.h │ │ ├── floats_ctrls.c │ │ ├── floats_ctrls.h │ │ ├── internal │ │ ├── builder_callbacks.c │ │ ├── builder_callbacks.h │ │ ├── encoders.c │ │ ├── encoders.h │ │ ├── loaders.c │ │ ├── loaders.h │ │ ├── memory_utils.c │ │ ├── memory_utils.h │ │ ├── stack.c │ │ ├── stack.h │ │ ├── unicode.c │ │ └── unicode.h │ │ ├── ints.c │ │ ├── ints.h │ │ ├── maps.c │ │ ├── maps.h │ │ ├── serialization.c │ │ ├── serialization.h │ │ ├── streaming.c │ │ ├── streaming.h │ │ ├── strings.c │ │ ├── strings.h │ │ ├── tags.c │ │ └── tags.h ├── fifo_cache.c ├── file.c ├── hash_table.c ├── host_utils.c ├── json.c ├── lifo_cache.c ├── linked_hash_table.c ├── linux │ ├── file_direct_io.c │ └── system_info.c ├── log_channel.c ├── log_formatter.c ├── log_writer.c ├── logging.c ├── lru_cache.c ├── math.c ├── memtrace.c ├── platform_fallback_stubs │ ├── file_direct_io.c │ └── system_info.c ├── posix │ ├── clock.c │ ├── condition_variable.c │ ├── cross_process_lock.c │ ├── device_random.c │ ├── environment.c │ ├── file.c │ ├── mutex.c │ ├── process.c │ ├── rw_lock.c │ ├── system_info.c │ ├── system_resource_utils.c │ ├── thread.c │ └── time.c ├── priority_queue.c ├── process_common.c ├── ref_count.c ├── ring_buffer.c ├── statistics.c ├── string.c ├── system_info.c ├── task_scheduler.c ├── thread_scheduler.c ├── thread_shared.c ├── uri.c ├── uuid.c ├── windows │ ├── clock.c │ ├── condition_variable.c │ ├── cross_process_lock.c │ ├── device_random.c │ ├── environment.c │ ├── file.c │ ├── mutex.c │ ├── process.c │ ├── rw_lock.c │ ├── system_info.c │ ├── system_resource_utils.c │ ├── thread.c │ └── time.c └── xml_parser.c ├── tests ├── CMakeLists.txt ├── alloc_test.c ├── array_list_test.c ├── assert_test.c ├── atomics_test.c ├── byte_buf_test.c ├── byte_cursor_find_test.c ├── byte_order_test.c ├── cache_test.c ├── calloc_test.c ├── cbor_test.c ├── clock_test.c ├── command_line_parser_test.c ├── condition_variable_test.c ├── cpuid_test.c ├── cross_process_lock_tests.c ├── cursor_test.c ├── date_time_test.c ├── device_random_test.c ├── encoding_test.c ├── environment_test.c ├── error_test.c ├── file_test.c ├── fuzz │ ├── base64_encoding_transitive.c │ ├── cbor_decoding_transitive.c │ ├── cbor_double_encode_decode.c │ └── hex_encoding_transitive.c ├── hash_table_test.c ├── host_util_test.c ├── json_test.c ├── linked_hash_table_test.c ├── linked_list_test.c ├── logging │ ├── log_channel_test.c │ ├── log_formatter_test.c │ ├── log_writer_test.c │ ├── logging_filter_debug_static_test.c │ ├── logging_filter_error_static_test.c │ ├── logging_filter_fatal_static_test.c │ ├── logging_filter_info_static_test.c │ ├── logging_filter_none_static_test.c │ ├── logging_filter_trace_static_test.c │ ├── logging_filter_warn_static_test.c │ ├── logging_general_test.c │ ├── logging_misc.c │ ├── logging_test_utilities.c │ ├── logging_test_utilities.h │ ├── pipeline_logger_test.c │ ├── test_logger.c │ └── test_logger.h ├── math_test.c ├── memtrace_test.c ├── mutex_test.c ├── priority_queue_test.c ├── process_test.c ├── realloc_test.c ├── resources │ ├── ascii.txt │ ├── dir_traversal_test │ │ ├── first_child_dir │ │ │ └── child.txt │ │ └── root_child.txt │ ├── utf16be.txt │ ├── utf16le.txt │ ├── utf8.txt │ └── Å Éxample.txt ├── ring_buffer_test.c ├── rw_lock_test.c ├── split_test.c ├── string_test.c ├── system_info_tests.c ├── system_resource_util_test.c ├── task_scheduler_test.c ├── thread_scheduler_test.c ├── thread_test.c ├── uri_test.c ├── uuid_test.c ├── xml_parser_test.c └── zero_test.c └── verification └── cbmc ├── .gitignore ├── README.md ├── include ├── README.md ├── aws │ └── common │ │ └── config.h └── proof_helpers │ ├── aws_byte_cursor_read_common.h │ ├── make_common_data_structures.h │ ├── nondet.h │ ├── ring_buffer_abstract_states.h │ └── utils.h ├── proofs ├── Makefile-project-defines ├── Makefile-project-targets ├── Makefile-project-testing ├── Makefile-template-defines ├── Makefile.aws_array_list ├── Makefile.aws_byte_buf ├── Makefile.aws_hash_table ├── Makefile.aws_linked_list ├── Makefile.aws_priority_queue_sift ├── Makefile.aws_string ├── Makefile.cbmc_batch ├── Makefile.common ├── README.md ├── aws_add_size_checked │ ├── Makefile │ ├── aws_add_size_checked_harness.c │ └── cbmc-proof.txt ├── aws_add_size_saturating │ ├── Makefile │ ├── aws_add_size_saturating_harness.c │ └── cbmc-proof.txt ├── aws_array_eq │ ├── Makefile │ ├── aws_array_eq_harness.c │ └── cbmc-proof.txt ├── aws_array_eq_c_str │ ├── Makefile │ ├── aws_array_eq_c_str_harness.c │ └── cbmc-proof.txt ├── aws_array_eq_c_str_ignore_case │ ├── Makefile │ ├── aws_array_eq_c_str_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_array_eq_ignore_case │ ├── Makefile │ ├── aws_array_eq_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_array_list_back │ ├── Makefile │ ├── aws_array_list_back_harness.c │ └── cbmc-proof.txt ├── aws_array_list_capacity │ ├── Makefile │ ├── aws_array_list_capacity_harness.c │ └── cbmc-proof.txt ├── aws_array_list_clean_up │ ├── Makefile │ ├── aws_array_list_clean_up_harness.c │ └── cbmc-proof.txt ├── aws_array_list_clear │ ├── Makefile │ ├── aws_array_list_clear_harness.c │ └── cbmc-proof.txt ├── aws_array_list_comparator_string │ ├── Makefile │ ├── aws_array_list_comparator_string_harness.c │ └── cbmc-proof.txt ├── aws_array_list_copy │ ├── Makefile │ ├── aws_array_list_copy_harness.c │ └── cbmc-proof.txt ├── aws_array_list_ensure_capacity │ ├── Makefile │ ├── aws_array_list_ensure_capacity_harness.c │ └── cbmc-proof.txt ├── aws_array_list_erase │ ├── Makefile │ ├── aws_array_list_erase_harness.c │ └── cbmc-proof.txt ├── aws_array_list_front │ ├── Makefile │ ├── aws_array_list_front_harness.c │ └── cbmc-proof.txt ├── aws_array_list_get_at │ ├── Makefile │ ├── aws_array_list_get_at_harness.c │ └── cbmc-proof.txt ├── aws_array_list_get_at_ptr │ ├── Makefile │ ├── aws_array_list_get_at_ptr_harness.c │ └── cbmc-proof.txt ├── aws_array_list_init_dynamic │ ├── Makefile │ ├── aws_array_list_init_dynamic_harness.c │ └── cbmc-proof.txt ├── aws_array_list_init_static │ ├── Makefile │ ├── aws_array_list_init_static_harness.c │ └── cbmc-proof.txt ├── aws_array_list_length │ ├── Makefile │ ├── aws_array_list_length_harness.c │ └── cbmc-proof.txt ├── aws_array_list_pop_back │ ├── Makefile │ ├── aws_array_list_pop_back_harness.c │ └── cbmc-proof.txt ├── aws_array_list_pop_front │ ├── Makefile │ ├── aws_array_list_pop_front_harness.c │ └── cbmc-proof.txt ├── aws_array_list_pop_front_n │ ├── Makefile │ ├── aws_array_list_pop_front_n_harness.c │ └── cbmc-proof.txt ├── aws_array_list_push_back │ ├── Makefile │ ├── aws_array_list_push_back_harness.c │ └── cbmc-proof.txt ├── aws_array_list_push_front │ ├── Makefile │ ├── aws_array_list_push_front_harness.c │ └── cbmc-proof.txt ├── aws_array_list_set_at │ ├── Makefile │ ├── aws_array_list_set_at_harness.c │ └── cbmc-proof.txt ├── aws_array_list_shrink_to_fit │ ├── Makefile │ ├── aws_array_list_shrink_to_fit_harness.c │ └── cbmc-proof.txt ├── aws_array_list_sort │ ├── Makefile │ ├── aws_array_list_sort_harness.c │ └── cbmc-proof.txt ├── aws_array_list_swap │ ├── Makefile │ ├── aws_array_list_swap_harness.c │ └── cbmc-proof.txt ├── aws_array_list_swap_contents │ ├── Makefile │ ├── aws_array_list_swap_contents_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_advance │ ├── Makefile │ ├── aws_byte_buf_advance_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_append │ ├── Makefile │ ├── aws_byte_buf_append_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_append_and_update │ ├── Makefile │ ├── aws_byte_buf_append_and_update_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_append_dynamic │ ├── Makefile │ ├── aws_byte_buf_append_dynamic_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_append_with_lookup │ ├── Makefile │ ├── aws_byte_buf_append_with_lookup_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_cat │ ├── Makefile │ ├── aws_byte_buf_cat_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_clean_up │ ├── Makefile │ ├── aws_byte_buf_clean_up_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_clean_up_secure │ ├── Makefile │ ├── aws_byte_buf_clean_up_secure_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_eq │ ├── Makefile │ ├── aws_byte_buf_eq_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_eq_c_str │ ├── Makefile │ ├── aws_byte_buf_eq_c_str_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_eq_c_str_ignore_case │ ├── Makefile │ ├── aws_byte_buf_eq_c_str_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_eq_ignore_case │ ├── Makefile │ ├── aws_byte_buf_eq_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_from_array │ ├── Makefile │ ├── aws_byte_buf_from_array_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_from_c_str │ ├── Makefile │ ├── aws_byte_buf_from_c_str_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_from_empty_array │ ├── Makefile │ ├── aws_byte_buf_from_empty_array_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_init │ ├── Makefile │ ├── aws_byte_buf_init_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_init_copy │ ├── Makefile │ ├── aws_byte_buf_init_copy_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_init_copy_from_cursor │ ├── Makefile │ ├── aws_byte_buf_init_copy_from_cursor_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_reserve │ ├── Makefile │ ├── aws_byte_buf_reserve_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_reserve_relative │ ├── Makefile │ ├── aws_byte_buf_reserve_relative_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_reset │ ├── Makefile │ ├── aws_byte_buf_reset_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_secure_zero │ ├── Makefile │ ├── aws_byte_buf_secure_zero_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_write │ ├── Makefile │ ├── aws_byte_buf_write_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_write_be16 │ ├── Makefile │ ├── aws_byte_buf_write_be16_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_write_be32 │ ├── Makefile │ ├── aws_byte_buf_write_be32_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_write_be64 │ ├── Makefile │ ├── aws_byte_buf_write_be64_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_write_from_whole_buffer │ ├── Makefile │ ├── aws_byte_buf_write_from_whole_buffer_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_write_from_whole_cursor │ ├── Makefile │ ├── aws_byte_buf_write_from_whole_cursor_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_write_from_whole_string │ ├── Makefile │ ├── aws_byte_buf_write_from_whole_string_harness.c │ └── cbmc-proof.txt ├── aws_byte_buf_write_u8 │ ├── Makefile │ ├── aws_byte_buf_write_u8_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_advance │ ├── Makefile │ ├── aws_byte_cursor_advance_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_advance_nospec │ ├── Makefile │ ├── aws_byte_cursor_advance_nospec_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_compare_lexical │ ├── Makefile │ ├── aws_byte_cursor_compare_lexical_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_compare_lookup │ ├── Makefile │ ├── aws_byte_cursor_compare_lookup_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_eq │ ├── Makefile │ ├── aws_byte_cursor_eq_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_eq_byte_buf │ ├── Makefile │ ├── aws_byte_cursor_eq_byte_buf_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_eq_byte_buf_ignore_case │ ├── Makefile │ ├── aws_byte_cursor_eq_byte_buf_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_eq_c_str │ ├── Makefile │ ├── aws_byte_cursor_eq_c_str_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_eq_c_str_ignore_case │ ├── Makefile │ ├── aws_byte_cursor_eq_c_str_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_eq_ignore_case │ ├── Makefile │ ├── aws_byte_cursor_eq_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_from_array │ ├── Makefile │ ├── aws_byte_cursor_from_array_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_from_buf │ ├── Makefile │ ├── aws_byte_cursor_from_buf_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_from_c_str │ ├── Makefile │ ├── aws_byte_cursor_from_c_str_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_from_string │ ├── Makefile │ ├── aws_byte_cursor_from_string_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_left_trim_pred │ ├── Makefile │ ├── aws_byte_cursor_left_trim_pred_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_read │ ├── Makefile │ ├── aws_byte_cursor_read_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_read_and_fill_buffer │ ├── Makefile │ ├── aws_byte_cursor_read_and_fill_buffer_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_read_be16 │ ├── Makefile │ ├── aws_byte_cursor_read_be16_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_read_be32 │ ├── Makefile │ └── aws_byte_cursor_read_be32_harness.c ├── aws_byte_cursor_read_be64 │ ├── Makefile │ ├── aws_byte_cursor_read_be64_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_read_u8 │ ├── Makefile │ ├── aws_byte_cursor_read_u8_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_right_trim_pred │ ├── Makefile │ ├── aws_byte_cursor_right_trim_pred_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_satisfies_pred │ ├── Makefile │ ├── aws_byte_cursor_satisfies_pred_harness.c │ └── cbmc-proof.txt ├── aws_byte_cursor_trim_pred │ ├── Makefile │ ├── aws_byte_cursor_trim_pred_harness.c │ └── cbmc-proof.txt ├── aws_hash_array_ignore_case │ ├── Makefile │ ├── aws_hash_array_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_hash_byte_cursor_ptr │ ├── Makefile │ ├── aws_hash_byte_cursor_ptr_harness.c │ └── cbmc-proof.txt ├── aws_hash_byte_cursor_ptr_ignore_case │ ├── Makefile │ ├── aws_hash_byte_cursor_ptr_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_hash_c_string │ ├── Makefile │ ├── aws_hash_c_string_harness.c │ └── cbmc-proof.txt ├── aws_hash_callback_c_str_eq │ ├── Makefile │ ├── aws_hash_callback_c_str_eq_harness.c │ └── cbmc-proof.txt ├── aws_hash_callback_string_destroy │ ├── Makefile │ ├── aws_hash_callback_string_destroy_harness.c │ └── cbmc-proof.txt ├── aws_hash_callback_string_eq │ ├── Makefile │ ├── aws_hash_callback_string_eq_harness.c │ └── cbmc-proof.txt ├── aws_hash_iter_begin │ ├── Makefile │ ├── aws_hash_iter_begin_harness.c │ └── cbmc-proof.txt ├── aws_hash_iter_delete │ ├── Makefile │ ├── aws_hash_iter_delete_harness.c │ └── cbmc-proof.txt ├── aws_hash_iter_done │ ├── Makefile │ ├── aws_hash_iter_done_harness.c │ └── cbmc-proof.txt ├── aws_hash_iter_next │ ├── Makefile │ ├── aws_hash_iter_next_harness.c │ └── cbmc-proof.txt ├── aws_hash_ptr │ ├── Makefile │ ├── aws_hash_ptr_harness.c │ └── cbmc-proof.txt ├── aws_hash_string │ ├── Makefile │ ├── aws_hash_string_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_clean_up │ ├── Makefile │ ├── aws_hash_table_clean_up_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_clear │ ├── Makefile │ ├── aws_hash_table_clear_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_create │ ├── Makefile │ ├── aws_hash_table_create_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_eq │ ├── Makefile │ ├── aws_hash_table_eq_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_find │ ├── Makefile │ ├── aws_hash_table_find_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_foreach │ ├── Makefile │ ├── aws_hash_table_foreach_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_get_entry_count │ ├── Makefile │ ├── aws_hash_table_get_entry_count_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_init_bounded │ ├── Makefile │ ├── aws_hash_table_init_bounded_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_init_unbounded │ ├── Makefile │ ├── aws_hash_table_init_unbounded_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_move │ ├── Makefile │ ├── aws_hash_table_move_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_put │ ├── Makefile │ ├── aws_hash_table_put_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_remove │ ├── Makefile │ ├── aws_hash_table_remove_harness.c │ └── cbmc-proof.txt ├── aws_hash_table_swap │ ├── Makefile │ ├── aws_hash_table_swap_harness.c │ └── cbmc-proof.txt ├── aws_is_power_of_two │ ├── Makefile │ ├── aws_is_power_of_two_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_back │ ├── Makefile │ ├── aws_linked_list_back_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_begin │ ├── Makefile │ ├── aws_linked_list_begin_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_end │ ├── Makefile │ ├── aws_linked_list_end_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_front │ ├── Makefile │ ├── aws_linked_list_front_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_init │ ├── Makefile │ ├── aws_linked_list_init_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_insert_after │ ├── Makefile │ ├── aws_linked_list_insert_after_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_insert_before │ ├── Makefile │ ├── aws_linked_list_insert_before_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_next │ ├── Makefile │ ├── aws_linked_list_next_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_node_reset │ ├── Makefile │ ├── aws_linked_list_node_reset_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_pop_back │ ├── Makefile │ ├── aws_linked_list_pop_back_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_pop_front │ ├── Makefile │ ├── aws_linked_list_pop_front_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_prev │ ├── Makefile │ ├── aws_linked_list_prev_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_push_back │ ├── Makefile │ ├── aws_linked_list_push_back_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_push_front │ ├── Makefile │ ├── aws_linked_list_push_front_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_rbegin │ ├── Makefile │ ├── aws_linked_list_rbegin_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_remove │ ├── Makefile │ ├── aws_linked_list_remove_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_rend │ ├── Makefile │ ├── aws_linked_list_rend_harness.c │ └── cbmc-proof.txt ├── aws_linked_list_swap_contents │ ├── Makefile │ ├── aws_linked_list_swap_contents_harness.c │ └── cbmc-proof.txt ├── aws_mul_size_checked │ ├── Makefile │ ├── aws_mul_size_checked_harness.c │ └── cbmc-proof.txt ├── aws_mul_size_saturating │ ├── Makefile │ ├── aws_mul_size_saturating_harness.c │ └── cbmc-proof.txt ├── aws_nospec_mask │ ├── Makefile │ ├── aws_nospec_mask_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_capacity │ ├── Makefile │ ├── aws_priority_queue_capacity_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_clean_up │ ├── Makefile │ ├── aws_priority_queue_clean_up_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_init_dynamic │ ├── Makefile │ ├── aws_priority_queue_init_dynamic_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_init_static │ ├── Makefile │ ├── aws_priority_queue_init_static_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_pop │ ├── Makefile │ ├── aws_priority_queue_pop_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_push │ ├── Makefile │ ├── aws_priority_queue_push_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_push_ref │ ├── Makefile │ ├── aws_priority_queue_push_ref_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_remove │ ├── Makefile │ ├── aws_priority_queue_remove_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_s_remove_node │ ├── Makefile │ ├── aws_priority_queue_s_remove_node_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_s_sift_down │ ├── Makefile │ ├── aws_priority_queue_s_sift_down_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_s_sift_either │ ├── Makefile │ ├── aws_priority_queue_s_sift_either_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_s_sift_up │ ├── Makefile │ ├── aws_priority_queue_s_sift_up_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_s_swap │ ├── Makefile │ ├── aws_priority_queue_s_swap_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_size │ ├── Makefile │ ├── aws_priority_queue_size_harness.c │ └── cbmc-proof.txt ├── aws_priority_queue_top │ ├── Makefile │ ├── aws_priority_queue_top_harness.c │ └── cbmc-proof.txt ├── aws_ptr_eq │ ├── Makefile │ ├── aws_ptr_eq_harness.c │ └── cbmc-proof.txt ├── aws_ring_buffer_acquire │ ├── Makefile │ ├── aws_ring_buffer_acquire_harness.c │ └── cbmc-proof.txt ├── aws_ring_buffer_acquire_up_to │ ├── Makefile │ ├── aws_ring_buffer_acquire_up_to_harness.c │ └── cbmc-proof.txt ├── aws_ring_buffer_buf_belongs_to_pool │ ├── Makefile │ ├── aws_ring_buffer_buf_belongs_to_pool_harness.c │ └── cbmc-proof.txt ├── aws_ring_buffer_clean_up │ ├── Makefile │ ├── aws_ring_buffer_clean_up_harness.c │ └── cbmc-proof.txt ├── aws_ring_buffer_init │ ├── Makefile │ ├── aws_ring_buffer_init_harness.c │ └── cbmc-proof.txt ├── aws_ring_buffer_release │ ├── Makefile │ ├── aws_ring_buffer_release_harness.c │ └── cbmc-proof.txt ├── aws_round_up_to_power_of_two │ ├── Makefile │ ├── aws_round_up_to_power_of_two_harness.c │ └── cbmc-proof.txt ├── aws_string_bytes │ ├── Makefile │ ├── aws_string_bytes_harness.c │ └── cbmc-proof.txt ├── aws_string_compare │ ├── Makefile │ ├── aws_string_compare_harness.c │ └── cbmc-proof.txt ├── aws_string_destroy │ ├── Makefile │ ├── aws_string_destroy_harness.c │ └── cbmc-proof.txt ├── aws_string_destroy_secure │ ├── Makefile │ ├── aws_string_destroy_secure_harness.c │ └── cbmc-proof.txt ├── aws_string_eq │ ├── Makefile │ ├── aws_string_eq_harness.c │ └── cbmc-proof.txt ├── aws_string_eq_byte_buf │ ├── Makefile │ ├── aws_string_eq_byte_buf_harness.c │ └── cbmc-proof.txt ├── aws_string_eq_byte_buf_ignore_case │ ├── Makefile │ ├── aws_string_eq_byte_buf_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_string_eq_byte_cursor │ ├── Makefile │ ├── aws_string_eq_byte_cursor_harness.c │ └── cbmc-proof.txt ├── aws_string_eq_byte_cursor_ignore_case │ ├── Makefile │ ├── aws_string_eq_byte_cursor_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_string_eq_c_str │ ├── Makefile │ ├── aws_string_eq_c_str_harness.c │ └── cbmc-proof.txt ├── aws_string_eq_c_str_ignore_case │ ├── Makefile │ ├── aws_string_eq_c_str_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_string_eq_ignore_case │ ├── Makefile │ ├── aws_string_eq_ignore_case_harness.c │ └── cbmc-proof.txt ├── aws_string_new_from_array │ ├── Makefile │ ├── aws_string_new_from_array_harness.c │ └── cbmc-proof.txt ├── aws_string_new_from_c_str │ ├── Makefile │ ├── aws_string_new_from_c_str_harness.c │ └── cbmc-proof.txt ├── aws_string_new_from_string │ ├── Makefile │ ├── aws_string_new_from_string_harness.c │ └── cbmc-proof.txt ├── build-buildspec.sh ├── lib │ ├── __init__.py │ ├── print_tool_versions.py │ └── summarize.py ├── memcpy_using_uint64 │ ├── Makefile │ ├── cbmc-proof.txt │ └── memcpy_using_uint64_harness.c ├── memset_override_0 │ ├── Makefile │ ├── cbmc-proof.txt │ └── memset_override_0_harness.c ├── memset_using_uint64 │ ├── Makefile │ ├── cbmc-proof.txt │ └── memset_using_uint64_harness.c ├── run-cbmc-proofs.py └── scripts │ ├── fixup_makefiles.py │ └── move_proofs.py ├── sources ├── README.md ├── make_common_data_structures.c └── utils.c ├── stubs ├── README.md ├── abort_override_assert_false.c ├── aws_array_list_swap_override.c ├── aws_byte_cursor_read_be16_override.c ├── aws_hash_iter_overrides.c ├── aws_hash_table_find_override.c ├── aws_hash_table_no_slots_override.c ├── aws_string_destroy_override.c ├── aws_string_new_from_array_override.c ├── empty-source-file.c ├── error.c ├── hash_table_generators.c ├── memcpy_override.c ├── memcpy_override_havoc.c ├── memcpy_override_no_op.c ├── memcpy_using_uint64.c ├── memmove_override.c ├── memmove_override_havoc.c ├── memmove_override_no_op.c ├── memset_override.c ├── memset_override_0.c ├── memset_override_havoc.c ├── memset_override_no_op.c ├── memset_using_uint64.c ├── qsort_override.c ├── s_emplace_item_override.c ├── s_expand_table_override.c ├── s_remove_entry_override.c ├── s_remove_node_override.c ├── s_sift_either_override.c ├── s_sift_up_override.c └── s_swap_override_no_op.c └── uninline ├── array_list.c ├── atomics.c ├── byte_order.c ├── clock.c ├── encoding.c ├── error.c ├── linked_list.c ├── math.c ├── ring_buffer.c ├── string.c └── zero.c /.builder/actions/clang-tidy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.builder/actions/clang-tidy.py -------------------------------------------------------------------------------- /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.clang-format -------------------------------------------------------------------------------- /.clang-tidy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.clang-tidy -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug-report.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/ISSUE_TEMPLATE/bug-report.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/ISSUE_TEMPLATE/config.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/documentation.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/ISSUE_TEMPLATE/documentation.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature-request.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/ISSUE_TEMPLATE/feature-request.yml -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/clang-format.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/workflows/clang-format.yml -------------------------------------------------------------------------------- /.github/workflows/clang-tidy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/workflows/clang-tidy.yml -------------------------------------------------------------------------------- /.github/workflows/closed-issue-message.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/workflows/closed-issue-message.yml -------------------------------------------------------------------------------- /.github/workflows/codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/workflows/codecov.yml -------------------------------------------------------------------------------- /.github/workflows/handle-stale-discussions.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/workflows/handle-stale-discussions.yml -------------------------------------------------------------------------------- /.github/workflows/issue-regression-labeler.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/workflows/issue-regression-labeler.yml -------------------------------------------------------------------------------- /.github/workflows/proof_ci.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/workflows/proof_ci.yaml -------------------------------------------------------------------------------- /.github/workflows/proof_ci_resources/config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/workflows/proof_ci_resources/config.yaml -------------------------------------------------------------------------------- /.github/workflows/stale_issue.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.github/workflows/stale_issue.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/.gitignore -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/.gitignore -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/app/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/app/.gitignore -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/app/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/app/build.gradle -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/app/src/main/AndroidManifest.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/app/src/main/AndroidManifest.xml -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/app/src/main/cpp/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/app/src/main/cpp/CMakeLists.txt -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/app/src/main/cpp/native-lib.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/app/src/main/cpp/native-lib.cpp -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/build.gradle -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/gradle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/gradle.properties -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/gradlew -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/AWSCRTAndroidTestRunner/gradlew.bat -------------------------------------------------------------------------------- /AWSCRTAndroidTestRunner/settings.gradle: -------------------------------------------------------------------------------- 1 | rootProject.name='AWSCRTAndroidTestRunner' 2 | include ':app' 3 | -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/NOTICE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/README.md -------------------------------------------------------------------------------- /THIRD-PARTY-LICENSES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/THIRD-PARTY-LICENSES.txt -------------------------------------------------------------------------------- /bin/system_info/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/bin/system_info/CMakeLists.txt -------------------------------------------------------------------------------- /bin/system_info/print_system_info.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/bin/system_info/print_system_info.c -------------------------------------------------------------------------------- /bin/system_info/test-print-system-info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/bin/system_info/test-print-system-info.py -------------------------------------------------------------------------------- /cmake/AwsCFlags.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsCFlags.cmake -------------------------------------------------------------------------------- /cmake/AwsCRuntime.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsCRuntime.cmake -------------------------------------------------------------------------------- /cmake/AwsCheckHeaders.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsCheckHeaders.cmake -------------------------------------------------------------------------------- /cmake/AwsFeatureTests.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsFeatureTests.cmake -------------------------------------------------------------------------------- /cmake/AwsFindPackage.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsFindPackage.cmake -------------------------------------------------------------------------------- /cmake/AwsLibFuzzer.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsLibFuzzer.cmake -------------------------------------------------------------------------------- /cmake/AwsPrebuildDependency.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsPrebuildDependency.cmake -------------------------------------------------------------------------------- /cmake/AwsSIMD.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsSIMD.cmake -------------------------------------------------------------------------------- /cmake/AwsSanitizers.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsSanitizers.cmake -------------------------------------------------------------------------------- /cmake/AwsSharedLibSetup.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsSharedLibSetup.cmake -------------------------------------------------------------------------------- /cmake/AwsTestHarness.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsTestHarness.cmake -------------------------------------------------------------------------------- /cmake/AwsThreadAffinity.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsThreadAffinity.cmake -------------------------------------------------------------------------------- /cmake/AwsThreadName.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/AwsThreadName.cmake -------------------------------------------------------------------------------- /cmake/CPackConfig.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/CPackConfig.cmake -------------------------------------------------------------------------------- /cmake/aws-c-common-config.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/aws-c-common-config.cmake -------------------------------------------------------------------------------- /cmake/rpm-scripts/changelog.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/cmake/rpm-scripts/changelog.txt -------------------------------------------------------------------------------- /cmake/rpm-scripts/post.sh: -------------------------------------------------------------------------------- 1 | /sbin/ldconfig 2 | -------------------------------------------------------------------------------- /cmake/rpm-scripts/postun.sh: -------------------------------------------------------------------------------- 1 | /sbin/ldconfig 2 | -------------------------------------------------------------------------------- /docs/error-handling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/docs/error-handling.md -------------------------------------------------------------------------------- /format-check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/format-check.py -------------------------------------------------------------------------------- /include/aws/common/allocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/allocator.h -------------------------------------------------------------------------------- /include/aws/common/array_list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/array_list.h -------------------------------------------------------------------------------- /include/aws/common/array_list.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/array_list.inl -------------------------------------------------------------------------------- /include/aws/common/assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/assert.h -------------------------------------------------------------------------------- /include/aws/common/atomics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/atomics.h -------------------------------------------------------------------------------- /include/aws/common/atomics.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/atomics.inl -------------------------------------------------------------------------------- /include/aws/common/atomics_fallback.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/atomics_fallback.inl -------------------------------------------------------------------------------- /include/aws/common/atomics_gnu.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/atomics_gnu.inl -------------------------------------------------------------------------------- /include/aws/common/atomics_gnu_old.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/atomics_gnu_old.inl -------------------------------------------------------------------------------- /include/aws/common/atomics_msvc.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/atomics_msvc.inl -------------------------------------------------------------------------------- /include/aws/common/byte_buf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/byte_buf.h -------------------------------------------------------------------------------- /include/aws/common/byte_order.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/byte_order.h -------------------------------------------------------------------------------- /include/aws/common/byte_order.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/byte_order.inl -------------------------------------------------------------------------------- /include/aws/common/cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/cache.h -------------------------------------------------------------------------------- /include/aws/common/cbor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/cbor.h -------------------------------------------------------------------------------- /include/aws/common/clock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/clock.h -------------------------------------------------------------------------------- /include/aws/common/clock.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/clock.inl -------------------------------------------------------------------------------- /include/aws/common/command_line_parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/command_line_parser.h -------------------------------------------------------------------------------- /include/aws/common/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/common.h -------------------------------------------------------------------------------- /include/aws/common/condition_variable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/condition_variable.h -------------------------------------------------------------------------------- /include/aws/common/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/config.h.in -------------------------------------------------------------------------------- /include/aws/common/cpuid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/cpuid.h -------------------------------------------------------------------------------- /include/aws/common/cross_process_lock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/cross_process_lock.h -------------------------------------------------------------------------------- /include/aws/common/date_time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/date_time.h -------------------------------------------------------------------------------- /include/aws/common/device_random.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/device_random.h -------------------------------------------------------------------------------- /include/aws/common/encoding.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/encoding.h -------------------------------------------------------------------------------- /include/aws/common/encoding.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/encoding.inl -------------------------------------------------------------------------------- /include/aws/common/environment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/environment.h -------------------------------------------------------------------------------- /include/aws/common/error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/error.h -------------------------------------------------------------------------------- /include/aws/common/error.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/error.inl -------------------------------------------------------------------------------- /include/aws/common/exports.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/exports.h -------------------------------------------------------------------------------- /include/aws/common/external/.clang-format: -------------------------------------------------------------------------------- 1 | DisableFormat: true 2 | SortIncludes: false 3 | -------------------------------------------------------------------------------- /include/aws/common/external/ittnotify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/external/ittnotify.h -------------------------------------------------------------------------------- /include/aws/common/fifo_cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/fifo_cache.h -------------------------------------------------------------------------------- /include/aws/common/file.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/file.h -------------------------------------------------------------------------------- /include/aws/common/hash_table.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/hash_table.h -------------------------------------------------------------------------------- /include/aws/common/host_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/host_utils.h -------------------------------------------------------------------------------- /include/aws/common/json.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/json.h -------------------------------------------------------------------------------- /include/aws/common/lifo_cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/lifo_cache.h -------------------------------------------------------------------------------- /include/aws/common/linked_hash_table.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/linked_hash_table.h -------------------------------------------------------------------------------- /include/aws/common/linked_list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/linked_list.h -------------------------------------------------------------------------------- /include/aws/common/linked_list.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/linked_list.inl -------------------------------------------------------------------------------- /include/aws/common/log_channel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/log_channel.h -------------------------------------------------------------------------------- /include/aws/common/log_formatter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/log_formatter.h -------------------------------------------------------------------------------- /include/aws/common/log_writer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/log_writer.h -------------------------------------------------------------------------------- /include/aws/common/logging.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/logging.h -------------------------------------------------------------------------------- /include/aws/common/lru_cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/lru_cache.h -------------------------------------------------------------------------------- /include/aws/common/macros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/macros.h -------------------------------------------------------------------------------- /include/aws/common/math.cbmc.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/math.cbmc.inl -------------------------------------------------------------------------------- /include/aws/common/math.fallback.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/math.fallback.inl -------------------------------------------------------------------------------- /include/aws/common/math.gcc_arm64_asm.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/math.gcc_arm64_asm.inl -------------------------------------------------------------------------------- /include/aws/common/math.gcc_builtin.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/math.gcc_builtin.inl -------------------------------------------------------------------------------- /include/aws/common/math.gcc_overflow.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/math.gcc_overflow.inl -------------------------------------------------------------------------------- /include/aws/common/math.gcc_x64_asm.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/math.gcc_x64_asm.inl -------------------------------------------------------------------------------- /include/aws/common/math.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/math.h -------------------------------------------------------------------------------- /include/aws/common/math.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/math.inl -------------------------------------------------------------------------------- /include/aws/common/math.msvc_x64.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/math.msvc_x64.inl -------------------------------------------------------------------------------- /include/aws/common/mutex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/mutex.h -------------------------------------------------------------------------------- /include/aws/common/package.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/package.h -------------------------------------------------------------------------------- /include/aws/common/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/platform.h -------------------------------------------------------------------------------- /include/aws/common/posix/common.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/posix/common.inl -------------------------------------------------------------------------------- /include/aws/common/predicates.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/predicates.h -------------------------------------------------------------------------------- /include/aws/common/priority_queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/priority_queue.h -------------------------------------------------------------------------------- /include/aws/common/private/array_list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/private/array_list.h -------------------------------------------------------------------------------- /include/aws/common/private/byte_buf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/private/byte_buf.h -------------------------------------------------------------------------------- /include/aws/common/private/dlloads.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/private/dlloads.h -------------------------------------------------------------------------------- /include/aws/common/private/external_module_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/private/external_module_impl.h -------------------------------------------------------------------------------- /include/aws/common/private/hash_table_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/private/hash_table_impl.h -------------------------------------------------------------------------------- /include/aws/common/private/lookup3.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/private/lookup3.inl -------------------------------------------------------------------------------- /include/aws/common/private/system_info_priv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/private/system_info_priv.h -------------------------------------------------------------------------------- /include/aws/common/private/thread_shared.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/private/thread_shared.h -------------------------------------------------------------------------------- /include/aws/common/private/xml_parser_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/private/xml_parser_impl.h -------------------------------------------------------------------------------- /include/aws/common/process.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/process.h -------------------------------------------------------------------------------- /include/aws/common/ref_count.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/ref_count.h -------------------------------------------------------------------------------- /include/aws/common/ring_buffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/ring_buffer.h -------------------------------------------------------------------------------- /include/aws/common/ring_buffer.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/ring_buffer.inl -------------------------------------------------------------------------------- /include/aws/common/rw_lock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/rw_lock.h -------------------------------------------------------------------------------- /include/aws/common/shutdown_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/shutdown_types.h -------------------------------------------------------------------------------- /include/aws/common/statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/statistics.h -------------------------------------------------------------------------------- /include/aws/common/stdbool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/stdbool.h -------------------------------------------------------------------------------- /include/aws/common/stdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/stdint.h -------------------------------------------------------------------------------- /include/aws/common/string.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/string.h -------------------------------------------------------------------------------- /include/aws/common/string.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/string.inl -------------------------------------------------------------------------------- /include/aws/common/system_info.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/system_info.h -------------------------------------------------------------------------------- /include/aws/common/system_resource_util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/system_resource_util.h -------------------------------------------------------------------------------- /include/aws/common/task_scheduler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/task_scheduler.h -------------------------------------------------------------------------------- /include/aws/common/thread.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/thread.h -------------------------------------------------------------------------------- /include/aws/common/thread_scheduler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/thread_scheduler.h -------------------------------------------------------------------------------- /include/aws/common/time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/time.h -------------------------------------------------------------------------------- /include/aws/common/uri.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/uri.h -------------------------------------------------------------------------------- /include/aws/common/uuid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/uuid.h -------------------------------------------------------------------------------- /include/aws/common/xml_parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/xml_parser.h -------------------------------------------------------------------------------- /include/aws/common/zero.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/zero.h -------------------------------------------------------------------------------- /include/aws/common/zero.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/common/zero.inl -------------------------------------------------------------------------------- /include/aws/testing/aws_test_harness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/include/aws/testing/aws_test_harness.h -------------------------------------------------------------------------------- /scripts/appverifier_ctest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/scripts/appverifier_ctest.py -------------------------------------------------------------------------------- /scripts/appverifier_xml.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/scripts/appverifier_xml.py -------------------------------------------------------------------------------- /scripts/import_libcbor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/scripts/import_libcbor.py -------------------------------------------------------------------------------- /scripts/latest_submodules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/scripts/latest_submodules.py -------------------------------------------------------------------------------- /scripts/update_cjson.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/scripts/update_cjson.py -------------------------------------------------------------------------------- /source/allocator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/allocator.c -------------------------------------------------------------------------------- /source/allocator_sba.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/allocator_sba.c -------------------------------------------------------------------------------- /source/android/logging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/android/logging.c -------------------------------------------------------------------------------- /source/arch/arm/auxv/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/arch/arm/auxv/cpuid.c -------------------------------------------------------------------------------- /source/arch/arm/darwin/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/arch/arm/darwin/cpuid.c -------------------------------------------------------------------------------- /source/arch/arm/windows/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/arch/arm/windows/cpuid.c -------------------------------------------------------------------------------- /source/arch/generic/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/arch/generic/cpuid.c -------------------------------------------------------------------------------- /source/arch/intel/asm/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/arch/intel/asm/cpuid.c -------------------------------------------------------------------------------- /source/arch/intel/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/arch/intel/cpuid.c -------------------------------------------------------------------------------- /source/arch/intel/encoding_avx2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/arch/intel/encoding_avx2.c -------------------------------------------------------------------------------- /source/arch/intel/msvc/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/arch/intel/msvc/cpuid.c -------------------------------------------------------------------------------- /source/array_list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/array_list.c -------------------------------------------------------------------------------- /source/assert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/assert.c -------------------------------------------------------------------------------- /source/byte_buf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/byte_buf.c -------------------------------------------------------------------------------- /source/cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/cache.c -------------------------------------------------------------------------------- /source/cbor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/cbor.c -------------------------------------------------------------------------------- /source/codegen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/codegen.c -------------------------------------------------------------------------------- /source/command_line_parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/command_line_parser.c -------------------------------------------------------------------------------- /source/common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/common.c -------------------------------------------------------------------------------- /source/condition_variable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/condition_variable.c -------------------------------------------------------------------------------- /source/date_time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/date_time.c -------------------------------------------------------------------------------- /source/device_random.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/device_random.c -------------------------------------------------------------------------------- /source/encoding.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/encoding.c -------------------------------------------------------------------------------- /source/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/error.c -------------------------------------------------------------------------------- /source/external/.clang-format: -------------------------------------------------------------------------------- 1 | DisableFormat: true 2 | SortIncludes: false 3 | -------------------------------------------------------------------------------- /source/external/cJSON.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/cJSON.c -------------------------------------------------------------------------------- /source/external/cJSON.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/cJSON.h -------------------------------------------------------------------------------- /source/external/libcbor/allocators.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/allocators.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/arrays.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/arrays.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/arrays.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/arrays.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/bytestrings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/bytestrings.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/bytestrings.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/bytestrings.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/callbacks.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/callbacks.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/callbacks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/callbacks.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/cbor_export.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/cbor_export.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/common.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/common.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/configuration.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/configuration.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/data.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/data.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/encoding.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/encoding.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/encoding.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/encoding.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/floats_ctrls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/floats_ctrls.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/floats_ctrls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/floats_ctrls.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/builder_callbacks.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/builder_callbacks.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/builder_callbacks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/builder_callbacks.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/encoders.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/encoders.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/encoders.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/encoders.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/loaders.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/loaders.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/loaders.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/loaders.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/memory_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/memory_utils.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/memory_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/memory_utils.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/stack.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/stack.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/unicode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/unicode.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/internal/unicode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/internal/unicode.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/ints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/ints.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/ints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/ints.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/maps.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/maps.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/maps.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/maps.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/serialization.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/serialization.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/serialization.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/serialization.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/streaming.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/streaming.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/streaming.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/streaming.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/strings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/strings.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/strings.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/strings.h -------------------------------------------------------------------------------- /source/external/libcbor/cbor/tags.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/tags.c -------------------------------------------------------------------------------- /source/external/libcbor/cbor/tags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/external/libcbor/cbor/tags.h -------------------------------------------------------------------------------- /source/fifo_cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/fifo_cache.c -------------------------------------------------------------------------------- /source/file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/file.c -------------------------------------------------------------------------------- /source/hash_table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/hash_table.c -------------------------------------------------------------------------------- /source/host_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/host_utils.c -------------------------------------------------------------------------------- /source/json.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/json.c -------------------------------------------------------------------------------- /source/lifo_cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/lifo_cache.c -------------------------------------------------------------------------------- /source/linked_hash_table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/linked_hash_table.c -------------------------------------------------------------------------------- /source/linux/file_direct_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/linux/file_direct_io.c -------------------------------------------------------------------------------- /source/linux/system_info.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/linux/system_info.c -------------------------------------------------------------------------------- /source/log_channel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/log_channel.c -------------------------------------------------------------------------------- /source/log_formatter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/log_formatter.c -------------------------------------------------------------------------------- /source/log_writer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/log_writer.c -------------------------------------------------------------------------------- /source/logging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/logging.c -------------------------------------------------------------------------------- /source/lru_cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/lru_cache.c -------------------------------------------------------------------------------- /source/math.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/math.c -------------------------------------------------------------------------------- /source/memtrace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/memtrace.c -------------------------------------------------------------------------------- /source/platform_fallback_stubs/file_direct_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/platform_fallback_stubs/file_direct_io.c -------------------------------------------------------------------------------- /source/platform_fallback_stubs/system_info.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/platform_fallback_stubs/system_info.c -------------------------------------------------------------------------------- /source/posix/clock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/clock.c -------------------------------------------------------------------------------- /source/posix/condition_variable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/condition_variable.c -------------------------------------------------------------------------------- /source/posix/cross_process_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/cross_process_lock.c -------------------------------------------------------------------------------- /source/posix/device_random.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/device_random.c -------------------------------------------------------------------------------- /source/posix/environment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/environment.c -------------------------------------------------------------------------------- /source/posix/file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/file.c -------------------------------------------------------------------------------- /source/posix/mutex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/mutex.c -------------------------------------------------------------------------------- /source/posix/process.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/process.c -------------------------------------------------------------------------------- /source/posix/rw_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/rw_lock.c -------------------------------------------------------------------------------- /source/posix/system_info.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/system_info.c -------------------------------------------------------------------------------- /source/posix/system_resource_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/system_resource_utils.c -------------------------------------------------------------------------------- /source/posix/thread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/thread.c -------------------------------------------------------------------------------- /source/posix/time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/posix/time.c -------------------------------------------------------------------------------- /source/priority_queue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/priority_queue.c -------------------------------------------------------------------------------- /source/process_common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/process_common.c -------------------------------------------------------------------------------- /source/ref_count.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/ref_count.c -------------------------------------------------------------------------------- /source/ring_buffer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/ring_buffer.c -------------------------------------------------------------------------------- /source/statistics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/statistics.c -------------------------------------------------------------------------------- /source/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/string.c -------------------------------------------------------------------------------- /source/system_info.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/system_info.c -------------------------------------------------------------------------------- /source/task_scheduler.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/task_scheduler.c -------------------------------------------------------------------------------- /source/thread_scheduler.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/thread_scheduler.c -------------------------------------------------------------------------------- /source/thread_shared.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/thread_shared.c -------------------------------------------------------------------------------- /source/uri.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/uri.c -------------------------------------------------------------------------------- /source/uuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/uuid.c -------------------------------------------------------------------------------- /source/windows/clock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/clock.c -------------------------------------------------------------------------------- /source/windows/condition_variable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/condition_variable.c -------------------------------------------------------------------------------- /source/windows/cross_process_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/cross_process_lock.c -------------------------------------------------------------------------------- /source/windows/device_random.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/device_random.c -------------------------------------------------------------------------------- /source/windows/environment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/environment.c -------------------------------------------------------------------------------- /source/windows/file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/file.c -------------------------------------------------------------------------------- /source/windows/mutex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/mutex.c -------------------------------------------------------------------------------- /source/windows/process.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/process.c -------------------------------------------------------------------------------- /source/windows/rw_lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/rw_lock.c -------------------------------------------------------------------------------- /source/windows/system_info.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/system_info.c -------------------------------------------------------------------------------- /source/windows/system_resource_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/system_resource_utils.c -------------------------------------------------------------------------------- /source/windows/thread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/thread.c -------------------------------------------------------------------------------- /source/windows/time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/windows/time.c -------------------------------------------------------------------------------- /source/xml_parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/source/xml_parser.c -------------------------------------------------------------------------------- /tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/alloc_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/alloc_test.c -------------------------------------------------------------------------------- /tests/array_list_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/array_list_test.c -------------------------------------------------------------------------------- /tests/assert_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/assert_test.c -------------------------------------------------------------------------------- /tests/atomics_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/atomics_test.c -------------------------------------------------------------------------------- /tests/byte_buf_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/byte_buf_test.c -------------------------------------------------------------------------------- /tests/byte_cursor_find_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/byte_cursor_find_test.c -------------------------------------------------------------------------------- /tests/byte_order_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/byte_order_test.c -------------------------------------------------------------------------------- /tests/cache_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/cache_test.c -------------------------------------------------------------------------------- /tests/calloc_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/calloc_test.c -------------------------------------------------------------------------------- /tests/cbor_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/cbor_test.c -------------------------------------------------------------------------------- /tests/clock_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/clock_test.c -------------------------------------------------------------------------------- /tests/command_line_parser_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/command_line_parser_test.c -------------------------------------------------------------------------------- /tests/condition_variable_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/condition_variable_test.c -------------------------------------------------------------------------------- /tests/cpuid_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/cpuid_test.c -------------------------------------------------------------------------------- /tests/cross_process_lock_tests.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/cross_process_lock_tests.c -------------------------------------------------------------------------------- /tests/cursor_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/cursor_test.c -------------------------------------------------------------------------------- /tests/date_time_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/date_time_test.c -------------------------------------------------------------------------------- /tests/device_random_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/device_random_test.c -------------------------------------------------------------------------------- /tests/encoding_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/encoding_test.c -------------------------------------------------------------------------------- /tests/environment_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/environment_test.c -------------------------------------------------------------------------------- /tests/error_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/error_test.c -------------------------------------------------------------------------------- /tests/file_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/file_test.c -------------------------------------------------------------------------------- /tests/fuzz/base64_encoding_transitive.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/fuzz/base64_encoding_transitive.c -------------------------------------------------------------------------------- /tests/fuzz/cbor_decoding_transitive.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/fuzz/cbor_decoding_transitive.c -------------------------------------------------------------------------------- /tests/fuzz/cbor_double_encode_decode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/fuzz/cbor_double_encode_decode.c -------------------------------------------------------------------------------- /tests/fuzz/hex_encoding_transitive.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/fuzz/hex_encoding_transitive.c -------------------------------------------------------------------------------- /tests/hash_table_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/hash_table_test.c -------------------------------------------------------------------------------- /tests/host_util_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/host_util_test.c -------------------------------------------------------------------------------- /tests/json_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/json_test.c -------------------------------------------------------------------------------- /tests/linked_hash_table_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/linked_hash_table_test.c -------------------------------------------------------------------------------- /tests/linked_list_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/linked_list_test.c -------------------------------------------------------------------------------- /tests/logging/log_channel_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/log_channel_test.c -------------------------------------------------------------------------------- /tests/logging/log_formatter_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/log_formatter_test.c -------------------------------------------------------------------------------- /tests/logging/log_writer_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/log_writer_test.c -------------------------------------------------------------------------------- /tests/logging/logging_filter_debug_static_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_filter_debug_static_test.c -------------------------------------------------------------------------------- /tests/logging/logging_filter_error_static_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_filter_error_static_test.c -------------------------------------------------------------------------------- /tests/logging/logging_filter_fatal_static_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_filter_fatal_static_test.c -------------------------------------------------------------------------------- /tests/logging/logging_filter_info_static_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_filter_info_static_test.c -------------------------------------------------------------------------------- /tests/logging/logging_filter_none_static_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_filter_none_static_test.c -------------------------------------------------------------------------------- /tests/logging/logging_filter_trace_static_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_filter_trace_static_test.c -------------------------------------------------------------------------------- /tests/logging/logging_filter_warn_static_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_filter_warn_static_test.c -------------------------------------------------------------------------------- /tests/logging/logging_general_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_general_test.c -------------------------------------------------------------------------------- /tests/logging/logging_misc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_misc.c -------------------------------------------------------------------------------- /tests/logging/logging_test_utilities.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_test_utilities.c -------------------------------------------------------------------------------- /tests/logging/logging_test_utilities.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/logging_test_utilities.h -------------------------------------------------------------------------------- /tests/logging/pipeline_logger_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/pipeline_logger_test.c -------------------------------------------------------------------------------- /tests/logging/test_logger.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/test_logger.c -------------------------------------------------------------------------------- /tests/logging/test_logger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/logging/test_logger.h -------------------------------------------------------------------------------- /tests/math_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/math_test.c -------------------------------------------------------------------------------- /tests/memtrace_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/memtrace_test.c -------------------------------------------------------------------------------- /tests/mutex_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/mutex_test.c -------------------------------------------------------------------------------- /tests/priority_queue_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/priority_queue_test.c -------------------------------------------------------------------------------- /tests/process_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/process_test.c -------------------------------------------------------------------------------- /tests/realloc_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/realloc_test.c -------------------------------------------------------------------------------- /tests/resources/ascii.txt: -------------------------------------------------------------------------------- 1 | This is some text encoded as ASCII. 2 | -------------------------------------------------------------------------------- /tests/resources/dir_traversal_test/first_child_dir/child.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/resources/dir_traversal_test/first_child_dir/child.txt -------------------------------------------------------------------------------- /tests/resources/dir_traversal_test/root_child.txt: -------------------------------------------------------------------------------- 1 | dir_traversal_test->root_child.txt -------------------------------------------------------------------------------- /tests/resources/utf16be.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/resources/utf16be.txt -------------------------------------------------------------------------------- /tests/resources/utf16le.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/resources/utf16le.txt -------------------------------------------------------------------------------- /tests/resources/utf8.txt: -------------------------------------------------------------------------------- 1 | This is some text encoded in UTF8. 2 | -------------------------------------------------------------------------------- /tests/resources/Å Éxample.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/resources/Å Éxample.txt -------------------------------------------------------------------------------- /tests/ring_buffer_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/ring_buffer_test.c -------------------------------------------------------------------------------- /tests/rw_lock_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/rw_lock_test.c -------------------------------------------------------------------------------- /tests/split_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/split_test.c -------------------------------------------------------------------------------- /tests/string_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/string_test.c -------------------------------------------------------------------------------- /tests/system_info_tests.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/system_info_tests.c -------------------------------------------------------------------------------- /tests/system_resource_util_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/system_resource_util_test.c -------------------------------------------------------------------------------- /tests/task_scheduler_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/task_scheduler_test.c -------------------------------------------------------------------------------- /tests/thread_scheduler_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/thread_scheduler_test.c -------------------------------------------------------------------------------- /tests/thread_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/thread_test.c -------------------------------------------------------------------------------- /tests/uri_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/uri_test.c -------------------------------------------------------------------------------- /tests/uuid_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/uuid_test.c -------------------------------------------------------------------------------- /tests/xml_parser_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/xml_parser_test.c -------------------------------------------------------------------------------- /tests/zero_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/tests/zero_test.c -------------------------------------------------------------------------------- /verification/cbmc/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/.gitignore -------------------------------------------------------------------------------- /verification/cbmc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/README.md -------------------------------------------------------------------------------- /verification/cbmc/include/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/include/README.md -------------------------------------------------------------------------------- /verification/cbmc/include/aws/common/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/include/aws/common/config.h -------------------------------------------------------------------------------- /verification/cbmc/include/proof_helpers/aws_byte_cursor_read_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/include/proof_helpers/aws_byte_cursor_read_common.h -------------------------------------------------------------------------------- /verification/cbmc/include/proof_helpers/make_common_data_structures.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/include/proof_helpers/make_common_data_structures.h -------------------------------------------------------------------------------- /verification/cbmc/include/proof_helpers/nondet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/include/proof_helpers/nondet.h -------------------------------------------------------------------------------- /verification/cbmc/include/proof_helpers/ring_buffer_abstract_states.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/include/proof_helpers/ring_buffer_abstract_states.h -------------------------------------------------------------------------------- /verification/cbmc/include/proof_helpers/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/include/proof_helpers/utils.h -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile-project-defines: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile-project-defines -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile-project-targets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile-project-targets -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile-project-testing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile-project-testing -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile-template-defines: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile-template-defines -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile.aws_array_list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile.aws_array_list -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile.aws_byte_buf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile.aws_byte_buf -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile.aws_hash_table: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile.aws_hash_table -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile.aws_linked_list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile.aws_linked_list -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile.aws_priority_queue_sift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile.aws_priority_queue_sift -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile.aws_string: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile.aws_string -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile.cbmc_batch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile.cbmc_batch -------------------------------------------------------------------------------- /verification/cbmc/proofs/Makefile.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/Makefile.common -------------------------------------------------------------------------------- /verification/cbmc/proofs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/README.md -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_add_size_checked/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_add_size_checked/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_add_size_checked/aws_add_size_checked_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_add_size_checked/aws_add_size_checked_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_add_size_checked/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_add_size_saturating/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_add_size_saturating/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_add_size_saturating/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_eq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_eq/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_eq/aws_array_eq_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_eq/aws_array_eq_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_eq/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_eq_c_str/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_eq_c_str/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_eq_c_str/aws_array_eq_c_str_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_eq_c_str/aws_array_eq_c_str_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_eq_c_str/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_eq_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_eq_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_eq_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_back/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_back/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_back/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_capacity/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_capacity/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_capacity/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_clean_up/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_clean_up/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_clean_up/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_clear/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_clear/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_clear/aws_array_list_clear_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_clear/aws_array_list_clear_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_clear/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_comparator_string/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_comparator_string/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_comparator_string/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_copy/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_copy/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_copy/aws_array_list_copy_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_copy/aws_array_list_copy_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_copy/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_ensure_capacity/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_ensure_capacity/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_ensure_capacity/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_erase/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_erase/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_erase/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_front/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_front/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_front/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_get_at/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_get_at/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_get_at/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_get_at_ptr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_get_at_ptr/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_get_at_ptr/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_init_dynamic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_init_dynamic/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_init_dynamic/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_init_static/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_init_static/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_init_static/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_length/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_length/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_length/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_pop_back/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_pop_back/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_pop_back/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_pop_front/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_pop_front/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_pop_front/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_pop_front_n/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_pop_front_n/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_pop_front_n/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_push_back/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_push_back/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_push_back/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_push_front/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_push_front/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_push_front/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_set_at/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_set_at/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_set_at/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_shrink_to_fit/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_shrink_to_fit/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_shrink_to_fit/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_sort/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_sort/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_sort/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_swap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_swap/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_swap/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_swap_contents/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_array_list_swap_contents/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_array_list_swap_contents/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_advance/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_advance/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_advance/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_append/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_append/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_append/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_append_and_update/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_append_and_update/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_append_and_update/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_append_dynamic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_append_dynamic/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_append_dynamic/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_append_with_lookup/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_append_with_lookup/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_append_with_lookup/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_cat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_cat/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_cat/aws_byte_buf_cat_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_cat/aws_byte_buf_cat_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_cat/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_clean_up/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_clean_up/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_clean_up/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_clean_up_secure/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_clean_up_secure/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_clean_up_secure/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_eq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_eq/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_eq/aws_byte_buf_eq_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_eq/aws_byte_buf_eq_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_eq/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_eq_c_str/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_eq_c_str/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_eq_c_str/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_from_array/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_from_array/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_from_array/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_from_c_str/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_from_c_str/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_from_c_str/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_from_empty_array/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_from_empty_array/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_from_empty_array/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_init/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_init/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_init/aws_byte_buf_init_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_init/aws_byte_buf_init_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_init/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_init_copy/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_init_copy/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_init_copy/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_reserve/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_reserve/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_reserve/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_reserve_relative/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_reserve_relative/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_reserve_relative/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_reset/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_reset/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_reset/aws_byte_buf_reset_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_reset/aws_byte_buf_reset_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_reset/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_secure_zero/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_secure_zero/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_secure_zero/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_write/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write/aws_byte_buf_write_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_write/aws_byte_buf_write_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_be16/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_write_be16/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_be16/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_be32/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_write_be32/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_be32/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_be64/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_write_be64/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_be64/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_u8/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_buf_write_u8/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_buf_write_u8/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_advance/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_advance/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_advance/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_advance_nospec/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_advance_nospec/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_advance_nospec/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_compare_lexical/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_compare_lexical/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_compare_lexical/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_compare_lookup/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_compare_lookup/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_compare_lookup/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_eq/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq_c_str/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_eq_c_str/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq_c_str/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_from_array/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_from_array/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_from_array/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_from_buf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_from_buf/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_from_buf/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_from_c_str/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_from_c_str/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_from_c_str/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_from_string/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_from_string/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_from_string/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_read/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read_be16/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_read_be16/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read_be16/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read_be32/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_read_be32/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read_be64/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_read_be64/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read_be64/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read_u8/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_read_u8/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_read_u8/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_trim_pred/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_byte_cursor_trim_pred/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_byte_cursor_trim_pred/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_array_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_array_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_array_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_byte_cursor_ptr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_byte_cursor_ptr/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_byte_cursor_ptr/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_c_string/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_c_string/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_c_string/aws_hash_c_string_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_c_string/aws_hash_c_string_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_c_string/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_callback_c_str_eq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_callback_c_str_eq/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_callback_c_str_eq/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_callback_string_destroy/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_callback_string_destroy/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_callback_string_destroy/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_callback_string_eq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_callback_string_eq/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_callback_string_eq/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_iter_begin/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_iter_begin/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_iter_begin/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_iter_delete/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_iter_delete/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_iter_delete/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_iter_done/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_iter_done/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_iter_done/aws_hash_iter_done_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_iter_done/aws_hash_iter_done_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_iter_done/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_iter_next/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_iter_next/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_iter_next/aws_hash_iter_next_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_iter_next/aws_hash_iter_next_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_iter_next/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_ptr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_ptr/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_ptr/aws_hash_ptr_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_ptr/aws_hash_ptr_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_ptr/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_string/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_string/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_string/aws_hash_string_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_string/aws_hash_string_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_string/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_clean_up/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_clean_up/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_clean_up/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_clear/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_clear/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_clear/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_create/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_create/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_create/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_eq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_eq/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_eq/aws_hash_table_eq_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_eq/aws_hash_table_eq_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_eq/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_find/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_find/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_find/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_foreach/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_foreach/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_foreach/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_get_entry_count/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_get_entry_count/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_get_entry_count/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_init_bounded/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_init_bounded/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_init_bounded/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_init_unbounded/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_init_unbounded/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_init_unbounded/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_move/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_move/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_move/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_put/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_put/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_put/aws_hash_table_put_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_put/aws_hash_table_put_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_put/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_remove/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_remove/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_remove/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_swap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_hash_table_swap/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_hash_table_swap/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_is_power_of_two/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_is_power_of_two/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_is_power_of_two/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_back/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_back/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_back/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_begin/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_begin/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_begin/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_end/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_end/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_end/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_front/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_front/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_front/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_init/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_init/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_init/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_insert_after/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_insert_after/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_insert_after/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_insert_before/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_insert_before/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_insert_before/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_next/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_next/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_next/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_node_reset/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_node_reset/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_node_reset/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_pop_back/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_pop_back/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_pop_back/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_pop_front/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_pop_front/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_pop_front/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_prev/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_prev/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_prev/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_push_back/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_push_back/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_push_back/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_push_front/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_push_front/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_push_front/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_rbegin/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_rbegin/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_rbegin/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_remove/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_remove/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_remove/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_rend/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_rend/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_rend/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_swap_contents/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_linked_list_swap_contents/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_linked_list_swap_contents/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_mul_size_checked/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_mul_size_checked/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_mul_size_checked/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_mul_size_saturating/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_mul_size_saturating/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_mul_size_saturating/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_nospec_mask/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_nospec_mask/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_nospec_mask/aws_nospec_mask_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_nospec_mask/aws_nospec_mask_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_nospec_mask/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_capacity/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_capacity/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_capacity/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_clean_up/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_clean_up/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_clean_up/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_init_dynamic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_init_dynamic/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_init_dynamic/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_init_static/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_init_static/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_init_static/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_pop/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_pop/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_pop/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_push/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_push/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_push/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_push_ref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_push_ref/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_push_ref/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_remove/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_remove/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_remove/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_s_remove_node/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_s_remove_node/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_s_remove_node/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_s_sift_down/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_s_sift_down/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_s_sift_down/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_s_sift_either/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_s_sift_either/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_s_sift_either/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_s_sift_up/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_s_sift_up/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_s_sift_up/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_s_swap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_s_swap/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_s_swap/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_size/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_size/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_size/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_top/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_priority_queue_top/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_priority_queue_top/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ptr_eq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_ptr_eq/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ptr_eq/aws_ptr_eq_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_ptr_eq/aws_ptr_eq_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ptr_eq/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_acquire/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_ring_buffer_acquire/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_acquire/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_clean_up/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_ring_buffer_clean_up/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_clean_up/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_init/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_ring_buffer_init/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_init/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_release/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_ring_buffer_release/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_ring_buffer_release/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_round_up_to_power_of_two/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_round_up_to_power_of_two/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_round_up_to_power_of_two/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_bytes/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_bytes/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_bytes/aws_string_bytes_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_bytes/aws_string_bytes_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_bytes/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_compare/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_compare/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_compare/aws_string_compare_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_compare/aws_string_compare_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_compare/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_destroy/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_destroy/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_destroy/aws_string_destroy_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_destroy/aws_string_destroy_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_destroy/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_destroy_secure/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_destroy_secure/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_destroy_secure/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_eq/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq/aws_string_eq_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_eq/aws_string_eq_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_byte_buf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_eq_byte_buf/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_byte_buf/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_byte_cursor/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_eq_byte_cursor/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_byte_cursor/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_c_str/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_eq_c_str/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_c_str/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_ignore_case/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_eq_ignore_case/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_eq_ignore_case/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_new_from_array/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_new_from_array/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_new_from_array/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_new_from_c_str/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_new_from_c_str/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_new_from_c_str/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_new_from_string/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/aws_string_new_from_string/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/aws_string_new_from_string/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/build-buildspec.sh: -------------------------------------------------------------------------------- 1 | for d in $(find . -name dir) 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/lib/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/lib/print_tool_versions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/lib/print_tool_versions.py -------------------------------------------------------------------------------- /verification/cbmc/proofs/lib/summarize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/lib/summarize.py -------------------------------------------------------------------------------- /verification/cbmc/proofs/memcpy_using_uint64/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/memcpy_using_uint64/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/memcpy_using_uint64/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/memset_override_0/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/memset_override_0/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/memset_override_0/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/memset_override_0/memset_override_0_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/memset_override_0/memset_override_0_harness.c -------------------------------------------------------------------------------- /verification/cbmc/proofs/memset_using_uint64/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/memset_using_uint64/Makefile -------------------------------------------------------------------------------- /verification/cbmc/proofs/memset_using_uint64/cbmc-proof.txt: -------------------------------------------------------------------------------- 1 | This file marks the directory as containing a CBMC proof 2 | -------------------------------------------------------------------------------- /verification/cbmc/proofs/run-cbmc-proofs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/run-cbmc-proofs.py -------------------------------------------------------------------------------- /verification/cbmc/proofs/scripts/fixup_makefiles.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/scripts/fixup_makefiles.py -------------------------------------------------------------------------------- /verification/cbmc/proofs/scripts/move_proofs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/proofs/scripts/move_proofs.py -------------------------------------------------------------------------------- /verification/cbmc/sources/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/sources/README.md -------------------------------------------------------------------------------- /verification/cbmc/sources/make_common_data_structures.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/sources/make_common_data_structures.c -------------------------------------------------------------------------------- /verification/cbmc/sources/utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/sources/utils.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/README.md -------------------------------------------------------------------------------- /verification/cbmc/stubs/abort_override_assert_false.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/abort_override_assert_false.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/aws_array_list_swap_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/aws_array_list_swap_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/aws_byte_cursor_read_be16_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/aws_byte_cursor_read_be16_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/aws_hash_iter_overrides.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/aws_hash_iter_overrides.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/aws_hash_table_find_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/aws_hash_table_find_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/aws_hash_table_no_slots_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/aws_hash_table_no_slots_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/aws_string_destroy_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/aws_string_destroy_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/aws_string_new_from_array_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/aws_string_new_from_array_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/empty-source-file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/empty-source-file.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/error.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/hash_table_generators.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/hash_table_generators.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memcpy_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memcpy_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memcpy_override_havoc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memcpy_override_havoc.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memcpy_override_no_op.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memcpy_override_no_op.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memcpy_using_uint64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memcpy_using_uint64.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memmove_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memmove_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memmove_override_havoc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memmove_override_havoc.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memmove_override_no_op.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memmove_override_no_op.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memset_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memset_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memset_override_0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memset_override_0.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memset_override_havoc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memset_override_havoc.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memset_override_no_op.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memset_override_no_op.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/memset_using_uint64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/memset_using_uint64.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/qsort_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/qsort_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/s_emplace_item_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/s_emplace_item_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/s_expand_table_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/s_expand_table_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/s_remove_entry_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/s_remove_entry_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/s_remove_node_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/s_remove_node_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/s_sift_either_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/s_sift_either_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/s_sift_up_override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/s_sift_up_override.c -------------------------------------------------------------------------------- /verification/cbmc/stubs/s_swap_override_no_op.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/stubs/s_swap_override_no_op.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/array_list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/array_list.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/atomics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/atomics.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/byte_order.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/byte_order.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/clock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/clock.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/encoding.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/encoding.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/error.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/linked_list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/linked_list.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/math.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/math.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/ring_buffer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/ring_buffer.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/string.c -------------------------------------------------------------------------------- /verification/cbmc/uninline/zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/aws-c-common/HEAD/verification/cbmc/uninline/zero.c --------------------------------------------------------------------------------