| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS.c | 67 const char * pcHostName,
76 static uint32_t prvPrepareLookup( const char * pcHostName,
83 static uint32_t prvPrepareLookup( const char * pcHostName,
92 static uint32_t prvGetHostByName( const char * pcHostName,
202 uint32_t FreeRTOS_gethostbyname( const char * pcHostName ) in FreeRTOS_gethostbyname() argument
204 return FreeRTOS_gethostbyname_a( pcHostName, NULL, ( void * ) NULL, 0U ); in FreeRTOS_gethostbyname()
463 uint32_t FreeRTOS_gethostbyname( const char * pcHostName ) in FreeRTOS_gethostbyname() argument
465 return prvPrepareLookup( pcHostName, NULL, FREERTOS_AF_INET4 ); in FreeRTOS_gethostbyname()
482 uint32_t FreeRTOS_gethostbyname_a( const char * pcHostName, in FreeRTOS_gethostbyname_a() argument
490 …ulResult = prvPrepareLookup( pcHostName, &( pxAddressInfo ), FREERTOS_AF_INET4, pCallback, pvSearc… in FreeRTOS_gethostbyname_a()
[all …]
|
| D | FreeRTOS_DNS_Cache.c | 100 uint32_t FreeRTOS_dnslookup( const char * pcHostName ) in FreeRTOS_dnslookup() argument
106 ( void ) FreeRTOS_ProcessDNSCache( pcHostName, in FreeRTOS_dnslookup()
127 uint32_t FreeRTOS_dnslookup6( const char * pcHostName, in FreeRTOS_dnslookup6() argument
138 xResult = FreeRTOS_ProcessDNSCache( pcHostName, &xIPv46_Address, 0, pdTRUE, NULL ); in FreeRTOS_dnslookup6()
550 uint32_t Prepare_CacheLookup( const char * pcHostName, in Prepare_CacheLookup() argument
565 … xFound = FreeRTOS_ProcessDNSCache( pcHostName, &( xIPv46_Address ), 0, pdTRUE, ppxAddressInfo ); in Prepare_CacheLookup()
590 … xFound = FreeRTOS_ProcessDNSCache( pcHostName, &( xIPv46_Address ), 0, pdTRUE, ppxAddressInfo ); in Prepare_CacheLookup()
|
| D | FreeRTOS_DNS_Callback.c | 132 void vDNSSetCallBack( const char * pcHostName, in vDNSSetCallBack() argument
139 size_t lLength = strlen( pcHostName ); in vDNSSetCallBack()
157 ( void ) strcpy( pxCallback->pcName, pcHostName ); in vDNSSetCallBack()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/ |
| D | CreateDNSMessage_harness.c | 42 const char * pcHostName,
57 char * pcHostName = malloc( len ); in harness() local
59 if( len && pcHostName ) in harness()
62 pcHostName[ len - 1 ] = NULL; in harness()
68 strlen( pcHostName ) + in harness()
85 …__CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage( pucUDPPayloadBuffer, pcHostName, uxIdenti… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSlookup/ |
| D | DNSlookup_harness.c | 30 char * pcHostName = safeMalloc( len ); /* malloc is replaced by safeMalloc */ in harness() local
32 if( len && pcHostName ) in harness()
34 pcHostName[ len - 1 ] = NULL; in harness()
37 if( pcHostName ) /* guarding against NULL pointer */ in harness()
39 FreeRTOS_dnslookup( pcHostName ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/ |
| D | DNSgetHostByName_cancel_harness.c | 16 void vDNSSetCallBack( const char * pcHostName,
47 void func( const char * pcHostName, in func() argument
64 char * pcHostName = safeMalloc( len ); in harness() local
66 if( len && pcHostName ) in harness()
68 pcHostName[ len - 1 ] = NULL; in harness()
71 …vDNSSetCallBack( pcHostName, &pvSearchID, pCallback, xTimeout, xIdentifier, xIsIPv6 ); /* Add an i… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 73 const char * pcHostName, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage() argument
79 __CPROVER_assert( pcHostName != NULL, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()
90 void func( const char * pcHostName, in func() argument
94 __CPROVER_assert( pcHostName != NULL, in func()
147 uint32_t Prepare_CacheLookup( const char * pcHostName, in Prepare_CacheLookup() argument
180 char * pcHostName = safeMalloc( len ); in harness() local
183 __CPROVER_assume( pcHostName != NULL ); in harness()
184 pcHostName[ len - 1 ] = NULL; in harness()
191 FreeRTOS_gethostbyname_a( pcHostName, pCallback, pvSearchID, xTimeout ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 22 uint32_t FreeRTOS_dnslookup( const char * pcHostName );
37 const char * pcHostName,
139 uint32_t FreeRTOS_dnslookup( const char * pcHostName ) in FreeRTOS_dnslookup() argument
170 const char * pcHostName, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage() argument
230 char * pcHostName = malloc( len ); in harness() local
233 __CPROVER_assume( pcHostName != NULL ); in harness()
234 pcHostName[ len - 1 ] = NULL; in harness()
236 FreeRTOS_gethostbyname( pcHostName ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_DNS_Cache.h | 58 uint32_t FreeRTOS_dnslookup( const char * pcHostName );
79 uint32_t Prepare_CacheLookup( const char * pcHostName,
|
| D | FreeRTOS_DNS.h | 110 uint32_t FreeRTOS_gethostbyname_a( const char * pcHostName,
132 uint32_t FreeRTOS_gethostbyname( const char * pcHostName );
|
| D | FreeRTOS_DNS_Callback.h | 56 void vDNSSetCallBack( const char * pcHostName,
|
| D | FreeRTOS_IPv6.h | 108 uint32_t FreeRTOS_dnslookup6( const char * pcHostName,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 36 static const char * pcHostName = "Unit-Test"; variable
484 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnDHCPSocketNotNULLButGNWFails()
589 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnSendFailsNoBroadcast()
682 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnSendFailsUseBroadCast()
730 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnSendSucceedsUseBroadCast()
779 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnSendSucceedsUseBroadCast1()
816 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_eSendDHCPRequestCorrectStateGNWFails()
846 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_eSendDHCPRequestCorrectStateGNWSucceedsSendFails()
882 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_eSendDHCPRequestCorrectStateGNWSucceedsSendSucceeds()
1057 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_eWaitingOfferRecvfromFailsTimeoutDontGiveUpRNGPassUseBroadcast()
[all …]
|
