Commit fda472b
Update the coreMQTT submodule pointer (FreeRTOS#1331)
* Update the coreMQTT submodule pointer
* [coreMQTT Version Update] Include core_mqtt_config.h in mqtt helper files
* Update the coreMQTT-Agent Submodule pointer to the updated fork branch
* Update manifest.yml file
* Add readme for OTA demos transitioning
* Update the pointer to coreMQTT-Agent to the upstream main and update manifest file
* Update manifest file
---------
Co-authored-by: Rahul Kar <[email protected]>1 parent 8eba8b5 commit fda472b
File tree
6 files changed
+12
-6
lines changed- FreeRTOS-Plus
- Demo/AWS
- Mqtt_Demo_Helpers
- Ota_Windows_Simulator
- Source
- Application-Protocols
6 files changed
+12
-6
lines changedLines changed: 1 addition & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
49 | 49 | | |
50 | 50 | | |
51 | 51 | | |
| 52 | + | |
52 | 53 | | |
53 | 54 | | |
54 | 55 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
- .github/.cSpellWords.txt+8
- .github/workflows/ci.yml+6-3
- .github/workflows/release.yml+196-36
- CHANGELOG.md+33
- README.md+34-10
- docs/doxygen/config.doxyfile+2-2
- docs/doxygen/include/size_table.md+6-6
- manifest.yml+1-1
- source/core_mqtt.c+567-196
- source/core_mqtt_serializer.c+38-15
- source/core_mqtt_state.c+10-18
- source/include/core_mqtt.h+245-4
- source/include/core_mqtt_config_defaults.h+81-1
- source/include/core_mqtt_default_logging.h-132
- source/include/core_mqtt_serializer.h+35-27
- source/include/core_mqtt_state.h+1-1
- source/interface/transport_interface.h+6-9
- test/CMakeLists.txt+60-48
- test/cbmc/include/core_mqtt_config.h+1-7
- 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+1-1
- test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c+2-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+1-1
- test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c+6-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+10-1
- test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c+2-1
- test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c+10-1
- test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c+2-2
- test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c+1-1
- test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c+2-2
- test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c+2-2
- 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+1-1
- test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c+2-1
- test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c+2-1
- test/cbmc/proofs/Makefile.common+212-184
- 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+1-1
- test/unit-test/cmock_opaque_types.h+36
- test/unit-test/core_mqtt_config.h+3-9
- test/unit-test/core_mqtt_serializer_utest.c+48-1
- test/unit-test/core_mqtt_state_utest.c+1-1
- test/unit-test/core_mqtt_utest.c+1.5k-81
- test/unit-test/logging/logging_levels.h+1-1
- test/unit-test/logging/logging_stack.h+2-8
- tools/cmock/coverage.cmake+8-7
- tools/cmock/create_test.cmake+17-15
- tools/cmock/project.yml+2-1
- tools/coverity/README.md+1-1
- tools/coverity/misra.config+22-25
Submodule coreMQTT-Agent updated 88 files
- .github/.cSpellWords.txt+178
- .github/workflows/ci.yml+109-23
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+51-18
- CHANGELOG.md+20
- MISRA.md+14-1
- README.md+45-4
- cspell.config.yaml+22
- docs/doxygen/config.doxyfile+1-1
- docs/doxygen/include/size_table.md+6-6
- lexicon.txt-290
- manifest.yml+13-3
- source/core_mqtt_agent.c+26-28
- source/core_mqtt_agent_command_functions.c+1-1
- source/dependency/coreMQTT+1-1
- source/include/core_mqtt_agent.h+3-3
- source/include/core_mqtt_agent_command_functions.h+1-1
- source/include/core_mqtt_agent_config_defaults.h+3-1
- source/include/core_mqtt_agent_default_logging.h+1-1
- source/include/core_mqtt_agent_message_interface.h+1-1
- test/CMakeLists.txt+62-47
- test/cbmc/include/agent_command_pool_stubs.h+1-1
- test/cbmc/include/agent_message_stubs.h+1-1
- test/cbmc/include/core_mqtt_config.h+1-1
- test/cbmc/include/get_time_stub.h+1-1
- test/cbmc/include/incoming_publish_callback_stub.h+1-1
- test/cbmc/include/mqtt_agent_cbmc_state.h+1-1
- test/cbmc/include/network_interface_stubs.h+1-1
- test/cbmc/proofs/MQTTAgentCommand_Connect/MQTTAgentCommand_Connect_harness.c+1-1
- test/cbmc/proofs/MQTTAgentCommand_Connect/README.md+2-2
- test/cbmc/proofs/MQTTAgentCommand_Disconnect/MQTTAgentCommand_Disconnect_harness.c+1-1
- test/cbmc/proofs/MQTTAgentCommand_Disconnect/README.md+1-1
- test/cbmc/proofs/MQTTAgentCommand_Ping/MQTTAgentCommand_Ping_harness.c+1-1
- test/cbmc/proofs/MQTTAgentCommand_Ping/README.md+1-1
- test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/MQTTAgentCommand_ProcessLoop_harness.c+1-1
- test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/README.md+1-1
- test/cbmc/proofs/MQTTAgentCommand_Publish/MQTTAgentCommand_Publish_harness.c+1-1
- test/cbmc/proofs/MQTTAgentCommand_Publish/README.md+1-1
- test/cbmc/proofs/MQTTAgentCommand_Subscribe/MQTTAgentCommand_Subscribe_harness.c+1-1
- test/cbmc/proofs/MQTTAgentCommand_Subscribe/README.md+1-1
- test/cbmc/proofs/MQTTAgentCommand_Terminate/MQTTAgentCommand_Terminate_harness.c+1-1
- test/cbmc/proofs/MQTTAgentCommand_Terminate/README.md+1-1
- test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/MQTTAgentCommand_Unsubscribe_harness.c+1-1
- test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/README.md+1-1
- test/cbmc/proofs/MQTTAgent_CancelAll/MQTTAgent_CancelAll_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_CancelAll/README.md+1-1
- test/cbmc/proofs/MQTTAgent_CommandLoop/MQTTAgent_CommandLoop_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_CommandLoop/README.md+1-1
- test/cbmc/proofs/MQTTAgent_Connect/MQTTAgent_Connect_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_Connect/README.md+1-1
- test/cbmc/proofs/MQTTAgent_Disconnect/MQTTAgent_Disconnect_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_Disconnect/README.md+1-1
- test/cbmc/proofs/MQTTAgent_Init/MQTTAgent_Init_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_Init/README.md+1-1
- test/cbmc/proofs/MQTTAgent_Ping/MQTTAgent_Ping_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_Ping/README.md+1-1
- test/cbmc/proofs/MQTTAgent_ProcessLoop/MQTTAgent_ProcessLoop_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_ProcessLoop/README.md+1-1
- test/cbmc/proofs/MQTTAgent_Publish/MQTTAgent_Publish_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_Publish/README.md+1-1
- test/cbmc/proofs/MQTTAgent_ResumeSession/MQTTAgent_ResumeSession_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_ResumeSession/README.md+1-1
- test/cbmc/proofs/MQTTAgent_Subscribe/MQTTAgent_Subscribe_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_Subscribe/README.md+1-1
- test/cbmc/proofs/MQTTAgent_Terminate/MQTTAgent_Terminate_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_Terminate/README.md+1-1
- test/cbmc/proofs/MQTTAgent_Unsubscribe/MQTTAgent_Unsubscribe_harness.c+1-1
- test/cbmc/proofs/MQTTAgent_Unsubscribe/README.md+1-1
- test/cbmc/sources/mqtt_agent_cbmc_state.c+2-1
- test/cbmc/stubs/agent_command_functions_stub.c+1-1
- test/cbmc/stubs/agent_command_pool_stubs.c+1-1
- test/cbmc/stubs/agent_message_stubs.c+1-1
- test/cbmc/stubs/core_mqtt_stubs.c+2-1
- test/cbmc/stubs/get_time_stub.c+1-1
- test/cbmc/stubs/incoming_publish_callback_stub.c+1-1
- test/cbmc/stubs/network_interface_stubs.c+1-1
- test/unit-test/CMakeLists.txt+4
- test/unit-test/CMock+1-1
- test/unit-test/cmock_opaque_types.h+36
- test/unit-test/config/core_mqtt_config.h+1-1
- test/unit-test/logging/logging_levels.h+1-1
- test/unit-test/logging/logging_stack.h+1-1
- test/unit-test/mqtt_agent_command_functions_utest.c+1-1
- test/unit-test/mqtt_agent_utest.c+59-1
- tools/cmock/coverage.cmake+4-3
- tools/cmock/create_test.cmake+15-10
- tools/cmock/project.yml+2-1
- tools/coverity/misra.config+28-22
Submodule corePKCS11 updated 75 files
- .github/.cSpellWords.txt+5
- .github/workflows/ci.yml+20-19
- .github/workflows/release.yml+4-4
- CHANGELOG.md+17
- README.md+5-11
- docs/doxygen/config.doxyfile+1-1
- docs/doxygen/include/size_table.md+5-5
- manifest.yml+1-1
- sbom.spdx+90
- source/core_pkcs11.c+38-47
- source/core_pki_utils.c+2-2
- source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c+2-2
- source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h+2-2
- source/include/core_pkcs11.h+2-2
- source/include/core_pkcs11_config_defaults.h+2-2
- source/include/core_pkcs11_pal.h+2-2
- source/include/core_pki_utils.h+2-2
- source/portable/mbedtls/core_pkcs11_mbedtls.c+213-28
- source/portable/os/core_pkcs11_pal_utils.c+2-2
- source/portable/os/core_pkcs11_pal_utils.h+2-2
- source/portable/os/freertos_winsim/core_pkcs11_pal.c+2-2
- source/portable/os/posix/core_pkcs11_pal.c+2-2
- test/CMakeLists.txt+1-1
- test/cbmc/include/core_pkcs11_config.h+2-2
- test/cbmc/include/mbedtls_config.h-20
- test/cbmc/include/pkcs11_interface_stubs.h+2-2
- test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c+2-2
- test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c+2-2
- test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c+2-2
- test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c+2-2
- test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c+2-2
- test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c+2-2
- test/cbmc/proofs/C_Finalize/C_Finalize_harness.c+2-2
- test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c+2-2
- test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c+2-2
- test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c+2-2
- test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c+2-2
- test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c+2-2
- test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c+2-2
- test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c+2-2
- test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c+2-2
- test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c+2-2
- test/cbmc/proofs/C_Initialize/C_Initialize_harness.c+2-2
- test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c+2-2
- test/cbmc/proofs/C_Sign/C_Sign_harness.c+2-2
- test/cbmc/proofs/C_SignInit/C_SignInit_harness.c+2-2
- test/cbmc/proofs/C_Verify/C_Verify_harness.c+2-2
- test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c+2-2
- test/cbmc/proofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c+2-2
- test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c+2-2
- test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c+2-2
- test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c+2-2
- test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c+2-2
- test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c+2-2
- test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c+2-2
- test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c+2-2
- test/cbmc/stubs/core_pkcs11_pal_stubs.c+2-2
- test/cbmc/stubs/core_pki_utils_stubs.c+2-2
- test/cbmc/stubs/mbedtls_stubs.c+2-2
- test/cbmc/stubs/pkcs11_interface_stubs.c+2-2
- test/include/core_pkcs11_config.h+2-2
- test/include/logging_levels.h+2-2
- test/include/logging_stack.h+2-2
- test/include/malloc_stub.h+2-2
- test/include/mock_osal.h+2-2
- test/mbedtls_integration/core_pkcs11_config.h+2-2
- test/mbedtls_integration/core_pkcs11_test_config.h+2-2
- test/mbedtls_integration/mbedtls_integration_test.c+3-3
- test/pkcs11_mbedtls_utest/core_pkcs11_mbedtls_utest.c+1.0k-97
- test/pkcs11_utils_utest/pkcs11_utils_utest.c+2-2
- test/wrapper_utest/core_pkcs11_utest.c+222-18
- tools/cmock.cmake+1-1
- tools/coverity/README.md+1-1
- tools/mbedtls.cmake+2-2
- tools/unity.cmake+1-1
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
43 | | - | |
| 43 | + | |
44 | 44 | | |
45 | 45 | | |
46 | 46 | | |
47 | 47 | | |
48 | 48 | | |
49 | 49 | | |
50 | | - | |
| 50 | + | |
51 | 51 | | |
52 | 52 | | |
53 | 53 | | |
54 | 54 | | |
55 | 55 | | |
56 | 56 | | |
57 | | - | |
| 57 | + | |
58 | 58 | | |
59 | 59 | | |
60 | 60 | | |
| |||
0 commit comments