| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 759 uint8_t pucUDPPayloadBuffer[ sizeof( DNSMessage_t ) - 2 ]; in test_DNS_ParseDNSReply_fail_small_buffer() local
763 ret = DNS_ParseDNSReply( pucUDPPayloadBuffer, in test_DNS_ParseDNSReply_fail_small_buffer()
775 uint8_t pucUDPPayloadBuffer[ 300 ] = { 0 }; in test_DNS_ParseDNSReply_fail_no_namefield() local
779 ret = DNS_ParseDNSReply( pucUDPPayloadBuffer, in test_DNS_ParseDNSReply_fail_no_namefield()
792 uint8_t pucUDPPayloadBuffer[ 300 ]; in test_DNS_ParseDNSReply_fail() local
797 memset( pucUDPPayloadBuffer, 0x00, 300 ); in test_DNS_ParseDNSReply_fail()
799 pucUDPPayloadBuffer[ beg++ ] = 8; in test_DNS_ParseDNSReply_fail()
800 strcpy( pucUDPPayloadBuffer + beg, "FreeRTOS" ); in test_DNS_ParseDNSReply_fail()
802 ret = DNS_ParseDNSReply( pucUDPPayloadBuffer, in test_DNS_ParseDNSReply_fail()
814 uint8_t pucUDPPayloadBuffer[ 300 ]; in test_DNS_ParseDNSReply_fail_empty_namefield() local
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 50 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply() argument
54 __CPROVER_assert( pucUDPPayloadBuffer != NULL, in DNS_ParseDNSReply()
57 __CPROVER_havoc_object( pucUDPPayloadBuffer ); in DNS_ParseDNSReply()
70 size_t prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer, in prvCreateDNSMessage() argument
74 __CPROVER_assert( pucUDPPayloadBuffer != NULL, in prvCreateDNSMessage()
79 __CPROVER_havoc_object( pucUDPPayloadBuffer ); in prvCreateDNSMessage()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS.c | 64 _static size_t prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer,
354 uint8_t * pucUDPPayloadBuffer = NULL; in prvGetPayloadBuffer() local
375 pucUDPPayloadBuffer = &( ( *ppxNetworkBuffer )->pucEthernetBuffer[ uxHeaderBytes ] ); in prvGetPayloadBuffer()
378 return pucUDPPayloadBuffer; in prvGetPayloadBuffer()
651 _static size_t prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer, in prvCreateDNSMessage() argument
681 pvCopyDest = pucUDPPayloadBuffer; in prvCreateDNSMessage()
690 pxDNSMessageHeader = ( ( DNSMessage_t * ) pucUDPPayloadBuffer ); in prvCreateDNSMessage()
701 ( void ) strcpy( ( char * ) &( pucUDPPayloadBuffer[ uxIndex ] ), pcHostName ); in prvCreateDNSMessage()
715 while( ( pucUDPPayloadBuffer[ uxIndex ] != ( uint8_t ) 0U ) && in prvCreateDNSMessage()
716 ( pucUDPPayloadBuffer[ uxIndex ] != ( uint8_t ) ASCII_BASELINE_DOT ) ) in prvCreateDNSMessage()
[all …]
|
| D | FreeRTOS_DHCP.c | 998 uint8_t * pucUDPPayloadBuffer = NULL; in prvCreatePartDHCPMessage() local
1020 … pucUDPPayloadBuffer = &( pxNetworkBuffer->pucEthernetBuffer[ ipUDP_PAYLOAD_OFFSET_IPv4 ] ); in prvCreatePartDHCPMessage()
1025 pxDHCPMessage = ( ( DHCPMessage_IPv4_t * ) pucUDPPayloadBuffer ); in prvCreatePartDHCPMessage()
1049 …( void ) memcpy( &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET ] ), pucOptionsArray, *pxOpt… in prvCreatePartDHCPMessage()
1057 … pucPtr = &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + ( *pxOptionsArraySize - 1U ) ] ); in prvCreatePartDHCPMessage()
1076 …( void ) memcpy( &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + dhcpCLIENT_IDENTIFIER_OFFS… in prvCreatePartDHCPMessage()
1084 return pucUDPPayloadBuffer; in prvCreatePartDHCPMessage()
1095 uint8_t * pucUDPPayloadBuffer; in prvSendDHCPRequest() local
1113 pucUDPPayloadBuffer = prvCreatePartDHCPMessage( &xAddress, in prvSendDHCPRequest()
1118 if( pucUDPPayloadBuffer != NULL ) in prvSendDHCPRequest()
[all …]
|
| D | FreeRTOS_DNS_Parser.c | 253 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply() argument
294 pucUDPPayloadBuffer ); in DNS_ParseDNSReply()
303 pucByte = &( pucUDPPayloadBuffer[ sizeof( DNSMessage_t ) ] ); in DNS_ParseDNSReply()
410 pxUDPPayloadBuffer_to_NetworkBuffer( pucUDPPayloadBuffer ); in DNS_ParseDNSReply()
433 xOffset1 = ( BaseType_t ) ( pucByte - pucUDPPayloadBuffer ); in DNS_ParseDNSReply()
434 … xOffset2 = ( BaseType_t ) ( ( ( uint8_t * ) pcRequestedName ) - pucUDPPayloadBuffer ); in DNS_ParseDNSReply()
812 uint8_t * pucUDPPayloadBuffer = pucPayload; in DNS_TreatNBNS() local
816 usFlags = usChar2u16( &( pucUDPPayloadBuffer[ offsetof( NBNSRequest_t, usFlags ) ] ) ); in DNS_TreatNBNS()
820 … usType = usChar2u16( &( pucUDPPayloadBuffer[ offsetof( NBNSRequest_t, usType ) ] ) ); in DNS_TreatNBNS()
821 … usClass = usChar2u16( &( pucUDPPayloadBuffer[ offsetof( NBNSRequest_t, usClass ) ] ) ); in DNS_TreatNBNS()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 31 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer,
63 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer, in DNS_ParseDNSReply() argument
69 __CPROVER_havoc_object( pucUDPPayloadBuffer ); in DNS_ParseDNSReply()
145 size_t prvCreateDNSMessage( uint8_t * pucUDPPayloadBuffer, in prvCreateDNSMessage() argument
149 __CPROVER_havoc_object( pucUDPPayloadBuffer ); in prvCreateDNSMessage()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ParseDNSReply/ |
| D | ParseDNSReply_harness.c | 28 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-v3.1.0/test/cbmc/proofs/DNS/DNSHandlePacket/ |
| D | DNShandlePacket_harness.c | 12 uint32_t prvParseDNSReply( uint8_t * pucUDPPayloadBuffer, in prvParseDNSReply() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_DNS_Parser.h | 65 uint32_t DNS_ParseDNSReply( uint8_t * pucUDPPayloadBuffer,
|
