Searched refs:pxBindAddress (Results 1 – 10 of 10) sorted by relevance
| /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() local
73 __CPROVER_assume( pxBindAddress != NULL ); in harness()
84 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /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() local
80 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); 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() local
82 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 98 struct freertos_sockaddr * pxBindAddress, in vSocketBind() argument
108 __CPROVER_assert( pxBindAddress != NULL, in vSocketBind()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | DHCPProcessEndPoint_harness.c | 92 struct freertos_sockaddr * pxBindAddress, in vSocketBind() argument
102 __CPROVER_assert( pxBindAddress != NULL, in vSocketBind()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 96 struct freertos_sockaddr * pxBindAddress, in vSocketBind() argument
106 __CPROVER_assert( pxBindAddress != NULL, in vSocketBind()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 111 struct freertos_sockaddr * pxBindAddress, in vSocketBind() argument
121 __CPROVER_assert( pxBindAddress != NULL, in vSocketBind()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_stubs.c | 163 struct freertos_sockaddr * pxBindAddress, in xStubvSocketBind() argument
169 TEST_ASSERT_EQUAL( FREERTOS_AF_INET6, pxBindAddress->sin_family ); in xStubvSocketBind()
170 TEST_ASSERT_EQUAL( sizeof( struct freertos_sockaddr ), pxBindAddress->sin_len ); in xStubvSocketBind()
171 TEST_ASSERT_EQUAL( ipDHCPv6_CLIENT_PORT, FreeRTOS_ntohs( pxBindAddress->sin_port ) ); in xStubvSocketBind()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 786 struct freertos_sockaddr * pxBindAddress,
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Sockets.c | 1892 struct freertos_sockaddr * pxBindAddress, in vSocketBind() argument
1898 struct freertos_sockaddr * pxAddress = pxBindAddress; in vSocketBind()
|
