| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Networking/ |
| D | FreeRTOS_DNS_Networking_utest.c | 102 Socket_t s; in test_CreateSocket_fail_socket()
120 Socket_t s; in test_CreateSocket_success()
125 ( Socket_t ) 235 ); in test_CreateSocket_success()
126 xSocketValid_ExpectAndReturn( ( Socket_t ) 235, pdTRUE ); in test_CreateSocket_success()
132 TEST_ASSERT_EQUAL( ( Socket_t ) 235, s ); in test_CreateSocket_success()
141 Socket_t xSocket; in test_BindSocket_fail()
158 Socket_t xSocket; in test_BindSocket_success()
174 Socket_t s = ( Socket_t ) 123; in test_SendRequest_success()
193 Socket_t s = ( Socket_t ) 123; in test_SendRequest_fail()
210 Socket_t s = ( Socket_t ) 123; in test_ReadReply_success()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Sockets.h | 67 #define FREERTOS_INVALID_SOCKET ( ( Socket_t ) ~0U )
194 typedef struct xSOCKET * Socket_t; typedef
208 Socket_t FreeRTOS_socket( BaseType_t xDomain,
213 BaseType_t FreeRTOS_bind( Socket_t xSocket,
218 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket,
225 BaseType_t FreeRTOS_closesocket( Socket_t xSocket );
229 BaseType_t FreeRTOS_SignalSocket( Socket_t xSocket );
232 BaseType_t FreeRTOS_SignalSocketFromISR( Socket_t xSocket,
242 int32_t FreeRTOS_sendto( Socket_t xSocket,
298 BaseType_t FreeRTOS_connect( Socket_t xClientSocket,
[all …]
|
| D | FreeRTOS_DNS_Networking.h | 40 Socket_t DNS_CreateSocket( TickType_t uxReadTimeOut_ticks );
48 BaseType_t DNS_BindSocket( Socket_t xSocket,
51 BaseType_t DNS_SendRequest( Socket_t xDNSSocket,
59 void DNS_CloseSocket( Socket_t xDNSSocket );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_stubs.c | 28 Socket_t xDHCPSocket;
29 extern Socket_t xDHCPv4Socket;
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()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS_Networking.c | 46 BaseType_t DNS_BindSocket( Socket_t xSocket, in DNS_BindSocket()
66 Socket_t DNS_CreateSocket( TickType_t uxReadTimeOut_ticks ) in DNS_CreateSocket()
68 Socket_t xSocket; in DNS_CreateSocket()
101 BaseType_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest()
168 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 23 Socket_t DNS_CreateSocket( TickType_t uxReadTimeout_ticks );
24 void DNS_CloseSocket( Socket_t xDNSSocket );
28 uint32_t DNS_SendRequest( Socket_t xDNSSocket,
87 uint32_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest()
126 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket()
132 Socket_t DNS_CreateSocket( TickType_t uxReadTimeout_ticks ) in DNS_CreateSocket()
134 Socket_t sock = malloc( sizeof( struct xSOCKET ) ); in DNS_CreateSocket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_UDP_API_utest.c | 58 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_UseTempDestinationAddress()
79 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv6DestinationAddress()
100 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv4DestinationAddress()
121 Socket_t xSocket; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_NullDestinationAddress()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 75 Socket_t xSocket = NULL; in test_FreeRTOS_recvfrom_NullSocket()
94 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_TCPSocket()
119 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
148 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlocking()
177 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
205 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButTimeout()
241 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime()
283 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButInterrupted()
314 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived()
348 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
[all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 77 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure()
93 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
110 Socket_t xSocket; in test_FreeRTOS_socket_NoMemory()
131 Socket_t xSocket; in test_FreeRTOS_socket_EventGroupCreationFailed()
157 Socket_t xSocket; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
203 Socket_t xSocket; in test_FreeRTOS_socket_TCPSocket()
248 Socket_t xSocket; in test_FreeRTOS_socket_UDPSocket()
287 Socket_t xSocket; in test_FreeRTOS_socket_UDPSocket_ProtocolDependent()
336 Socket_t xSocket; in test_FreeRTOS_socket_TCPv6Socket()
459 Socket_t xSocket = NULL; in test_FreeRTOS_FD_SET_CatchAssert1()
[all …]
|
| D | FreeRTOS_Sockets_stubs.c | 104 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 36 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket()
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/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 49 extern Socket_t xDHCPv6Socket;
69 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket()
73 Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | FreeRTOS_TCP_IP_stubs.c | 47 static Socket_t xHandleConnectedSocket;
65 static void HandleConnected( Socket_t xSocket, in HandleConnected()
|
| /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/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/IsDHCPSocket/ |
| D | IsDHCPSocket_harness.c | 45 Socket_t xSocket; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 51 extern Socket_t xDHCPv4Socket;
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 | 47 extern Socket_t xDHCPv6Socket;
131 int32_t FreeRTOS_recvfrom( Socket_t xSocket, in FreeRTOS_recvfrom()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 140 Socket_t DNS_CreateSocket( TickType_t uxReadTimeout_ticks ) in DNS_CreateSocket()
142 Socket_t xSock = safeMalloc( sizeof( struct xSOCKET ) ); in DNS_CreateSocket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_stubs.c | 68 extern Socket_t xDHCPv6Socket;
127 Socket_t xStubFreeRTOS_setsockopt_xSocket;
134 void prvSetCheckerAndReturn_FreeRTOS_setsockopt( Socket_t xSocket, in prvSetCheckerAndReturn_FreeRTOS_setsockopt()
142 BaseType_t xStubFreeRTOS_setsockopt( Socket_t xSocket, in xStubFreeRTOS_setsockopt()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
| D | FreeRTOS_TCP_IP_DiffConfig_utest.c | 79 static Socket_t xHandleConnectedSocket;
81 static void HandleConnected( Socket_t xSocket, in HandleConnected()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen/ |
| D | prvHandleListen_harness.c | 49 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen_IPv6/ |
| D | prvHandleListen_IPv6_harness.c | 49 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/ |
| D | ProcessReceivedUDPPacket_IPv6_harness.c | 21 BaseType_t xIsDHCPSocket( Socket_t xSocket ) in xIsDHCPSocket()
|
