Home
last modified time | relevance | path

Searched defs:pucUDPPayloadBuffer (Results 1 – 10 of 10) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSHandlePacket/
DDNShandlePacket_harness.c12 uint32_t prvParseDNSReply( uint8_t * pucUDPPayloadBuffer, in prvParseDNSReply()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/
DCreateDNSMessage_harness.c83 uint8_t * pucUDPPayloadBuffer = malloc( uxExpectedPayloadLength ); in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
DDNSgetHostByName_a_harness.c50 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply()
72 size_t __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c69 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply()
169 size_t __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ParseDNSReply/
DParseDNSReply_harness.c118 uint8_t * pucUDPPayloadBuffer = malloc( uxBufferLength ); in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/
DFreeRTOS_DNS_Parser_utest.c1256 uint8_t pucUDPPayloadBuffer[ sizeof( DNSMessage_t ) - 2 ]; in test_DNS_ParseDNSReply_fail_small_buffer() local
1276 uint8_t pucUDPPayloadBuffer[ 300 ] = { 0 }; in test_DNS_ParseDNSReply_fail_no_namefield() local
1297 uint8_t pucUDPPayloadBuffer[ 300 ]; in test_DNS_ParseDNSReply_fail() local
1324 uint8_t pucUDPPayloadBuffer[ 300 ]; in test_DNS_ParseDNSReply_fail_empty_namefield() local
1354 uint8_t pucUDPPayloadBuffer[ 250 ]; in test_DNS_ParseDNSReply_fail_not_enough_space_lt_32() local
1412 uint8_t pucUDPPayloadBuffer[ 250 ]; in test_DNS_ParseDNSReply_ansswer_record_no_answers() local
1448 uint8_t pucUDPPayloadBuffer[ 250 ] = { 0 }; in test_DNS_ParseDNSReply_ansswer_record_too_many_answers() local
1506 uint8_t * pucUDPPayloadBuffer = ( ( uint8_t * ) udp_buffer ) + ipUDP_PAYLOAD_OFFSET_IPv4; in test_DNS_ParseDNSReply_answer_lmmnr_reply_xBufferAllocFixedsize() local
1584 uint8_t * pucUDPPayloadBuffer = ( ( uint8_t * ) udp_buffer ) + ipUDP_PAYLOAD_OFFSET_IPv4; in test_DNS_ParseDNSReply_answer_lmmnr_reply() local
1657 uint8_t * pucUDPPayloadBuffer = ( ( uint8_t * ) udp_buffer ) + ipUDP_PAYLOAD_OFFSET_IPv6; in test_DNS_ParseDNSReply_answer_lmmnr_reply2() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DHCP.c1364 uint8_t * pucUDPPayloadBuffer = NULL; in prvCreatePartDHCPMessage() local
1484 uint8_t * pucUDPPayloadBuffer; in prvSendDHCPRequest() local
1562 uint8_t * pucUDPPayloadBuffer; in prvSendDHCPDiscover() local
DFreeRTOS_DNS_Parser.c295 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply()
1023 uint8_t * pucUDPPayloadBuffer = pucPayload; in DNS_TreatNBNS() local
DFreeRTOS_DNS.c805 uint8_t * pucUDPPayloadBuffer = NULL; in prvGetPayloadBuffer() local
1469 static size_t prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer, in prvCreateDNSMessage()
1632 … uint8_t * pucUDPPayloadBuffer = &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( *pxUDPPacket ) ] ); in ulNBNSHandlePacket() local
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_DNS_Globals.h192 uint8_t * pucUDPPayloadBuffer; /**< A pointer to the original UDP load buffer. */ member