| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS.c | 65 const char * pcHostName,
73 static uint32_t prvPrepareLookup( const char * pcHostName,
78 static uint32_t prvPrepareLookup( const char * pcHostName );
85 static uint32_t prvGetHostByName( const char * pcHostName,
119 uint32_t FreeRTOS_gethostbyname( const char * pcHostName ) in FreeRTOS_gethostbyname() argument
121 return FreeRTOS_gethostbyname_a( pcHostName, NULL, ( void * ) NULL, 0U ); in FreeRTOS_gethostbyname()
161 uint32_t FreeRTOS_gethostbyname( const char * pcHostName ) in FreeRTOS_gethostbyname() argument
163 return prvPrepareLookup( pcHostName ); in FreeRTOS_gethostbyname()
176 uint32_t FreeRTOS_gethostbyname_a( const char * pcHostName, in FreeRTOS_gethostbyname_a() argument
181 return prvPrepareLookup( pcHostName, pCallback, pvSearchID, uxTimeout ); in FreeRTOS_gethostbyname_a()
[all …]
|
| D | FreeRTOS_DNS_Callback.c | 106 void vDNSSetCallBack( const char * pcHostName, in vDNSSetCallBack() argument
112 size_t lLength = strlen( pcHostName ); in vDNSSetCallBack()
126 ( void ) strcpy( pxCallback->pcName, pcHostName ); in vDNSSetCallBack()
|
| D | FreeRTOS_DNS_Cache.c | 103 uint32_t FreeRTOS_dnslookup( const char * pcHostName ) in FreeRTOS_dnslookup() argument
107 ( void ) FreeRTOS_ProcessDNSCache( pcHostName, in FreeRTOS_dnslookup()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 71 const char * pcHostName, in prvCreateDNSMessage() argument
76 __CPROVER_assert( pcHostName != NULL, in prvCreateDNSMessage()
87 void func( const char * pcHostName, in func() argument
102 char * pcHostName = safeMalloc( len ); in harness() local
105 __CPROVER_assume( pcHostName != NULL ); in harness()
106 pcHostName[ len - 1 ] = NULL; in harness()
112 FreeRTOS_gethostbyname_a( pcHostName, pCallback, pvSearchID, xTimeout ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/ |
| D | DNSgetHostByName_cancel_harness.c | 16 void vDNSSetCallBack( const char * pcHostName,
46 void func( const char * pcHostName, in func() argument
62 char * pcHostName = safeMalloc( len ); in harness() local
64 if( len && pcHostName ) in harness()
66 pcHostName[ len - 1 ] = NULL; in harness()
69 …vDNSSetCallBack( pcHostName, &pvSearchID, pCallback, xTimeout, xIdentifier ); /* Add an item to be… in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 22 uint32_t FreeRTOS_dnslookup( const char * pcHostName );
125 uint32_t FreeRTOS_dnslookup( const char * pcHostName ) in FreeRTOS_dnslookup() argument
146 const char * pcHostName, in prvCreateDNSMessage() argument
164 char * pcHostName = safeMalloc( len ); in harness() local
167 __CPROVER_assume( pcHostName != NULL ); in harness()
168 pcHostName[ len - 1 ] = NULL; in harness()
170 FreeRTOS_gethostbyname( pcHostName ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_DNS.h | 71 uint32_t FreeRTOS_gethostbyname_a( const char * pcHostName,
85 uint32_t FreeRTOS_gethostbyname( const char * pcHostName );
|
| D | FreeRTOS_DNS_Cache.h | 42 uint32_t FreeRTOS_dnslookup( const char * pcHostName );
|
| D | FreeRTOS_DNS_Callback.h | 56 void vDNSSetCallBack( const char * pcHostName,
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 29 static const char * pcHostName = "Unit-Test"; variable
732 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnDHCPSocketNotNULLButGNWFails()
783 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnSendFailsNoBroadcast()
818 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnSendFailsUseBroadCast()
854 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnSendSucceedsUseBroadCast()
891 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnSendSucceedsUseBroadCast1()
920 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_eSendDHCPRequestCorrectStateGNWFails()
942 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_eSendDHCPRequestCorrectStateGNWSucceedsSendFails()
970 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_eSendDHCPRequestCorrectStateGNWSucceedsSendSucceeds()
1133 pcApplicationHostnameHook_ExpectAndReturn( pcHostName ); in test_vDHCPProcess_eWaitingOfferRecvfromFailsTimeoutDontGiveUpRNGPassUseBroadcast()
[all …]
|
