| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 69 size_t uxAddressLength; in test_vSocketBind_TCP() local
77 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCP()
90 size_t uxAddressLength; in test_vSocketBind_TCP1() local
108 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCP1()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_privates_utest.c | 57 size_t uxAddressLength; in test_vSocketBind_TCP() local
66 catch_assert( vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ) ); in test_vSocketBind_TCP()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 73 size_t uxAddressLength; in harness() local
80 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 77 size_t uxAddressLength; in harness() local
84 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 | 75 size_t uxAddressLength; in harness() local
82 vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS_Parser.c | 686 pxSet->uxAddressLength = ipSIZE_OF_IPv6_ADDRESS; in parseDNSAnswer()
688 … if( pxSet->uxSourceBytesRemaining >= ( sizeof( DNSAnswerRecord_t ) + pxSet->uxAddressLength ) ) in parseDNSAnswer()
695 pxSet->uxAddressLength = ipSIZE_OF_IPv4_ADDRESS; /*TODO check if fine */ in parseDNSAnswer()
697 … if( pxSet->uxSourceBytesRemaining >= ( sizeof( DNSAnswerRecord_t ) + pxSet->uxAddressLength ) ) in parseDNSAnswer()
722 ( uint16_t ) pxSet->uxAddressLength ) in parseDNSAnswer()
724 …if( pxSet->uxAddressLength == ipSIZE_OF_IPv6_ADDRESS ) /*No check needed for pxSet->usType as uxAd… in parseDNSAnswer()
756 ( void ) memcpy( pvCopyDest, pvCopySource, pxSet->uxAddressLength ); in parseDNSAnswer()
852 ( unsigned ) pxSet->uxAddressLength ) ); in parseDNSAnswer()
855 … pxSet->pucByte = &( pxSet->pucByte[ sizeof( DNSAnswerRecord_t ) + pxSet->uxAddressLength ] ); in parseDNSAnswer()
856 … pxSet->uxSourceBytesRemaining -= ( sizeof( DNSAnswerRecord_t ) + pxSet->uxAddressLength ); in parseDNSAnswer()
|
| D | FreeRTOS_Sockets.c | 1893 size_t uxAddressLength, in vSocketBind() argument
1919 ( void ) uxAddressLength; in vSocketBind()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 539 size_t uxAddressLength = 0; in test_vSocketBind_CatchAssert1() local
542 catch_assert( vSocketBind( NULL, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert1()
553 size_t uxAddressLength; in test_vSocketBind_CatchAssert2() local
556 … catch_assert( vSocketBind( FREERTOS_INVALID_SOCKET, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert2()
567 size_t uxAddressLength; in test_vSocketBind_TCP() local
586 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCP()
599 size_t uxAddressLength; in test_vSocketBind_TCPNULLAddress() local
608 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCPNULLAddress()
621 size_t uxAddressLength; in test_vSocketBind_RNGFails() local
633 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_RNGFails()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 99 size_t uxAddressLength, in vSocketBind() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | DHCPProcessEndPoint_harness.c | 93 size_t uxAddressLength, in vSocketBind() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 97 size_t uxAddressLength, in vSocketBind() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 112 size_t uxAddressLength, in vSocketBind() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_DNS_Globals.h | 200 … size_t uxAddressLength; /**< The size of the address, either ipSIZE_OF_IPv4_ADDRESS or member
|
| D | FreeRTOS_IP_Private.h | 787 size_t uxAddressLength,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_stubs.c | 164 size_t uxAddressLength, in xStubvSocketBind() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 2816 xSet.uxAddressLength = ipSIZE_OF_IPv6_ADDRESS; in test_parseDNSAnswer_recordstored_gt_count_IPv6_fail1()
2859 xSet.uxAddressLength = ipSIZE_OF_IPv6_ADDRESS; in test_parseDNSAnswer_recordstored_gt_count_IPv6_fail2()
|
