| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 87 __CPROVER_assert( xSocket != FREERTOS_INVALID_SOCKET, "xSocket must be valid" ); in xSocketValid()
90 return( ( xSocket != FREERTOS_INVALID_SOCKET ) && ( xSocket != NULL ) ); in xSocketValid()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | DHCPProcessEndPoint_harness.c | 86 __CPROVER_assume( xSocket != FREERTOS_INVALID_SOCKET ); in xSocketValid()
88 return( ( xSocket != FREERTOS_INVALID_SOCKET ) && ( xSocket != NULL ) ); in xSocketValid()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 90 __CPROVER_assume( xSocket != FREERTOS_INVALID_SOCKET ); in xSocketValid()
92 return( ( xSocket != FREERTOS_INVALID_SOCKET ) && ( xSocket != NULL ) ); in xSocketValid()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 105 __CPROVER_assume( xSocket != FREERTOS_INVALID_SOCKET ); in xSocketValid()
107 return( ( xSocket != FREERTOS_INVALID_SOCKET ) && ( xSocket != NULL ) ); in xSocketValid()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 68 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 68 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| D | vSocketBind_harness.c | 70 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 34 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/ |
| D | vSocketWakeUpUser_harness.c | 144 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_State_Handling_IPv4.c | 146 if( ( pxNewSocket == NULL ) || ( pxNewSocket == FREERTOS_INVALID_SOCKET ) ) in prvHandleListen_IPV4()
|
| D | FreeRTOS_TCP_State_Handling_IPv6.c | 141 if( ( pxNewSocket == NULL ) || ( pxNewSocket == FREERTOS_INVALID_SOCKET ) ) in prvHandleListen_IPV6()
|
| D | FreeRTOS_Sockets.c | 663 xReturn = FREERTOS_INVALID_SOCKET; in FreeRTOS_socket()
682 xReturn = FREERTOS_INVALID_SOCKET; in FreeRTOS_socket()
696 xReturn = FREERTOS_INVALID_SOCKET; in FreeRTOS_socket()
3985 pxClientSocket = FREERTOS_INVALID_SOCKET; in FreeRTOS_accept()
3995 pxClientSocket = FREERTOS_INVALID_SOCKET; in FreeRTOS_accept()
5661 if( ( xSocket != FREERTOS_INVALID_SOCKET ) && ( xSocket != NULL ) ) in xSocketValid()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 42 return FREERTOS_INVALID_SOCKET; in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Sockets.h | 67 #define FREERTOS_INVALID_SOCKET ( ( Socket_t ) ~0U ) macro
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 85 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_SockSizeFailure()
102 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
123 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_NoMemory()
149 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_EventGroupCreationFailed()
818 Socket_t xSocket = FREERTOS_INVALID_SOCKET; in test_FreeRTOS_bind_SocketIsInvalid()
1011 Socket_t xSocket = ( Socket_t ) ( uintptr_t ) FREERTOS_INVALID_SOCKET; in test_FreeRTOS_closesocket_InvalidSocket()
1154 …xReturn = FreeRTOS_setsockopt( FREERTOS_INVALID_SOCKET, lLevel, lOptionName, pvOptionValue, uxOpti… in test_FreeRTOS_setsockopt_InvalidSocket()
2941 xReturn = xSocketSetSocketID( FREERTOS_INVALID_SOCKET, NULL ); in test_xSocketSetSocketID_InvalidSocket()
2982 pvReturn = pvSocketGetSocketID( FREERTOS_INVALID_SOCKET ); in test_pvSocketGetSocketID_InvalidSocket()
|
| D | FreeRTOS_Sockets_TCP_API_utest.c | 87 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams()
91 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams()
97 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams()
104 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams()
|
| D | FreeRTOS_Sockets_privates_utest.c | 142 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) FREERTOS_INVALID_SOCKET; in test_prvValidSocket_InvalidOrNULLSocket()
556 … catch_assert( vSocketBind( FREERTOS_INVALID_SOCKET, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert2()
3208 xReturn = xSocketValid( ( FreeRTOS_Socket_t * ) FREERTOS_INVALID_SOCKET ); in test_xSocketValid()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv4/ |
| D | FreeRTOS_TCP_State_Handling_IPv4_utest.c | 300 FreeRTOS_socket_ExpectAnyArgsAndReturn( FREERTOS_INVALID_SOCKET ); in test_prvHandleListen_IPV4_NewSocketInvalidSocket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/ |
| D | MISRA.md | 98 `FREERTOS_INVALID_SOCKET` is returned (which is essentially ~0U) to
101 pointer is equal to `FREERTOS_INVALID_SOCKET`, then it is not
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv6/ |
| D | FreeRTOS_TCP_State_Handling_IPv6_utest.c | 312 …ndReturn( FREERTOS_AF_INET6, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP, FREERTOS_INVALID_SOCKET ); in test_prvHandleListen_IPV6_NewSocketInvalid()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 144 …tAndReturn( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP, FREERTOS_INVALID_SOCKET ); in test_vDHCPProcess_ResetAndInvalidSocket()
173 …tAndReturn( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP, FREERTOS_INVALID_SOCKET ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
5650 FreeRTOS_socket_ExpectAnyArgsAndReturn( FREERTOS_INVALID_SOCKET ); in test_vDHCPProcess_eLeasedAddress_NetworkUp_SocketNotCreated_RNGPass_GNBfail()
|
