| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Cache/ |
| D | FreeRTOS_DNS_Cache_utest.c | 442 struct freertos_addrinfo ** ppxAddressInfo = &pucAddrBuffer[ 1 ]; in test_prepare_DNSLookup() local
451 *ppxAddressInfo = pxAddressInfo; in test_prepare_DNSLookup()
481 x = Prepare_CacheLookup( "hello", xFamily, ppxAddressInfo ); in test_prepare_DNSLookup()
495 struct freertos_addrinfo ** ppxAddressInfo = &pucAddrBuffer[ 0 ]; in test_prepare_DNSLookup2() local
500 ppxAddressInfo = &pxAddressInfo; in test_prepare_DNSLookup2()
513 x = Prepare_CacheLookup( "helloman", xFamily, ppxAddressInfo ); in test_prepare_DNSLookup2()
524 struct freertos_addrinfo ** ppxAddressInfo = NULL; in test_prepare_DNSLookup3() local
541 x = Prepare_CacheLookup( "helloman", xFamily, ppxAddressInfo ); in test_prepare_DNSLookup3()
552 struct freertos_addrinfo ** ppxAddressInfo = NULL; in test_prepare_DNSLookup4() local
569 x = Prepare_CacheLookup( "hello", xFamily, ppxAddressInfo ); in test_prepare_DNSLookup4()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS_Cache.c | 71 struct freertos_addrinfo ** ppxAddressInfo );
87 struct freertos_addrinfo ** ppxAddressInfo );
167 struct freertos_addrinfo ** ppxAddressInfo ) in FreeRTOS_dns_update() argument
175 ppxAddressInfo ); in FreeRTOS_dns_update()
207 struct freertos_addrinfo ** ppxAddressInfo ) in FreeRTOS_ProcessDNSCache() argument
238 ppxAddressInfo ); in FreeRTOS_ProcessDNSCache()
358 struct freertos_addrinfo ** ppxAddressInfo ) in prvGetCacheIPEntry() argument
387 if( ppxAddressInfo != NULL ) in prvGetCacheIPEntry()
390 prvReadDNSCache( ( BaseType_t ) uxIndex, ppxAddressInfo ); in prvGetCacheIPEntry()
483 struct freertos_addrinfo ** ppxAddressInfo ) in prvReadDNSCache() argument
[all …]
|
| D | FreeRTOS_DNS.c | 77 struct freertos_addrinfo ** ppxAddressInfo,
84 struct freertos_addrinfo ** ppxAddressInfo,
95 struct freertos_addrinfo ** ppxAddressInfo,
513 struct freertos_addrinfo ** ppxAddressInfo ) in prvPrepare_ReadIPAddress() argument
526 if( ( ulIPAddress != 0U ) && ( ppxAddressInfo != NULL ) ) in prvPrepare_ReadIPAddress()
530 … *( ppxAddressInfo ) = pxNew_AddrInfo( pcHostName, FREERTOS_AF_INET4, ucBytes ); in prvPrepare_ReadIPAddress()
551 … *( ppxAddressInfo ) = pxNew_AddrInfo( pcHostName, FREERTOS_AF_INET6, xAddress_IPv6.ucBytes ); in prvPrepare_ReadIPAddress()
584 struct freertos_addrinfo ** ppxAddressInfo, in prvPrepareLookup() argument
597 struct freertos_addrinfo ** ppxAddressInfo, in prvPrepareLookup()
642 ulIPAddress = prvPrepare_ReadIPAddress( pcHostName, xFamily, ppxAddressInfo ); in prvPrepareLookup()
[all …]
|
| D | FreeRTOS_DNS_Parser.c | 297 struct freertos_addrinfo ** ppxAddressInfo, in DNS_ParseDNSReply() argument
428 ulIPAddress = parseDNSAnswer( &( xSet ), ppxAddressInfo, &uxBytesRead ); in DNS_ParseDNSReply()
633 struct freertos_addrinfo ** ppxAddressInfo, in parseDNSAnswer() argument
730 if( ppxAddressInfo != NULL ) in parseDNSAnswer()
758 if( ppxAddressInfo != NULL ) in parseDNSAnswer()
771 if( *( ppxAddressInfo ) == NULL ) in parseDNSAnswer()
774 *( ppxAddressInfo ) = pxNewAddress; in parseDNSAnswer()
789 …xCallbackResult = xDNSDoCallback( pxSet, ( ppxAddressInfo != NULL ) ? *( ppxAddressInfo ) : NULL ); in parseDNSAnswer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 52 struct freertos_addrinfo ** ppxAddressInfo, in DNS_ParseDNSReply() argument
149 struct freertos_addrinfo ** ppxAddressInfo ) in Prepare_CacheLookup() argument
151 … ( *ppxAddressInfo ) = ( struct freertos_addrinfo * ) malloc( sizeof( struct freertos_addrinfo ) ); in Prepare_CacheLookup()
152 __CPROVER_assume( ( *ppxAddressInfo ) != NULL ); in Prepare_CacheLookup()
153 __CPROVER_assume( ( *ppxAddressInfo )->ai_next == NULL ); in Prepare_CacheLookup()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_DNS_Cache.h | 71 struct freertos_addrinfo ** ppxAddressInfo );
77 struct freertos_addrinfo ** ppxAddressInfo );
81 struct freertos_addrinfo ** ppxAddressInfo );
|
| D | FreeRTOS_DNS_Parser.h | 65 struct freertos_addrinfo ** ppxAddressInfo,
86 struct freertos_addrinfo ** ppxAddressInfo,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 33 struct freertos_addrinfo ** ppxAddressInfo,
71 struct freertos_addrinfo ** ppxAddressInfo, in DNS_ParseDNSReply() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 3164 struct freertos_addrinfo ** ppxAddressInfo = &pucAddrBuffer[ 0 ]; in test_parseDNSAnswer_dns_nocallback_false() local
3166 *ppxAddressInfo = NULL; in test_parseDNSAnswer_dns_nocallback_false()
3183 xSet.ppxLastAddress = ppxAddressInfo; in test_parseDNSAnswer_dns_nocallback_false()
3192 ret = parseDNSAnswer( &xSet, ppxAddressInfo, &uxBytesRead ); in test_parseDNSAnswer_dns_nocallback_false()
3214 struct freertos_addrinfo ** ppxAddressInfo = &pucAddrBuffer[ 0 ]; in test_parseDNSAnswer_do_store_false() local
3229 xSet.ppxLastAddress = ppxAddressInfo; in test_parseDNSAnswer_do_store_false()
|
