diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 24d627f7..0bf97d5a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -123,4 +123,4 @@ jobs: uses: FreeRTOS/CI-CD-Github-Actions/memory_statistics@main with: config: .github/memory_statistics_config.json - check_against: docs/doxygen/include/size_table.html + check_against: docs/doxygen/include/size_table.md diff --git a/.github/workflows/memory_statistics.yml b/.github/workflows/memory_statistics.yml index 499d205b..9c778c76 100644 --- a/.github/workflows/memory_statistics.yml +++ b/.github/workflows/memory_statistics.yml @@ -19,4 +19,4 @@ jobs: uses: actions/upload-artifact@v2 with: name: size_table - path: size_table.html + path: size_table.md diff --git a/CHANGELOG.md b/CHANGELOG.md index ad08c083..e7fec2b5 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,13 @@ # Changelog for coreHTTP Client Library +## v2.0.2 (July 2021) + +### Updates + +- [#109](https://github.com/FreeRTOS/coreHTTP/pull/109) Add C++ header guards +- [#106](https://github.com/FreeRTOS/coreHTTP/pull/106) Update case-insensitive compare function for header-field parser +- [#104](https://github.com/FreeRTOS/coreHTTP/pull/104) Update CBMC proofs to work with the latest version of CBMC + ## v2.0.1 (February 2021) ### Other diff --git a/README.md b/README.md index eea33f1b..793a5281 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ score over 8. This library has also undergone both static code analysis from safety and data structure invariance through the [CBMC automated reasoning tool](https://www.cprover.org/cbmc/). -See memory requirements for this library [here](https://docs.aws.amazon.com/embedded-csdk/202103.00/lib-ref/libraries/standard/coreHTTP/docs/doxygen/output/html/index.html#http_memory_requirements). +See memory requirements for this library [here](./docs/doxygen/include/size_table.md). **coreHTTP v2.0.0 [source code](https://github.com/FreeRTOS/coreHTTP/tree/v2.0.0/source) is part of the [FreeRTOS 202012.00 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202012.00-LTS) release.** @@ -82,8 +82,19 @@ The AWS IoT Device SDK for Embedded C repository contains demos of using the HTT library [here](https://github.com/aws/aws-iot-device-sdk-embedded-C/tree/main/demos/http) on a POSIX platform. These can be used as reference examples for the library API. -## Generating documentation +## Documentation +### Existing Documentation +For pre-generated documentation, please see the documentation linked in the locations below: + +| Location | +| :-: | +| [AWS IoT Device SDK for Embedded C](https://github.com/aws/aws-iot-device-sdk-embedded-C#releases-and-documentation) | +| [FreeRTOS.org](https://freertos.org/Documentation/api-ref/coreHTTP/docs/doxygen/output/html/index.html) | + +Note that the latest included version of coreHTTP may differ across repositories. + +### Generating Documentation The Doxygen references were created using Doxygen version 1.8.20. To generate the Doxygen pages, please run the following command from the root of this repository: diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index c722f4a7..04c7a8a5 100644 --- a/docs/doxygen/config.doxyfile +++ b/docs/doxygen/config.doxyfile @@ -38,7 +38,7 @@ PROJECT_NAME = "coreHTTP" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = "v2.0.1" +PROJECT_NUMBER = "v2.0.2" # 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/docs/doxygen/include/size_table.html b/docs/doxygen/include/size_table.md similarity index 100% rename from docs/doxygen/include/size_table.html rename to docs/doxygen/include/size_table.md diff --git a/docs/doxygen/pages.dox b/docs/doxygen/pages.dox index 5dc8bec0..7c65ef21 100644 --- a/docs/doxygen/pages.dox +++ b/docs/doxygen/pages.dox @@ -17,7 +17,7 @@ Feature of HTTP/1.1 not supported in this library: @section http_memory_requirements Memory Requirements @brief Memory requirements of the HTTP Client library. -@include{doc} size_table.html +@include{doc} size_table.md */ /** diff --git a/lexicon.txt b/lexicon.txt index ac4cdeff..e2add5f5 100644 --- a/lexicon.txt +++ b/lexicon.txt @@ -128,6 +128,7 @@ loginfo logwarn mainpage malloc +md memcpy memmove methodlen diff --git a/manifest.yml b/manifest.yml index ef5f94e1..b9613c3b 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name : "coreHTTP" -version: "v2.0.1" +version: "v2.0.2" description: | "Client implementation of the HTTP/1.1 specification for embedded devices.\n" dependencies: diff --git a/source/core_http_client.c b/source/core_http_client.c index c33675ad..6f52de4d 100644 --- a/source/core_http_client.c +++ b/source/core_http_client.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/core_http_client.h b/source/include/core_http_client.h index c41d5d34..8030627e 100644 --- a/source/include/core_http_client.h +++ b/source/include/core_http_client.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of @@ -31,6 +31,12 @@ #include #include +/* *INDENT-OFF* */ +#ifdef __cplusplus + extern "C" { +#endif +/* *INDENT-ON* */ + /* HTTP_DO_NOT_USE_CUSTOM_CONFIG allows building the HTTP Client library * without a config file. If a config file is provided, the * HTTP_DO_NOT_USE_CUSTOM_CONFIG macro must not be defined. @@ -893,4 +899,10 @@ HTTPStatus_t HTTPClient_ReadHeader( const HTTPResponse_t * pResponse, const char * HTTPClient_strerror( HTTPStatus_t status ); /* @[declare_httpclient_strerror] */ +/* *INDENT-OFF* */ +#ifdef __cplusplus + } +#endif +/* *INDENT-ON* */ + #endif /* ifndef CORE_HTTP_CLIENT_H_ */ diff --git a/source/include/core_http_client_private.h b/source/include/core_http_client_private.h index d87a7ddf..d94b23fb 100644 --- a/source/include/core_http_client_private.h +++ b/source/include/core_http_client_private.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of @@ -31,6 +31,12 @@ /* Third-party http-parser include. */ #include "http_parser.h" +/* *INDENT-OFF* */ +#ifdef __cplusplus + extern "C" { +#endif +/* *INDENT-ON* */ + /** * @brief The HTTP protocol version of this library is HTTP/1.1. */ @@ -267,4 +273,10 @@ typedef struct HTTPParsingContext size_t lastHeaderValueLen; /**< The length of the last value field parsed. */ } HTTPParsingContext_t; +/* *INDENT-OFF* */ +#ifdef __cplusplus + } +#endif +/* *INDENT-ON* */ + #endif /* ifndef CORE_HTTP_CLIENT_PRIVATE_H_ */ diff --git a/source/include/core_http_config_defaults.h b/source/include/core_http_config_defaults.h index 74cc4131..1a422b39 100644 --- a/source/include/core_http_config_defaults.h +++ b/source/include/core_http_config_defaults.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of @@ -35,6 +35,12 @@ #ifndef CORE_HTTP_CONFIG_DEFAULTS_ #define CORE_HTTP_CONFIG_DEFAULTS_ +/* *INDENT-OFF* */ +#ifdef __cplusplus + extern "C" { +#endif +/* *INDENT-ON* */ + /** * @brief Maximum size, in bytes, of headers allowed from the server. * @@ -191,4 +197,10 @@ #define LogDebug( message ) #endif +/* *INDENT-OFF* */ +#ifdef __cplusplus + } +#endif +/* *INDENT-ON* */ + #endif /* ifndef CORE_HTTP_CONFIG_DEFAULTS_ */ diff --git a/source/interface/transport_interface.h b/source/interface/transport_interface.h index d436fa8f..cfe0af71 100644 --- a/source/interface/transport_interface.h +++ b/source/interface/transport_interface.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of @@ -31,6 +31,12 @@ #include #include +/* *INDENT-OFF* */ +#ifdef __cplusplus + extern "C" { +#endif +/* *INDENT-ON* */ + /** * @transportpage * @brief The transport interface definition. @@ -250,4 +256,10 @@ typedef struct TransportInterface } TransportInterface_t; /* @[define_transportinterface] */ +/* *INDENT-OFF* */ +#ifdef __cplusplus + } +#endif +/* *INDENT-ON* */ + #endif /* ifndef TRANSPORT_INTERFACE_H_ */ diff --git a/test/cbmc/include/callback_stubs.h b/test/cbmc/include/callback_stubs.h index b1970fba..41498fcf 100644 --- a/test/cbmc/include/callback_stubs.h +++ b/test/cbmc/include/callback_stubs.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/core_http_config.h b/test/cbmc/include/core_http_config.h index 8ad97f1c..271b1503 100644 --- a/test/cbmc/include/core_http_config.h +++ b/test/cbmc/include/core_http_config.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/get_time_stub.h b/test/cbmc/include/get_time_stub.h index 3bf70508..9d313af0 100644 --- a/test/cbmc/include/get_time_stub.h +++ b/test/cbmc/include/get_time_stub.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/http_cbmc_state.h b/test/cbmc/include/http_cbmc_state.h index a78b4e79..621c3dd1 100644 --- a/test/cbmc/include/http_cbmc_state.h +++ b/test/cbmc/include/http_cbmc_state.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/transport_interface_stubs.h b/test/cbmc/include/transport_interface_stubs.h index 60670fae..9cc0968c 100644 --- a/test/cbmc/include/transport_interface_stubs.h +++ b/test/cbmc/include/transport_interface_stubs.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c b/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c index 5544afd3..0394e68c 100644 --- a/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c +++ b/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c b/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c index 5a3c6a68..d7ddd616 100644 --- a/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c +++ b/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c index e31b9587..9cfa0100 100644 --- a/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c +++ b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c b/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c index 52346f38..5ee4842e 100644 --- a/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c +++ b/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c b/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c index 1947d55b..82258fd4 100644 --- a/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c +++ b/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c b/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c index 239d9d87..273b71d7 100644 --- a/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c +++ b/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c b/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c index df53c14a..4fdb0a3f 100644 --- a/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c +++ b/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c b/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c index 444a3b21..88d707f8 100644 --- a/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c +++ b/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c b/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c index 1bfbdbdb..e2b31e76 100644 --- a/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c +++ b/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c b/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c index 6652893c..c46de275 100644 --- a/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c b/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c index 053aea75..5a89cd77 100644 --- a/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c b/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c index 023549bd..b1ced46d 100644 --- a/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c index 0d51af8c..d77318c2 100644 --- a/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c b/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c index 01227f93..69ee58e6 100644 --- a/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c index 4cd32ce9..54644ba7 100644 --- a/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c b/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c index 9c05f615..467d0730 100644 --- a/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/sources/http_cbmc_state.c b/test/cbmc/sources/http_cbmc_state.c index 2dd8f5cb..f61be4e1 100644 --- a/test/cbmc/sources/http_cbmc_state.c +++ b/test/cbmc/sources/http_cbmc_state.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/HTTPClient_ReadHeader_http_parser_execute.c b/test/cbmc/stubs/HTTPClient_ReadHeader_http_parser_execute.c index 7bc2bc4a..ff6d9281 100644 --- a/test/cbmc/stubs/HTTPClient_ReadHeader_http_parser_execute.c +++ b/test/cbmc/stubs/HTTPClient_ReadHeader_http_parser_execute.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/HTTPClient_Send_http_parser_execute.c b/test/cbmc/stubs/HTTPClient_Send_http_parser_execute.c index 22803e87..45b8ccd9 100644 --- a/test/cbmc/stubs/HTTPClient_Send_http_parser_execute.c +++ b/test/cbmc/stubs/HTTPClient_Send_http_parser_execute.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/callback_stubs.c b/test/cbmc/stubs/callback_stubs.c index 459d2e08..50878024 100644 --- a/test/cbmc/stubs/callback_stubs.c +++ b/test/cbmc/stubs/callback_stubs.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/get_time_stub.c b/test/cbmc/stubs/get_time_stub.c index 4e15a52f..b13cd116 100644 --- a/test/cbmc/stubs/get_time_stub.c +++ b/test/cbmc/stubs/get_time_stub.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/httpHeaderStrncpy.c b/test/cbmc/stubs/httpHeaderStrncpy.c index ce6aa796..54f6d52f 100644 --- a/test/cbmc/stubs/httpHeaderStrncpy.c +++ b/test/cbmc/stubs/httpHeaderStrncpy.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/memmove.c b/test/cbmc/stubs/memmove.c index 0c11d25a..fcf7eb45 100644 --- a/test/cbmc/stubs/memmove.c +++ b/test/cbmc/stubs/memmove.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/strncpy.c b/test/cbmc/stubs/strncpy.c index 353a51ab..1f70619d 100644 --- a/test/cbmc/stubs/strncpy.c +++ b/test/cbmc/stubs/strncpy.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/transport_interface_stubs.c b/test/cbmc/stubs/transport_interface_stubs.c index af95c67e..8b106590 100644 --- a/test/cbmc/stubs/transport_interface_stubs.c +++ b/test/cbmc/stubs/transport_interface_stubs.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/core_http_config.h b/test/unit-test/core_http_config.h index b59fee5d..70e311bf 100644 --- a/test/unit-test/core_http_config.h +++ b/test/unit-test/core_http_config.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/core_http_send_utest.c b/test/unit-test/core_http_send_utest.c index ce1739c5..42bd92fa 100644 --- a/test/unit-test/core_http_send_utest.c +++ b/test/unit-test/core_http_send_utest.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/core_http_utest.c b/test/unit-test/core_http_utest.c index b3e8ff24..f786221b 100644 --- a/test/unit-test/core_http_utest.c +++ b/test/unit-test/core_http_utest.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.1 + * coreHTTP v2.0.2 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of