Searched refs:pBuffer (Results 1 – 5 of 5) sorted by relevance
| /CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/ |
| D | network_interface_stubs.c | 46 void * pBuffer, in NetworkInterfaceReceiveStub() argument
49 __CPROVER_assert( pBuffer != NULL, in NetworkInterfaceReceiveStub()
52 __CPROVER_assert( __CPROVER_w_ok( pBuffer, bytesToRecv ), in NetworkInterfaceReceiveStub()
55 __CPROVER_havoc_object( pBuffer ); in NetworkInterfaceReceiveStub()
77 const void * pBuffer, in NetworkInterfaceSendStub() argument
80 __CPROVER_assert( pBuffer != NULL, in NetworkInterfaceSendStub()
|
| D | agent_message_stubs.c | 89 void * pBuffer, in AgentMessageRecvStub() argument
95 __CPROVER_assert( pBuffer != NULL, in AgentMessageRecvStub()
105 *( ( MQTTAgentCommand_t ** ) pBuffer ) = command; in AgentMessageRecvStub()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/include/ |
| D | network_interface_stubs.h | 43 void * pBuffer,
56 const void * pBuffer,
|
| D | agent_message_stubs.h | 60 void * pBuffer,
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/sources/ |
| D | mqtt_agent_cbmc_state.c | 54 pFixedBuffer->pBuffer = malloc( pFixedBuffer->size ); in allocateMqttFixedBuffer()
|
