| /CoreMQTT-Agent-v1.1.0/test/cbmc/include/ |
| HD | core_mqtt_config.h | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
37 * @brief Determines the maximum number of MQTT PUBLISH messages, pending
39 * direction of messages, separately.
43 * client must maintain information about their state. The value of this
45 * context maintains, separately, for both incoming and outgoing direction of
[all …]
|
| HD | incoming_publish_callback_stub.h | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
36 * @param[in] pMqttAgentContext The context of the MQTT agent.
37 * @param[in] packetId The packet ID of the received publish.
|
| HD | get_time_stub.h | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| /CoreMQTT-Agent-v1.1.0/ |
| HD | LICENSE | 3 Permission is hereby granted, free of charge, to any person obtaining a copy
4 of this software and associated documentation files (the "Software"), to deal
7 copies of the Software, and to permit persons to whom the Software is
11 copies or substantial portions of the Software.
13 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
14 IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
18 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
| HD | CODE_OF_CONDUCT.md | 1 ## Code of Conduct
2 This project has adopted the [Amazon Open Source Code of Conduct](https://aws.github.io/code-of-con…
3 For more information see the [Code of Conduct FAQ](https://aws.github.io/code-of-conduct-faq) or co…
|
| /CoreMQTT-Agent-v1.1.0/test/unit-test/logging/ |
| HD | logging_levels.h | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
46 * of #LOG_ERROR, #LOG_WARN, #LOG_INFO or #LOG_DEBUG.
54 * abnormal event that may be indicative of an error. Libraries continue
58 * of #LOG_WARN, #LOG_INFO or #LOG_DEBUG.
65 * These messages describe normal execution of a library. They provide
[all …]
|
| /CoreMQTT-Agent-v1.1.0/test/unit-test/config/ |
| HD | core_mqtt_config.h | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
46 * default values of config macros defined in core_mqtt_config_defaults.h file.
56 * @brief Determines the maximum number of MQTT PUBLISH messages, pending
58 * direction of messages, separately.
62 * client must maintain information about their state. The value of this
[all …]
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/ |
| HD | get_time_stub.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
25 * @brief A stub to mock the retrieval of current time.
39 * a large number of times making the proof execution very long. */ in GetCurrentTimeStub()
|
| HD | incoming_publish_callback_stub.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| HD | agent_command_pool_stubs.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Terminate/ |
| HD | MQTTAgent_Terminate_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
39 * non deterministic values for the members of MQTTAgentCommandInfo_t type in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ProcessLoop/ |
| HD | MQTTAgent_ProcessLoop_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
38 * non deterministic values for the members of MQTTAgentCommandInfo_t type in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Ping/ |
| HD | MQTTAgent_Ping_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
38 * non deterministic values for the members of MQTTAgentCommandInfo_t in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Disconnect/ |
| HD | MQTTAgent_Disconnect_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_CommandLoop/ |
| HD | MQTTAgent_CommandLoop_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Publish/ |
| HD | MQTTAgent_Publish_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
40 * members of MQTTAgentCommandInfo_t and MQTTPublishInfo_t type will be in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Unsubscribe/ |
| HD | MQTTAgent_Unsubscribe_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
40 * of MQTTAgentCommandInfo_t and MQTTAgentSubscribeArgs_t type will be sufficient in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Subscribe/ |
| HD | MQTTAgent_Subscribe_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
40 * of MQTTAgentCommandInfo_t and MQTTAgentSubscribeArgs_t type will be sufficient in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ResumeSession/ |
| HD | MQTTAgent_ResumeSession_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_CancelAll/ |
| HD | MQTTAgent_CancelAll_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Disconnect/ |
| HD | MQTTAgentCommand_Disconnect_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/ |
| HD | MQTTAgentCommand_ProcessLoop_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Ping/ |
| HD | MQTTAgentCommand_Ping_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Init/ |
| HD | MQTTAgent_Init_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Connect/ |
| HD | MQTTAgent_Connect_harness.c | 5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
