| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_stubs.c | 265 void * pvBuffer, in RecvFromStub() argument
288 *( ( uint8_t ** ) pvBuffer ) = pucUDPBuffer; in RecvFromStub()
296 void * pvBuffer, in FreeRTOS_recvfrom_Generic() argument
305 *( ( uint8_t ** ) pvBuffer ) = ucGenericPtr; in FreeRTOS_recvfrom_Generic()
312 void * pvBuffer, in FreeRTOS_recvfrom_Generic_NullBuffer() argument
319 pvBuffer = NULL; in FreeRTOS_recvfrom_Generic_NullBuffer()
325 void * pvBuffer, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout() argument
334 *( ( uint8_t ** ) pvBuffer ) = pucUDPBuffer; in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout()
343 … void * pvBuffer, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage() argument
352 *( ( uint8_t ** ) pvBuffer ) = pucUDPBuffer; in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/prvRecvFrom_CopyPacket/ |
| D | RecvFrom_CopyPacket_harness.c | 22 void * pvBuffer,
30 uint8_t * pvBuffer; in harness() local
47 pvBuffer = safeMalloc( uxBufferLength ); in harness()
48 __CPROVER_assume( pvBuffer != NULL ); in harness()
49 …__CPROVER_file_local_FreeRTOS_Sockets_c_prvRecvFrom_CopyPacket( pucEthernetBuffer, pvBuffer, uxBuf… in harness()
53 __CPROVER_assume( pvBuffer == NULL ); in harness()
60 …le_local_FreeRTOS_Sockets_c_prvRecvFrom_CopyPacket( pucEthernetBuffer, &pvBuffer, uxBufferLength, … in harness()
63 __CPROVER_assert( pvBuffer != NULL, "pvBuffer can not be NULL" ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 76 void * pvBuffer; in test_FreeRTOS_recvfrom_NullSocket() local
82 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NullSocket()
95 void * pvBuffer; in test_FreeRTOS_recvfrom_TCPSocket() local
107 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_TCPSocket()
120 void * pvBuffer; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() local
136 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
149 void * pvBuffer; in test_FreeRTOS_recvfrom_NonBlocking() local
165 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlocking()
178 void * pvBuffer; in test_FreeRTOS_recvfrom_NonBlockingFlagSet() local
193 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
[all …]
|
| D | FreeRTOS_Sockets_TCP_API_utest.c | 62 const void * pvBuffer,
372 uint8_t pvBuffer[ 1500 ]; in test_FreeRTOS_recv_InvalidValues() local
380 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
384 xReturn = FreeRTOS_recv( NULL, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
390 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
407 uint8_t pvBuffer[ 1500 ]; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
415 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_NotConnectedAndNoMemory()
423 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_NotConnectedAndNoMemory()
434 uint8_t pvBuffer[ 1500 ]; in test_FreeRTOS_recv_EstablishedConnection_NoWait() local
446 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_EstablishedConnection_NoWait()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_UDP_API_utest.c | 59 char pvBuffer[ ipconfigTCP_MSS ]; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_UseTempDestinationAddress() local
67 …lResult = FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, &xDestinationAddress, xDe… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_UseTempDestinationAddress()
80 char pvBuffer[ ipconfigTCP_MSS ]; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv6DestinationAddress() local
88 …lResult = FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, &xDestinationAddress, xDe… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv6DestinationAddress()
101 char pvBuffer[ ipconfigTCP_MSS ]; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv4DestinationAddress() local
109 …lResult = FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, &xDestinationAddress, xDe… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv4DestinationAddress()
122 char pvBuffer[ ipconfigTCP_MSS ]; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_NullDestinationAddress() local
127 …catch_assert( FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, NULL, xDestinationAdd… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_NullDestinationAddress()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxUDPPayloadBuffer_to_NetworkBuffer/ |
| D | pxUDPPayloadBuffer_to_NetworkBuffer_harness.c | 44 …* __CPROVER_file_local_FreeRTOS_IP_Utils_c_prvPacketBuffer_to_NetworkBuffer( const void * pvBuffer, in __CPROVER_file_local_FreeRTOS_IP_Utils_c_prvPacketBuffer_to_NetworkBuffer() argument
47 __CPROVER_assert( pvBuffer != NULL, "pvBuffer shouldn't be NULL" ); in __CPROVER_file_local_FreeRTOS_IP_Utils_c_prvPacketBuffer_to_NetworkBuffer()
55 void * pvBuffer; in harness() local
80 …pvBuffer = &pxNetworkBuffer->pucEthernetBuffer[ ipconfigBUFFER_PADDING + sizeof( UDPPacket_IPv6_t … in harness()
85 … pvBuffer = &pxNetworkBuffer->pucEthernetBuffer[ ipconfigBUFFER_PADDING + sizeof( UDPPacket_t ) ]; in harness()
90 ( void ) pxUDPPayloadBuffer_to_NetworkBuffer( pvBuffer ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 120 void * pvBuffer, in FreeRTOS_recvfrom() argument
135 __CPROVER_assert( pvBuffer != NULL, in FreeRTOS_recvfrom()
180 *( ( uint8_t ** ) pvBuffer ) = buffer; in FreeRTOS_recvfrom()
190 const void * pvBuffer, in FreeRTOS_sendto() argument
198 __CPROVER_assert( pvBuffer != NULL, in FreeRTOS_sendto()
233 void FreeRTOS_ReleaseUDPPayloadBuffer( void * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() argument
235 __CPROVER_assert( pvBuffer != NULL, in FreeRTOS_ReleaseUDPPayloadBuffer()
237 __CPROVER_assert( __CPROVER_POINTER_OFFSET( pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer()
241 free( pvBuffer - sizeof( UDPPacket_t ) ); in FreeRTOS_ReleaseUDPPayloadBuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 136 void FreeRTOS_ReleaseUDPPayloadBuffer( void * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() argument
138 __CPROVER_assert( pvBuffer != NULL, in FreeRTOS_ReleaseUDPPayloadBuffer()
147 void * pvBuffer, in FreeRTOS_recvfrom() argument
157 __CPROVER_assert( pvBuffer != NULL, in FreeRTOS_recvfrom()
162 *( ( void ** ) pvBuffer ) = ( void * ) &xDHCPMessage; in FreeRTOS_recvfrom()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | DHCPProcessEndPoint_harness.c | 129 void FreeRTOS_ReleaseUDPPayloadBuffer( void * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() argument
131 __CPROVER_assert( pvBuffer != NULL, in FreeRTOS_ReleaseUDPPayloadBuffer()
135 free( ( ( ( uint8_t * ) pvBuffer ) - ( ipUDP_PAYLOAD_OFFSET_IPv4 + ipIP_TYPE_OFFSET ) ) ); in FreeRTOS_ReleaseUDPPayloadBuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 132 void * pvBuffer, in FreeRTOS_recvfrom() argument
143 __CPROVER_assert( pvBuffer != NULL, "FreeRTOS precondition: pvBuffer != NULL" ); in FreeRTOS_recvfrom()
148 *( ( void ** ) pvBuffer ) = ( void * ) &xDHCPMessage; in FreeRTOS_recvfrom()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSTreatNBNS/ |
| D | DNS_TreatNBNS_harness.c | 43 NetworkBufferDescriptor_t * pxUDPPayloadBuffer_to_NetworkBuffer( const void * pvBuffer ) in pxUDPPayloadBuffer_to_NetworkBuffer() argument
45 __CPROVER_assert( pvBuffer != NULL, "Precondition: pvBuffer != NULL" ); in pxUDPPayloadBuffer_to_NetworkBuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Sockets.h | 243 const void * pvBuffer,
251 void * pvBuffer,
314 const void * pvBuffer,
320 void * pvBuffer,
334 void const * pvBuffer,
|
| D | FreeRTOS_IP_Utils.h | 91 NetworkBufferDescriptor_t * pxPacketBuffer_to_NetworkBuffer( const void * pvBuffer );
|
| D | FreeRTOS_IP.h | 379 void FreeRTOS_ReleaseUDPPayloadBuffer( void const * pvBuffer );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IP_Utils.c | 116 static NetworkBufferDescriptor_t * prvPacketBuffer_to_NetworkBuffer( const void * pvBuffer,
308 static NetworkBufferDescriptor_t * prvPacketBuffer_to_NetworkBuffer( const void * pvBuffer, in prvPacketBuffer_to_NetworkBuffer() argument
314 if( pvBuffer == NULL ) in prvPacketBuffer_to_NetworkBuffer()
325 uxBuffer = void_ptr_to_uintptr( pvBuffer ); in prvPacketBuffer_to_NetworkBuffer()
702 NetworkBufferDescriptor_t * pxPacketBuffer_to_NetworkBuffer( const void * pvBuffer ) in pxPacketBuffer_to_NetworkBuffer() argument
704 return prvPacketBuffer_to_NetworkBuffer( pvBuffer, 0U ); in pxPacketBuffer_to_NetworkBuffer()
717 NetworkBufferDescriptor_t * pxUDPPayloadBuffer_to_NetworkBuffer( const void * pvBuffer ) in pxUDPPayloadBuffer_to_NetworkBuffer() argument
721 if( pvBuffer == NULL ) in pxUDPPayloadBuffer_to_NetworkBuffer()
739 uxTypeOffset = void_ptr_to_uintptr( pvBuffer ); in pxUDPPayloadBuffer_to_NetworkBuffer()
775 pxResult = prvPacketBuffer_to_NetworkBuffer( pvBuffer, uxOffset ); in pxUDPPayloadBuffer_to_NetworkBuffer()
|
| D | FreeRTOS_Sockets.c | 250 void * pvBuffer,
261 const void * pvBuffer,
342 void * pvBuffer,
348 const void * pvBuffer,
1208 void * pvBuffer, in prvRecvFrom_CopyPacket() argument
1229 ( void ) memcpy( pvBuffer, pvCopySource, ( size_t ) lReturn ); in prvRecvFrom_CopyPacket()
1237 *( ( void ** ) pvBuffer ) = ( void * ) pucEthernetBuffer; in prvRecvFrom_CopyPacket()
1266 void * pvBuffer, in FreeRTOS_recvfrom() argument
1335 …CopyPacket( &( pxNetworkBuffer->pucEthernetBuffer[ uxPayloadOffset ] ), pvBuffer, uxBufferLength, … in FreeRTOS_recvfrom()
1486 const void * pvBuffer, in prvSendTo_ActualSend() argument
[all …]
|
| D | FreeRTOS_DNS.c | 273 void * pvBuffer; in pxNew_AddrInfo() local
277 pvBuffer = pvPortMalloc( sizeof( *pxAddrInfo ) ); in pxNew_AddrInfo()
279 if( pvBuffer != NULL ) in pxNew_AddrInfo()
281 pxAddrInfo = ( struct freertos_addrinfo * ) pvBuffer; in pxNew_AddrInfo()
316 vPortFree( pvBuffer ); in pxNew_AddrInfo()
|
| D | FreeRTOS_IP.c | 1045 void FreeRTOS_ReleaseUDPPayloadBuffer( void const * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() argument
1049 pxBuffer = pxUDPPayloadBuffer_to_NetworkBuffer( pvBuffer ); in FreeRTOS_ReleaseUDPPayloadBuffer()
1218 void const * pvBuffer, in FreeRTOS_ReleaseTCPPayloadBuffer() argument
1227 configASSERT( pucData == ( uint8_t * ) pvBuffer ); in FreeRTOS_ReleaseTCPPayloadBuffer()
1232 if( ( pucData == pvBuffer ) && ( uxBytesAvailable >= ( size_t ) xByteCount ) ) in FreeRTOS_ReleaseTCPPayloadBuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/prvPacketBuffer_to_NetworkBuffer/ |
| D | prvPacketBuffer_to_NetworkBuffer_harness.c | 40 …* __CPROVER_file_local_FreeRTOS_IP_Utils_c_prvPacketBuffer_to_NetworkBuffer( const void * pvBuffer,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | Sockets_DiffConfig_list_macros.h | 106 NetworkBufferDescriptor_t * pxUDPPayloadBuffer_to_NetworkBuffer( const void * pvBuffer );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | Sockets_DiffConfig1_list_macros.h | 106 NetworkBufferDescriptor_t * pxUDPPayloadBuffer_to_NetworkBuffer( const void * pvBuffer );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | x_emacpsif_dma.c | 164 void * pvBuffer = pxDMA_tx_buffers[ tail ]; in emacps_check_tx() local
167 if( pvBuffer != NULL ) in emacps_check_tx()
170 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pvBuffer ); in emacps_check_tx()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetifBackendLibslirp.c | 118 static slirp_ssize_t xSlirp_WriteCallback( const void * pvBuffer,
412 static slirp_ssize_t xSlirp_WriteCallback( const void * pvBuffer, in xSlirp_WriteCallback() argument
436 pvBuffer, in xSlirp_WriteCallback()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/ |
| D | x_emacpsif_dma.c | 164 void * pvBuffer = pxDMA_tx_buffers[ xEMACIndex ][ tail ]; in emacps_check_tx() local
167 if( pvBuffer != NULL ) in emacps_check_tx()
170 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pvBuffer ); in emacps_check_tx()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 77 extern NetworkBufferDescriptor_t * prvPacketBuffer_to_NetworkBuffer( const void * pvBuffer,
276 const void * pvBuffer = NULL; in test_prvPacketBuffer_to_NetworkBuffer_NULLParam() local
279 pxNetworkBuffer = prvPacketBuffer_to_NetworkBuffer( pvBuffer, uxOffset ); in test_prvPacketBuffer_to_NetworkBuffer_NULLParam()
291 const void * pvBuffer; in test_prvPacketBuffer_to_NetworkBuffer_Unalligned() local
297 pvBuffer = ( const void * ) ( uxAddrOfNetBuffer + uxOffset + ipBUFFER_PADDING + 1 ); in test_prvPacketBuffer_to_NetworkBuffer_Unalligned()
299 pxNetworkBuffer = prvPacketBuffer_to_NetworkBuffer( pvBuffer, uxOffset ); in test_prvPacketBuffer_to_NetworkBuffer_Unalligned()
311 const void * pvBuffer; in test_prvPacketBuffer_to_NetworkBuffer_Alligned() local
335 const void * pvBuffer; in test_pxUDPPayloadBuffer_to_NetworkBuffer() local
|
