Home
last modified time | relevance | path

Searched refs:pxSocket (Results 1 – 25 of 83) sorted by relevance

1234

/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_IP.c107 void vSocketCloseNextTime( FreeRTOS_Socket_t * pxSocket ) in vSocketCloseNextTime() argument
109 if( ( xSocketToClose != NULL ) && ( xSocketToClose != pxSocket ) ) in vSocketCloseNextTime()
114 xSocketToClose = pxSocket; in vSocketCloseNextTime()
123 void vSocketListenNextTime( FreeRTOS_Socket_t * pxSocket ) in vSocketListenNextTime() argument
125 if( ( xSocketToListen != NULL ) && ( xSocketToListen != pxSocket ) ) in vSocketListenNextTime()
130 xSocketToListen = pxSocket; in vSocketListenNextTime()
152 BaseType_t xTCPSocketCheck( FreeRTOS_Socket_t * pxSocket ) in xTCPSocketCheck() argument
157 … if( ( pxSocket->u.xTCP.eTCPState >= eESTABLISHED ) && ( pxSocket->u.xTCP.txStream != NULL ) ) in xTCPSocketCheck()
161 prvTCPAddTxData( pxSocket ); in xTCPSocketCheck()
166 if( pxSocket->u.xTCP.pxAckMessage != NULL ) in xTCPSocketCheck()
[all …]
DFreeRTOS_TCP_Transmission.c71 static BaseType_t prvTCPPrepareConnect( FreeRTOS_Socket_t * pxSocket );
81 static BaseType_t prvTCPMakeSurePrepared( FreeRTOS_Socket_t * pxSocket ) in prvTCPMakeSurePrepared() argument
85 if( pxSocket->u.xTCP.bits.bConnPrepared == pdFALSE_UNSIGNED ) in prvTCPMakeSurePrepared()
87 if( prvTCPPrepareConnect( pxSocket ) != pdTRUE ) in prvTCPMakeSurePrepared()
107 int32_t prvTCPSendPacket( FreeRTOS_Socket_t * pxSocket ) in prvTCPSendPacket() argument
113 if( pxSocket->u.xTCP.eTCPState != eCONNECT_SYN ) in prvTCPSendPacket()
120 lResult = prvTCPSendRepeated( pxSocket, &pxNetworkBuffer ); 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()
[all …]
DFreeRTOS_Sockets.c63 #define socketSET_SOCKET_PORT( pxSocket, usPort ) listSET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xB… argument
65 #define socketGET_SOCKET_PORT( pxSocket ) listGET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xB… argument
70 #define socketSOCKET_IS_BOUND( pxSocket ) ( listLIST_ITEM_CONTAINER( &( pxSocket )->xBou… argument
131 static BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
141 static BaseType_t prvSockopt_so_buffer( FreeRTOS_Socket_t * pxSocket,
155 static BaseType_t prvSocketBindAdd( FreeRTOS_Socket_t * pxSocket,
160 static NetworkBufferDescriptor_t * prvRecvFromWaitForPacket( FreeRTOS_Socket_t const * pxSocket,
164 static int32_t prvSendUDPPacket( const FreeRTOS_Socket_t * pxSocket,
183 static StreamBuffer_t * prvTCPCreateStream( FreeRTOS_Socket_t * pxSocket,
193 static int32_t prvTCPSendCheck( FreeRTOS_Socket_t * pxSocket,
[all …]
DFreeRTOS_TCP_State_Handling.c67 static BaseType_t prvTCPHandleFin( FreeRTOS_Socket_t * pxSocket,
74 static BaseType_t prvHandleSynReceived( FreeRTOS_Socket_t * pxSocket,
82 static BaseType_t prvHandleEstablished( FreeRTOS_Socket_t * pxSocket,
141 BaseType_t prvTCPStatusAgeCheck( FreeRTOS_Socket_t * pxSocket ) in prvTCPStatusAgeCheck() argument
145 eIPTCPState_t eState = pxSocket->u.xTCP.eTCPState; in prvTCPStatusAgeCheck()
183 TickType_t xAge = xTaskGetTickCount() - pxSocket->u.xTCP.xLastActTime; in prvTCPStatusAgeCheck()
191 pxSocket->usLocalPort, 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()
[all …]
DFreeRTOS_TCP_IP_IPv4.c104 FreeRTOS_Socket_t * pxSocket; in xProcessReceivedTCPPacket_IPV4() local
147 …pxSocket = ( FreeRTOS_Socket_t * ) pxTCPSocketLookup( ulLocalIP, usLocalPort, xRemoteIP, usRemoteP… in xProcessReceivedTCPPacket_IPV4()
149 … 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()
205 pxSocket = prvHandleListen( pxSocket, pxNetworkBuffer ); in xProcessReceivedTCPPacket_IPV4()
207 if( pxSocket == NULL ) 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()
228 vTCPStateChange( pxSocket, eCLOSED ); in xProcessReceivedTCPPacket_IPV4()
[all …]
DFreeRTOS_TCP_IP_IPv6.c114 FreeRTOS_Socket_t * pxSocket; in xProcessReceivedTCPPacket_IPV6() local
140 … pxSocket = ( FreeRTOS_Socket_t * ) pxTCPSocketLookup( 0U, usLocalPort, xRemoteIP, usRemotePort ); in xProcessReceivedTCPPacket_IPV6()
142 … 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()
198 pxSocket = prvHandleListen( pxSocket, pxNetworkBuffer ); in xProcessReceivedTCPPacket_IPV6()
200 if( pxSocket == NULL ) 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()
221 vTCPStateChange( pxSocket, eCLOSED ); in xProcessReceivedTCPPacket_IPV6()
[all …]
DFreeRTOS_TCP_Reception.c68 FreeRTOS_Socket_t * const pxSocket,
79 FreeRTOS_Socket_t * const pxSocket );
96 BaseType_t prvCheckOptions( FreeRTOS_Socket_t * pxSocket, in prvCheckOptions() argument
155 … lResult = prvSingleStepTCPHeaderOptions( pucPtr, uxOptionsLength, pxSocket, xHasSYNFlag ); in prvCheckOptions()
199 FreeRTOS_Socket_t * const pxSocket, in prvSingleStepTCPHeaderOptions() argument
206 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()
[all …]
DFreeRTOS_TCP_State_Handling_IPv4.c75 FreeRTOS_Socket_t * prvHandleListen_IPV4( FreeRTOS_Socket_t * pxSocket, in prvHandleListen_IPV4() argument
85 if( ( pxSocket != NULL ) && ( pxNetworkBuffer != NULL ) ) in prvHandleListen_IPV4()
101 pxSocket->usLocalPort, in prvHandleListen_IPV4()
115 if( pxSocket->u.xTCP.bits.bReuseSocket != pdFALSE_UNSIGNED ) in prvHandleListen_IPV4()
119 pxReturn = pxSocket; 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()
132 pxSocket->usLocalPort, in prvHandleListen_IPV4()
133 pxSocket->u.xTCP.usChildCount, in prvHandleListen_IPV4()
[all …]
DFreeRTOS_TCP_Transmission_IPv6.c85 void prvTCPReturnPacket_IPV6( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket_IPV6() argument
107 if( ( pxNetworkBuffer == NULL ) && ( pxSocket == NULL ) ) in prvTCPReturnPacket_IPV6()
125 pxNetworkBuffer->pucEthernetBuffer = pxSocket->u.xTCP.xPacket.u.ucLastPacket; in prvTCPReturnPacket_IPV6()
126 pxNetworkBuffer->xDataLength = sizeof( pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPReturnPacket_IPV6()
175 prvTCPReturn_SetEndPoint( pxSocket, pxNetworkBuffer, uxIPHeaderSize ); in prvTCPReturnPacket_IPV6()
190 if( pxSocket != NULL ) in prvTCPReturnPacket_IPV6()
192 prvTCPReturn_CheckTCPWindow( pxSocket, pxNetworkBuffer, uxIPHeaderSize ); in prvTCPReturnPacket_IPV6()
193 prvTCPReturn_SetSequenceNumber( pxSocket, pxNetworkBuffer, uxIPHeaderSize, ulLen ); in prvTCPReturnPacket_IPV6()
194 …( void ) memcpy( pxIPHeader->xDestinationAddress.ucBytes, pxSocket->u.xTCP.xRemoteIP.xIP_IPv6.ucBy… in prvTCPReturnPacket_IPV6()
317 BaseType_t prvTCPPrepareConnect_IPV6( FreeRTOS_Socket_t * pxSocket ) in prvTCPPrepareConnect_IPV6() argument
[all …]
DFreeRTOS_TCP_Transmission_IPv4.c84 void prvTCPReturnPacket_IPV4( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket_IPV4() argument
117 pxNetworkBuffer->pucEthernetBuffer = pxSocket->u.xTCP.xPacket.u.ucLastPacket; in prvTCPReturnPacket_IPV4()
118 pxNetworkBuffer->xDataLength = sizeof( pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPReturnPacket_IPV4()
165 prvTCPReturn_SetEndPoint( pxSocket, pxNetworkBuffer, uxIPHeaderSize ); in prvTCPReturnPacket_IPV4()
180 if( pxSocket != NULL ) in prvTCPReturnPacket_IPV4()
182 prvTCPReturn_CheckTCPWindow( pxSocket, pxNetworkBuffer, uxIPHeaderSize ); in prvTCPReturnPacket_IPV4()
183 prvTCPReturn_SetSequenceNumber( pxSocket, pxNetworkBuffer, uxIPHeaderSize, ulLen ); in prvTCPReturnPacket_IPV4()
184 … pxIPHeader->ulDestinationIPAddress = FreeRTOS_htonl( pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4 ); in prvTCPReturnPacket_IPV4()
323 BaseType_t prvTCPPrepareConnect_IPV4( FreeRTOS_Socket_t * pxSocket ) in prvTCPPrepareConnect_IPV4() argument
340 ulRemoteIP = FreeRTOS_htonl( pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4 ); in prvTCPPrepareConnect_IPV4()
[all …]
DFreeRTOS_TCP_State_Handling_IPv6.c75 FreeRTOS_Socket_t * prvHandleListen_IPV6( FreeRTOS_Socket_t * pxSocket, in prvHandleListen_IPV6() argument
83 if( ( pxSocket != NULL ) && ( pxNetworkBuffer != NULL ) ) in prvHandleListen_IPV6()
110 if( pxSocket->u.xTCP.bits.bReuseSocket != pdFALSE_UNSIGNED ) in prvHandleListen_IPV6()
114 pxReturn = pxSocket; 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()
127 pxSocket->usLocalPort, in prvHandleListen_IPV6()
128 pxSocket->u.xTCP.usChildCount, in prvHandleListen_IPV6()
129 pxSocket->u.xTCP.usBacklog, in prvHandleListen_IPV6()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c75 BaseType_t prvCheckOptions( FreeRTOS_Socket_t * pxSocket,
79 FreeRTOS_Socket_t xSocket, * pxSocket; variable
101 pxSocket = &xSocket; in test_prvTCPMakeSurePrepared_NotPrepared()
105 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPMakeSurePrepared_NotPrepared()
112 xResult = prvTCPMakeSurePrepared( pxSocket ); in test_prvTCPMakeSurePrepared_NotPrepared()
125 pxSocket = &xSocket; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
129 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
134 xResult = prvTCPMakeSurePrepared( pxSocket ); in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
146 pxSocket = &xSocket; in test_prvTCPMakeSurePrepared_Ready()
150 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPMakeSurePrepared_Ready()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c56 BaseType_t prvTCPHandleFin( FreeRTOS_Socket_t * pxSocket,
59 BaseType_t prvHandleSynReceived( FreeRTOS_Socket_t * pxSocket,
64 BaseType_t prvHandleEstablished( FreeRTOS_Socket_t * pxSocket,
69 FreeRTOS_Socket_t xSocket, * pxSocket; variable
83 pxSocket = NULL; in setUp()
157 pxSocket = &xSocket; in test_prvTCPStatusAgeCheck_NoChecksNeeded()
159 pxSocket->u.xTCP.eTCPState = eESTABLISHED; in test_prvTCPStatusAgeCheck_NoChecksNeeded()
160 xResult = prvTCPStatusAgeCheck( pxSocket ); in test_prvTCPStatusAgeCheck_NoChecksNeeded()
163 pxSocket->u.xTCP.eTCPState = eCLOSED; in test_prvTCPStatusAgeCheck_NoChecksNeeded()
164 xResult = prvTCPStatusAgeCheck( pxSocket ); in test_prvTCPStatusAgeCheck_NoChecksNeeded()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c30 FreeRTOS_Socket_t * pxSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in harness() local
33 __CPROVER_assume( pxSocket != NULL ); in harness()
34 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
40 pxSocket->pxUserWakeCallback = safeMalloc( sizeof( SocketWakeupCallback_t ) ); in harness()
45 pxSocket->xEventGroup = xEventGroupCreate(); in harness()
46 __CPROVER_assume( pxSocket->xEventGroup != NULL ); in harness()
50 pxSocket->xEventGroup = NULL; in harness()
61 vListInitialiseItem( &( pxSocket->xBoundSocketListItem ) ); in harness()
62 pxSocket->xBoundSocketListItem.pxContainer = &( BoundSocketList ); in harness()
63 vListInsertEnd( &BoundSocketList, &( pxSocket->xBoundSocketListItem ) ); in harness()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils/
DFreeRTOS_TCP_Utils_utest.c51 FreeRTOS_Socket_t xSocket, * pxSocket; variable
98 pxSocket = &xSocket; in test_prvSocketSetMSS_NULL_EP()
100 pxSocket->bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_prvSocketSetMSS_NULL_EP()
101 pxSocket->pxEndPoint = pxEndPoint; in test_prvSocketSetMSS_NULL_EP()
102 pxSocket->u.xTCP.xRemoteIP.ulIP_IPv4 = 0xC0C0C0C0; in test_prvSocketSetMSS_NULL_EP()
104 prvSocketSetMSS( pxSocket ); in test_prvSocketSetMSS_NULL_EP()
106 TEST_ASSERT_EQUAL( ipconfigTCP_MSS, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_NULL_EP()
117 pxSocket = &xSocket; in test_prvSocketSetMSS_Reduced()
120 pxSocket->bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_prvSocketSetMSS_Reduced()
121 pxSocket->pxEndPoint = &xEndPoint; in test_prvSocketSetMSS_Reduced()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv4/
DFreeRTOS_TCP_State_Handling_IPv4_utest.c51 FreeRTOS_Socket_t * prvHandleListen_IPV4( FreeRTOS_Socket_t * pxSocket,
54 FreeRTOS_Socket_t xSocket, * pxSocket; variable
68 pxSocket = NULL; in setUp()
85 pxSocket = &xSocket; in test_prvHandleListen_IPV4_NotForMe()
96 pxSocket = prvHandleListen_IPV4( pxSocket, pxNetworkBuffer ); in test_prvHandleListen_IPV4_NotForMe()
98 TEST_ASSERT_EQUAL( NULL, pxSocket ); in test_prvHandleListen_IPV4_NotForMe()
111 pxSocket = &xSocket; in test_prvHandleListen_IPV4_ReuseSocket()
120 pxSocket->u.xTCP.bits.bReuseSocket = pdTRUE; in test_prvHandleListen_IPV4_ReuseSocket()
128 pxReturn = prvHandleListen_IPV4( pxSocket, pxNetworkBuffer ); in test_prvHandleListen_IPV4_ReuseSocket()
130 TEST_ASSERT_EQUAL( pxSocket, pxReturn ); in test_prvHandleListen_IPV4_ReuseSocket()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_TCP_Transmission.h40 int32_t prvTCPSendPacket( FreeRTOS_Socket_t * pxSocket );
45 int32_t prvTCPSendRepeated( FreeRTOS_Socket_t * pxSocket,
51 void prvTCPReturnPacket( FreeRTOS_Socket_t * pxSocket,
60 void prvTCPReturn_CheckTCPWindow( FreeRTOS_Socket_t * pxSocket,
68 void prvTCPReturn_SetSequenceNumber( FreeRTOS_Socket_t * pxSocket,
76 void prvTCPReturnPacket_IPV4( FreeRTOS_Socket_t * pxSocket,
84 void prvTCPReturnPacket_IPV6( FreeRTOS_Socket_t * pxSocket,
89 void prvTCPReturn_SetEndPoint( const FreeRTOS_Socket_t * pxSocket,
97 BaseType_t prvTCPPrepareConnect_IPV4( FreeRTOS_Socket_t * pxSocket );
103 BaseType_t prvTCPPrepareConnect_IPV6( FreeRTOS_Socket_t * pxSocket );
[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
60 pxSocket = NULL; in setUp()
79 pxSocket = &xSocket; in test_prvSocketSetMSS_IPV6_NullEndPoint()
80 pxSocket->pxEndPoint = NULL; in test_prvSocketSetMSS_IPV6_NullEndPoint()
84 prvSocketSetMSS_IPV6( pxSocket ); in test_prvSocketSetMSS_IPV6_NullEndPoint()
94 pxSocket = &xSocket; in test_prvSocketSetMSS_IPV6_GlobalAddress()
96 pxSocket->pxEndPoint = pxEndPoint; in test_prvSocketSetMSS_IPV6_GlobalAddress()
98 xIPv6_GetIPType_ExpectAndReturn( &( pxSocket->u.xTCP.xRemoteIP.xIP_IPv6 ), eIPv6_Global ); in test_prvSocketSetMSS_IPV6_GlobalAddress()
103 prvSocketSetMSS_IPV6( pxSocket ); in test_prvSocketSetMSS_IPV6_GlobalAddress()
105 TEST_ASSERT_EQUAL( ipconfigTCP_MSS - ulDiffSizeIPHeader, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_IPV6_GlobalAddress()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c61 BaseType_t publicTCPHandleState( FreeRTOS_Socket_t * pxSocket,
66 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
69 if( ensure_memory_is_valid( pxSocket, socketSize ) ) in harness()
75 …__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()
97 …Buffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) + uxIPHeaderSizeSocket( pxSocket ) ); in harness()
100 if( ensure_memory_is_valid( pxSocket, socketSize ) && in harness()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv6/
DFreeRTOS_TCP_State_Handling_IPv6_utest.c51 FreeRTOS_Socket_t * prvHandleListen_IPV6( FreeRTOS_Socket_t * pxSocket,
54 FreeRTOS_Socket_t xSocket, * pxSocket; variable
72 pxSocket = NULL; in setUp()
100 pxSocket = &xSocket; in test_prvHandleListen_IPV6_NullNetworkBuffer()
102 pxReturn = prvHandleListen_IPV6( pxSocket, NULL ); in test_prvHandleListen_IPV6_NullNetworkBuffer()
114 pxSocket = &xSocket; in test_prvHandleListen_IPV6_NullEndpoint()
119 catch_assert( prvHandleListen_IPV6( pxSocket, pxNetworkBuffer ) ); in test_prvHandleListen_IPV6_NullEndpoint()
132 pxSocket = &xSocket; in test_prvHandleListen_IPV6_DifferentIP()
144 pxReturn = prvHandleListen_IPV6( pxSocket, pxNetworkBuffer ); in test_prvHandleListen_IPV6_DifferentIP()
157 pxSocket = &xSocket; in test_prvHandleListen_IPV6_GetRandomFail()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c133 void SocketWakeupCallback_Stub( struct xSOCKET * pxSocket ) in SocketWakeupCallback_Stub() argument
135 __CPROVER_assert( pxSocket != NULL, in SocketWakeupCallback_Stub()
141 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
143 __CPROVER_assume( pxSocket != NULL ); in harness()
144 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
146 pxSocket->pxUserWakeCallback = SocketWakeupCallback_Stub; in harness()
148 pxSocket->pxSocketSet = safeMalloc( sizeof( struct xSOCKET_SET ) ); in harness()
150 if( pxSocket->pxSocketSet != NULL ) in harness()
152 pxSocket->pxSocketSet->xSelectGroup = safeMalloc( sizeof( struct EventGroupDef_t ) ); in harness()
155 __CPROVER_assume( pxSocket->pxSocketSet->xSelectGroup != NULL ); in harness()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c59 BaseType_t prvCheckOptions( FreeRTOS_Socket_t * pxSocket,
63 FreeRTOS_Socket_t xSocket, * pxSocket; variable
124 pxSocket = &xSocket; in test_prvCheckOptions_No_Option()
137 xReturn = prvCheckOptions( pxSocket, pxNetworkBuffer ); in test_prvCheckOptions_No_Option()
147 pxSocket = &xSocket; in test_prvCheckOptions_Invalid_Data_Length()
161 xReturn = prvCheckOptions( pxSocket, pxNetworkBuffer ); in test_prvCheckOptions_Invalid_Data_Length()
171 pxSocket = &xSocket; in test_prvCheckOptions_Invalid_Option_Length()
185 xReturn = prvCheckOptions( pxSocket, pxNetworkBuffer ); in test_prvCheckOptions_Invalid_Option_Length()
195 pxSocket = &xSocket; in test_prvCheckOptions_MSS_WSF()
210 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c64 FreeRTOS_Socket_t * pxSocket; in test_FreeRTOS_socket_TCPv6SocketLowMSS() local
66 … uint8_t ucSocket[ ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ) ]; in test_FreeRTOS_socket_TCPv6SocketLowMSS()
69 pxSocket = ( FreeRTOS_Socket_t * ) ucSocket; in test_FreeRTOS_socket_TCPv6SocketLowMSS()
76 …pvPortMalloc_ExpectAndReturn( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->… in test_FreeRTOS_socket_TCPv6SocketLowMSS()
84 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
86 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); 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/cbmc/proofs/Socket/lTCPAddRxdata/
DTCPAddRxdata_harness.c21 …uffer_t * __CPROVER_file_local_FreeRTOS_Sockets_c_prvTCPCreateStream( FreeRTOS_Socket_t * pxSocket,
25 void __CPROVER_file_local_FreeRTOS_Sockets_c_vTCPAddRxdata_Callback( FreeRTOS_Socket_t * pxSocket,
29 void __CPROVER_file_local_FreeRTOS_Sockets_c_vTCPAddRxdata_Stored( FreeRTOS_Socket_t * pxSocket );
39 …FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated( sizeof( FreeRTOS_Socket_t ) … in harness() local
45 __CPROVER_assume( pxSocket != NULL ); in harness()
48 …__CPROVER_assume( pxSocket->u.xTCP.uxRxStreamSize >= 0 && pxSocket->u.xTCP.uxRxStreamSize < ipconf… in harness()
49 …__CPROVER_assume( pxSocket->u.xTCP.uxTxStreamSize >= 0 && pxSocket->u.xTCP.uxTxStreamSize < ipconf… in harness()
53 lTCPAddRxdata( pxSocket, uxOffset, pcData, ulByteCount ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c29 … FreeRTOS_Socket_t * const pxSocket );
49 FreeRTOS_Socket_t * pxSocket = malloc( sizeof( FreeRTOS_Socket_t ) ); in harness() local
51 __CPROVER_assume( pxSocket != NULL ); in harness()
53 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()
[all …]

1234