Home
last modified time | relevance | path

Searched refs:ParseSet_t (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ReadNameField/
DReadNameField_harness.c27 size_t DNS_ReadNameField( ParseSet_t * pxSet,
42 size_t DNS_ReadNameField( ParseSet_t * pxSet,
69 ParseSet_t pxSet; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_DNS_Parser.h47 size_t DNS_ReadNameField( ParseSet_t * pxSet,
85 uint32_t parseDNSAnswer( ParseSet_t * pxSet,
DFreeRTOS_DNS_Callback.h53 BaseType_t xDNSDoCallback( ParseSet_t * pxSet,
DFreeRTOS_DNS_Globals.h215 } ParseSet_t; typedef
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/
DFreeRTOS_DNS_Parser_utest.c141 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
157 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_fail_offset_dns_name()
176 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
196 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_success_half_coded_gt_uint16()
215 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_zero_size_walk_over_nothing_to_do()
237 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_walk_over_copy_name()
260 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_walk_over_exact_source_length()
288 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_walk_over_copy_2_names()
315 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_short_destination()
341 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_short_source()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Callback/
DFreeRTOS_DNS_Callback_utest.c107 ParseSet_t pxSet; in test_xDNSDoCallback_success_not_equal_identifier()
136 ParseSet_t pxSet; in test_xDNSDoCallback_success_equal_identifier()
171 ParseSet_t pxSet; in test_xDNSDoCallback_success_equal_identifier_set_timer()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DNS_Callback.c56 BaseType_t xDNSDoCallback( ParseSet_t * pxSet, in xDNSDoCallback()
DFreeRTOS_DNS_Parser.c100 size_t DNS_ReadNameField( ParseSet_t * pxSet, in DNS_ReadNameField()
301 ParseSet_t xSet; in DNS_ParseDNSReply()
632 uint32_t parseDNSAnswer( ParseSet_t * pxSet, in parseDNSAnswer()