Update changelog (#408)

* update change log * fix version number * update version number in copyright notice * update version number
aws · Dec 15, 2021 · 1f2362f · 1f2362f
1 parent ca7aee2
commit 1f2362f
Show file tree

Hide file tree

Showing 155 changed files with 171 additions and 159 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,16 @@
 # Changelog for AWS IoT Over-the-air Update Library
+### v3.3.0 (December 2021)
+ - Added CBMC proofs of all public and private functions in the OTA library. 
+ - [#373](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/373) Updated compiler flag for tinycbor source files
+ - [#407](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/407) Added checks to prevent arithmetic overflows
+ - [#390](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/390) Make OTA file type configurable.
+ - [#329](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/329) Misc fixes to remove build warnings 
+ - [#356](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/356) Add type cast to event functions as per POSIX spec
+
+### v3.2.0 (November 2021)
+ - [#275](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/276) Updated the doxygen version from 1.8.20 to 1.9.2 
+ - [#236](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/236) Added C++ guards
+ - [#231](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/231) Added checks for http interface functions. 
 
 ### v3.1.0 (August 2021)
  - [#232](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/232) Add updater version to the status details when job succeeds

diff --git a/README.md b/README.md
@@ -6,7 +6,7 @@ This library has gone through code quality checks including verification that no
 
 See memory requirements for this library [here](./docs/doxygen/include/size_table.md).
 
-**AWS IoT Over-the-air Update Library v3.0.0 [source code](https://github.com/aws/ota-for-aws-iot-embedded-sdk/tree/v3.0.0/source) is part of the [FreeRTOS 202012.01 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202012.01-LTS) release.**
+**AWS IoT Over-the-air Update Library v3.3.0 [source code](https://github.com/aws/ota-for-aws-iot-embedded-sdk/tree/v3.3.0/source) is part of the [FreeRTOS 202012.01 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202012.01-LTS) release.**
 
 ## AWS IoT Over-the-air Updates Config File
 
@@ -50,18 +50,18 @@ git submodule update --checkout --init --recursive test/unit-test/CMock
 
 ## Migration Guide
 
-### How to migrate from v2.0.0 (Release Candidate) to v3.0.0
+### How to migrate from v2.0.0 (Release Candidate) to v3.3.0
 
-The following table lists equivalent API function signatures in v2.0.0 (Release Candidate) and v3.0.0 declared in [ota.h](source/include/ota.h)
+The following table lists equivalent API function signatures in v2.0.0 (Release Candidate) and v3.3.0 declared in [ota.h](source/include/ota.h)
 
-| v2.0.0 (Release Candidate) | v3.0.0 | Notes |
+| v2.0.0 (Release Candidate) | v3.3.0 | Notes |
 | :-: | :-: | :-: |
 | `OtaState_t OTA_Shutdown( uint32_t ticksToWait );` | `OtaState_t OTA_Shutdown( uint32_t ticksToWait, uint8_t unsubscribeFlag );` | `unsubscribeFlag` indicates if unsubscribe operations should be performed from the job topics when shutdown is called. Set this as 1 to unsubscribe, 0 otherwise. |
 
-### How to migrate from version 1.0.0 to version 3.0.0 for OTA applications
+### How to migrate from version 1.0.0 to version 3.3.0 for OTA applications
 
 Refer to [OTA Migration document](https://docs.aws.amazon.com/freertos/latest/portingguide/porting-migration-ota.html) for the summary of updates to the API.
-[Migration document for OTA PAL](https://docs.aws.amazon.com/freertos/latest/portingguide/porting-migration-ota-pal.html) also provides a summary of updates required for upgrading the OTA-PAL to work with v3.0.0 of the library.
+[Migration document for OTA PAL](https://docs.aws.amazon.com/freertos/latest/portingguide/porting-migration-ota-pal.html) also provides a summary of updates required for upgrading the OTA-PAL to work with v3.3.0 of the library.
 
 ## Porting
 

diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile
@@ -38,7 +38,7 @@ PROJECT_NAME = "AWS IoT Over-the-air Update"
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER = v3.1.0
+PROJECT_NUMBER = v3.3.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
@@ -1,5 +1,5 @@
 name : "ota-for-aws-iot-embedded-sdk"
-version: "v3.1.0"
+version: "v3.3.0"
 description: |
  "Client library for using the AWS Over-the-air Update service on embedded devices.\n"
 dependencies:

diff --git a/source/include/ota.h b/source/include/ota.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_appversion32.h b/source/include/ota_appversion32.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_base64_private.h b/source/include/ota_base64_private.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_cbor_private.h b/source/include/ota_cbor_private.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_config_defaults.h b/source/include/ota_config_defaults.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_http_interface.h b/source/include/ota_http_interface.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_http_private.h b/source/include/ota_http_private.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_interface_private.h b/source/include/ota_interface_private.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_mqtt_interface.h b/source/include/ota_mqtt_interface.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_mqtt_private.h b/source/include/ota_mqtt_private.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_os_interface.h b/source/include/ota_os_interface.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_platform_interface.h b/source/include/ota_platform_interface.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_private.h b/source/include/ota_private.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota.c b/source/ota.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/ota_base64.c b/source/ota_base64.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_cbor.c b/source/ota_cbor.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_http.c b/source/ota_http.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_interface.c b/source/ota_interface.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/ota_mqtt.c b/source/ota_mqtt.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/portable/os/ota_os_freertos.c b/source/portable/os/ota_os_freertos.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/portable/os/ota_os_freertos.h b/source/portable/os/ota_os_freertos.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/portable/os/ota_os_posix.c b/source/portable/os/ota_os_posix.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/portable/os/ota_os_posix.h b/source/portable/os/ota_os_posix.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * 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/stubs.h b/test/cbmc/include/stubs.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/Free_FreeRTOS/Free_FreeRTOS_harness.c b/test/cbmc/proofs/Free_FreeRTOS/Free_FreeRTOS_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/Malloc_FreeRTOS/Malloc_FreeRTOS_harness.c b/test/cbmc/proofs/Malloc_FreeRTOS/Malloc_FreeRTOS_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_ActivateNewImage/OTA_ActivateNewImage_harness.c b/test/cbmc/proofs/OTA_ActivateNewImage/OTA_ActivateNewImage_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/...A_CBOR_Decode_GetStreamResponseMessage/OTA_CBOR_Decode_GetStreamResponseMessage_harness.c b/...A_CBOR_Decode_GetStreamResponseMessage/OTA_CBOR_Decode_GetStreamResponseMessage_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/...OTA_CBOR_Encode_GetStreamRequestMessage/OTA_CBOR_Encode_GetStreamRequestMessage_harness.c b/...OTA_CBOR_Encode_GetStreamRequestMessage/OTA_CBOR_Encode_GetStreamRequestMessage_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_CheckForUpdate/OTA_CheckForUpdate_harness.c b/test/cbmc/proofs/OTA_CheckForUpdate/OTA_CheckForUpdate_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_Err_strerror/OTA_Err_strerror_harness.c b/test/cbmc/proofs/OTA_Err_strerror/OTA_Err_strerror_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_EventProcessingTask/OTA_EventProcessingTask_harness.c b/test/cbmc/proofs/OTA_EventProcessingTask/OTA_EventProcessingTask_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_GetImageState/OTA_GetImageState_harness.c b/test/cbmc/proofs/OTA_GetImageState/OTA_GetImageState_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_GetState/OTA_GetState_harness.c b/test/cbmc/proofs/OTA_GetState/OTA_GetState_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_GetStatistics/OTA_GetStatistics_harness.c b/test/cbmc/proofs/OTA_GetStatistics/OTA_GetStatistics_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_HTTP_strerror/OTA_HTTP_strerror_harness.c b/test/cbmc/proofs/OTA_HTTP_strerror/OTA_HTTP_strerror_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_Init/OTA_Init_harness.c b/test/cbmc/proofs/OTA_Init/OTA_Init_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_JobParse_strerror/OTA_JobParse_strerror_harness.c b/test/cbmc/proofs/OTA_JobParse_strerror/OTA_JobParse_strerror_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_MQTT_strerror/OTA_MQTT_strerror_harness.c b/test/cbmc/proofs/OTA_MQTT_strerror/OTA_MQTT_strerror_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_OsStatus_strerror/OTA_OsStatus_strerror_harness.c b/test/cbmc/proofs/OTA_OsStatus_strerror/OTA_OsStatus_strerror_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_PalStatus_strerror/OTA_PalStatus_strerror_harness.c b/test/cbmc/proofs/OTA_PalStatus_strerror/OTA_PalStatus_strerror_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_Resume/OTA_Resume_harness.c b/test/cbmc/proofs/OTA_Resume/OTA_Resume_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_SetImageState/OTA_SetImageState_harness.c b/test/cbmc/proofs/OTA_SetImageState/OTA_SetImageState_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_Shutdown/OTA_Shutdown_harness.c b/test/cbmc/proofs/OTA_Shutdown/OTA_Shutdown_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_SignalEvent/OTA_SignalEvent_harness.c b/test/cbmc/proofs/OTA_SignalEvent/OTA_SignalEvent_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OTA_Suspend/OTA_Suspend_harness.c b/test/cbmc/proofs/OTA_Suspend/OTA_Suspend_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 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/OtaDeinitEvent_FreeRTOS/OtaDeinitEvent_FreeRTOS_harness.c b/test/cbmc/proofs/OtaDeinitEvent_FreeRTOS/OtaDeinitEvent_FreeRTOS_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Over-the-air Update v3.1.0
+ * AWS IoT Over-the-air Update v3.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy of