Home
last modified time | relevance | path

Searched refs:xTCPWindow (Results 1 – 23 of 23) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c56 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/source/
DFreeRTOS_TCP_IP_IPv4.c226 … 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()
DFreeRTOS_TCP_IP_IPv6.c219 … 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()
DFreeRTOS_TCP_Transmission.c307 const TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPReturn_CheckTCPWindow()
393 const TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPReturn_SetSequenceNumber()
409 …pxProtocolHeaders->xTCPHeader.ulSequenceNumber = pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber -… in prvTCPReturn_SetSequenceNumber()
415 …eaders->xTCPHeader.ulSequenceNumber = FreeRTOS_htonl( pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNum… in prvTCPReturn_SetSequenceNumber()
464 &pxSocket->u.xTCP.xTCPWindow, in prvTCPCreateWindow()
467 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber, in prvTCPCreateWindow()
468 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber, in prvTCPCreateWindow()
838 pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPPrepareSend()
1044 lCount = lTCPWindowTxAdd( &pxSocket->u.xTCP.xTCPWindow, in prvTCPAddTxData()
1078 const TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvSetOptions()
[all …]
DFreeRTOS_TCP_State_Handling.c244 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvTCPHandleFin()
358 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvHandleSynReceived()
418 vTCPWindowInit( &pxSocket->u.xTCP.xTCPWindow, in prvHandleSynReceived()
419 …ulSequenceNumber, pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber, ( uint32_t ) pxSocket->u.xTCP.u… in prvHandleSynReceived()
511 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvHandleEstablished()
581 … pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = pxTCPWindow->tx.ulCurrentSequenceNumber; in prvHandleEstablished()
626 … ( unsigned ) ( ulSequenceNumber - pxSocket->u.xTCP.xTCPWindow.rx.ulFirstSequenceNumber ), in prvHandleEstablished()
628 …nsigned ) ( pxTCPWindow->tx.ulCurrentSequenceNumber - pxSocket->u.xTCP.xTCPWindow.tx.ulFirstSequen… in prvHandleEstablished()
729 TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPHandleState()
DFreeRTOS_TCP_IP.c182 …( 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()
598 …BaseType_t xResult = xTCPWindowTxHasData( &pxSocket->u.xTCP.xTCPWindow, pxSocket->u.xTCP.ulWindowS… in prvTCPNextTimeout()
DFreeRTOS_TCP_State_Handling_IPv4.c184 pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber = ulInitialSequenceNumber; in prvHandleListen_IPV4()
187 …pxReturn->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = FreeRTOS_ntohl( pxProtocolHeaders->xTCPHe… in prvHandleListen_IPV4()
DFreeRTOS_TCP_State_Handling_IPv6.c184 pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber = ulInitialSequenceNumber; in prvHandleListen_IPV6()
187 …pxReturn->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = FreeRTOS_ntohl( pxProtocolHeaders->xTCPHe… in prvHandleListen_IPV6()
DFreeRTOS_TCP_Reception.c206 TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvSingleStepTCPHeaderOptions()
378 … uint32_t ulCount = ulTCPWindowTxSack( &( pxSocket->u.xTCP.xTCPWindow ), ulFirst, ulLast ); in prvReadSackOption()
567 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvStoreRxData()
DFreeRTOS_TCP_Transmission_IPv4.c434 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 0U; in prvTCPPrepareConnect_IPV4()
437 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = ulInitialSequenceNumber; in prvTCPPrepareConnect_IPV4()
DFreeRTOS_TCP_Transmission_IPv6.c452 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 0U; in prvTCPPrepareConnect_IPV6()
455 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = ulInitialSequenceNumber; in prvTCPPrepareConnect_IPV6()
DFreeRTOS_Sockets.c2089 vTCPWindowDestroy( &pxSocket->u.xTCP.xTCPWindow ); in vSocketClose()
2527 if( pxTCP->xTCPWindow.u.bits.bHasInit != pdFALSE_UNSIGNED ) in prvSetOptionTCPWindows()
2529 … pxTCP->xTCPWindow.xSize.ulRxWindowLength = ( uint32_t ) ( pxTCP->uxRxWinSize * pxTCP->usMSS ); in prvSetOptionTCPWindows()
2530 … pxTCP->xTCPWindow.xSize.ulTxWindowLength = ( uint32_t ) ( pxTCP->uxTxWinSize * pxTCP->usMSS ); in prvSetOptionTCPWindows()
2600 pxSocket->u.xTCP.xTCPWindow.u.bits.bSendFullSize = pdTRUE_UNSIGNED; in prvSetOptionSetFullSize()
2604 pxSocket->u.xTCP.xTCPWindow.u.bits.bSendFullSize = pdFALSE_UNSIGNED; in prvSetOptionSetFullSize()
4690 … ( void ) memset( &pxSocket->u.xTCP.xTCPWindow, 0, sizeof( pxSocket->u.xTCP.xTCPWindow ) ); in FreeRTOS_listen()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c248 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_FIN_BitsAllFalse()
284 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_FIN_FINSentFINACKNoFINRecv()
319 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_FIN_FINRecvFINSentFINACKFINNotLast()
356 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_FIN_FINRecvFINSentFINACKFINLast()
392 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_ExpSYNStateConnectSyn()
425 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_ExpSYNStateConnectSynIPv6()
459 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_NotSYNStateConnectSyn()
491 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_NotExpSYNStateSynreceived()
523 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_ExpACKStateSynreceivedZeroData()
555 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_ExpACKStateSynreceivedNonZeroDataWinScaling()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c449 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL()
492 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_EP_WithoutRelease()
519 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_EP_WithRelease()
589 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Socket()
627 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Assert_Interface_NULL()
662 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Assert_InterfaceOutput_NULL()
699 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Socket_Relase_True()
736 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL()
745 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = 100; in test_prvTCPReturnPacket_No_KL()
776 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_LocalIP()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv4/
DFreeRTOS_TCP_State_Handling_IPv4_utest.c131 TEST_ASSERT_EQUAL( 1000, pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber ); in test_prvHandleListen_IPV4_ReuseSocket()
200 TEST_ASSERT_EQUAL( 1000, pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber ); in test_prvHandleListen_IPV4_NewSocketGood()
239 TEST_ASSERT_EQUAL( 1000, pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber ); in test_prvHandleListen_IPV4_NewSocketGoodValidDataLength()
/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()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c1379 memset( &xSocket.u.xTCP.xTCPWindow, 0xFF, sizeof( xSocket.u.xTCP.xTCPWindow ) ); in test_FreeRTOS_listen_Success_WithReuseSocket()
1392 …TEST_ASSERT_EACH_EQUAL_UINT8( 0, &xSocket.u.xTCP.xTCPWindow, sizeof( xSocket.u.xTCP.xTCPWindow ) ); in test_FreeRTOS_listen_Success_WithReuseSocket()
1410 memset( &xSocket.u.xTCP.xTCPWindow, 0xFF, sizeof( xSocket.u.xTCP.xTCPWindow ) ); in test_FreeRTOS_listen_Success_WithReuseSocket_StreamsNonNULL()
1428 …TEST_ASSERT_EACH_EQUAL_UINT8( 0, &xSocket.u.xTCP.xTCPWindow, sizeof( xSocket.u.xTCP.xTCPWindow ) ); in test_FreeRTOS_listen_Success_WithReuseSocket_StreamsNonNULL()
DFreeRTOS_Sockets_GenericAPI_utest.c1854 xSocket.u.xTCP.xTCPWindow.u.bits.bHasInit = pdFALSE; in test_FreeRTOS_setsockopt_WinPropsTCPWinNotInit()
1884 xSocket.u.xTCP.xTCPWindow.u.bits.bHasInit = pdTRUE; in test_FreeRTOS_setsockopt_WinPropsTCPWinInit()
1893 …2_t ) vOptionValue.lRxWinSize * xSocket.u.xTCP.usMSS ), xSocket.u.xTCP.xTCPWindow.xSize.ulRxWindow… in test_FreeRTOS_setsockopt_WinPropsTCPWinInit()
1894 …2_t ) vOptionValue.lTxWinSize * xSocket.u.xTCP.usMSS ), xSocket.u.xTCP.xTCPWindow.xSize.ulTxWindow… in test_FreeRTOS_setsockopt_WinPropsTCPWinInit()
2070 TEST_ASSERT_EQUAL( pdTRUE, xSocket.u.xTCP.xTCPWindow.u.bits.bSendFullSize ); in test_FreeRTOS_setsockopt_SetFullSize_Set()
2094 TEST_ASSERT_EQUAL( pdFALSE, xSocket.u.xTCP.xTCPWindow.u.bits.bSendFullSize ); in test_FreeRTOS_setsockopt_SetFullSize_Reset_StateIncorrect()
2119 TEST_ASSERT_EQUAL( pdFALSE, xSocket.u.xTCP.xTCPWindow.u.bits.bSendFullSize ); in test_FreeRTOS_setsockopt_SetFullSize_Reset_StateCorrect()
2148 TEST_ASSERT_EQUAL( pdFALSE, xSocket.u.xTCP.xTCPWindow.u.bits.bSendFullSize ); in test_FreeRTOS_setsockopt_SetFullSize_Reset_HappyPath()
DFreeRTOS_Sockets_privates_utest.c948 vTCPWindowDestroy_Expect( &( xSocket.u.xTCP.xTCPWindow ) ); in test_vSocketClose_TCP_EverythingNonNULL()
981 vTCPWindowDestroy_Expect( &( xSocket.u.xTCP.xTCPWindow ) ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
1016 vTCPWindowDestroy_Expect( &( xSocket.u.xTCP.xTCPWindow ) ); in test_vSocketClose_TCP_AllFieldsNonNULL()
1253 vTCPWindowDestroy_Expect( &( xChildSocket.u.xTCP.xTCPWindow ) ); in test_prvTCPSetSocketCount_ListeningSock_HappyPath1()
1294 vTCPWindowDestroy_Expect( &( xChildSocket.u.xTCP.xTCPWindow ) ); in test_prvTCPSetSocketCount_ListeningSock_HappyPath2()
1335 vTCPWindowDestroy_Expect( &( xChildSocket.u.xTCP.xTCPWindow ) ); in test_prvTCPSetSocketCount_ListeningSock_HappyPath3()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/
DFreeRTOS_TCP_Transmission_IPv6_utest.c238 TCPWindow_t * pxTCPWindow = &( xSocket.u.xTCP.xTCPWindow ); in test_prvTCPReturnPacket_IPV6_Assert2()
273 TCPWindow_t * pxTCPWindow = &( xSocket.u.xTCP.xTCPWindow ); in test_prvTCPReturnPacket_IPV6_Assert3()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c808 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_Happy_Path()
960 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_Negative_Offset()
1001 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_None_Zero_Skipcount()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c2034 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = 0; in test_xProcessReceivedTCPPacket_ConnectSyn_State_Rst_Change_State()
2070 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = 0; in test_xProcessReceivedTCPPacket_ConnectSyn_State_Rst_SeqNo_Wrong()
2098 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_SynReceived_State_Rst()
2135 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_Establish_State_Rst_Change_State()
2173 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_Establish_State_Rst_Seq_InRange()
2205 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_Establish_State_Rst_Seq_OutRange1()
2236 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_Establish_State_Rst_Seq_OutRange2()
2267 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_Establish_State_Ack()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h635 TCPWindow_t xTCPWindow; /**< The TCP window struct*/ member