| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c | 67 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress() local
90 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress() local
113 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress() local
136 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_NullDestinationAddress() local
154 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_connect_SocketValuesNULL_UseTempDestinationAddress() local
175 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_connect_SocketValuesNULL_IPv6DestinationAddress() local
196 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_connect_SocketValuesNULL_IPv4DestinationAddress() local
217 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_connect_SocketValuesNULL_NullDestinationAddress() local
233 FreeRTOS_Socket_t xSocket; in test_prvSocketProps_UDPv6() local
253 FreeRTOS_Socket_t xSocket; in test_prvSocketProps_TCPv6() local
[all …]
|
| D | FreeRTOS_Sockets_DiffConfig2_UDP_API_utest.c | 58 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_UseTempDestinationAddress() local
79 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv6DestinationAddress() local
100 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv4DestinationAddress() local
121 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_NullDestinationAddress() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_TCP_API_utest.c | 371 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_InvalidValues() local
406 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
433 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_EstablishedConnection_NoWait() local
457 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_TimeOut() local
484 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_Interrupted() local
513 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_Interrupted1() local
544 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_RxStreamNULL() local
575 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_12BytesAlreadyInBuffer() local
603 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_LowWaterReached() local
639 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_LowWaterReached2() local
[all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 77 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure() local
93 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure_SockDependent() local
110 Socket_t xSocket; in test_FreeRTOS_socket_NoMemory() local
131 Socket_t xSocket; in test_FreeRTOS_socket_EventGroupCreationFailed() local
157 Socket_t xSocket; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() local
203 Socket_t xSocket; in test_FreeRTOS_socket_TCPSocket() local
248 Socket_t xSocket; in test_FreeRTOS_socket_UDPSocket() local
287 Socket_t xSocket; in test_FreeRTOS_socket_UDPSocket_ProtocolDependent() local
336 Socket_t xSocket; in test_FreeRTOS_socket_TCPv6Socket() local
459 Socket_t xSocket = NULL; in test_FreeRTOS_FD_SET_CatchAssert1() local
[all …]
|
| D | FreeRTOS_Sockets_privates_utest.c | 160 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundSetButNotBound() local
178 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundResetButBound() local
196 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_InvalidProtocol() local
456 FreeRTOS_Socket_t xSocket; in test_prvMakeSureSocketIsBound_TCPProtocol() local
471 FreeRTOS_Socket_t xSocket; in test_prvMakeSureSocketIsBound_SocketAlreadyBound() local
488 FreeRTOS_Socket_t xSocket; in test_prvMakeSureSocketIsBound_SocketNotBound_BindingFails() local
511 FreeRTOS_Socket_t xSocket; in test_prvMakeSureSocketIsBound_SocketNotBound_BindingSuccess() local
551 FreeRTOS_Socket_t xSocket; in test_vSocketBind_CatchAssert2() local
565 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP() local
597 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCPNULLAddress() local
[all …]
|
| D | FreeRTOS_Sockets_UDP_API_utest.c | 75 Socket_t xSocket = NULL; in test_FreeRTOS_recvfrom_NullSocket() local
94 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_TCPSocket() local
119 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() local
148 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlocking() local
177 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlockingFlagSet() local
205 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButTimeout() local
241 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime() local
283 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButInterrupted() local
314 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived() local
348 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader() local
[all …]
|
| D | FreeRTOS_Sockets_stubs.c | 75 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
104 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
| D | FreeRTOS_TCP_IP_DiffConfig_utest.c | 64 FreeRTOS_Socket_t xSocket, * pxSocket; variable
81 static void HandleConnected( Socket_t xSocket, in HandleConnected()
92 FreeRTOS_Socket_t xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1() local
126 FreeRTOS_Socket_t xSocket; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet() local
154 FreeRTOS_Socket_t xSocket; in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | FreeRTOS_TCP_IP_utest.c | 69 FreeRTOS_Socket_t xSocket, * pxSocket; variable
136 FreeRTOS_Socket_t xSocket = { 0 }; in test_vSocketListenNextTime() local
151 FreeRTOS_Socket_t xSocket = { 0 }; in test_vSocketListenNextTime1() local
167 FreeRTOS_Socket_t xSocket = { 0 }; in test_vSocketListenNextTime2() local
206 FreeRTOS_Socket_t xSocket = { 0 }; in test_xTCPSocketCheck_StateEstablished() local
234 FreeRTOS_Socket_t xSocket = { 0 }; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull() local
265 FreeRTOS_Socket_t xSocket = { 0 }; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1() local
304 FreeRTOS_Socket_t xSocket = { 0 }; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull_BufferFreed() local
340 FreeRTOS_Socket_t xSocket = { 0 }; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout() local
373 FreeRTOS_Socket_t xSocket = { 0 }; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout_NoLogPort() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
| D | FreeRTOS_TCP_Transmission_IPv6_utest.c | 84 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_BufferNULL() local
147 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_NoEP_Found() local
171 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_NoEP_ReleaseAfterSend() local
197 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_Assert1() local
231 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_Assert2() local
266 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_Assert3() local
303 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_HappyPath_ReleaseAfterSend() local
338 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_HappyPath_NoReleaseAfterSend() local
373 FreeRTOS_Socket_t xSocket, * pxSocket = &xSocket; in test_prvTCPPrepareConnect_IPV6_CacheMiss_NULLEP() local
393 FreeRTOS_Socket_t xSocket, * pxSocket = &xSocket; in test_prvTCPPrepareConnect_IPV6_CacheHit_NULLEP() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_stubs.c | 264 static int32_t RecvFromStub( Socket_t xSocket, in RecvFromStub()
295 static int32_t FreeRTOS_recvfrom_Generic( Socket_t xSocket, in FreeRTOS_recvfrom_Generic()
311 static int32_t FreeRTOS_recvfrom_Generic_NullBuffer( Socket_t xSocket, in FreeRTOS_recvfrom_Generic_NullBuffer()
324 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout()
342 …FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage( Socket_t xSocket, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage()
365 …dIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbytes( Socket_t xSocket, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbytes()
397 …IncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbuffer( Socket_t xSocket, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbuffer()
425 …setAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectDHCPCookie( Socket_t xSocket, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectDHCPCookie()
448 …m_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectOpCode( Socket_t xSocket, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectOpCode()
471 …atic int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 57 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket, in FreeRTOS_setsockopt()
75 BaseType_t FreeRTOS_closesocket( Socket_t xSocket ) in FreeRTOS_closesocket()
87 BaseType_t FreeRTOS_bind( Socket_t xSocket, in FreeRTOS_bind()
119 int32_t FreeRTOS_recvfrom( Socket_t xSocket, in FreeRTOS_recvfrom()
189 int32_t FreeRTOS_sendto( Socket_t xSocket, in FreeRTOS_sendto()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 67 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP() local
88 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP1() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Sockets.c | 843 void FreeRTOS_FD_SET( Socket_t xSocket, in FreeRTOS_FD_SET()
884 void FreeRTOS_FD_CLR( Socket_t xSocket, in FreeRTOS_FD_CLR()
922 EventBits_t FreeRTOS_FD_ISSET( const ConstSocket_t xSocket, in FreeRTOS_FD_ISSET()
1265 int32_t FreeRTOS_recvfrom( const ConstSocket_t xSocket, in FreeRTOS_recvfrom()
1575 int32_t FreeRTOS_sendto( Socket_t xSocket, in FreeRTOS_sendto()
1675 BaseType_t FreeRTOS_bind( Socket_t xSocket, in FreeRTOS_bind()
2001 BaseType_t FreeRTOS_closesocket( Socket_t xSocket ) in FreeRTOS_closesocket()
2794 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket, in FreeRTOS_setsockopt()
3473 size_t FreeRTOS_GetLocalAddress( ConstSocket_t xSocket, in FreeRTOS_GetLocalAddress()
4244 BaseType_t FreeRTOS_recv( Socket_t xSocket, in FreeRTOS_recv()
[all …]
|
| D | FreeRTOS_DNS_Networking.c | 46 BaseType_t DNS_BindSocket( Socket_t xSocket, in DNS_BindSocket()
68 Socket_t xSocket; in DNS_CreateSocket() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
| D | FreeRTOS_UDP_IPv4_stubs.c | 47 void UDPReceiveHandlerChecker( Socket_t xSocket, in UDPReceiveHandlerChecker()
67 BaseType_t xStubUDPReceiveHandler_Pass( Socket_t xSocket, in xStubUDPReceiveHandler_Pass()
77 BaseType_t xStubUDPReceiveHandler_Fail( Socket_t xSocket, in xStubUDPReceiveHandler_Fail()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/ |
| D | FreeRTOS_UDP_IPv6_stubs.c | 53 static void UDPReceiveHandlerChecker( Socket_t xSocket, in UDPReceiveHandlerChecker()
73 static BaseType_t xStubUDPReceiveHandler_Pass( Socket_t xSocket, in xStubUDPReceiveHandler_Pass()
83 static BaseType_t xStubUDPReceiveHandler_Fail( Socket_t xSocket, in xStubUDPReceiveHandler_Fail()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/IsDHCPSocket/ |
| D | IsDHCPSocket_harness.c | 45 Socket_t xSocket; in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
| D | FreeRTOS_TCP_State_Handling_stubs.c | 43 void xLocalFunctionPointer( Socket_t xSocket, in xLocalFunctionPointer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 88 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid()
146 int32_t FreeRTOS_recvfrom( Socket_t xSocket, in FreeRTOS_recvfrom()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 101 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid()
131 int32_t FreeRTOS_recvfrom( Socket_t xSocket, in FreeRTOS_recvfrom()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_privates_utest.c | 55 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP() local
|
| D | FreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c | 63 Socket_t xSocket; in test_FreeRTOS_socket_TCPv6SocketLowMSS() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils_IPv6_ConfigLowTCPMSS/ |
| D | FreeRTOS_TCP_Utils_IPv6_ConfigLowTCPMSS_utest.c | 50 FreeRTOS_Socket_t xSocket, * pxSocket; variable
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 254 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert() local
273 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert() local
292 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert() local
312 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_HappyPath() local
|
