| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 139 uint8_t pucByte[ 300 ]; in test_DNS_ReadNameField_success_empty_uxRemainingBytes() local
144 memset( pucByte, 0x00, 300 ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
155 uint8_t pucByte[ 300 ] = { 0 }; in test_DNS_ReadNameField_fail_offset_dns_name() local
160 memset( pucByte, 0x00, 300 ); in test_DNS_ReadNameField_fail_offset_dns_name()
161 pucByte[ 0 ] = dnsNAME_IS_OFFSET; in test_DNS_ReadNameField_fail_offset_dns_name()
174 uint8_t pucByte[ 300 ] = { 0 }; in test_DNS_ReadNameField_success_fully_coded_gt_uint16() local
178 memset( pucByte, 0x00, 300 ); in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
179 pucByte[ 0 ] = dnsNAME_IS_OFFSET; in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
180 xSet.pucByte = pucByte; in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
194 uint8_t pucByte[ 300 ] = { 0 }; in test_DNS_ReadNameField_success_half_coded_gt_uint16() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS_Parser.c | 106 const uint8_t * pucByte = pxSet->pucByte; in DNS_ReadNameField() local
120 else if( ( pucByte[ uxIndex ] & dnsNAME_IS_OFFSET ) == dnsNAME_IS_OFFSET ) in DNS_ReadNameField()
135 while( ( uxIndex < uxSourceLen ) && ( pucByte[ uxIndex ] != ( uint8_t ) 0x00U ) ) in DNS_ReadNameField()
150 uxCount = ( size_t ) pucByte[ uxIndex ]; in DNS_ReadNameField()
174 pxSet->pcName[ uxNameLen ] = ( char ) pucByte[ uxIndex ]; in DNS_ReadNameField()
213 size_t DNS_SkipNameField( const uint8_t * pucByte, in DNS_SkipNameField() argument
227 else if( ( pucByte[ uxIndex ] & dnsNAME_IS_OFFSET ) == dnsNAME_IS_OFFSET ) in DNS_SkipNameField()
242 while( ( pucByte[ uxIndex ] != 0U ) && ( uxSourceLenCpy > 1U ) ) in DNS_SkipNameField()
246 uxChunkLength = ( ( size_t ) pucByte[ uxIndex ] ) + 1U; in DNS_SkipNameField()
263 if( pucByte[ uxIndex ] == 0U ) in DNS_SkipNameField()
[all …]
|
| D | FreeRTOS_ICMP.c | 211 uint8_t * pucByte; in prvProcessICMPEchoReply() local
228 pucByte = ( uint8_t * ) pxICMPPacket; in prvProcessICMPEchoReply()
229 pucByte = &( pucByte[ sizeof( ICMPPacket_t ) ] ); in prvProcessICMPEchoReply()
234 if( *pucByte != ( uint8_t ) ipECHO_DATA_FILL_BYTE ) in prvProcessICMPEchoReply()
240 pucByte++; in prvProcessICMPEchoReply()
|
| D | FreeRTOS_DHCP.c | 972 if( pxSet->pucByte[ pxSet->uxIndex ] == ( uint8_t ) xExpectedMessageType ) in vProcessHandleOption()
980 if( pxSet->pucByte[ pxSet->uxIndex ] == ( uint8_t ) dhcpMESSAGE_TYPE_NACK ) in vProcessHandleOption()
1038 const void * pvCopySource = &( pxSet->pucByte[ uxByteIndex ] ); in vProcessHandleOption()
1188 pxSet->uxLength = ( size_t ) pxSet->pucByte[ pxSet->uxIndex + 1U ]; in xProcessCheckOption()
1206 const void * pvCopySource = &( pxSet->pucByte[ pxSet->uxIndex ] ); in xProcessCheckOption()
1293 xSet.pucByte = &( pucUDPPayload[ sizeof( DHCPMessage_IPv4_t ) ] ); in prvProcessDHCPReplies()
1300 xSet.ucOptionCode = xSet.pucByte[ xSet.uxIndex ]; in prvProcessDHCPReplies()
|
| D | FreeRTOS_ND.c | 1000 const uint8_t * pucByte; in prvProcessICMPMessage_IPv6() local
1007 pucByte = ( const uint8_t * ) pxICMPEchoHeader; in prvProcessICMPMessage_IPv6()
1008 pucByte = &( pucByte[ sizeof( *pxICMPEchoHeader ) ] ); in prvProcessICMPMessage_IPv6()
1013 if( *pucByte != ( uint8_t ) ipECHO_DATA_FILL_BYTE ) in prvProcessICMPMessage_IPv6()
1019 pucByte++; in prvProcessICMPMessage_IPv6()
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/test/unit-test/FreeRTOS_ICMP/ |
| D | FreeRTOS_ICMP_utest.c | 192 uint8_t * pucByte; in test_ProcessICMPPacket_ICMPEchoReply_ProperData() local
207 pucByte = ( uint8_t * ) pxICMPPacket; in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
208 pucByte = &( pucByte[ sizeof( ICMPPacket_t ) ] ); in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
209 memset( pucByte, ipECHO_DATA_FILL_BYTE, 10 ); in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
224 uint8_t * pucByte; in test_ProcessICMPPacket_ICMPEchoReply_ImproperData() local
239 pucByte = ( uint8_t * ) pxICMPPacket; in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
240 pucByte = &( pucByte[ sizeof( ICMPPacket_t ) ] ); in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
241 memset( pucByte, ipECHO_DATA_FILL_BYTE, 5 ); in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/test/cbmc/proofs/ReadNameField/ |
| D | ReadNameField_harness.c | 71 pxSet.pucByte = malloc( pxSet.uxSourceBytesRemaining ); in harness()
81 __CPROVER_assume( pxSet.pucByte != NULL ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_DNS_Parser.h | 55 size_t DNS_SkipNameField( const uint8_t * pucByte,
|
| D | FreeRTOS_DHCP.h | 231 const uint8_t * pucByte; /**< A pointer to the data to be analysed. */ member
|
| D | FreeRTOS_DNS_Globals.h | 193 uint8_t * pucByte; /**< A pointer that is used while parsing. */ member
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/ |
| D | FreeRTOS_ND_utest.c | 1434 uint8_t ucBuffer[ sizeof( ICMPPacket_IPv6_t ) + ipBUFFER_PADDING ], * pucByte; in test_prvProcessICMPMessage_IPv6_ipICMP_PING_REPLY_IPv6_eSuccess() local
1451 …pucByte = ( ucBuffer + sizeof( EthernetHeader_t ) + sizeof( IPHeader_IPv6_t ) + sizeof( ICMPEcho_I… in test_prvProcessICMPMessage_IPv6_ipICMP_PING_REPLY_IPv6_eSuccess()
1453 ( void ) memset( pucByte, ipECHO_DATA_FILL_BYTE, uxDataLength ); in test_prvProcessICMPMessage_IPv6_ipICMP_PING_REPLY_IPv6_eSuccess()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 5708 xSet.pucByte = ucUDPPayload; in test_xProcessCheckOption_LengthByteZero()
|
