Home
last modified time | relevance | path

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

12

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c74 BaseType_t prvCheckOptions( FreeRTOS_Socket_t * pxSocket,
78 FreeRTOS_Socket_t xSocket, * pxSocket; variable
95 pxSocket = &xSocket; in test_prvTCPMakeSurePrepared_Not_Ready()
99 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPMakeSurePrepared_Not_Ready()
106 xResult = prvTCPMakeSurePrepared( pxSocket ); in test_prvTCPMakeSurePrepared_Not_Ready()
115 pxSocket = &xSocket; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
119 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
124 xResult = prvTCPMakeSurePrepared( pxSocket ); in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
133 pxSocket = &xSocket; in test_prvTCPMakeSurePrepared_Ready()
137 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPMakeSurePrepared_Ready()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_IP.c96 static void prvTCPTouchSocket( FreeRTOS_Socket_t * pxSocket );
102 static TickType_t prvTCPNextTimeout( FreeRTOS_Socket_t * pxSocket );
122 void vSocketCloseNextTime( FreeRTOS_Socket_t * pxSocket ) in vSocketCloseNextTime() argument
124 if( ( xSocketToClose != NULL ) && ( xSocketToClose != pxSocket ) ) in vSocketCloseNextTime()
129 xSocketToClose = pxSocket; in vSocketCloseNextTime()
138 void vSocketListenNextTime( FreeRTOS_Socket_t * pxSocket ) in vSocketListenNextTime() argument
140 if( ( xSocketToListen != NULL ) && ( xSocketToListen != pxSocket ) ) in vSocketListenNextTime()
145 xSocketToListen = pxSocket; in vSocketListenNextTime()
167 BaseType_t xTCPSocketCheck( FreeRTOS_Socket_t * pxSocket ) in xTCPSocketCheck() argument
172 … if( ( pxSocket->u.xTCP.eTCPState >= eESTABLISHED ) && ( pxSocket->u.xTCP.txStream != NULL ) ) in xTCPSocketCheck()
[all …]
DFreeRTOS_Sockets.c56 #define socketSET_SOCKET_PORT( pxSocket, usPort ) listSET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xB… argument
58 #define socketGET_SOCKET_PORT( pxSocket ) listGET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xB… argument
63 #define socketSOCKET_IS_BOUND( pxSocket ) ( listLIST_ITEM_CONTAINER( &( pxSocket )->xBou… argument
122 static BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
132 static BaseType_t prvSockopt_so_buffer( FreeRTOS_Socket_t * pxSocket,
153 static StreamBuffer_t * prvTCPCreateStream( FreeRTOS_Socket_t * pxSocket,
163 static int32_t prvTCPSendCheck( FreeRTOS_Socket_t * pxSocket,
181 static BaseType_t prvTCPConnectStart( FreeRTOS_Socket_t * pxSocket,
191 static BaseType_t bMayConnect( FreeRTOS_Socket_t const * pxSocket );
230 static BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket, in prvValidSocket() argument
[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,
92 FreeRTOS_Socket_t * pxSocket );
147 BaseType_t prvTCPStatusAgeCheck( FreeRTOS_Socket_t * pxSocket ) in prvTCPStatusAgeCheck() argument
151 eIPTCPState_t eState = pxSocket->u.xTCP.eTCPState; in prvTCPStatusAgeCheck()
189 TickType_t xAge = xTaskGetTickCount() - pxSocket->u.xTCP.xLastActTime; in prvTCPStatusAgeCheck()
197 pxSocket->usLocalPort, in prvTCPStatusAgeCheck()
198 ( unsigned ) pxSocket->u.xTCP.ulRemoteIP, in prvTCPStatusAgeCheck()
199 pxSocket->u.xTCP.usRemotePort, in prvTCPStatusAgeCheck()
[all …]
DFreeRTOS_TCP_Transmission.c78 static BaseType_t prvTCPPrepareConnect( FreeRTOS_Socket_t * pxSocket );
88 static BaseType_t prvTCPMakeSurePrepared( FreeRTOS_Socket_t * pxSocket ) in prvTCPMakeSurePrepared() argument
92 if( pxSocket->u.xTCP.bits.bConnPrepared == pdFALSE_UNSIGNED ) in prvTCPMakeSurePrepared()
94 if( prvTCPPrepareConnect( pxSocket ) != pdTRUE ) in prvTCPMakeSurePrepared()
114 int32_t prvTCPSendPacket( FreeRTOS_Socket_t * pxSocket ) in prvTCPSendPacket() argument
120 if( pxSocket->u.xTCP.eTCPState != eCONNECT_SYN ) in prvTCPSendPacket()
127 lResult = prvTCPSendRepeated( pxSocket, &pxNetworkBuffer ); in prvTCPSendPacket()
136 if( pxSocket->u.xTCP.ucRepCount >= 3U ) in prvTCPSendPacket()
142 … ( unsigned ) pxSocket->u.xTCP.ulRemoteIP, /* IP address of remote machine. */ in prvTCPSendPacket()
143 … pxSocket->u.xTCP.usRemotePort ) ); /* Port on remote machine. */ in prvTCPSendPacket()
[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_UDP_IP.c312 FreeRTOS_Socket_t * pxSocket; in xProcessReceivedUDPPacket() local
325 pxSocket = pxUDPSocketLookup( usPort ); in xProcessReceivedUDPPacket()
331 if( pxSocket != NULL ) in xProcessReceivedUDPPacket()
363 if( ipconfigIS_VALID_PROG_ADDRESS( pxSocket->u.xUDP.pxHandleReceive ) ) in xProcessReceivedUDPPacket()
367 … FOnUDPReceive_t xHandler = ( FOnUDPReceive_t ) pxSocket->u.xUDP.pxHandleReceive; in xProcessReceivedUDPPacket()
374 if( xHandler( ( Socket_t ) pxSocket, in xProcessReceivedUDPPacket()
390 …if( listCURRENT_LIST_LENGTH( &( pxSocket->u.xUDP.xWaitingPacketsList ) ) >= pxSocket->u.xUDP.uxMax… in xProcessReceivedUDPPacket()
393 … listCURRENT_LIST_LENGTH( &( pxSocket->u.xUDP.xWaitingPacketsList ) ), in xProcessReceivedUDPPacket()
394 … pxSocket->u.xUDP.uxMaxPackets, pxSocket->usLocalPort ) ); in xProcessReceivedUDPPacket()
413 …vListInsertEnd( &( pxSocket->u.xUDP.xWaitingPacketsList ), &( pxNetworkBuffer->xBufferListItem ) ); in xProcessReceivedUDPPacket()
[all …]
DFreeRTOS_TCP_Utils.c90 void prvSocketSetMSS( FreeRTOS_Socket_t * pxSocket ) in prvSocketSetMSS() argument
105 …if( ( ( FreeRTOS_ntohl( pxSocket->u.xTCP.ulRemoteIP ) ^ *ipLOCAL_IP_ADDRESS_POINTER ) & xNetworkAd… in prvSocketSetMSS()
112 …%u bytes for %xip:%u\n", ( unsigned ) ulMSS, ( unsigned ) pxSocket->u.xTCP.ulRemoteIP, pxSocket->u… in prvSocketSetMSS()
114 pxSocket->u.xTCP.usMSS = ( uint16_t ) ulMSS; in prvSocketSetMSS()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c70 FreeRTOS_Socket_t xSocket, * pxSocket; variable
144 pxSocket = &xSocket; in test_prvTCPStatusAgeCheck_No_Checks_Needed()
146 pxSocket->u.xTCP.eTCPState = eESTABLISHED; in test_prvTCPStatusAgeCheck_No_Checks_Needed()
147 xResult = prvTCPStatusAgeCheck( pxSocket ); in test_prvTCPStatusAgeCheck_No_Checks_Needed()
150 pxSocket->u.xTCP.eTCPState = eCLOSED; in test_prvTCPStatusAgeCheck_No_Checks_Needed()
151 xResult = prvTCPStatusAgeCheck( pxSocket ); in test_prvTCPStatusAgeCheck_No_Checks_Needed()
154 pxSocket->u.xTCP.eTCPState = eTCP_LISTEN; in test_prvTCPStatusAgeCheck_No_Checks_Needed()
155 xResult = prvTCPStatusAgeCheck( pxSocket ); in test_prvTCPStatusAgeCheck_No_Checks_Needed()
158 pxSocket->u.xTCP.eTCPState = eCLOSE_WAIT; in test_prvTCPStatusAgeCheck_No_Checks_Needed()
159 xResult = prvTCPStatusAgeCheck( pxSocket ); in test_prvTCPStatusAgeCheck_No_Checks_Needed()
[all …]
/FreeRTOS-Plus-TCP-v3.1.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-v3.1.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()
135 xReturn = prvCheckOptions( pxSocket, pxNetworkBuffer ); in test_prvCheckOptions_No_Option()
145 pxSocket = &xSocket; in test_prvCheckOptions_Invalid_Data_Length()
157 xReturn = prvCheckOptions( pxSocket, pxNetworkBuffer ); in test_prvCheckOptions_Invalid_Data_Length()
167 pxSocket = &xSocket; in test_prvCheckOptions_Invalid_Option_Length()
179 xReturn = prvCheckOptions( pxSocket, pxNetworkBuffer ); in test_prvCheckOptions_Invalid_Option_Length()
189 pxSocket = &xSocket; in test_prvCheckOptions_MSS_WSF()
204 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c59 BaseType_t publicTCPHandleState( FreeRTOS_Socket_t * pxSocket,
64 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
67 if( ensure_memory_is_valid( pxSocket, socketSize ) ) in harness()
73 …__CPROVER_assume( pxSocket->u.xTCP.xTCPWindow.ucOptionLength == sizeof( uint32_t ) * ipSIZE_TCP_OP… in harness()
75 …__CPROVER_assume( pxSocket->u.xTCP.uxRxWinSize >= 0 && pxSocket->u.xTCP.uxRxWinSize <= sizeof( siz… in harness()
77 __CPROVER_assume( pxSocket->u.xTCP.usMSS == sizeof( uint16_t ) ); in harness()
81 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassQueued == pdFALSE_UNSIGNED ); in harness()
82 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassAccept == pdFALSE_UNSIGNED ); in harness()
94 if( ensure_memory_is_valid( pxSocket, socketSize ) && in harness()
97 ensure_memory_is_valid( pxSocket->u.xTCP.pxPeerSocket, socketSize ) ) in harness()
[all …]
/FreeRTOS-Plus-TCP-v3.1.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 …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Utils/
DFreeRTOS_TCP_Utils_utest.c51 BaseType_t prvCheckOptions( FreeRTOS_Socket_t * pxSocket,
55 FreeRTOS_Socket_t xSocket, * pxSocket; variable
90 pxSocket = &xSocket; in test_prvSocketSetMSS_Reduced()
92 pxSocket->u.xTCP.ulRemoteIP = 0xC0C0C0C0; in test_prvSocketSetMSS_Reduced()
95 prvSocketSetMSS( pxSocket ); in test_prvSocketSetMSS_Reduced()
96 TEST_ASSERT_EQUAL( 1400, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Reduced()
102 pxSocket = &xSocket; in test_prvSocketSetMSS_Normal()
104 pxSocket->u.xTCP.ulRemoteIP = 0x0; in test_prvSocketSetMSS_Normal()
106 prvSocketSetMSS( pxSocket ); in test_prvSocketSetMSS_Normal()
107 TEST_ASSERT_EQUAL( ipconfigNETWORK_MTU - 40U, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Normal()
/FreeRTOS-Plus-TCP-v3.1.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,
59 void prvTCPCreateWindow( FreeRTOS_Socket_t * pxSocket );
66 UBaseType_t prvSetSynAckOptions( FreeRTOS_Socket_t * pxSocket,
72 int32_t prvTCPPrepareSend( FreeRTOS_Socket_t * pxSocket,
80 void prvTCPAddTxData( FreeRTOS_Socket_t * pxSocket );
85 UBaseType_t prvSetOptions( FreeRTOS_Socket_t * pxSocket,
93 BaseType_t prvSendData( FreeRTOS_Socket_t * pxSocket,
114 NetworkBufferDescriptor_t * prvTCPBufferResize( const FreeRTOS_Socket_t * pxSocket,
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c136 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
138 __CPROVER_assume( pxSocket != NULL ); in harness()
139 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
141 pxSocket->pxUserWakeCallback = safeMalloc( sizeof( SocketWakeupCallback_t ) ); in harness()
143 pxSocket->pxSocketSet = safeMalloc( sizeof( struct xSOCKET_SET ) ); in harness()
145 if( pxSocket->pxSocketSet != NULL ) in harness()
147 pxSocket->pxSocketSet->xSelectGroup = safeMalloc( sizeof( struct EventGroupDef_t ) ); in harness()
150 __CPROVER_assume( pxSocket->pxSocketSet->xSelectGroup != NULL ); in harness()
153 pxSocket->pxUserSemaphore = safeMalloc( sizeof( xQUEUE ) ); in harness()
155 if( pxSocket->pxUserSemaphore != NULL ) in harness()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c66 FreeRTOS_Socket_t xSocket, * pxSocket; variable
92 static void prvTCPReturnPacket_StubReturnNULL( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket_StubReturnNULL() argument
102 pxSocket->u.xTCP.pxAckMessage = NULL; in prvTCPReturnPacket_StubReturnNULL()
451 pxSocket = &xSocket; in test_prvTCPNextTimeout_ConnSyn_State_Not_Active()
453 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPNextTimeout_ConnSyn_State_Not_Active()
454 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPNextTimeout_ConnSyn_State_Not_Active()
455 pxSocket->u.xTCP.ucRepCount = 0; in test_prvTCPNextTimeout_ConnSyn_State_Not_Active()
457 Return = prvTCPNextTimeout( pxSocket ); in test_prvTCPNextTimeout_ConnSyn_State_Not_Active()
466 pxSocket = &xSocket; in test_prvTCPNextTimeout_ConnSyn_State_Active_Rep0()
468 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPNextTimeout_ConnSyn_State_Active_Rep0()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/
Daws_freertos_tcp_verification_access_tcp_define.h1 int32_t publicTCPPrepareSend( FreeRTOS_Socket_t * pxSocket, in publicTCPPrepareSend() argument
5 prvTCPPrepareSend( pxSocket, ppxNetworkBuffer, uxOptionsLength ); in publicTCPPrepareSend()
8 BaseType_t publicTCPHandleState( FreeRTOS_Socket_t * pxSocket, in publicTCPHandleState() argument
11 prvTCPHandleState( pxSocket, ppxNetworkBuffer ); in publicTCPHandleState()
14 void publicTCPReturnPacket( FreeRTOS_Socket_t * pxSocket, in publicTCPReturnPacket() argument
19 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, ulLen, xReleaseAfterSend ); in publicTCPReturnPacket()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/utility/
Dmemory_assignments.c16 FreeRTOS_Socket_t * pxSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated() local
18 if( ensure_memory_is_valid( pxSocket, sizeof( FreeRTOS_Socket_t ) ) ) in ensure_FreeRTOS_Socket_t_is_allocated()
20 pxSocket->u.xTCP.rxStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
21 pxSocket->u.xTCP.txStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
22 pxSocket->u.xTCP.pxPeerSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
25 return pxSocket; in ensure_FreeRTOS_Socket_t_is_allocated()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsOuter/
DCheckOptionsOuter_harness.c29 … FreeRTOS_Socket_t * const pxSocket,
46 … FreeRTOS_Socket_t * const pxSocket ) in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption() argument
57 __CPROVER_assert( pxSocket != NULL, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption()
76 FreeRTOS_Socket_t * pxSocket = malloc( sizeof( FreeRTOS_Socket_t ) ); in harness() local
90 __CPROVER_assume( pxSocket != NULL ); in harness()
94 … pxSocket, in harness()
/FreeRTOS-Plus-TCP-v3.1.0/tools/tcp_utilities/
Dtcp_netstat.c89 …const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) listGET_LIST_ITEM_OWNER( pxIter… in vGetMetrics() local
93 if( usLastPort != pxSocket->usLocalPort ) in vGetMetrics()
95 … pxMetrics->xTCPPortList.usTCPPortList[ pxMetrics->xTCPPortList.uxCount ] = pxSocket->usLocalPort; in vGetMetrics()
97 usLastPort = pxSocket->usLocalPort; in vGetMetrics()
105 … pxMetrics->xTCPSocketList.xTCPList[ uxCount ].usLocalPort = pxSocket->usLocalPort; in vGetMetrics()
106 … pxMetrics->xTCPSocketList.xTCPList[ uxCount ].ulRemoteIP = pxSocket->u.xTCP.ulRemoteIP; in vGetMetrics()
107 … pxMetrics->xTCPSocketList.xTCPList[ uxCount ].usRemotePort = pxSocket->u.xTCP.usRemotePort; in vGetMetrics()
126 …const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) listGET_LIST_ITEM_OWNER( pxIter… in vGetMetrics() local
130 … pxMetrics->xUDPPortList.usUDPPortList[ pxMetrics->xUDPPortList.uxCount ] = pxSocket->usLocalPort; in vGetMetrics()
137 … pxMetrics->xUDPSocketList.xUDPList[ uxCount ].usLocalPort = pxSocket->usLocalPort; in vGetMetrics()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptions/
DCheckOptions_harness.c27 BaseType_t __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvCheckOptions( FreeRTOS_Socket_t * pxSocket,
43 … FreeRTOS_Socket_t * const pxSocket, in __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions() argument
57 __CPROVER_assert( pxSocket != NULL, in __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions()
80 FreeRTOS_Socket_t pxSocket; in harness() local
102 __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvCheckOptions( &pxSocket, &pxNetworkBuffer ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c50 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
52 __CPROVER_assume( pxSocket != NULL ); in harness()
53 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
65 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c50 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
52 __CPROVER_assume( pxSocket != NULL ); in harness()
53 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
69 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/
DvSocketBind_harness.c52 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
54 __CPROVER_assume( pxSocket != NULL ); in harness()
55 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
67 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()

12