File tree
15 files changed
+31
-21
lines changed- Middleware/FreeRTOS
- tls_freertos
- examples
- common/mqtt_agent
- evkbmimxrt1060
- defender/board
- pubsub/board
- shadow/board
- test
- board
- idt_config
- linux
- mac
- windows
15 files changed
+31
-21
lines changedLines changed: 12 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
1 | 13 |
| |
2 | 14 |
| |
3 | 15 |
| |
|
- CHANGELOG.md+6
- MISRA.md+1-1
- README.md+4-4
- docs/doxygen/config.doxyfile+1-1
- docs/doxygen/include/size_table.md+2-2
- manifest.yml+1-1
- sbom.spdx+14-14
- source/core_mqtt.c+27-13
- source/core_mqtt_serializer.c+1-1
- source/core_mqtt_state.c+1-1
- source/include/core_mqtt.h+2-2
- source/include/core_mqtt_config_defaults.h+1-1
- source/include/core_mqtt_default_logging.h+1-1
- source/include/core_mqtt_serializer.h+1-1
- source/include/core_mqtt_state.h+1-1
- source/interface/transport_interface.h+1-1
- 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+1-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+1-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+1-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+1-1
- test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c+1-1
- test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c+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+1-1
- test/unit-test/core_mqtt_config.h+2-2
- test/unit-test/core_mqtt_serializer_utest.c+1-1
- test/unit-test/core_mqtt_state_utest.c+1-1
- test/unit-test/core_mqtt_utest.c+428-1
- test/unit-test/logging/logging_levels.h+1-1
- test/unit-test/logging/logging_stack.h+1-1
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
858 | 858 |
| |
859 | 859 |
| |
860 | 860 |
| |
861 |
| - | |
862 | 861 |
| |
863 | 862 |
| |
864 | 863 |
| |
|
Lines changed: 0 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
515 | 515 |
| |
516 | 516 |
| |
517 | 517 |
| |
518 |
| - | |
519 | 518 |
| |
520 | 519 |
| |
521 | 520 |
| |
| |||
535 | 534 |
| |
536 | 535 |
| |
537 | 536 |
| |
538 |
| - | |
539 | 537 |
| |
540 | 538 |
| |
541 | 539 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
340 | 340 |
| |
341 | 341 |
| |
342 | 342 |
| |
| 343 | + | |
343 | 344 |
| |
344 | 345 |
| |
345 | 346 |
| |
| |||
384 | 385 |
| |
385 | 386 |
| |
386 | 387 |
| |
| 388 | + | |
387 | 389 |
| |
388 | 390 |
| |
389 | 391 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
340 | 340 |
| |
341 | 341 |
| |
342 | 342 |
| |
| 343 | + | |
343 | 344 |
| |
344 | 345 |
| |
345 | 346 |
| |
| |||
384 | 385 |
| |
385 | 386 |
| |
386 | 387 |
| |
| 388 | + | |
387 | 389 |
| |
388 | 390 |
| |
389 | 391 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
340 | 340 |
| |
341 | 341 |
| |
342 | 342 |
| |
| 343 | + | |
343 | 344 |
| |
344 | 345 |
| |
345 | 346 |
| |
| |||
384 | 385 |
| |
385 | 386 |
| |
386 | 387 |
| |
| 388 | + | |
387 | 389 |
| |
388 | 390 |
| |
389 | 391 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
340 | 340 |
| |
341 | 341 |
| |
342 | 342 |
| |
| 343 | + | |
343 | 344 |
| |
344 | 345 |
| |
345 | 346 |
| |
| |||
384 | 385 |
| |
385 | 386 |
| |
386 | 387 |
| |
| 388 | + | |
387 | 389 |
| |
388 | 390 |
| |
389 | 391 |
| |
|
Lines changed: 1 addition & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
50 | 50 |
| |
51 | 51 |
| |
52 | 52 |
| |
53 |
| - | |
54 |
| - | |
55 |
| - | |
56 |
| - | |
57 |
| - | |
58 |
| - | |
59 |
| - | |
60 | 53 |
| |
61 | 54 |
| |
62 | 55 |
| |
| |||
253 | 246 |
| |
254 | 247 |
| |
255 | 248 |
| |
256 |
| - | |
| 249 | + | |
257 | 250 |
| |
258 | 251 |
| |
259 | 252 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
| 2 | + | |
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
| |||
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
19 |
| - | |
| 19 | + | |
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
| |||
94 | 94 |
| |
95 | 95 |
| |
96 | 96 |
| |
97 |
| - | |
| 97 | + | |
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
|
0 commit comments