Searched refs:DNS_ReadNameField (Results 1 – 5 of 5) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ReadNameField/ |
| D | ReadNameField_harness.c | 27 size_t DNS_ReadNameField( const uint8_t * pucByte,
44 size_t DNS_ReadNameField( const uint8_t * pucByte, in DNS_ReadNameField() function
93 size_t index = DNS_ReadNameField( pucByte, in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_DNS_Parser.h | 47 size_t DNS_ReadNameField( const uint8_t * pucByte,
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 132 ret = DNS_ReadNameField( pucByte, 0, "name", 4 ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
148 ret = DNS_ReadNameField( pucByte, 2, "name", 4 ); in test_DNS_ReadNameField_fail_offset_dns_name()
166 ret = DNS_ReadNameField( pucByte, 8, "name", 234 ); in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
183 ret = DNS_ReadNameField( pucByte, 300, "name", 234 ); in test_DNS_ReadNameField_zero_size_walk_over_nothing_to_do()
202 ret = DNS_ReadNameField( pucByte, 300, pcName, 300 ); in test_DNS_ReadNameField_walk_over_copy_name()
222 ret = DNS_ReadNameField( pucByte, 9, pcName, 300 ); in test_DNS_ReadNameField_walk_over_exact_source_length()
248 ret = DNS_ReadNameField( pucByte, 300, pcName, 300 ); in test_DNS_ReadNameField_walk_over_copy_2_names()
271 ret = DNS_ReadNameField( pucByte, 300, pcName, 12 ); in test_DNS_ReadNameField_short_destination()
293 ret = DNS_ReadNameField( pucByte, 10, pcName, 300 ); in test_DNS_ReadNameField_short_source()
313 ret = DNS_ReadNameField( pucByte, 15, pcName, 10 ); in test_DNS_ReadNameField_fail_name_len_gt_destlen()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ParseDNSReply/ |
| D | ParseDNSReply_harness.c | 36 size_t DNS_ReadNameField( const uint8_t * pucByte, in DNS_ReadNameField() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Parser.c | 62 size_t DNS_ReadNameField( const uint8_t * pucByte, in DNS_ReadNameField() function
323 uxResult = DNS_ReadNameField( pucByte, in DNS_ParseDNSReply()
|
