Searched refs:pxBindAddress (Results 1 – 5 of 5) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 56 struct freertos_sockaddr * pxBindAddress = malloc( sizeof( struct freertos_sockaddr ) ); in harness() local
58 __CPROVER_assume( pxBindAddress != NULL ); in harness()
69 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 55 struct freertos_sockaddr * pxBindAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness() local
65 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| D | vSocketBind_harness.c | 57 struct freertos_sockaddr * pxBindAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness() local
67 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 753 struct freertos_sockaddr * pxBindAddress,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_Sockets.c | 1315 struct freertos_sockaddr * pxBindAddress, in vSocketBind() argument
1321 struct freertos_sockaddr * pxAddress = pxBindAddress; in vSocketBind()
|
