Home
last modified time | relevance | path

Searched refs:xSocket (Results 1 – 25 of 59) sorted by relevance

123

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c371 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_InvalidValues() local
376 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_recv_InvalidValues()
380 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
389 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_recv_InvalidValues()
390 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
395 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_recv_InvalidValues()
396 xReturn = FreeRTOS_recv( &xSocket, NULL, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
406 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
411 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_recv_NotConnectedAndNoMemory()
414 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_recv_NotConnectedAndNoMemory()
[all …]
DFreeRTOS_Sockets_GenericAPI_utest.c77 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure() local
83 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure()
85 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_SockSizeFailure()
93 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure_SockDependent() local
100 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
102 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
110 Socket_t xSocket; in test_FreeRTOS_socket_NoMemory() local
121 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_NoMemory()
123 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_NoMemory()
131 Socket_t xSocket; in test_FreeRTOS_socket_EventGroupCreationFailed() local
[all …]
DFreeRTOS_Sockets_privates_utest.c160 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundSetButNotBound() local
163 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvValidSocket_SocketBoundSetButNotBound()
165 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvValidSocket_SocketBoundSetButNotBound()
167 xReturn = prvValidSocket( &xSocket, xProtocol, xIsBound ); in test_prvValidSocket_SocketBoundSetButNotBound()
178 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundResetButBound() local
181 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvValidSocket_SocketBoundResetButBound()
183 xSocket.ucProtocol = xProtocol; in test_prvValidSocket_SocketBoundResetButBound()
185 xReturn = prvValidSocket( &xSocket, xProtocol, xIsBound ); in test_prvValidSocket_SocketBoundResetButBound()
196 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_InvalidProtocol() local
199 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvValidSocket_InvalidProtocol()
[all …]
DFreeRTOS_Sockets_UDP_API_utest.c75 Socket_t xSocket = NULL; in test_FreeRTOS_recvfrom_NullSocket() local
82 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NullSocket()
94 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_TCPSocket() local
101 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_TCPSocket()
103 xSocket->ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_recvfrom_TCPSocket()
105 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_TCPSocket()
107 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_TCPSocket()
119 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() local
126 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
128 xSocket->ucProtocol = FREERTOS_IPPROTO_UDP; in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/
DFreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c67 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress() local
76 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress()
78 xReturn = FreeRTOS_bind( &xSocket, &xAddress, xAddressLength ); in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress()
90 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress() local
99 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress()
101 xReturn = FreeRTOS_bind( &xSocket, &xAddress, xAddressLength ); in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress()
113 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress() local
122 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress()
124 xReturn = FreeRTOS_bind( &xSocket, &xAddress, xAddressLength ); in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress()
136 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_NullDestinationAddress() local
[all …]
DFreeRTOS_Sockets_DiffConfig2_UDP_API_utest.c58 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_UseTempDestinationAddress() local
67 …lResult = FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, &xDestinationAddress, xDe… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_UseTempDestinationAddress()
79 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv6DestinationAddress() local
88 …lResult = FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, &xDestinationAddress, xDe… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv6DestinationAddress()
100 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv4DestinationAddress() local
109 …lResult = FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, &xDestinationAddress, xDe… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv4DestinationAddress()
121 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_NullDestinationAddress() local
127 …catch_assert( FreeRTOS_sendto( xSocket, pvBuffer, uxTotalDataLength, xFlags, NULL, xDestinationAdd… in test_FreeRTOS_sendto_MoreDataThanUDPPayload_NullDestinationAddress()
DFreeRTOS_Sockets_DiffConfig2_TCP_API_utest.c96 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_GetIPType_IPv6HappyPath() local
98 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_GetIPType_IPv6HappyPath()
100 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_FreeRTOS_GetIPType_IPv6HappyPath()
102 xReturn = FreeRTOS_GetIPType( &xSocket ); in test_FreeRTOS_GetIPType_IPv6HappyPath()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c69 FreeRTOS_Socket_t xSocket, * pxSocket; variable
101 memset( &xSocket, 0, sizeof( xSocket ) ); in test_vSocketCloseNextTime_Not_Close_Socket()
103 vSocketCloseNextTime( &xSocket ); in test_vSocketCloseNextTime_Not_Close_Socket()
112 memset( &xSocket, 0, sizeof( xSocket ) ); in test_vSocketCloseNextTime_Not_Close_Same_Socket()
114 vSocketCloseNextTime( &xSocket ); in test_vSocketCloseNextTime_Not_Close_Same_Socket()
136 FreeRTOS_Socket_t xSocket = { 0 }; in test_vSocketListenNextTime() local
140 vSocketListenNextTime( &xSocket ); in test_vSocketListenNextTime()
142 TEST_ASSERT_EQUAL( &xSocket, xSocketToListen ); in test_vSocketListenNextTime()
151 FreeRTOS_Socket_t xSocket = { 0 }; in test_vSocketListenNextTime1() local
153 xSocketToListen = &xSocket; in test_vSocketListenNextTime1()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DFreeRTOS_TCP_IP_DiffConfig_utest.c64 FreeRTOS_Socket_t xSocket, * pxSocket; variable
81 static void HandleConnected( Socket_t xSocket, in HandleConnected() argument
84 TEST_ASSERT_EQUAL( xHandleConnectedSocket, xSocket ); in HandleConnected()
92 FreeRTOS_Socket_t xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1() local
95 memset( &xSocket, 0, sizeof( xSocket ) ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
97 xSocket.u.xTCP.eTCPState = eESTABLISHED; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
98 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
99 xSocket.u.xTCP.pxAckMessage = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
101 prvTCPAddTxData_Expect( &xSocket ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
104 …prvTCPReturnPacket_Expect( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_Sockets.h197 extern BaseType_t xSocketValid( const ConstSocket_t xSocket );
213 BaseType_t FreeRTOS_bind( Socket_t xSocket,
218 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket,
225 BaseType_t FreeRTOS_closesocket( Socket_t xSocket );
229 BaseType_t FreeRTOS_SignalSocket( Socket_t xSocket );
232 BaseType_t FreeRTOS_SignalSocketFromISR( Socket_t xSocket,
242 int32_t FreeRTOS_sendto( Socket_t xSocket,
250 int32_t FreeRTOS_recvfrom( const ConstSocket_t xSocket,
259 size_t FreeRTOS_GetLocalAddress( ConstSocket_t xSocket,
304 BaseType_t FreeRTOS_listen( Socket_t xSocket,
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/
DFreeRTOS_Sockets_DiffConfig_privates_utest.c67 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP() local
73 memset( &xSocket, 0, sizeof( xSocket ) ); in test_vSocketBind_TCP()
75 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCP()
77 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCP()
88 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP1() local
95 memset( &xSocket, 0, sizeof( xSocket ) ); in test_vSocketBind_TCP1()
97 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCP1()
101 listSET_LIST_ITEM_VALUE_Expect( &( xSocket.xBoundSocketListItem ), xBindAddress.sin_port ); in test_vSocketBind_TCP1()
105 vListInsertEnd_Expect( NULL, &( xSocket.xBoundSocketListItem ) ); in test_vSocketBind_TCP1()
108 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCP1()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/
DFreeRTOS_TCP_Transmission_IPv6_utest.c84 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_BufferNULL() local
89 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvTCPReturnPacket_IPV6_BufferNULL()
91 prvTCPReturnPacket_IPV6( &xSocket, pxDescriptor, ulLen, xReleaseAfterSend ); in test_prvTCPReturnPacket_IPV6_BufferNULL()
147 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_NoEP_Found() local
153 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvTCPReturnPacket_IPV6_NoEP_Found()
159 xSocket.pxEndPoint = NULL; in test_prvTCPReturnPacket_IPV6_NoEP_Found()
161 prvTCPReturnPacket_IPV6( &xSocket, pxDescriptor, ulLen, xReleaseAfterSend ); in test_prvTCPReturnPacket_IPV6_NoEP_Found()
171 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_NoEP_ReleaseAfterSend() local
177 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvTCPReturnPacket_IPV6_NoEP_ReleaseAfterSend()
186 prvTCPReturnPacket_IPV6( &xSocket, pxDescriptor, ulLen, xReleaseAfterSend ); in test_prvTCPReturnPacket_IPV6_NoEP_ReleaseAfterSend()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c63 Socket_t xSocket; in test_FreeRTOS_socket_TCPv6SocketLowMSS() local
88 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
90 TEST_ASSERT_EQUAL( ucSocket, xSocket ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
91 TEST_ASSERT_EQUAL( xSocket->xEventGroup, xEventGroup ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
92 TEST_ASSERT_EQUAL( xSocket->xReceiveBlockTime, ipconfigSOCK_DEFAULT_RECEIVE_BLOCK_TIME ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
93 TEST_ASSERT_EQUAL( xSocket->xSendBlockTime, ipconfigSOCK_DEFAULT_SEND_BLOCK_TIME ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
94 TEST_ASSERT_EQUAL( xSocket->ucSocketOptions, ( uint8_t ) FREERTOS_SO_UDPCKSUM_OUT ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
95 TEST_ASSERT_EQUAL( xSocket->ucProtocol, ( uint8_t ) xProtocol ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
96 TEST_ASSERT_EQUAL( xSocket->u.xTCP.usMSS, ( uint16_t ) ipconfigTCP_MSS ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
97 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxRxStreamSize, ( size_t ) ipconfigTCP_RX_BUFFER_LENGTH ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
[all …]
DFreeRTOS_Sockets_DiffConfig1_privates_utest.c55 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP() local
62 memset( &xSocket, 0, sizeof( xSocket ) ); in test_vSocketBind_TCP()
64 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCP()
66 catch_assert( vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ) ); in test_vSocketBind_TCP()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/
DFreeRTOS_UDP_IPv6_utest.c493 FreeRTOS_Socket_t xSocket; in test_xProcessReceivedUDPPacket_IPv6_SocketNeedND() local
497 memset( &xSocket, 0, sizeof( xSocket ) ); in test_xProcessReceivedUDPPacket_IPv6_SocketNeedND()
506 pxUDPSocketLookup_ExpectAndReturn( usDestPortNetworkEndian, &xSocket ); in test_xProcessReceivedUDPPacket_IPv6_SocketNeedND()
528 FreeRTOS_Socket_t xSocket; in test_xProcessReceivedUDPPacket_IPv6_SocketRecvHandlerFail() local
532 memset( &xSocket, 0, sizeof( xSocket ) ); in test_xProcessReceivedUDPPacket_IPv6_SocketRecvHandlerFail()
545 xSocket.u.xUDP.pxHandleReceive = xStubUDPReceiveHandler_Fail; in test_xProcessReceivedUDPPacket_IPv6_SocketRecvHandlerFail()
547 pxUDPSocketLookup_ExpectAndReturn( usDestPortNetworkEndian, &xSocket ); in test_xProcessReceivedUDPPacket_IPv6_SocketRecvHandlerFail()
570 FreeRTOS_Socket_t xSocket; in test_xProcessReceivedUDPPacket_IPv6_UDPListBufferFull() local
574 memset( &xSocket, 0, sizeof( xSocket ) ); in test_xProcessReceivedUDPPacket_IPv6_UDPListBufferFull()
587 xSocket.u.xUDP.pxHandleReceive = xStubUDPReceiveHandler_Pass; in test_xProcessReceivedUDPPacket_IPv6_UDPListBufferFull()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DNS_Networking.c46 BaseType_t DNS_BindSocket( Socket_t xSocket, in DNS_BindSocket() argument
56 xReturn = FreeRTOS_bind( xSocket, &xAddress, ( socklen_t ) sizeof( xAddress ) ); in DNS_BindSocket()
68 Socket_t xSocket; in DNS_CreateSocket() local
73 xSocket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in DNS_CreateSocket()
75 if( xSocketValid( xSocket ) == pdFALSE ) in DNS_CreateSocket()
78 xSocket = NULL; in DNS_CreateSocket()
85 …( void ) FreeRTOS_setsockopt( xSocket, 0, FREERTOS_SO_SNDTIMEO, &( uxWriteTimeOut_ticks ), sizeof(… in DNS_CreateSocket()
86 …( void ) FreeRTOS_setsockopt( xSocket, 0, FREERTOS_SO_RCVTIMEO, &( uxReadTimeOut_ticks ), sizeof( … in DNS_CreateSocket()
89 return xSocket; in DNS_CreateSocket()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/
DFreeRTOS_UDP_IPv4_utest.c645 FreeRTOS_Socket_t xSocket; in test_xProcessReceivedUDPPacket_IPv4_SocketNullEndpoint() local
649 memset( &xSocket, 0, sizeof( xSocket ) ); in test_xProcessReceivedUDPPacket_IPv4_SocketNullEndpoint()
659 pxUDPSocketLookup_ExpectAndReturn( usDestPortNetworkEndian, &xSocket ); in test_xProcessReceivedUDPPacket_IPv4_SocketNullEndpoint()
680 FreeRTOS_Socket_t xSocket; in test_xProcessReceivedUDPPacket_IPv4_SocketEndPointZeroIP() local
684 memset( &xSocket, 0, sizeof( xSocket ) ); in test_xProcessReceivedUDPPacket_IPv4_SocketEndPointZeroIP()
697 pxUDPSocketLookup_ExpectAndReturn( usDestPortNetworkEndian, &xSocket ); in test_xProcessReceivedUDPPacket_IPv4_SocketEndPointZeroIP()
718 FreeRTOS_Socket_t xSocket; in test_xProcessReceivedUDPPacket_IPv4_SocketNeedARP() local
722 memset( &xSocket, 0, sizeof( xSocket ) ); in test_xProcessReceivedUDPPacket_IPv4_SocketNeedARP()
735 pxUDPSocketLookup_ExpectAndReturn( usDestPortNetworkEndian, &xSocket ); in test_xProcessReceivedUDPPacket_IPv4_SocketNeedARP()
758 FreeRTOS_Socket_t xSocket; in test_xProcessReceivedUDPPacket_IPv4_SocketRecvHandlerFail() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/
Dhttp_client_test.c209 Socket_t xSocket = NULL; in prvEchoClientTask() local
272 if( xSocketValid( xSocket ) == pdTRUE ) in prvEchoClientTask()
274 FreeRTOS_closesocket( xSocket ); in prvEchoClientTask()
277 xSocket = NULL; in prvEchoClientTask()
375 … xSocket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP ); in prvEchoClientTask()
376 configASSERT( xSocketValid( xSocket ) == pdTRUE ); in prvEchoClientTask()
408 rc = FreeRTOS_bind( xSocket, &( xBindAddress ), sizeof( xBindAddress ) ); in prvEchoClientTask()
418 …FreeRTOS_setsockopt( xSocket, 0, FREERTOS_SO_RCVTIMEO, &xReceiveTimeOut, sizeof( xReceiveTimeOut )… in prvEchoClientTask()
419 … FreeRTOS_setsockopt( xSocket, 0, FREERTOS_SO_SNDTIMEO, &xSendTimeOut, sizeof( xSendTimeOut ) ); in prvEchoClientTask()
424 …FreeRTOS_setsockopt( xSocket, 0, FREERTOS_SO_WIN_PROPERTIES, ( void * ) &xWinProps, sizeof( xWinPr… in prvEchoClientTask()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_IPv6/
DFreeRTOS_Sockets_IPv6_utest.c125 FreeRTOS_Socket_t xSocket; in test_pxTCPSocketLookup_IPv6_NullIPPointer() local
128 memset( &xSocket, 0, sizeof( xSocket ) ); in test_pxTCPSocketLookup_IPv6_NullIPPointer()
130 xSocket.bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_pxTCPSocketLookup_IPv6_NullIPPointer()
132 pxRetSocket = pxTCPSocketLookup_IPv6( &xSocket, NULL ); in test_pxTCPSocketLookup_IPv6_NullIPPointer()
142 FreeRTOS_Socket_t xSocket; in test_pxTCPSocketLookup_IPv6_NotIPv6Socket_IPv6Address() local
146 memset( &xSocket, 0, sizeof( xSocket ) ); in test_pxTCPSocketLookup_IPv6_NotIPv6Socket_IPv6Address()
149 xSocket.bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_pxTCPSocketLookup_IPv6_NotIPv6Socket_IPv6Address()
152 pxRetSocket = pxTCPSocketLookup_IPv6( &xSocket, &xAddress ); in test_pxTCPSocketLookup_IPv6_NotIPv6Socket_IPv6Address()
162 FreeRTOS_Socket_t xSocket, * pxRetSocket = NULL; in test_pxTCPSocketLookup_IPv6_NotIPv6Socket_NotIPv6Address_MatchingIPv4Address() local
165 memset( &xSocket, 0, sizeof( xSocket ) ); in test_pxTCPSocketLookup_IPv6_NotIPv6Socket_NotIPv6Address_MatchingIPv4Address()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils_IPv6/
DFreeRTOS_TCP_Utils_IPv6_utest.c49 FreeRTOS_Socket_t xSocket, * pxSocket; variable
57 memset( &xSocket, 0, sizeof( xSocket ) ); in setUp()
79 pxSocket = &xSocket; in test_prvSocketSetMSS_IPV6_NullEndPoint()
94 pxSocket = &xSocket; in test_prvSocketSetMSS_IPV6_GlobalAddress()
115 pxSocket = &xSocket; in test_prvSocketSetMSS_IPV6_NonGlobalAddress()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c63 FreeRTOS_Socket_t xSocket, * pxSocket; variable
124 pxSocket = &xSocket; in test_prvCheckOptions_No_Option()
147 pxSocket = &xSocket; in test_prvCheckOptions_Invalid_Data_Length()
171 pxSocket = &xSocket; in test_prvCheckOptions_Invalid_Option_Length()
195 pxSocket = &xSocket; in test_prvCheckOptions_MSS_WSF()
225 pxSocket = &xSocket; in test_prvCheckOptions_MSS_WSF_Bad_Option()
255 pxSocket = &xSocket; in test_prvCheckOptions_MSS_WSF_Without_END()
283 pxSocket = &xSocket; in test_prvCheckOptions_MSS_WSF_SYN_on()
557 static void xLocalFunctionPointer( Socket_t xSocket, in xLocalFunctionPointer() argument
566 pxSocket = &xSocket; in test_prvReadSackOption()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DFreeRTOS_IP_DiffConfig_utest.c254 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert() local
257 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert()
261 xReturn = FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, xByteCount ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert()
273 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert() local
276 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert()
280 …xReturn = FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, ReleaseTCPPayloadBu… in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert()
292 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert() local
295 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert()
299 …FreeRTOS_recv_ExpectAndReturn( &xSocket, NULL, ReleaseTCPPayloadBufferxByteCount, FREERTOS_MSG_DON… in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert()
301 …xReturn = FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, ReleaseTCPPayloadBu… in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/
DDHCPv6Process_harness.c101 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid() argument
105 __CPROVER_assume( xSocket != FREERTOS_INVALID_SOCKET ); in xSocketValid()
106 __CPROVER_assume( xSocket != NULL ); in xSocketValid()
107 return( ( xSocket != FREERTOS_INVALID_SOCKET ) && ( xSocket != NULL ) ); in xSocketValid()
131 int32_t FreeRTOS_recvfrom( Socket_t xSocket, in FreeRTOS_recvfrom() argument
140 FreeRTOS_Socket_t const * pxSocket = xSocket; in FreeRTOS_recvfrom()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/
Dfreertos_api.c57 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket, in FreeRTOS_setsockopt() argument
63 __CPROVER_assert( xSocket != NULL, in FreeRTOS_setsockopt()
75 BaseType_t FreeRTOS_closesocket( Socket_t xSocket ) in FreeRTOS_closesocket() argument
77 __CPROVER_assert( xSocket != NULL, in FreeRTOS_closesocket()
87 BaseType_t FreeRTOS_bind( Socket_t xSocket, in FreeRTOS_bind() argument
91 __CPROVER_assert( xSocket != NULL, in FreeRTOS_bind()
119 int32_t FreeRTOS_recvfrom( Socket_t xSocket, in FreeRTOS_recvfrom() argument
189 int32_t FreeRTOS_sendto( Socket_t xSocket, in FreeRTOS_sendto() argument
196 __CPROVER_assert( xSocket != NULL, in FreeRTOS_sendto()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils_IPv6_ConfigLowTCPMSS/
DFreeRTOS_TCP_Utils_IPv6_ConfigLowTCPMSS_utest.c50 FreeRTOS_Socket_t xSocket, * pxSocket; variable
58 memset( &xSocket, 0, sizeof( xSocket ) ); in setUp()
74 pxSocket = &xSocket; in test_prvSocketSetMSS_IPV6_LowMSS()

123