Home
last modified time | relevance | path

Searched refs:pucUDPPayloadBuffer (Results 1 – 11 of 11) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/
HDFreeRTOS_DNS_Parser_utest.c1256 uint8_t pucUDPPayloadBuffer[ sizeof( DNSMessage_t ) - 2 ]; in test_DNS_ParseDNSReply_fail_small_buffer() local
1262 ret = DNS_ParseDNSReply( pucUDPPayloadBuffer, in test_DNS_ParseDNSReply_fail_small_buffer()
1276 uint8_t pucUDPPayloadBuffer[ 300 ] = { 0 }; in test_DNS_ParseDNSReply_fail_no_namefield() local
1282 ret = DNS_ParseDNSReply( pucUDPPayloadBuffer, in test_DNS_ParseDNSReply_fail_no_namefield()
1297 uint8_t pucUDPPayloadBuffer[ 300 ]; in test_DNS_ParseDNSReply_fail() local
1304 memset( pucUDPPayloadBuffer, 0x00, 300 ); in test_DNS_ParseDNSReply_fail()
1306 pucUDPPayloadBuffer[ beg++ ] = 8; in test_DNS_ParseDNSReply_fail()
1307 strcpy( pucUDPPayloadBuffer + beg, "FreeRTOS" ); in test_DNS_ParseDNSReply_fail()
1310 ret = DNS_ParseDNSReply( pucUDPPayloadBuffer, in test_DNS_ParseDNSReply_fail()
1324 uint8_t pucUDPPayloadBuffer[ 300 ]; in test_DNS_ParseDNSReply_fail_empty_namefield() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
HDDNSgetHostByName_a_harness.c50 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply() argument
56 __CPROVER_assert( pucUDPPayloadBuffer != NULL, in DNS_ParseDNSReply()
59 __CPROVER_havoc_object( 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() argument
77 __CPROVER_assert( pucUDPPayloadBuffer != NULL, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()
82 __CPROVER_havoc_object( pucUDPPayloadBuffer ); in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ParseDNSReply/
HDParseDNSReply_harness.c28 uint32_t prvParseDNSReply( uint8_t * pucUDPPayloadBuffer,
118 uint8_t * pucUDPPayloadBuffer = malloc( uxBufferLength ); in harness() local
125 __CPROVER_assume( pucUDPPayloadBuffer != NULL ); in harness()
127 uint32_t index = prvParseDNSReply( pucUDPPayloadBuffer, in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
HDDNSgetHostByName_harness.c31 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer,
36 size_t __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer,
69 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply() argument
77 __CPROVER_havoc_object( 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() argument
174 __CPROVER_havoc_object( pucUDPPayloadBuffer ); in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/
HDCreateDNSMessage_harness.c41 size_t __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer,
83 uint8_t * pucUDPPayloadBuffer = malloc( uxExpectedPayloadLength ); in harness() local
85 …__CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage( pucUDPPayloadBuffer, pcHostName, uxIdenti… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_DHCP.c1364 uint8_t * pucUDPPayloadBuffer = NULL; in prvCreatePartDHCPMessage() local
1392 … pucUDPPayloadBuffer = &( pxNetworkBuffer->pucEthernetBuffer[ ipUDP_PAYLOAD_OFFSET_IPv4 ] ); in prvCreatePartDHCPMessage()
1397 pxDHCPMessage = ( ( DHCPMessage_IPv4_t * ) pucUDPPayloadBuffer ); in prvCreatePartDHCPMessage()
1406 pucIPType = pucUDPPayloadBuffer - ipUDP_PAYLOAD_IP_TYPE_OFFSET; in prvCreatePartDHCPMessage()
1432 …( void ) memcpy( &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET ] ), pucOptionsArray, *pxOpt… in prvCreatePartDHCPMessage()
1440 … pucPtr = &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + ( *pxOptionsArraySize - 1U ) ] ); in prvCreatePartDHCPMessage()
1463 …( void ) memcpy( &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + dhcpCLIENT_IDENTIFIER_OFFS… in prvCreatePartDHCPMessage()
1472 return pucUDPPayloadBuffer; in prvCreatePartDHCPMessage()
1484 uint8_t * pucUDPPayloadBuffer; in prvSendDHCPRequest() local
1504 pucUDPPayloadBuffer = prvCreatePartDHCPMessage( &xAddress, in prvSendDHCPRequest()
[all …]
HDFreeRTOS_DNS_Parser.c295 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply() argument
333 pucUDPPayloadBuffer ); in DNS_ParseDNSReply()
342 xSet.pucUDPPayloadBuffer = pucUDPPayloadBuffer; in DNS_ParseDNSReply()
343 xSet.pucByte = &( pucUDPPayloadBuffer[ sizeof( DNSMessage_t ) ] ); in DNS_ParseDNSReply()
444 … pxNetworkBuffer = pxUDPPayloadBuffer_to_NetworkBuffer( pucUDPPayloadBuffer ); in DNS_ParseDNSReply()
455 … uxUDPOffset = ( size_t ) ( pucUDPPayloadBuffer - pxNetworkBuffer->pucEthernetBuffer ); in DNS_ParseDNSReply()
528 … xOffset1 = ( BaseType_t ) ( xSet.pucByte - pucUDPPayloadBuffer ); in DNS_ParseDNSReply()
529 … xOffset2 = ( BaseType_t ) ( ( ( uint8_t * ) xSet.pcRequestedName ) - pucUDPPayloadBuffer ); in DNS_ParseDNSReply()
1023 uint8_t * pucUDPPayloadBuffer = pucPayload; in DNS_TreatNBNS() local
1044 if( pucUDPPayloadBuffer == NULL ) in DNS_TreatNBNS()
[all …]
HDFreeRTOS_DNS.c66 static size_t prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer,
805 uint8_t * pucUDPPayloadBuffer = NULL; in prvGetPayloadBuffer() local
821 pucUDPPayloadBuffer = &( ( *ppxNetworkBuffer )->pucEthernetBuffer[ uxHeaderBytes ] ); in prvGetPayloadBuffer()
824 return pucUDPPayloadBuffer; in prvGetPayloadBuffer()
1469 static size_t prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer, in prvCreateDNSMessage() argument
1502 pvCopyDest = pucUDPPayloadBuffer; in prvCreateDNSMessage()
1511 pxDNSMessageHeader = ( ( DNSMessage_t * ) pucUDPPayloadBuffer ); in prvCreateDNSMessage()
1522 ( void ) strcpy( ( char * ) &( pucUDPPayloadBuffer[ uxIndex ] ), pcHostName ); in prvCreateDNSMessage()
1536 while( ( pucUDPPayloadBuffer[ uxIndex ] != ( uint8_t ) 0U ) && in prvCreateDNSMessage()
1537 ( pucUDPPayloadBuffer[ uxIndex ] != ( uint8_t ) ASCII_BASELINE_DOT ) ) in prvCreateDNSMessage()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSHandlePacket/
HDDNShandlePacket_harness.c12 uint32_t prvParseDNSReply( uint8_t * pucUDPPayloadBuffer, in prvParseDNSReply() argument
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_DNS_Parser.h63 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer,
HDFreeRTOS_DNS_Globals.h192 uint8_t * pucUDPPayloadBuffer; /**< A pointer to the original UDP load buffer. */ member