From ed26a6393cce9e93bdfb25f2da34437738706ba6 Mon Sep 17 00:00:00 2001 From: "Ching-Hsin,Lee" Date: Fri, 3 May 2024 16:56:13 +0800 Subject: [PATCH] Bump version to v3.1.0 --- CHANGELOG.md | 8 ++++++++ docs/doxygen/config.doxyfile | 2 +- manifest.yml | 2 +- source/core_http_client.c | 4 ++-- source/include/core_http_client.h | 4 ++-- source/include/core_http_client_private.h | 4 ++-- source/include/core_http_config_defaults.h | 4 ++-- source/interface/transport_interface.h | 2 +- test/CMakeLists.txt | 2 +- test/cbmc/include/callback_stubs.h | 4 ++-- test/cbmc/include/core_http_config.h | 4 ++-- test/cbmc/include/get_time_stub.h | 4 ++-- test/cbmc/include/http_cbmc_state.h | 4 ++-- test/cbmc/include/transport_interface_stubs.h | 4 ++-- .../HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c | 4 ++-- .../HTTPClient_AddRangeHeader_harness.c | 4 ++-- .../HTTPClient_InitializeRequestHeaders_harness.c | 4 ++-- .../HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c | 4 ++-- .../cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c | 4 ++-- .../HTTPClient_strerror/HTTPClient_strerror_harness.c | 4 ++-- .../findHeaderFieldParserCallback_harness.c | 4 ++-- .../findHeaderOnHeaderCompleteCallback_harness.c | 4 ++-- .../findHeaderValueParserCallback_harness.c | 4 ++-- .../httpParserOnBodyCallback_harness.c | 4 ++-- .../httpParserOnHeaderFieldCallback_harness.c | 4 ++-- .../httpParserOnHeaderValueCallback_harness.c | 4 ++-- .../httpParserOnHeadersCompleteCallback_harness.c | 4 ++-- .../httpParserOnMessageBeginCallback_harness.c | 4 ++-- .../httpParserOnMessageCompleteCallback_harness.c | 4 ++-- .../httpParserOnStatusCallback_harness.c | 4 ++-- .../httpParserOnStatusCompleteCallback_harness.c | 4 ++-- test/cbmc/sources/http_cbmc_state.c | 4 ++-- test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c | 4 ++-- test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c | 4 ++-- test/cbmc/stubs/callback_stubs.c | 4 ++-- test/cbmc/stubs/get_time_stub.c | 4 ++-- test/cbmc/stubs/httpHeaderStrncpy.c | 4 ++-- test/cbmc/stubs/memmove.c | 4 ++-- test/cbmc/stubs/strncpy.c | 4 ++-- test/cbmc/stubs/transport_interface_stubs.c | 4 ++-- test/unit-test/core_http_config.h | 4 ++-- test/unit-test/core_http_send_utest.c | 4 ++-- test/unit-test/core_http_utest.c | 4 ++-- 43 files changed, 88 insertions(+), 80 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index cf7e3666..2e39eb85 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,13 @@ # Changelog for coreHTTP Client Library +## v3.1.0 (May 2023) +- [#176](https://github.com/FreeRTOS/coreHTTP/pull/176) Update llhttp to v6.1.1. Update CMock to v2.5.3. +- [#174](https://github.com/FreeRTOS/coreHTTP/pull/174) MISRA C:2012 compliance update +- [#173](https://github.com/FreeRTOS/coreHTTP/pull/173) Add on_status_complete callback +- [#167](https://github.com/FreeRTOS/coreHTTP/pull/167) Expose HTTPClient_SendHttpData, HTTPClient_SendHttpHeaders and HTTPClient_ReceiveAndParseHttpResponse for enhanced usability +- [#164](https://github.com/FreeRTOS/coreHTTP/pull/164) Support http request without HTTP_USER_AGENT_FIELD +- [#159](https://github.com/FreeRTOS/coreHTTP/pull/159) Handle upgrade header +- [#151](https://github.com/FreeRTOS/coreHTTP/pull/151) Update doxygen to v1.9.6 ## v3.0.0 (October 2022) diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index 1620455a..460af36a 100644 --- a/docs/doxygen/config.doxyfile +++ b/docs/doxygen/config.doxyfile @@ -48,7 +48,7 @@ PROJECT_NAME = coreHTTP # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = v3.0.0 +PROJECT_NUMBER = v3.1.0 # Using the PROJECT_BRIEF tag one can provide an optional one line description # for a project that appears at the top of each page and should give viewer a diff --git a/manifest.yml b/manifest.yml index e87c7142..27071eaf 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name: "coreHTTP" -version: "v3.0.0" +version: "v3.1.0" description: "Client implementation of the HTTP/1.1 specification for embedded devices." license: "MIT" diff --git a/source/core_http_client.c b/source/core_http_client.c index 7a1ddc49..c06eba30 100644 --- a/source/core_http_client.c +++ b/source/core_http_client.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2022 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/source/include/core_http_client.h b/source/include/core_http_client.h index 5239c3a1..7bcb1df3 100644 --- a/source/include/core_http_client.h +++ b/source/include/core_http_client.h @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2022 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/source/include/core_http_client_private.h b/source/include/core_http_client_private.h index 185b6459..1e3be2ab 100644 --- a/source/include/core_http_client_private.h +++ b/source/include/core_http_client_private.h @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2022 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/source/include/core_http_config_defaults.h b/source/include/core_http_config_defaults.h index f34af49f..3a262429 100644 --- a/source/include/core_http_config_defaults.h +++ b/source/include/core_http_config_defaults.h @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2022 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/source/interface/transport_interface.h b/source/interface/transport_interface.h index aac3e9d2..f4eaa9bf 100644 --- a/source/interface/transport_interface.h +++ b/source/interface/transport_interface.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.0.0 + * coreHTTP v3.1.0 * Copyright (C) 2022 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 66c4873a..45eac55c 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -1,7 +1,7 @@ # Project information. cmake_minimum_required ( VERSION 3.13.0 ) project ( "coreHTTP tests" - VERSION 3.0.0 + VERSION 3.1.0 LANGUAGES C ) # Allow the project to be organized into folders. diff --git a/test/cbmc/include/callback_stubs.h b/test/cbmc/include/callback_stubs.h index 6377a6d4..2decd3a6 100644 --- a/test/cbmc/include/callback_stubs.h +++ b/test/cbmc/include/callback_stubs.h @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/include/core_http_config.h b/test/cbmc/include/core_http_config.h index 7f2cbf6b..e0100098 100644 --- a/test/cbmc/include/core_http_config.h +++ b/test/cbmc/include/core_http_config.h @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/include/get_time_stub.h b/test/cbmc/include/get_time_stub.h index b2e73839..5f1871f2 100644 --- a/test/cbmc/include/get_time_stub.h +++ b/test/cbmc/include/get_time_stub.h @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/include/http_cbmc_state.h b/test/cbmc/include/http_cbmc_state.h index de80f321..61171d1c 100644 --- a/test/cbmc/include/http_cbmc_state.h +++ b/test/cbmc/include/http_cbmc_state.h @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/include/transport_interface_stubs.h b/test/cbmc/include/transport_interface_stubs.h index 34ff0849..8630efa9 100644 --- a/test/cbmc/include/transport_interface_stubs.h +++ b/test/cbmc/include/transport_interface_stubs.h @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c b/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c index 2109129f..33b6db9e 100644 --- a/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c +++ b/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c b/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c index 0e90f580..daf34579 100644 --- a/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c +++ b/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c index df6d2d51..3a15cad5 100644 --- a/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c +++ b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c b/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c index e965f20e..973a6796 100644 --- a/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c +++ b/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c b/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c index baa62f80..4ec85f82 100644 --- a/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c +++ b/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c b/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c index af5b7c37..b5d71e2c 100644 --- a/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c +++ b/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c b/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c index e440b72b..a319006d 100644 --- a/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c +++ b/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c b/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c index dc162fff..2df47138 100644 --- a/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c +++ b/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c b/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c index f2f5be3a..55339dfd 100644 --- a/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c +++ b/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c b/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c index c73f410d..0769b5f8 100644 --- a/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c b/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c index ee80f735..b6d6cc84 100644 --- a/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c b/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c index 132cc41d..77c05220 100644 --- a/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c index 69d4680d..319c1fcc 100644 --- a/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c b/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c index b3a10e43..3c2dda8b 100644 --- a/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c index 212d52a7..eb0b9b14 100644 --- a/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c b/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c index d18e3424..4fd97f3a 100644 --- a/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c index d950af4c..d9a8b115 100644 --- a/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/sources/http_cbmc_state.c b/test/cbmc/sources/http_cbmc_state.c index 590b664d..4db21fea 100644 --- a/test/cbmc/sources/http_cbmc_state.c +++ b/test/cbmc/sources/http_cbmc_state.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c b/test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c index 29272344..dd365135 100644 --- a/test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c +++ b/test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c b/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c index 74b29bb7..4617723a 100644 --- a/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c +++ b/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/stubs/callback_stubs.c b/test/cbmc/stubs/callback_stubs.c index 8bce382e..02e1bdcc 100644 --- a/test/cbmc/stubs/callback_stubs.c +++ b/test/cbmc/stubs/callback_stubs.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/stubs/get_time_stub.c b/test/cbmc/stubs/get_time_stub.c index fda5d63b..ec001653 100644 --- a/test/cbmc/stubs/get_time_stub.c +++ b/test/cbmc/stubs/get_time_stub.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/stubs/httpHeaderStrncpy.c b/test/cbmc/stubs/httpHeaderStrncpy.c index 049f31aa..332a40ec 100644 --- a/test/cbmc/stubs/httpHeaderStrncpy.c +++ b/test/cbmc/stubs/httpHeaderStrncpy.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/stubs/memmove.c b/test/cbmc/stubs/memmove.c index 098a5756..fe106f6d 100644 --- a/test/cbmc/stubs/memmove.c +++ b/test/cbmc/stubs/memmove.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/stubs/strncpy.c b/test/cbmc/stubs/strncpy.c index 8364492a..05cdc1df 100644 --- a/test/cbmc/stubs/strncpy.c +++ b/test/cbmc/stubs/strncpy.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/cbmc/stubs/transport_interface_stubs.c b/test/cbmc/stubs/transport_interface_stubs.c index a181faa7..8d469e3f 100644 --- a/test/cbmc/stubs/transport_interface_stubs.c +++ b/test/cbmc/stubs/transport_interface_stubs.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/unit-test/core_http_config.h b/test/unit-test/core_http_config.h index 38ea2ed6..43ba28e4 100644 --- a/test/unit-test/core_http_config.h +++ b/test/unit-test/core_http_config.h @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/unit-test/core_http_send_utest.c b/test/unit-test/core_http_send_utest.c index 28197e9c..632f3040 100644 --- a/test/unit-test/core_http_send_utest.c +++ b/test/unit-test/core_http_send_utest.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT * diff --git a/test/unit-test/core_http_utest.c b/test/unit-test/core_http_utest.c index ec22b1c2..c3e86722 100644 --- a/test/unit-test/core_http_utest.c +++ b/test/unit-test/core_http_utest.c @@ -1,6 +1,6 @@ /* - * coreHTTP v3.0.0 - * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * coreHTTP v3.1.0 + * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT *