Searched refs:DNS_ReadNameField (Results 1 – 5 of 5) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ReadNameField/ |
| HD | ReadNameField_harness.c | 27 size_t DNS_ReadNameField( ParseSet_t * pxSet,
42 size_t DNS_ReadNameField( ParseSet_t * pxSet,
91 size_t index = DNS_ReadNameField( &pxSet, in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| HD | FreeRTOS_DNS_Parser.h | 47 size_t DNS_ReadNameField( ParseSet_t * pxSet,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ParseDNSReply/ |
| HD | ParseDNSReply_harness.c | 36 size_t DNS_ReadNameField( const uint8_t * pucByte, in DNS_ReadNameField() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| HD | FreeRTOS_DNS_Parser_utest.c | 145 ret = DNS_ReadNameField( &xSet, uxDestLen ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
163 ret = DNS_ReadNameField( &xSet, uxDestLen ); in test_DNS_ReadNameField_fail_offset_dns_name()
183 ret = DNS_ReadNameField( &xSet, 234 ); in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
203 ret = DNS_ReadNameField( &xSet, 234 ); in test_DNS_ReadNameField_success_half_coded_gt_uint16()
223 ret = DNS_ReadNameField( &xSet, 234 ); in test_DNS_ReadNameField_zero_size_walk_over_nothing_to_do()
245 ret = DNS_ReadNameField( &xSet, 254 ); in test_DNS_ReadNameField_walk_over_copy_name()
270 ret = DNS_ReadNameField( &xSet, 254 ); in test_DNS_ReadNameField_walk_over_exact_source_length()
300 ret = DNS_ReadNameField( &xSet, 254 ); in test_DNS_ReadNameField_walk_over_copy_2_names()
327 ret = DNS_ReadNameField( &xSet, 12 ); in test_DNS_ReadNameField_short_destination()
353 ret = DNS_ReadNameField( &xSet, 254 ); in test_DNS_ReadNameField_short_source()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| HD | FreeRTOS_DNS_Parser.c | 100 size_t DNS_ReadNameField( ParseSet_t * pxSet, in DNS_ReadNameField() function
371 uxResult = DNS_ReadNameField( &xSet, in DNS_ParseDNSReply()
|
