Update to LTS 3.0 libraires (#46)

* Update submodule pointer for LTS3.0 * Exclude FreeRTOS example from build * Remove bootloader signing public key. The public key should be generated by tool. * Add task notification setting for OTA in examples * Add MQTT downloader config
FreeRTOS · Jun 20, 2024 · ac3aced · ac3aced
1 parent a35a007
commit ac3aced
Show file tree

Hide file tree

Showing 23 changed files with 69 additions and 95 deletions.
diff --git a/Middleware/AWS/device-defender b/Middleware/AWS/device-defender
diff --git a/Middleware/AWS/device-shadow b/Middleware/AWS/device-shadow
diff --git a/Middleware/AWS/jobs b/Middleware/AWS/jobs
diff --git a/Middleware/AWS/mqtt-stream b/Middleware/AWS/mqtt-stream
diff --git a/Middleware/FreeRTOS/backoffAlgorithm b/Middleware/FreeRTOS/backoffAlgorithm
diff --git a/Middleware/FreeRTOS/coreJSON b/Middleware/FreeRTOS/coreJSON
diff --git a/Middleware/FreeRTOS/coreMQTT b/Middleware/FreeRTOS/coreMQTT
diff --git a/Middleware/FreeRTOS/corePKCS11 b/Middleware/FreeRTOS/corePKCS11
diff --git a/Middleware/FreeRTOS/kernel b/Middleware/FreeRTOS/kernel
diff --git a/Middleware/FreeRTOS/mqtt-agent-interface/freertos_command_pool.c b/Middleware/FreeRTOS/mqtt-agent-interface/freertos_command_pool.c
@@ -37,6 +37,9 @@
 #include "FreeRTOS.h"
 #include "semphr.h"
 
+/* Demo Specific configs. */
+#include "core_mqtt_config.h"
+
 /* Header include. */
 #include "freertos_command_pool.h"
 #include "freertos_agent_message.h"

diff --git a/Middleware/FreeRTOS/tests b/Middleware/FreeRTOS/tests
diff --git a/examples/common/mqtt_agent/mqtt_agent_task.c b/examples/common/mqtt_agent/mqtt_agent_task.c
@@ -66,6 +66,8 @@
 
 #include "core_pkcs11_config.h"
 
+#include "core_mqtt_config.h"
+
 /* MQTT library includes. */
 #include "core_mqtt.h"
 

diff --git a/examples/evkbmimxrt1060/bootloader/signing_key.pem b/examples/evkbmimxrt1060/bootloader/signing_key.pem
diff --git a/examples/evkbmimxrt1060/bootloader/signing_pub_key.c b/examples/evkbmimxrt1060/bootloader/signing_pub_key.c
diff --git a/examples/evkbmimxrt1060/defender/include/FreeRTOSConfig.h b/examples/evkbmimxrt1060/defender/include/FreeRTOSConfig.h
@@ -76,6 +76,9 @@ extern void vLoggingPrintf( const char * pcFormat,
 #define configOVERRIDE_DEFAULT_TICK_CONFIGURATION    0
 #define configRECORD_STACK_HIGH_ADDRESS              1
 
+/* Task notification settings. */
+#define configTASK_NOTIFICATION_ARRAY_ENTRIES        ( 4 )
+
 /* Co-routine definitions. */
 #define configUSE_CO_ROUTINES                        0
 #define configMAX_CO_ROUTINE_PRIORITIES              ( 2 )

diff --git a/examples/evkbmimxrt1060/shadow/include/FreeRTOSConfig.h b/examples/evkbmimxrt1060/shadow/include/FreeRTOSConfig.h
@@ -76,6 +76,9 @@ extern void vLoggingPrintf( const char * pcFormat,
 #define configOVERRIDE_DEFAULT_TICK_CONFIGURATION    0
 #define configRECORD_STACK_HIGH_ADDRESS              1
 
+/* Task notification settings. */
+#define configTASK_NOTIFICATION_ARRAY_ENTRIES        ( 4 )
+
 /* Co-routine definitions. */
 #define configUSE_CO_ROUTINES                        0
 #define configMAX_CO_ROUTINE_PRIORITIES              ( 2 )

diff --git a/examples/evkbmimxrt1060/test/include/FreeRTOSConfig.h b/examples/evkbmimxrt1060/test/include/FreeRTOSConfig.h
@@ -76,6 +76,9 @@ extern void vLoggingPrintf( const char * pcFormat,
 #define configOVERRIDE_DEFAULT_TICK_CONFIGURATION    0
 #define configRECORD_STACK_HIGH_ADDRESS              1
 
+/* Task notification settings. */
+#define configTASK_NOTIFICATION_ARRAY_ENTRIES        ( 4 )
+
 /* Co-routine definitions. */
 #define configUSE_CO_ROUTINES                        0
 #define configMAX_CO_ROUTINE_PRIORITIES              ( 2 )

diff --git a/examples/evkbmimxrt1060/test/include/MQTTFileDownloader_config.h b/examples/evkbmimxrt1060/test/include/MQTTFileDownloader_config.h
@@ -0,0 +1,27 @@
+/*
+ * AWS IoT Core MQTT File Streams Embedded C v1.1.0
+ * Copyright (C) 2023 Amazon.com, Inc. and its affiliates. All Rights Reserved.
+ * SPDX-License-Identifier: MIT
+ *
+ * Licensed under the MIT License. See the LICENSE accompanying this file
+ * for the specific language governing permissions and limitations under
+ * the License.
+ */
+
+/**
+ * @file MQTTFileDownloader_config.h
+ * @brief Configs for MQTT stream.
+ */
+
+#ifndef MQTT_FILE_DOWNLOADER_CONFIG_H
+#define MQTT_FILE_DOWNLOADER_CONFIG_H
+
+/**
+ * Configure the Maximum size of the data payload. The smallest value is 256 bytes,
+ * maximum is 128KB.
+ */
+#ifndef mqttFileDownloader_CONFIG_BLOCK_SIZE
+#define mqttFileDownloader_CONFIG_BLOCK_SIZE    512U
+#endif
+
+#endif /* #ifndef MQTT_FILE_DOWNLOADER_DEFAULT_H */
diff --git a/manifest.yml b/manifest.yml
@@ -4,31 +4,31 @@ description: |-
   "Reference IoT integration project using NXP i.MX RT1060 with EdgeLock® SE050 secure element and FreeRTOS LTS libraries"
 dependencies:
   - name: "FreeRTOS-Kernel"
-    version: "V10.5.1"
+    version: "V11.1.0"
     repository:
       type: "git"
       url: "https://github.com/FreeRTOS/FreeRTOS-Kernel.git"
       path: "Middleware/FreeRTOS/kernel"
   - name: "coreJSON"
-    version: "v3.2.0"
+    version: "v3.3.0"
     repository:
       type: "git"
       url: "https://github.com/FreeRTOS/coreJSON.git"
       path: "Middleware/FreeRTOS/coreJSON"
   - name: "coreMQTT"
-    version: "v2.1.1"
+    version: "v2.3.0"
     repository:
       type: "git"
       url: "https://github.com/FreeRTOS/coreMQTT.git"
       path: "Middleware/FreeRTOS/coreMQTT"
   - name: "corePKCS11"
-    version: "v3.5.0"
+    version: "v3.6.1"
     repository:
       type: "git"
       url: "https://github.com/FreeRTOS/corePKCS11.git"
       path: "Middleware/FreeRTOS/corePKCS11"
   - name: "backoffAlgorithm"
-    version: "v1.3.0"
+    version: "v1.4.1"
     repository:
       type: "git"
       url: "https://github.com/FreeRTOS/backoffAlgorithm"
@@ -40,13 +40,13 @@ dependencies:
       url: "https://github.com/FreeRTOS/coreMQTT-Agent.git"
       path: "Middleware/FreeRTOS/coreMQTT-Agent"
   - name: "device-defender"
-    version: "v1.3.0"
+    version: "v1.4.0"
     repository:
       type: "git"
       url: "https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk.git"
       path: "Middleware/AWS/device-defender"
   - name: "device-shadow"
-    version: "v1.3.0"
+    version: "v1.4.1"
     repository:
       type: "git"
       url: "https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk.git"
@@ -88,13 +88,13 @@ dependencies:
       url: "https://github.com/ThrowTheSwitch/Unity.git"
       path: "Middleware/unity"
   - name: "FreeRTOS-Libraries-Integration-Tests"
-    version: "202210.01"
+    version: "692d509"
     repository:
       type: "git"
       url: "https://github.com/FreeRTOS/FreeRTOS-Libraries-Integration-Tests"
       path: "Middleware/FreeRTOS/tests"
   - name: "aws-iot-core-mqtt-file-streams-embedded-c"
-    version: "690fb2b"
+    version: "v1.1.0"
     repository:
       type: "git"
       url: "https://github.com/aws/aws-iot-core-mqtt-file-streams-embedded-c"
@@ -106,7 +106,7 @@ dependencies:
       url: "https://github.com/amazon-freertos/pkcs11.git"
       path: "Middleware/FreeRTOS/pkcs11"
   - name: "Jobs-for-AWS-IoT-embedded-sdk"
-    version: "05f2afa"
+    version: "v1.5.1"
     repository:
       type: "git"
       url: "https://github.com/aws/Jobs-for-AWS-IoT-embedded-sdk.git"

diff --git a/projects/evkmimxrt1060/defender/.cproject b/projects/evkmimxrt1060/defender/.cproject
@@ -293,7 +293,7 @@
 						</toolChain>
 					</folderInfo>
 					<sourceEntries>
-						<entry excluding="lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
+						<entry excluding="freertos/examples|lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
 					</sourceEntries>
 				</configuration>
 			</storageModule>
@@ -370,7 +370,7 @@
 						</toolChain>
 					</folderInfo>
 					<sourceEntries>
-						<entry excluding="lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
+						<entry excluding="freertos/examples|lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
 					</sourceEntries>
 				</configuration>
 			</storageModule>

diff --git a/projects/evkmimxrt1060/pubsub/.cproject b/projects/evkmimxrt1060/pubsub/.cproject
@@ -196,7 +196,7 @@
 						</toolChain>
 					</folderInfo>
 					<sourceEntries>
-						<entry excluding="lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
+						<entry excluding="freertos/examples|lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
 					</sourceEntries>
 				</configuration>
 			</storageModule>
@@ -276,7 +276,7 @@
 						</toolChain>
 					</folderInfo>
 					<sourceEntries>
-						<entry excluding="lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
+						<entry excluding="freertos/examples|lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
 					</sourceEntries>
 				</configuration>
 			</storageModule>

diff --git a/projects/evkmimxrt1060/shadow/.cproject b/projects/evkmimxrt1060/shadow/.cproject
@@ -289,7 +289,7 @@
 						</toolChain>
 					</folderInfo>
 					<sourceEntries>
-						<entry excluding="lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
+						<entry excluding="freertos/examples|lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
 					</sourceEntries>
 				</configuration>
 			</storageModule>
@@ -366,7 +366,7 @@
 						</toolChain>
 					</folderInfo>
 					<sourceEntries>
-						<entry excluding="lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
+						<entry excluding="freertos/examples|lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
 					</sourceEntries>
 				</configuration>
 			</storageModule>

diff --git a/projects/evkmimxrt1060/test/.cproject b/projects/evkmimxrt1060/test/.cproject
@@ -209,7 +209,7 @@
 						</toolChain>
 					</folderInfo>
 					<sourceEntries>
-						<entry excluding="lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
+						<entry excluding="freertos/examples|lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
 					</sourceEntries>
 				</configuration>
 			</storageModule>
@@ -286,7 +286,7 @@
 						</toolChain>
 					</folderInfo>
 					<sourceEntries>
-						<entry excluding="tests/src/mqtt/mqtt_test.c|lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
+						<entry excluding="freertos/examples|tests/src/mqtt/mqtt_test.c|lwip/src/netif/lowpan6_common.c|lwip/src/netif/lowpan6.c|tinycbor/src/open_memstream.c|ota/source/portable/os/ota_os_posix.c|ota/source/dependency|source/mqtt/mqtt_mutual_auth.c|lwip/src/core/ipv6|lwip/src/netif/lowpan6_ble.c|secure_element/hostlib/libCommon/infra/cm_commands.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
 					</sourceEntries>
 				</configuration>
 			</storageModule>
+49 −0		.github/.cSpellWords.txt
+51 −17		.github/workflows/ci.yml
+23 −0		.github/workflows/formatting.yml
+2 −2		.github/workflows/release.yml
+6 −0		CHANGELOG.md
+2 −2		MISRA.md
+71 −40		README.md
+31 −0		cspell.config.yaml
+180 −122		docs/doxygen/config.doxyfile
+0 −100		lexicon.txt
+1 −1		manifest.yml
+10 −8		sbom.spdx
+2 −2		source/defender.c
+1 −1		source/include/defender.h
+1 −1		source/include/defender_config_defaults.h
+53 −45		test/CMakeLists.txt
+1 −1		test/cbmc/proofs/Defender_GetTopic/Defender_GetTopic_harness.c
+1 −1		test/cbmc/proofs/Defender_GetTopic/README.md
+1 −1		test/cbmc/proofs/Defender_MatchTopic/Defender_MatchTopic_harness.c
+1 −1		test/cbmc/proofs/Defender_MatchTopic/README.md
+74 −0		test/cbmc/proofs/lib/print_tool_versions.py
+57 −6		test/cbmc/proofs/lib/summarize.py
+1 −1		test/include/defender_config.h
+1 −1		test/unit-test/defender_utest.c
+3 −3		tools/coverity/README.md
+14 −16		tools/coverity/misra.config
+50 −0		.github/.cSpellWords.txt
+52 −17		.github/workflows/ci.yml
+23 −0		.github/workflows/formatting.yml
+4 −4		.github/workflows/release.yml
+10 −0		CHANGELOG.md
+2 −2		MISRA.md
+108 −42		README.md
+31 −0		cspell.config.yaml
+180 −122		docs/doxygen/config.doxyfile
+0 −117		lexicon.txt
+1 −1		manifest.yml
+10 −8		sbom.spdx
+1 −1		source/include/shadow.h
+1 −1		source/include/shadow_config_defaults.h
+1 −1		source/shadow.c
+55 −48		test/CMakeLists.txt
+1 −1		test/cbmc/proofs/Shadow_AssembleTopicString/Shadow_AssembleTopicString_harness.c
+1 −1		test/cbmc/proofs/Shadow_MatchTopic/Shadow_MatchTopic_harness.c
+1 −1		test/cbmc/proofs/Shadow_MatchTopicString/Shadow_MatchTopicString_harness.c
+74 −0		test/cbmc/proofs/lib/print_tool_versions.py
+57 −6		test/cbmc/proofs/lib/summarize.py
+1 −1		test/include/shadow_config.h
+1 −1		test/unit-test/CMock
+1 −1		test/unit-test/shadow_utest.c
+3 −3		tools/coverity/README.md
+13 −16		tools/coverity/misra.config
+2 −2		.github/workflows/release.yml
+7 −0		CHANGELOG.md
+1 −1		docs/doxygen/config.doxyfile
+1 −1		manifest.yml
+45 −0		sbom.spdx
+1 −1		source/include/jobs.h
+1 −1		source/jobs.c
+1 −1		source/otaJobParser/include/job_parser.h
+1 −1		source/otaJobParser/include/ota_job_processor.h
+1 −1		source/otaJobParser/job_parser.c
+1 −1		source/otaJobParser/ota_job_handler.c
+1 −1		test/CMakeLists.txt
+1 −1		test/unit-test/CMakeLists.txt
+1 −1		test/unit-test/catch_assert.h
+1 −1		test/unit-test/job_parser_utest.c
+1 −1		test/unit-test/jobs_utest.c
+1 −1		test/unit-test/ota_job_handler_utest.c
+47 −0		.github/.cSpellWords.txt
+37 −0		.github/CODEOWNERS
+22 −0		.github/pull_request_template.md
+61 −20		.github/workflows/ci.yml
+23 −0		.github/workflows/formatting.yml
+4 −4		.github/workflows/release.yml
+11 −0		CHANGELOG.md
+11 −6		MISRA.md
+63 −29		README.md
+31 −0		cspell.config.yaml
+180 −122		docs/doxygen/config.doxyfile
+0 −65		lexicon.txt
+10 −1		manifest.yml
+11 −9		sbom.spdx
+1 −1		source/backoff_algorithm.c
+1 −1		source/include/backoff_algorithm.h
+31 −18		test/CMakeLists.txt
+1 −1		test/unit-test/Unity
+1 −1		test/unit-test/backoff_algorithm_utest.c
+2 −2		test/unit-test/catch_assert.h
+3 −3		tools/coverity/README.md
+13 −16		tools/coverity/misra.config
+47 −0		.github/.cSpellWords.txt
+21 −0		.github/pull_request_template.md
+104 −27		.github/workflows/ci.yml
+23 −0		.github/workflows/formatting.yml
+3 −3		.github/workflows/release.yml
+23 −2		CHANGELOG.md
+130 −58		README.md
+31 −0		cspell.config.yaml
+182 −84		docs/doxygen/config.doxyfile
+2 −2		docs/doxygen/include/size_table.md
+0 −439		lexicon.txt
+1 −1		manifest.yml
+17 −15		sbom.spdx
+132 −55		source/core_mqtt.c
+1 −5		source/core_mqtt_serializer.c
+1 −3		source/core_mqtt_state.c
+10 −2		source/include/core_mqtt.h
+81 −1		source/include/core_mqtt_config_defaults.h
+0 −132		source/include/core_mqtt_default_logging.h
+1 −13		source/include/core_mqtt_serializer.h
+1 −1		source/include/core_mqtt_state.h
+6 −9		source/interface/transport_interface.h
+60 −48		test/CMakeLists.txt
+1 −7		test/cbmc/include/core_mqtt_config.h
+1 −1		test/cbmc/include/event_callback_stub.h
+1 −1		test/cbmc/include/get_time_stub.h
+1 −1		test/cbmc/include/mqtt_cbmc_state.h
+1 −1		test/cbmc/include/network_interface_stubs.h
+2 −1		test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c
+1 −1		test/cbmc/proofs/MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c
+1 −1		test/cbmc/proofs/MQTT_DeserializePublish/MQTT_DeserializePublish_harness.c
+1 −1		test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c
+6 −1		test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c
+1 −1		test/cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c
+1 −1		test/cbmc/proofs/MQTT_GetSubAckStatusCodes/MQTT_GetSubAckStatusCodes_harness.c
+1 −1		test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c
+1 −1		test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c
+1 −1		test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c
+1 −1		test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c
+2 −1		test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c
+1 −1		test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c
+1 −1		test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c
+1 −1		test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c
+1 −1		test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c
+1 −1		test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c
+1 −1		test/cbmc/proofs/MQTT_SerializePublish/MQTT_SerializePublish_harness.c
+1 −1		test/cbmc/proofs/MQTT_SerializePublishHeader/MQTT_SerializePublishHeader_harness.c
+1 −1		test/cbmc/proofs/MQTT_SerializeSubscribe/MQTT_SerializeSubscribe_harness.c
+1 −1		test/cbmc/proofs/MQTT_SerializeUnsubscribe/MQTT_SerializeUnsubscribe_harness.c
+2 −1		test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c
+2 −1		test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c
+74 −0		test/cbmc/proofs/lib/print_tool_versions.py
+57 −6		test/cbmc/proofs/lib/summarize.py
+1 −1		test/cbmc/sources/mqtt_cbmc_state.c
+1 −1		test/cbmc/stubs/event_callback_stub.c
+1 −1		test/cbmc/stubs/get_time_stub.c
+1 −1		test/cbmc/stubs/memmove.c
+1 −1		test/cbmc/stubs/network_interface_stubs.c
+36 −0		test/unit-test/cmock_opaque_types.h
+3 −7		test/unit-test/core_mqtt_config.h
+13 −6		test/unit-test/core_mqtt_serializer_utest.c
+6 −6		test/unit-test/core_mqtt_state_utest.c
+132 −2		test/unit-test/core_mqtt_utest.c
+1 −1		test/unit-test/logging/logging_levels.h
+1 −1		test/unit-test/logging/logging_stack.h
+2 −0		tools/cmock/project.yml
+22 −25		tools/coverity/misra.config
+15 −0		src/mqtt/mqtt_test.c
+3 −0		src/pkcs11/README.md
+29 −29		src/pkcs11/core_pkcs11_test.c
+1 −1		src/pkcs11/dev_mode_key_provisioning/dev_mode_key_provisioning.c
+30 −23		src/pkcs11/rsa_test_credentials.h
+4 −1		tools/echo_server/README.md
+2 −1		tools/echo_server/config.json
+202 −140		tools/echo_server/echo_server.go
+4 −1		version-mappings.yml