| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_stubs.c | 268 struct freertos_sockaddr * pxSourceAddress, in RecvFromStub() argument
299 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_Generic() argument
315 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_Generic_NullBuffer() argument
328 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout() argument
346 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage() argument
369 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbytes() argument
401 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_TwoFlagOptions_nullbuffer() argument
429 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectDHCPCookie() argument
452 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_ResetAndIncorrectStateWithSocketAlreadyCreated_validUDPmessage_IncorrectOpCode() argument
475 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout() argument
[all …]
|
| /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() local
63 __CPROVER_havoc_object( pxSourceAddress ); in harness()
65 xRecv_Update_IPv4( pxNetworkBuffer, pxSourceAddress ); 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() local
35 __CPROVER_havoc_object( pxSourceAddress ); in harness()
37 xRecv_Update_IPv6( pxNetworkBuffer, pxSourceAddress ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IPv4_Sockets.c | 257 struct freertos_sockaddr * pxSourceAddress ) in xRecv_Update_IPv4() argument
261 if( ( pxNetworkBuffer != NULL ) && ( pxSourceAddress != NULL ) ) in xRecv_Update_IPv4()
263 pxSourceAddress->sin_family = ( uint8_t ) FREERTOS_AF_INET; in xRecv_Update_IPv4()
264 pxSourceAddress->sin_address.ulIP_IPv4 = pxNetworkBuffer->xIPAddress.ulIP_IPv4; in xRecv_Update_IPv4()
265 pxSourceAddress->sin_port = pxNetworkBuffer->usPort; in xRecv_Update_IPv4()
|
| D | FreeRTOS_IPv6_Sockets.c | 131 struct freertos_sockaddr * pxSourceAddress ) in xRecv_Update_IPv6() argument
141 if( pxSourceAddress != NULL ) in xRecv_Update_IPv6()
143 ( void ) memcpy( ( void * ) pxSourceAddress->sin_address.xIP_IPv6.ucBytes, in xRecv_Update_IPv6()
146 pxSourceAddress->sin_family = ( uint8_t ) FREERTOS_AF_INET6; in xRecv_Update_IPv6()
147 pxSourceAddress->sin_port = pxNetworkBuffer->usPort; in xRecv_Update_IPv6()
|
| D | FreeRTOS_Sockets.c | 1269 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom() argument
1300 uxPayloadOffset = xRecv_Update_IPv4( pxNetworkBuffer, pxSourceAddress ); in FreeRTOS_recvfrom()
1306 uxPayloadOffset = xRecv_Update_IPv6( pxNetworkBuffer, pxSourceAddress ); in FreeRTOS_recvfrom()
|
| /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() local
82 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NullSocket()
98 struct freertos_sockaddr * pxSourceAddress = NULL; in test_FreeRTOS_recvfrom_TCPSocket() local
107 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_TCPSocket()
123 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() local
136 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
152 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NonBlocking() local
165 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlocking()
181 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NonBlockingFlagSet() local
193 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IPv4_Sockets.h | 62 struct freertos_sockaddr * pxSourceAddress );
|
| D | FreeRTOS_IPv6_Sockets.h | 119 struct freertos_sockaddr * pxSourceAddress );
|
| D | FreeRTOS_Sockets.h | 254 struct freertos_sockaddr * pxSourceAddress,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 123 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom() argument
145 __CPROVER_assert( pxSourceAddress != NULL, in FreeRTOS_recvfrom()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 150 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 135 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom() argument
|
