Home
last modified time | relevance | path

Searched refs:xTCP (Results 1 – 25 of 44) sorted by relevance

12

/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_IP.c127 …eRTOS_listen( ( Socket_t ) xSocketToListen, ( BaseType_t ) ( xSocketToListen->u.xTCP.usBacklog ) ); in vSocketListenNextTime()
157 … if( ( pxSocket->u.xTCP.eTCPState >= eESTABLISHED ) && ( pxSocket->u.xTCP.txStream != NULL ) ) in xTCPSocketCheck()
166 if( pxSocket->u.xTCP.pxAckMessage != NULL ) in xTCPSocketCheck()
170 if( pxSocket->u.xTCP.bits.bUserShutdown == pdFALSE_UNSIGNED ) in xTCPSocketCheck()
175 if( pxSocket->u.xTCP.eTCPState != eCLOSED ) in xTCPSocketCheck()
181 pxSocket->u.xTCP.usRemotePort, in xTCPSocketCheck()
182 …( unsigned ) ( pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber - pxSocket->u.xTCP.xTCPWindo… in xTCPSocketCheck()
183 …( unsigned ) ( pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber - pxSocket->u.xTCP.xTCPWindow.tx.ul… in xTCPSocketCheck()
187 …prvTCPReturnPacket( pxSocket, pxSocket->u.xTCP.pxAckMessage, ( uint32_t ) ( uxIPHeaderSizeSocket( … in xTCPSocketCheck()
193 pxSocket->u.xTCP.pxAckMessage = NULL; in xTCPSocketCheck()
[all …]
DFreeRTOS_TCP_Transmission.c85 if( pxSocket->u.xTCP.bits.bConnPrepared == pdFALSE_UNSIGNED ) in prvTCPMakeSurePrepared()
113 if( pxSocket->u.xTCP.eTCPState != eCONNECT_SYN ) in prvTCPSendPacket()
129 if( pxSocket->u.xTCP.ucRepCount >= 3U ) in prvTCPSendPacket()
135 … ( unsigned ) pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4, /* IP address of remote machine. */ in prvTCPSendPacket()
136 … pxSocket->u.xTCP.usRemotePort ) ); /* Port on remote machine. */ in prvTCPSendPacket()
151 …pxProtocolHeaders = ( ( ProtocolHeaders_t * ) &( pxSocket->u.xTCP.xPacket.u.ucLastPacket[ ipSIZE_O… in prvTCPSendPacket()
170 pxSocket->u.xTCP.ucRepCount++; in prvTCPSendPacket()
307 const TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPReturn_CheckTCPWindow()
317 if( pxSocket->u.xTCP.rxStream != NULL ) in prvTCPReturn_CheckTCPWindow()
321 ulFrontSpace = ( uint32_t ) uxStreamBufferFrontSpace( pxSocket->u.xTCP.rxStream ); in prvTCPReturn_CheckTCPWindow()
[all …]
DFreeRTOS_TCP_State_Handling.c145 eIPTCPState_t eState = pxSocket->u.xTCP.eTCPState; in prvTCPStatusAgeCheck()
183 TickType_t xAge = xTaskGetTickCount() - pxSocket->u.xTCP.xLastActTime; in prvTCPStatusAgeCheck()
192 … ( unsigned ) pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4, in prvTCPStatusAgeCheck()
193 pxSocket->u.xTCP.usRemotePort, in prvTCPStatusAgeCheck()
194 … FreeRTOS_GetTCPStateName( ( UBaseType_t ) pxSocket->u.xTCP.eTCPState ) ) ); in prvTCPStatusAgeCheck()
203 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in prvTCPStatusAgeCheck()
244 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvTCPHandleFin()
253 if( pxSocket->u.xTCP.bits.bFinSent == pdFALSE_UNSIGNED ) in prvTCPHandleFin()
257 pxSocket->u.xTCP.bits.bFinSent = pdTRUE_UNSIGNED; in prvTCPHandleFin()
264 pxSocket->u.xTCP.bits.bFinAcked = pdTRUE_UNSIGNED; in prvTCPHandleFin()
[all …]
DFreeRTOS_TCP_State_Handling_IPv4.c115 if( pxSocket->u.xTCP.bits.bReuseSocket != pdFALSE_UNSIGNED ) in prvHandleListen_IPV4()
120 pxSocket->u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in prvHandleListen_IPV4()
121 pxSocket->u.xTCP.pxPeerSocket = pxSocket; in prvHandleListen_IPV4()
129 if( pxSocket->u.xTCP.usChildCount >= pxSocket->u.xTCP.usBacklog ) in prvHandleListen_IPV4()
133 pxSocket->u.xTCP.usChildCount, in prvHandleListen_IPV4()
134 pxSocket->u.xTCP.usBacklog, in prvHandleListen_IPV4()
135 ( pxSocket->u.xTCP.usChildCount == 1U ) ? "" : "ren" ) ); in prvHandleListen_IPV4()
182 pxReturn->u.xTCP.usRemotePort = FreeRTOS_htons( pxTCPPacket->xTCPHeader.usSourcePort ); in prvHandleListen_IPV4()
183 … pxReturn->u.xTCP.xRemoteIP.ulIP_IPv4 = FreeRTOS_htonl( pxTCPPacket->xIPHeader.ulSourceIPAddress ); in prvHandleListen_IPV4()
184 pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber = ulInitialSequenceNumber; in prvHandleListen_IPV4()
[all …]
DFreeRTOS_TCP_State_Handling_IPv6.c110 if( pxSocket->u.xTCP.bits.bReuseSocket != pdFALSE_UNSIGNED ) in prvHandleListen_IPV6()
115 pxSocket->u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in prvHandleListen_IPV6()
116 pxSocket->u.xTCP.pxPeerSocket = pxSocket; in prvHandleListen_IPV6()
124 if( pxSocket->u.xTCP.usChildCount >= pxSocket->u.xTCP.usBacklog ) in prvHandleListen_IPV6()
128 pxSocket->u.xTCP.usChildCount, in prvHandleListen_IPV6()
129 pxSocket->u.xTCP.usBacklog, in prvHandleListen_IPV6()
130 ( pxSocket->u.xTCP.usChildCount == 1U ) ? "" : "ren" ) ); in prvHandleListen_IPV6()
182 pxReturn->u.xTCP.usRemotePort = FreeRTOS_ntohs( pxTCPPacket->xTCPHeader.usSourcePort ); in prvHandleListen_IPV6()
183 …( void ) memcpy( pxReturn->u.xTCP.xRemoteIP.xIP_IPv6.ucBytes, pxIPHeader_IPv6->xSourceAddress.ucBy… in prvHandleListen_IPV6()
184 pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber = ulInitialSequenceNumber; in prvHandleListen_IPV6()
[all …]
DFreeRTOS_Sockets.c534 … *pxSocketSize = ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ); in prvDetermineSocketSize()
568 pxSocket->u.xTCP.usMSS = ( uint16_t ) ipconfigTCP_MSS; in prvInitialiseTCPFields()
575 if( pxSocket->u.xTCP.usMSS > usDifference ) in prvInitialiseTCPFields()
577 pxSocket->u.xTCP.usMSS = ( uint16_t ) ( pxSocket->u.xTCP.usMSS - usDifference ); in prvInitialiseTCPFields()
582 pxSocket->u.xTCP.uxRxStreamSize = ( size_t ) ipconfigTCP_RX_BUFFER_LENGTH; in prvInitialiseTCPFields()
583 …pxSocket->u.xTCP.uxTxStreamSize = ( size_t ) FreeRTOS_round_up( ipconfigTCP_TX_BUFFER_LENGTH, ipco… in prvInitialiseTCPFields()
587 …pxSocket->u.xTCP.uxRxWinSize = FreeRTOS_max_size_t( 1U, ( pxSocket->u.xTCP.uxRxStreamSize / 2U ) /… in prvInitialiseTCPFields()
588 …pxSocket->u.xTCP.uxTxWinSize = FreeRTOS_max_size_t( 1U, ( pxSocket->u.xTCP.uxTxStreamSize / 2U ) /… in prvInitialiseTCPFields()
592 pxSocket->u.xTCP.uxRxWinSize = 1U; in prvInitialiseTCPFields()
593 pxSocket->u.xTCP.uxTxWinSize = 1U; in prvInitialiseTCPFields()
[all …]
DFreeRTOS_TCP_IP_IPv4.c149 … if( ( pxSocket == NULL ) || ( prvTCPSocketIsActive( pxSocket->u.xTCP.eTCPState ) == pdFALSE ) ) in xProcessReceivedTCPPacket_IPV4()
175 pxSocket->u.xTCP.ucRepCount = 0U; in xProcessReceivedTCPPacket_IPV4()
177 if( pxSocket->u.xTCP.eTCPState == eTCP_LISTEN ) in xProcessReceivedTCPPacket_IPV4()
222 if( pxSocket->u.xTCP.eTCPState == eCONNECT_SYN ) in xProcessReceivedTCPPacket_IPV4()
226 … if( ulAckNumber == ( pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber + 1U ) ) in xProcessReceivedTCPPacket_IPV4()
234 … if( ulSequenceNumber == pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber ) in xProcessReceivedTCPPacket_IPV4()
239 …else if( ( xSequenceGreaterThan( ulSequenceNumber, pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenc… in xProcessReceivedTCPPacket_IPV4()
240 … ( xSequenceLessThan( ulSequenceNumber, pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber + in xProcessReceivedTCPPacket_IPV4()
241 … pxSocket->u.xTCP.xTCPWindow.xSize.ulRxWindowLength ) != pdFALSE ) ) in xProcessReceivedTCPPacket_IPV4()
256 …( ( ucTCPFlags & tcpTCP_FLAG_CTRL ) == tcpTCP_FLAG_SYN ) && ( pxSocket->u.xTCP.eTCPState >= eESTAB… in xProcessReceivedTCPPacket_IPV4()
[all …]
DFreeRTOS_TCP_IP_IPv6.c142 … if( ( pxSocket == NULL ) || ( prvTCPSocketIsActive( pxSocket->u.xTCP.eTCPState ) == pdFALSE ) ) in xProcessReceivedTCPPacket_IPV6()
168 pxSocket->u.xTCP.ucRepCount = 0U; in xProcessReceivedTCPPacket_IPV6()
170 if( pxSocket->u.xTCP.eTCPState == eTCP_LISTEN ) in xProcessReceivedTCPPacket_IPV6()
215 if( pxSocket->u.xTCP.eTCPState == eCONNECT_SYN ) in xProcessReceivedTCPPacket_IPV6()
219 … if( ulAckNumber == ( pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber + 1U ) ) in xProcessReceivedTCPPacket_IPV6()
227 … if( ulSequenceNumber == pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber ) in xProcessReceivedTCPPacket_IPV6()
232 …else if( ( xSequenceGreaterThan( ulSequenceNumber, pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenc… in xProcessReceivedTCPPacket_IPV6()
233 … ( xSequenceLessThan( ulSequenceNumber, pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber + in xProcessReceivedTCPPacket_IPV6()
234 … pxSocket->u.xTCP.xTCPWindow.xSize.ulRxWindowLength ) != pdFALSE ) ) in xProcessReceivedTCPPacket_IPV6()
249 …( ( ucTCPFlags & tcpTCP_FLAG_CTRL ) == tcpTCP_FLAG_SYN ) && ( pxSocket->u.xTCP.eTCPState >= eESTAB… in xProcessReceivedTCPPacket_IPV6()
[all …]
DFreeRTOS_TCP_Reception.c206 TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvSingleStepTCPHeaderOptions()
240 pxSocket->u.xTCP.ucPeerWinScaleFactor = pucPtr[ 2 ]; in prvSingleStepTCPHeaderOptions()
241 pxSocket->u.xTCP.bits.bWinScaling = pdTRUE_UNSIGNED; in prvSingleStepTCPHeaderOptions()
262 if( pxSocket->u.xTCP.usMSS != uxNewMSS ) in prvSingleStepTCPHeaderOptions()
274 …FreeRTOS_debug_printf( ( "MSS change %u -> %u\n", pxSocket->u.xTCP.usMSS, ( unsigned ) uxNewMSS ) … in prvSingleStepTCPHeaderOptions()
288 if( pxSocket->u.xTCP.usMSS > uxNewMSS ) in prvSingleStepTCPHeaderOptions()
291 pxSocket->u.xTCP.bits.bMssChange = pdTRUE_UNSIGNED; in prvSingleStepTCPHeaderOptions()
293 if( pxSocket->u.xTCP.usMSS > uxNewMSS ) in prvSingleStepTCPHeaderOptions()
297 …FreeRTOS_debug_printf( ( "Change mss %d => %u\n", pxSocket->u.xTCP.usMSS, ( unsigned ) uxNewMSS ) … in prvSingleStepTCPHeaderOptions()
303 pxSocket->u.xTCP.usMSS = ( uint16_t ) uxNewMSS; in prvSingleStepTCPHeaderOptions()
[all …]
DFreeRTOS_TCP_Transmission_IPv4.c117 pxNetworkBuffer->pucEthernetBuffer = pxSocket->u.xTCP.xPacket.u.ucLastPacket; in prvTCPReturnPacket_IPV4()
118 pxNetworkBuffer->xDataLength = sizeof( pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPReturnPacket_IPV4()
184 … pxIPHeader->ulDestinationIPAddress = FreeRTOS_htonl( pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4 ); in prvTCPReturnPacket_IPV4()
340 ulRemoteIP = FreeRTOS_htonl( pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4 ); in prvTCPPrepareConnect_IPV4()
353 pxSocket->u.xTCP.ucRepCount++; in prvTCPPrepareConnect_IPV4()
356 ( unsigned ) pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4, in prvTCPPrepareConnect_IPV4()
377 … pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4, in prvTCPPrepareConnect_IPV4()
378 … pxSocket->u.xTCP.usRemotePort ); in prvTCPPrepareConnect_IPV4()
398 pxTCPPacket = ( ( TCPPacket_t * ) pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPPrepareConnect_IPV4()
402 pxSocket->u.xTCP.ucRepCount = 0U; in prvTCPPrepareConnect_IPV4()
[all …]
DFreeRTOS_TCP_Transmission_IPv6.c125 pxNetworkBuffer->pucEthernetBuffer = pxSocket->u.xTCP.xPacket.u.ucLastPacket; in prvTCPReturnPacket_IPV6()
126 pxNetworkBuffer->xDataLength = sizeof( pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPReturnPacket_IPV6()
194 …( void ) memcpy( pxIPHeader->xDestinationAddress.ucBytes, pxSocket->u.xTCP.xRemoteIP.xIP_IPv6.ucBy… in prvTCPReturnPacket_IPV6()
337 …( void ) memcpy( xRemoteIP.xIP_IPv6.ucBytes, pxSocket->u.xTCP.xRemoteIP.xIP_IPv6.ucBytes, ipSIZE_O… in prvTCPPrepareConnect_IPV6()
350 …&( pxSocket->u.xTCP.xPacket.u.ucLastPacket[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket … in prvTCPPrepareConnect_IPV6()
361 pxSocket->u.xTCP.ucRepCount++; in prvTCPPrepareConnect_IPV6()
389 … pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4, in prvTCPPrepareConnect_IPV6()
390 … pxSocket->u.xTCP.usRemotePort ); in prvTCPPrepareConnect_IPV6()
408 pxTCPPacket = ( ( TCPPacket_IPv6_t * ) pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPPrepareConnect_IPV6()
412 pxSocket->u.xTCP.ucRepCount = 0U; in prvTCPPrepareConnect_IPV6()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c105 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPMakeSurePrepared_NotPrepared()
129 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
150 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPMakeSurePrepared_Ready()
170 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPSendPacket_Syn_State()
171 pxSocket->u.xTCP.ucRepCount = 1; in test_prvTCPSendPacket_Syn_State()
172 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPSendPacket_Syn_State()
204 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPSendPacket_Syn_State_Rep_Count_GT_3()
205 pxSocket->u.xTCP.ucRepCount = 3; in test_prvTCPSendPacket_Syn_State_Rep_Count_GT_3()
206 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPSendPacket_Syn_State_Rep_Count_GT_3()
226 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPSendPacket_Syn_State_Not_Prepared()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c155 …FreeRTOS_listen_ExpectAndReturn( ( Socket_t ) xSocketToListen, xSocketToListen->u.xTCP.usBacklog, … in test_vSocketListenNextTime1()
211 xSocket.u.xTCP.eTCPState = eESTABLISHED; in test_xTCPSocketCheck_StateEstablished()
239 xSocket.u.xTCP.eTCPState = eESTABLISHED; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull()
240 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull()
270 xSocket.u.xTCP.eTCPState = eESTABLISHED; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
271 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
272 xSocket.u.xTCP.pxAckMessage = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
278 …prvTCPReturnPacket_Expect( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
283 vReleaseNetworkBufferAndDescriptor_Expect( xSocket.u.xTCP.pxAckMessage ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
292 TEST_ASSERT_EQUAL( NULL, xSocket.u.xTCP.pxAckMessage ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c102 xServerSocket.u.xTCP.eTCPState = eTCP_LISTEN + 1; in test_FreeRTOS_accept_InvalidParams()
122 xServerSocket.u.xTCP.eTCPState = eTCP_LISTEN; in test_FreeRTOS_accept_ClientSocketTaken()
124 xServerSocket.u.xTCP.pxPeerSocket = &xPeerSocket; in test_FreeRTOS_accept_ClientSocketTaken()
131 TEST_ASSERT_EQUAL( NULL, xServerSocket.u.xTCP.pxPeerSocket ); in test_FreeRTOS_accept_ClientSocketTaken()
148 xServerSocket.u.xTCP.eTCPState = eTCP_LISTEN; in test_FreeRTOS_accept_PeerSocketNULL()
150 xServerSocket.u.xTCP.pxPeerSocket = NULL; in test_FreeRTOS_accept_PeerSocketNULL()
157 TEST_ASSERT_EQUAL( NULL, xServerSocket.u.xTCP.pxPeerSocket ); in test_FreeRTOS_accept_PeerSocketNULL()
175 xServerSocket.u.xTCP.eTCPState = eTCP_LISTEN; in test_FreeRTOS_accept_NotReuseSocket()
177 xServerSocket.u.xTCP.pxPeerSocket = &xPeerSocket; in test_FreeRTOS_accept_NotReuseSocket()
178 xPeerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_NotReuseSocket()
[all …]
DFreeRTOS_Sockets_privates_utest.c414 …TEST_ASSERT_EQUAL( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ), x… in test_prvDetermineSocketSize_TCPSocket()
435 …TEST_ASSERT_EQUAL( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ), x… in test_prvDetermineSocketSize_TCPv6Socket()
946 vReleaseNetworkBufferAndDescriptor_Expect( xSocket.u.xTCP.pxAckMessage ); in test_vSocketClose_TCP_EverythingNonNULL()
948 vTCPWindowDestroy_Expect( &( xSocket.u.xTCP.xTCPWindow ) ); in test_vSocketClose_TCP_EverythingNonNULL()
950 vPortFree_Expect( xSocket.u.xTCP.rxStream ); in test_vSocketClose_TCP_EverythingNonNULL()
952 vPortFree_Expect( xSocket.u.xTCP.txStream ); in test_vSocketClose_TCP_EverythingNonNULL()
979 xSocket.u.xTCP.pxAckMessage = NULL; in test_vSocketClose_TCP_LastAckMessageNonNULL()
981 vTCPWindowDestroy_Expect( &( xSocket.u.xTCP.xTCPWindow ) ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
983 vPortFree_Expect( xSocket.u.xTCP.rxStream ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
985 vPortFree_Expect( xSocket.u.xTCP.txStream ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
[all …]
DFreeRTOS_Sockets_GenericAPI_utest.c119 …ectAndReturn( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ), NULL ); in test_FreeRTOS_socket_NoMemory()
134 … uint8_t ucSocket[ ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ) ]; in test_FreeRTOS_socket_EventGroupCreationFailed()
141 …rn( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ), ( void * ) ucSoc… in test_FreeRTOS_socket_EventGroupCreationFailed()
160 … uint8_t ucSocket[ ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ) ]; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
170 …rn( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ), ( void * ) ucSoc… in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
191 TEST_ASSERT_EQUAL( xSocket->u.xTCP.usMSS, ( uint16_t ) ipconfigTCP_MSS ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
192 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxRxStreamSize, ( size_t ) ipconfigTCP_RX_BUFFER_LENGTH ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
193 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxTxStreamSize, 0xAABB ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
194 TEST_ASSERT_EQUAL( 0x1234, pxSocket->u.xTCP.uxRxWinSize ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
195 TEST_ASSERT_EQUAL( 0x3456, pxSocket->u.xTCP.uxTxWinSize ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c159 pxSocket->u.xTCP.eTCPState = eESTABLISHED; in test_prvTCPStatusAgeCheck_NoChecksNeeded()
163 pxSocket->u.xTCP.eTCPState = eCLOSED; in test_prvTCPStatusAgeCheck_NoChecksNeeded()
167 pxSocket->u.xTCP.eTCPState = eTCP_LISTEN; in test_prvTCPStatusAgeCheck_NoChecksNeeded()
171 pxSocket->u.xTCP.eTCPState = eCLOSE_WAIT; in test_prvTCPStatusAgeCheck_NoChecksNeeded()
185 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPStatusAgeCheck_ChecksDoneAgeLEProtectiontime()
186 pxSocket->u.xTCP.xLastAliveTime = 1000; in test_prvTCPStatusAgeCheck_ChecksDoneAgeLEProtectiontime()
202 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPStatusAgeCheck_ChecksDoneAgeGTProtectiontime()
203 pxSocket->u.xTCP.xLastAliveTime = 1000; in test_prvTCPStatusAgeCheck_ChecksDoneAgeGTProtectiontime()
221 pxSocket->u.xTCP.eTCPState = eSYN_FIRST; in test_prvTCPStatusAgeCheck_ChecksDonePassQueueBitTrue()
222 pxSocket->u.xTCP.xLastAliveTime = 1000; in test_prvTCPStatusAgeCheck_ChecksDonePassQueueBitTrue()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DFreeRTOS_TCP_IP_DiffConfig_utest.c97 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()
104 …prvTCPReturnPacket_Expect( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
116 TEST_ASSERT_EQUAL( NULL, xSocket.u.xTCP.pxAckMessage ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
117 TEST_ASSERT_EQUAL( 1U, xSocket.u.xTCP.usTimeout ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
134 xSocket.u.xTCP.eTCPState = eCLOSED; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
136 xSocket.u.xTCP.usTimeout = 100; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
139 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
141 prvTCPSocketIsActive_ExpectAndReturn( xSocket.u.xTCP.eTCPState, pdTRUE ); in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv4/
DFreeRTOS_TCP_State_Handling_IPv4_utest.c120 pxSocket->u.xTCP.bits.bReuseSocket = pdTRUE; in test_prvHandleListen_IPV4_ReuseSocket()
131 TEST_ASSERT_EQUAL( 1000, pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber ); in test_prvHandleListen_IPV4_ReuseSocket()
153 pxSocket->u.xTCP.bits.bReuseSocket = pdFALSE; in test_prvHandleListen_IPV4_NewSocketExceedLimit()
154 pxSocket->u.xTCP.usChildCount = 10; in test_prvHandleListen_IPV4_NewSocketExceedLimit()
155 pxSocket->u.xTCP.usBacklog = 9; in test_prvHandleListen_IPV4_NewSocketExceedLimit()
185 pxSocket->u.xTCP.bits.bReuseSocket = pdFALSE; in test_prvHandleListen_IPV4_NewSocketGood()
186 pxSocket->u.xTCP.usChildCount = 1; in test_prvHandleListen_IPV4_NewSocketGood()
187 pxSocket->u.xTCP.usBacklog = 9; in test_prvHandleListen_IPV4_NewSocketGood()
200 TEST_ASSERT_EQUAL( 1000, pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber ); in test_prvHandleListen_IPV4_NewSocketGood()
224 pxSocket->u.xTCP.bits.bReuseSocket = pdFALSE; in test_prvHandleListen_IPV4_NewSocketGoodValidDataLength()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/
DFreeRTOS_Sockets_DiffConfig2_TCP_API_utest.c73 xServerSocket.u.xTCP.eTCPState = eTCP_LISTEN; in test_FreeRTOS_accept_ReuseIPv6Socket()
74 xServerSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseIPv6Socket()
75 xServerSocket.u.xTCP.pxPeerSocket = &xPeerSocket; in test_FreeRTOS_accept_ReuseIPv6Socket()
76 xServerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseIPv6Socket()
77 xServerSocket.u.xTCP.usRemotePort = 0x1234; in test_FreeRTOS_accept_ReuseIPv6Socket()
79 …memcpy( xServerSocket.u.xTCP.xRemoteIP.xIP_IPv6.ucBytes, xIPv6Address.ucBytes, ipSIZE_OF_IPv6_ADDR… in test_FreeRTOS_accept_ReuseIPv6Socket()
86 TEST_ASSERT_EQUAL( pdFALSE, xServerSocket.u.xTCP.bits.bPassAccept ); in test_FreeRTOS_accept_ReuseIPv6Socket()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c75 …__CPROVER_assume( pxSocket->u.xTCP.xTCPWindow.ucOptionLength == sizeof( uint32_t ) * ipSIZE_TCP_OP… in harness()
77 …__CPROVER_assume( pxSocket->u.xTCP.uxRxWinSize >= 0 && pxSocket->u.xTCP.uxRxWinSize <= sizeof( siz… in harness()
79 __CPROVER_assume( pxSocket->u.xTCP.usMSS == sizeof( uint16_t ) ); in harness()
83 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassQueued == pdFALSE_UNSIGNED ); in harness()
84 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassAccept == pdFALSE_UNSIGNED ); in harness()
103 ensure_memory_is_valid( pxSocket->u.xTCP.pxPeerSocket, socketSize ) ) in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c53 pxSocket->u.xTCP.txStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
54 __CPROVER_assume( pxSocket->u.xTCP.txStream != NULL ); in harness()
56 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue ); in harness()
63 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue, &segment->xQueueItem ); in harness()
66 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xTxSegments ); in harness()
74 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xTxSegments, &segment->xQueueItem ); in harness()
77 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xPriorityQueue ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c66 … uint8_t ucSocket[ ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ) ]; in test_FreeRTOS_socket_TCPv6SocketLowMSS()
76 …rn( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ), ( void * ) ucSoc… 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()
98 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxTxStreamSize, 0xAABB ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
99 TEST_ASSERT_EQUAL( 0x1234, pxSocket->u.xTCP.uxRxWinSize ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
100 TEST_ASSERT_EQUAL( 0x3456, pxSocket->u.xTCP.uxTxWinSize ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv6/
DFreeRTOS_TCP_State_Handling_IPv6_utest.c200 pxSocket->u.xTCP.bits.bReuseSocket = pdTRUE; in test_prvHandleListen_IPV6_ReuseSocket()
237 pxSocket->u.xTCP.bits.bReuseSocket = pdFALSE; in test_prvHandleListen_IPV6_NewSocketExceedLimit()
238 pxSocket->u.xTCP.usChildCount = 10; in test_prvHandleListen_IPV6_NewSocketExceedLimit()
239 pxSocket->u.xTCP.usBacklog = 9; in test_prvHandleListen_IPV6_NewSocketExceedLimit()
272 pxSocket->u.xTCP.bits.bReuseSocket = pdFALSE; in test_prvHandleListen_IPV6_NewSocketNull()
273 pxSocket->u.xTCP.usChildCount = 1; in test_prvHandleListen_IPV6_NewSocketNull()
274 pxSocket->u.xTCP.usBacklog = 9; in test_prvHandleListen_IPV6_NewSocketNull()
308 pxSocket->u.xTCP.bits.bReuseSocket = pdFALSE; in test_prvHandleListen_IPV6_NewSocketInvalid()
309 pxSocket->u.xTCP.usChildCount = 1; in test_prvHandleListen_IPV6_NewSocketInvalid()
310 pxSocket->u.xTCP.usBacklog = 9; in test_prvHandleListen_IPV6_NewSocketInvalid()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils/
DFreeRTOS_TCP_Utils_utest.c102 pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4 = 0xC0C0C0C0; in test_prvSocketSetMSS_NULL_EP()
106 TEST_ASSERT_EQUAL( ipconfigTCP_MSS, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_NULL_EP()
122 pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4 = 0xC0C0C0C0; in test_prvSocketSetMSS_Reduced()
128 TEST_ASSERT_EQUAL( 1400, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Reduced()
146 pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4 = 0x0; in test_prvSocketSetMSS_Normal()
149 TEST_ASSERT_EQUAL( ipconfigNETWORK_MTU - 40U, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Normal()

12