| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 19 void * safeMalloc( size_t xWantedSize ) in safeMalloc() function
36 return safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in FreeRTOS_socket()
61 FreeRTOS_Socket_t * xRetSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in pxTCPSocketLookup()
65 xRetSocket->u.xTCP.txStream = safeMalloc( sizeof( StreamBuffer_t ) ); in pxTCPSocketLookup()
66 xRetSocket->u.xTCP.pxPeerSocket = safeMalloc( sizeof( StreamBuffer_t ) ); in pxTCPSocketLookup()
92 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in pxGetNetworkBufferWithDescriptor()
96 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
105 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
110 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/utility/ |
| D | memory_assignments.c | 8 void * safeMalloc( size_t xWantedSize ) in safeMalloc() function
16 FreeRTOS_Socket_t * pxSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
20 pxSocket->u.xTCP.rxStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
21 pxSocket->u.xTCP.txStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
22 pxSocket->u.xTCP.pxPeerSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
31 return safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in ensure_FreeRTOS_NetworkBuffer_is_allocated()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 31 void * safeMalloc( size_t xWantedSize ) in safeMalloc() function
46 return safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in pxUDPSocketLookup()
51 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
54 pxIsWaitingForARPResolution = safeMalloc( sizeof( BaseType_t ) ); in harness()
63 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( UDPPacket_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/ |
| D | vSocketWakeUpUser_harness.c | 141 pxSocket->pxUserWakeCallback = safeMalloc( sizeof( SocketWakeupCallback_t ) ); in harness()
143 pxSocket->pxSocketSet = safeMalloc( sizeof( struct xSOCKET_SET ) ); in harness()
147 pxSocket->pxSocketSet->xSelectGroup = safeMalloc( sizeof( struct EventGroupDef_t ) ); in harness()
153 pxSocket->pxUserSemaphore = safeMalloc( sizeof( xQUEUE ) ); in harness()
161 pxSocket->xEventGroup = safeMalloc( sizeof( struct EventGroupDef_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSlookup/ |
| D | DNSlookup_harness.c | 12 void * safeMalloc( size_t xWantedSize ) in safeMalloc() function
30 char * pcHostName = safeMalloc( len ); /* malloc is replaced by safeMalloc */ in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/ |
| D | DNSgetHostByName_cancel_harness.c | 22 void * safeMalloc( size_t xWantedSize ) /* Returns a NULL pointer if the wanted size is 0. */ in safeMalloc() function
62 char * pcHostName = safeMalloc( len ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 168 uint8_t * buffer = safeMalloc( buffer_size ); in FreeRTOS_recvfrom()
222 uint8_t * buffer = safeMalloc( size ); in FreeRTOS_GetUDPPayloadBuffer()
266 NetworkBufferDescriptor_t * desc = safeMalloc( sizeof( *desc ) ); in pxGetNetworkBufferWithDescriptor()
300 desc->pucEthernetBuffer = safeMalloc( size ); in pxGetNetworkBufferWithDescriptor()
|
| D | cbmc.c | 8 void * safeMalloc( size_t size ) in safeMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 56 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
111 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen + ipSIZE_OF_ETH_HEADER ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 30 FreeRTOS_Socket_t * pxSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in harness()
40 pxSocket->pxUserWakeCallback = safeMalloc( sizeof( SocketWakeupCallback_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 103 pxDNSBuf->pucPayloadBuffer = safeMalloc( len ); in DNS_ReadReply()
164 char * pcHostName = safeMalloc( len ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 55 struct freertos_sockaddr * pxBindAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| D | vSocketBind_harness.c | 57 struct freertos_sockaddr * pxBindAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 102 char * pcHostName = safeMalloc( len ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
| D | TCPHandleState_harness.c | 91 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/ |
| D | cbmc.h | 41 void * safeMalloc( size_t size );
|
