Home
last modified time | relevance | path

Searched refs:pBuffer (Results 1 – 5 of 5) sorted by relevance

/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
Dnetwork_interface_stubs.c46 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()
Dagent_message_stubs.c89 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/
Dnetwork_interface_stubs.h43 void * pBuffer,
56 const void * pBuffer,
Dagent_message_stubs.h60 void * pBuffer,
/CoreMQTT-Agent-v1.1.0/test/cbmc/sources/
Dmqtt_agent_cbmc_state.c54 pFixedBuffer->pBuffer = malloc( pFixedBuffer->size ); in allocateMqttFixedBuffer()