| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
| D | FreeRTOS_UDP_IPv4_stubs.c | 50 const struct freertos_sockaddr * pxFrom, in UDPReceiveHandlerChecker()
51 const struct freertos_sockaddr * pxDest ) in UDPReceiveHandlerChecker()
62 TEST_ASSERT_EQUAL( sizeof( struct freertos_sockaddr ), pxFrom->sin_len ); in UDPReceiveHandlerChecker()
63 TEST_ASSERT_EQUAL( sizeof( struct freertos_sockaddr ), pxDest->sin_len ); in UDPReceiveHandlerChecker()
70 const struct freertos_sockaddr * pxFrom, in xStubUDPReceiveHandler_Pass()
71 const struct freertos_sockaddr * pxDest ) in xStubUDPReceiveHandler_Pass()
80 const struct freertos_sockaddr * pxFrom, in xStubUDPReceiveHandler_Fail()
81 const struct freertos_sockaddr * pxDest ) in xStubUDPReceiveHandler_Fail()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/ |
| D | FreeRTOS_UDP_IPv6_stubs.c | 56 const struct freertos_sockaddr * pxFrom, in UDPReceiveHandlerChecker()
57 const struct freertos_sockaddr * pxDest ) in UDPReceiveHandlerChecker()
68 TEST_ASSERT_EQUAL( sizeof( struct freertos_sockaddr ), pxFrom->sin_len ); in UDPReceiveHandlerChecker()
69 TEST_ASSERT_EQUAL( sizeof( struct freertos_sockaddr ), pxDest->sin_len ); in UDPReceiveHandlerChecker()
76 const struct freertos_sockaddr * pxFrom, in xStubUDPReceiveHandler_Pass()
77 const struct freertos_sockaddr * pxDest ) in xStubUDPReceiveHandler_Pass()
86 const struct freertos_sockaddr * pxFrom, in xStubUDPReceiveHandler_Fail()
87 const struct freertos_sockaddr * pxDest ) in xStubUDPReceiveHandler_Fail()
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | http_client_test.c | 211 struct freertos_sockaddr xEchoServerAddress; in prvEchoClientTask()
229 … struct freertos_sockaddr * pxAddress = ( struct freertos_sockaddr * ) &xEchoServerAddress; in prvEchoClientTask()
231 struct freertos_sockaddr * pxAddress = &xEchoServerAddress; in prvEchoClientTask()
252 struct freertos_sockaddr xBindAddress; in prvEchoClientTask()
265 struct freertos_sockaddr xLocalAddress; in prvEchoClientTask()
337 struct freertos_sockaddr * pxAddr6; in prvEchoClientTask()
339 pxAddr6 = ( struct freertos_sockaddr * ) pxResult->ai_addr; in prvEchoClientTask()
354 xEchoServerAddress.sin_len = sizeof( struct freertos_sockaddr ); in prvEchoClientTask()
364 pxAddress->sin_len = sizeof( struct freertos_sockaddr ); in prvEchoClientTask()
430 …rc = FreeRTOS_connect( xSocket, ( struct freertos_sockaddr * ) &xEchoServerAddress, sizeof( xEchoS… in prvEchoClientTask()
[all …]
|
| D | NTPDemo.c | 112 static struct freertos_sockaddr xIPAddressFound;
224 struct freertos_sockaddr xAddress; in vStartNTPTask()
284 … struct freertos_sockaddr * sockaddr6 = ( struct freertos_sockaddr * ) pxAddress->ai_addr; in vDNS_callback()
473 const struct freertos_sockaddr * pxFrom, in xOnUDPReceive()
474 const struct freertos_sockaddr * pxDest ) in xOnUDPReceive()
501 struct freertos_sockaddr xAddress; in prvNTPTask()
624 ( const struct freertos_sockaddr * ) &( xIPAddressFound ), in prvNTPTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_stubs.c | 268 struct freertos_sockaddr * pxSourceAddress, in RecvFromStub()
299 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_Generic()
315 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_Generic_NullBuffer()
328 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout()
346 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage()
369 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbytes()
401 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbuffer()
429 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectDHCPCookie()
452 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectOpCode()
475 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Sockets.h | 174 struct freertos_sockaddr struct
190 typedef struct freertos_sockaddr xFreertosSocAddr; argument
214 struct freertos_sockaddr const * pxAddress,
246 const struct freertos_sockaddr * pxDestinationAddress,
254 struct freertos_sockaddr * pxSourceAddress,
260 struct freertos_sockaddr * pxAddress );
299 const struct freertos_sockaddr * pxAddress,
309 struct freertos_sockaddr * pxAddress,
356 struct freertos_sockaddr * pxAddress );
438 const struct freertos_sockaddr * pxFrom,
[all …]
|
| D | FreeRTOS_IPv4_Sockets.h | 55 const struct freertos_sockaddr * pxDestinationAddress );
62 struct freertos_sockaddr * pxSourceAddress );
|
| D | FreeRTOS_DNS_Networking.h | 52 const struct freertos_sockaddr * xAddress,
56 struct freertos_sockaddr * xAddress,
|
| D | FreeRTOS_IPv6_Sockets.h | 112 const struct freertos_sockaddr * pxDestinationAddress );
119 struct freertos_sockaddr * pxSourceAddress );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Networking/ |
| D | FreeRTOS_DNS_Networking_utest.c | 140 struct freertos_sockaddr xAddress; in test_BindSocket_fail()
157 struct freertos_sockaddr xAddress; in test_BindSocket_success()
176 struct freertos_sockaddr xAddress; in test_SendRequest_success()
195 struct freertos_sockaddr xAddress; in test_SendRequest_fail()
211 struct freertos_sockaddr xAddress; in test_ReadReply_success()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS_Networking.c | 49 struct freertos_sockaddr xAddress; in DNS_BindSocket()
102 const struct freertos_sockaddr * xAddress, in DNS_SendRequest()
140 struct freertos_sockaddr * xAddress, in DNS_ReadReply()
144 uint32_t ulAddressLength = ( uint32_t ) sizeof( struct freertos_sockaddr ); in DNS_ReadReply()
|
| D | FreeRTOS_IPv4_Sockets.c | 230 const struct freertos_sockaddr * pxDestinationAddress ) in xSend_UDP_Update_IPv4()
257 struct freertos_sockaddr * pxSourceAddress ) in xRecv_Update_IPv4()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c | 68 struct freertos_sockaddr xAddress; in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress()
91 struct freertos_sockaddr xAddress; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress()
114 struct freertos_sockaddr xAddress; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress()
155 struct freertos_sockaddr xAddress; in test_FreeRTOS_connect_SocketValuesNULL_UseTempDestinationAddress()
176 struct freertos_sockaddr xAddress; in test_FreeRTOS_connect_SocketValuesNULL_IPv6DestinationAddress()
197 struct freertos_sockaddr xAddress; in test_FreeRTOS_connect_SocketValuesNULL_IPv4DestinationAddress()
279 struct freertos_sockaddr xAddress; in test_FreeRTOS_GetLocalAddress_IPv6()
302 struct freertos_sockaddr xAddress; in test_FreeRTOS_GetRemoteAddress_IPv6HappyPath()
|
| D | FreeRTOS_Sockets_DiffConfig2_UDP_API_utest.c | 62 struct freertos_sockaddr xDestinationAddress; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_UseTempDestinationAddress()
83 struct freertos_sockaddr xDestinationAddress; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv6DestinationAddress()
104 struct freertos_sockaddr xDestinationAddress; in test_FreeRTOS_sendto_MoreDataThanUDPPayload_IPv4DestinationAddress()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/xRecv_Update_IPv4/ |
| D | xRecv_Update_IPv4_harness.c | 50 struct freertos_sockaddr * pxSourceAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/xRecv_Update_IPv6/ |
| D | xRecv_Update_IPv6_harness.c | 22 struct freertos_sockaddr * pxSourceAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 79 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NullSocket()
98 struct freertos_sockaddr * pxSourceAddress = NULL; in test_FreeRTOS_recvfrom_TCPSocket()
123 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
152 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NonBlocking()
181 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
209 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_BlockingButTimeout()
245 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime()
287 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_BlockingButInterrupted()
318 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived()
352 struct freertos_sockaddr xSourceAddress; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 26 struct freertos_sockaddr * xAddress,
29 struct freertos_sockaddr * xAddress,
88 struct freertos_sockaddr * xAddress, in DNS_SendRequest()
106 struct freertos_sockaddr * xAddress, in DNS_ReadReply()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Sockets/ |
| D | FreeRTOS_IPv4_Sockets_utest.c | 205 struct freertos_sockaddr xDestinationAddress; in test_xSend_UDP_Update_IPv4_HappyCase()
233 struct freertos_sockaddr xDestinationAddress; in test_xSend_UDP_Update_IPv4_NullNetworkBuffer()
261 struct freertos_sockaddr xDestinationAddress; in test_xSend_UDP_Update_IPv4_NullDestinationAddress()
289 struct freertos_sockaddr xSrcAddress; in test_xRecv_Update_IPv4_HappyCase()
317 struct freertos_sockaddr xSrcAddress; in test_xRecv_Update_IPv4_NullNetworkBuffer()
342 struct freertos_sockaddr xSrcAddress; in test_xRecv_Update_IPv4_NullDestinationAddress()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 70 struct freertos_sockaddr * pxBindAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 71 struct freertos_sockaddr * pxBindAddress = malloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| D | vSocketBind_harness.c | 72 struct freertos_sockaddr * pxBindAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 68 struct freertos_sockaddr xBindAddress; in test_vSocketBind_TCP()
89 struct freertos_sockaddr xBindAddress; in test_vSocketBind_TCP1()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 88 struct freertos_sockaddr * pxAddress, in FreeRTOS_bind()
123 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom()
193 const struct freertos_sockaddr * pxDestinationAddress, in FreeRTOS_sendto()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_stubs.c | 50 struct freertos_sockaddr pucSockAddrBuffer[ 1 ];
|
