| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 128 uint8_t pucByte[ 300 ]; in test_DNS_ReadNameField_success_empty_uxRemainingBytes() local
131 memset( pucByte, 0x00, 300 ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
132 ret = DNS_ReadNameField( pucByte, 0, "name", 4 ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
142 uint8_t pucByte[ 300 ] = { 0 }; in test_DNS_ReadNameField_fail_offset_dns_name() local
145 memset( pucByte, 0x00, 300 ); in test_DNS_ReadNameField_fail_offset_dns_name()
146 pucByte[ 0 ] = dnsNAME_IS_OFFSET; in test_DNS_ReadNameField_fail_offset_dns_name()
148 ret = DNS_ReadNameField( pucByte, 2, "name", 4 ); in test_DNS_ReadNameField_fail_offset_dns_name()
159 uint8_t pucByte[ 300 ] = { 0 }; in test_DNS_ReadNameField_success_fully_coded_gt_uint16() local
162 memset( pucByte, 0x00, 300 ); in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
164 pucByte[ 0 ] = dnsNAME_IS_OFFSET; in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Parser.c | 62 size_t DNS_ReadNameField( const uint8_t * pucByte, in DNS_ReadNameField() argument
83 else if( ( pucByte[ uxIndex ] & dnsNAME_IS_OFFSET ) == dnsNAME_IS_OFFSET ) in DNS_ReadNameField()
98 while( ( uxIndex < uxSourceLen ) && ( pucByte[ uxIndex ] != ( uint8_t ) 0x00U ) ) in DNS_ReadNameField()
116 uxCount = ( size_t ) pucByte[ uxIndex ]; in DNS_ReadNameField()
136 pcName[ uxNameLen ] = ( char ) pucByte[ uxIndex ]; in DNS_ReadNameField()
175 size_t DNS_SkipNameField( const uint8_t * pucByte, in DNS_SkipNameField() argument
189 else if( ( pucByte[ uxIndex ] & dnsNAME_IS_OFFSET ) == dnsNAME_IS_OFFSET ) in DNS_SkipNameField()
204 while( ( pucByte[ uxIndex ] != 0U ) && ( uxSourceLenCpy > 1U ) ) in DNS_SkipNameField()
208 uxChunkLength = ( ( size_t ) pucByte[ uxIndex ] ) + 1U; in DNS_SkipNameField()
225 if( pucByte[ uxIndex ] == 0U ) in DNS_SkipNameField()
[all …]
|
| D | FreeRTOS_ICMP.c | 203 uint8_t * pucByte; in prvProcessICMPEchoReply() local
220 pucByte = ( uint8_t * ) pxICMPPacket; in prvProcessICMPEchoReply()
221 pucByte = &( pucByte[ sizeof( ICMPPacket_t ) ] ); in prvProcessICMPEchoReply()
226 if( *pucByte != ( uint8_t ) ipECHO_DATA_FILL_BYTE ) in prvProcessICMPEchoReply()
232 pucByte++; in prvProcessICMPEchoReply()
|
| D | FreeRTOS_DHCP.c | 723 const uint8_t * pucByte; in prvProcessDHCPReplies() local
774 pucByte = &( pucUDPPayload[ sizeof( DHCPMessage_IPv4_t ) ] ); in prvProcessDHCPReplies()
780 ucOptionCode = pucByte[ uxIndex ]; in prvProcessDHCPReplies()
801 uxLength = ( size_t ) pucByte[ uxIndex + 1U ]; in prvProcessDHCPReplies()
825 pvCopySource = &pucByte[ uxIndex ]; in prvProcessDHCPReplies()
846 if( pucByte[ uxIndex ] == ( uint8_t ) xExpectedMessageType ) in prvProcessDHCPReplies()
854 if( pucByte[ uxIndex ] == ( uint8_t ) dhcpMESSAGE_TYPE_NACK ) in prvProcessDHCPReplies()
|
| /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() argument
73 uint8_t * pucByte = malloc( uxRemainingBytes ); in harness() local
84 __CPROVER_assume( pucByte != NULL ); in harness()
93 size_t index = DNS_ReadNameField( pucByte, in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/SkipNameField/ |
| D | SkipNameField_harness.c | 28 size_t DNS_SkipNameField( const uint8_t * pucByte,
41 uint8_t * pucByte = malloc( uxLength ); in harness() local
47 __CPROVER_assume( pucByte != NULL ); in harness()
49 size_t index = DNS_SkipNameField( pucByte, uxLength ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/ |
| D | FreeRTOS_ICMP_utest.c | 190 uint8_t * pucByte; in test_ProcessICMPPacket_ICMPEchoReply_ProperData() local
205 pucByte = ( uint8_t * ) pxICMPPacket; in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
206 pucByte = &( pucByte[ sizeof( ICMPPacket_t ) ] ); in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
207 memset( pucByte, ipECHO_DATA_FILL_BYTE, 10 ); in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
222 uint8_t * pucByte; in test_ProcessICMPPacket_ICMPEchoReply_ImproperData() local
237 pucByte = ( uint8_t * ) pxICMPPacket; in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
238 pucByte = &( pucByte[ sizeof( ICMPPacket_t ) ] ); in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
239 memset( pucByte, ipECHO_DATA_FILL_BYTE, 5 ); in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
|
| /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() argument
65 __CPROVER_assert( pucByte != NULL, in DNS_ReadNameField()
86 size_t DNS_SkipNameField( const uint8_t * pucByte, in DNS_SkipNameField() argument
98 __CPROVER_assert( pucByte != NULL, in DNS_SkipNameField()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_DNS_Parser.h | 47 size_t DNS_ReadNameField( const uint8_t * pucByte,
57 size_t DNS_SkipNameField( const uint8_t * pucByte,
83 uint8_t * pucByte,
|
