6 files changed
+10
-10
lines changed- .github/.cSpellWords.txt+47
- .github/pull_request_template.md+21
- .github/workflows/ci.yml+104-27
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+136-22
- CHANGELOG.md+29-2
- README.md+130-58
- cspell.config.yaml+31
- docs/doxygen/config.doxyfile+182-84
- docs/doxygen/include/size_table.md+2-2
- lexicon.txt-439
- manifest.yml+1-1
- sbom.spdx+18-16
- source/core_mqtt.c+132-55
- source/core_mqtt_serializer.c+1-5
- source/core_mqtt_state.c+1-3
- source/include/core_mqtt.h+13-2
- source/include/core_mqtt_config_defaults.h+81-1
- source/include/core_mqtt_default_logging.h-132
- source/include/core_mqtt_serializer.h+1-13
- 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+1-1
- test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c+2-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+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/lib/print_tool_versions.py+74
- test/cbmc/proofs/lib/summarize.py+57-6
- 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-7
- test/unit-test/core_mqtt_serializer_utest.c+13-6
- test/unit-test/core_mqtt_state_utest.c+6-6
- test/unit-test/core_mqtt_utest.c+132-2
- test/unit-test/logging/logging_levels.h+1-1
- test/unit-test/logging/logging_stack.h+1-1
- tools/cmock/project.yml+2
- tools/coverity/misra.config+22-25
- .github/.cSpellWords.txt+31
- .github/CODEOWNERS+37
- .github/pull_request_template.md+20
- .github/workflows/ci.yml+73-27
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+6-5
- CHANGELOG.md+12
- README.md+82-33
- cspell.config.yaml+31
- docs/doxygen/code_examples/example_sntp_client_posix.c+1-1
- docs/doxygen/config.doxyfile+182-84
- docs/doxygen/include/size_table.md+4-4
- lexicon.txt-262
- manifest.yml+10-1
- sbom.spdx+15-13
- source/core_sntp_client.c+72-27
- source/core_sntp_serializer.c+11-9
- source/include/core_sntp_client.h+1-1
- source/include/core_sntp_config_defaults.h+1-1
- source/include/core_sntp_serializer.h+5-5
- test/CMakeLists.txt+36-19
- test/cbmc/include/core_sntp_cbmc_state.h+1-1
- test/cbmc/include/core_sntp_config.h+1-1
- test/cbmc/include/core_sntp_stubs.h+5-2
- test/cbmc/proofs/Sntp_CalculatePollInterval/README.md+1-1
- test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c+1-1
- test/cbmc/proofs/Sntp_ConvertToUnixTime/README.md+1-1
- test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c+1-1
- test/cbmc/proofs/Sntp_DeserializeResponse/README.md+1-1
- test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c+1-1
- test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c+1-1
- test/cbmc/proofs/Sntp_ReceiveTimeResponse/README.md+1-1
- test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c+1-1
- test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c+1-1
- test/cbmc/proofs/Sntp_SerializeRequest/README.md+1-1
- test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c+1-1
- test/cbmc/proofs/lib/print_tool_versions.py+74
- test/cbmc/proofs/lib/summarize.py+57-6
- test/cbmc/sources/core_sntp_cbmc_state.c+1-1
- test/cbmc/stubs/core_sntp_stubs.c+3-2
- test/unit-test/CMock+1-1
- test/unit-test/core_sntp_client_utest.c+7-1
- test/unit-test/core_sntp_config.h+1-1
- test/unit-test/core_sntp_serializer_utest.c+4-1
- tools/coverity/misra.config+15-18
- .github/.cSpellWords.txt+47
- .github/CODEOWNERS+37
- .github/pull_request_template.md+22
- .github/workflows/ci.yml+61-20
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+4-4
- CHANGELOG.md+11
- MISRA.md+11-6
- README.md+63-29
- cspell.config.yaml+31
- docs/doxygen/config.doxyfile+180-122
- lexicon.txt-65
- manifest.yml+10-1
- sbom.spdx+11-9
- source/backoff_algorithm.c+1-1
- source/include/backoff_algorithm.h+1-1
- test/CMakeLists.txt+31-18
- test/unit-test/Unity+1-1
- test/unit-test/backoff_algorithm_utest.c+1-1
- test/unit-test/catch_assert.h+2-2
- tools/coverity/README.md+3-3
- tools/coverity/misra.config+13-16
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
88 | 88 | | |
89 | 89 | | |
90 | 90 | | |
91 | | - | |
| 91 | + | |
92 | 92 | | |
93 | 93 | | |
94 | 94 | | |
| |||
97 | 97 | | |
98 | 98 | | |
99 | 99 | | |
100 | | - | |
| 100 | + | |
101 | 101 | | |
102 | 102 | | |
103 | 103 | | |
| |||
115 | 115 | | |
116 | 116 | | |
117 | 117 | | |
118 | | - | |
| 118 | + | |
119 | 119 | | |
120 | 120 | | |
121 | 121 | | |
| |||
124 | 124 | | |
125 | 125 | | |
126 | 126 | | |
127 | | - | |
| 127 | + | |
128 | 128 | | |
129 | 129 | | |
130 | 130 | | |
| |||
169 | 169 | | |
170 | 170 | | |
171 | 171 | | |
172 | | - | |
| 172 | + | |
173 | 173 | | |
174 | 174 | | |
175 | 175 | | |
| |||
0 commit comments