Home
last modified time | relevance | path

Searched refs:UDPPacket_t (Results 1 – 25 of 31) sorted by relevance

12

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IP/
DFreeRTOS_UDP_IP_utest.c100 UDPPacket_t * pxUDPPacket = ( ( UDPPacket_t * ) pucLocalEthernetBuffer ); in test_vProcessGeneratedUDPPacket_IPv4Packet()
121 UDPPacket_t * pxUDPPacket = ( ( UDPPacket_t * ) pucLocalEthernetBuffer ); in test_vProcessGeneratedUDPPacket_IPv6Packet()
142 UDPPacket_t * pxUDPPacket = ( ( UDPPacket_t * ) pucLocalEthernetBuffer ); in test_vProcessGeneratedUDPPacket_UnknownPacket()
187 UDPPacket_t * pxUDPPacket = ( ( UDPPacket_t * ) pucLocalEthernetBuffer ); in test_xProcessReceivedUDPPacket_IPv4Packet()
213 UDPPacket_t * pxUDPPacket = ( ( UDPPacket_t * ) pucLocalEthernetBuffer ); in test_xProcessReceivedUDPPacket_IPv6Packet()
239 UDPPacket_t * pxUDPPacket = ( ( UDPPacket_t * ) pucLocalEthernetBuffer ); in test_xProcessReceivedUDPPacket_UnknownPacket()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/
DFreeRTOS_UDP_IPv4_utest.c108 UDPPacket_t * pxUDPPacket; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass()
114 pxUDPPacket = ( UDPPacket_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass()
141 UDPPacket_t * pxUDPPacket; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail()
147 pxUDPPacket = ( UDPPacket_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail()
174 UDPPacket_t * pxUDPPacket; in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestPass()
180 pxUDPPacket = ( UDPPacket_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestPass()
207 UDPPacket_t * pxUDPPacket; in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestFail()
213 pxUDPPacket = ( UDPPacket_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestFail()
240 UDPPacket_t * pxUDPPacket; in test_xProcessReceivedUDPPacket_IPv4_LLMNRReplyPass()
246 pxUDPPacket = ( UDPPacket_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4_LLMNRReplyPass()
[all …]
DFreeRTOS_UDP_IPv4_stubs.c54 …UDPPacket_t * pxUDPPacket = ( UDPPacket_t * ) ( pucData - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_… in UDPReceiveHandlerChecker()
102 UDPPacket_t * pxUDPPacket; in prvPrepareDefaultNetworkbuffer()
115 pxUDPPacket = ( UDPPacket_t * ) pucEthernetBuffer; in prvPrepareDefaultNetworkbuffer()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_UDP_IP.c97 const UDPPacket_t * pxUDPPacket; in vProcessGeneratedUDPPacket()
106 pxUDPPacket = ( ( UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in vProcessGeneratedUDPPacket()
153 … const UDPPacket_t * pxUDPPacket = ( ( const UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in xProcessReceivedUDPPacket()
DFreeRTOS_UDP_IPv4.c80 UDPPacket_t * pxUDPPacket; in vProcessGeneratedUDPPacket_IPv4()
95 pxUDPPacket = ( ( UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in vProcessGeneratedUDPPacket_IPv4()
105 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_t ); in vProcessGeneratedUDPPacket_IPv4()
349 const UDPPacket_t * pxUDPPacket; in xProcessReceivedUDPPacket_IPv4()
359 pxUDPPacket = ( ( UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in xProcessReceivedUDPPacket_IPv4()
DFreeRTOS_IPv4_Sockets.c232 UDPPacket_t * pxUDPPacket; in xSend_UDP_Update_IPv4()
239 pxUDPPacket = ( ( UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in xSend_UDP_Update_IPv4()
DFreeRTOS_UDP_IPv6.c138 … const UDPPacket_t * pxUDPPacket = ( ( const UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in prvStartLookup()
DFreeRTOS_DNS.c1630 UDPPacket_t * pxUDPPacket = ( ( UDPPacket_t * ) in ulNBNSHandlePacket()
1634 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in ulNBNSHandlePacket()
DFreeRTOS_DNS_Parser.c910 UDPPacket_t * pxUDPPacket; in prepareReplyDNSMessage()
917 pxUDPPacket = ( ( UDPPacket_t * ) in prepareReplyDNSMessage()
1026 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in DNS_TreatNBNS()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/
Dfreertos_api.c152 __CPROVER_assume( payload_size + sizeof( UDPPacket_t ) in FreeRTOS_recvfrom()
167 uint32_t buffer_size = payload_size + sizeof( UDPPacket_t ); in FreeRTOS_recvfrom()
176 buffer = buffer + sizeof( UDPPacket_t ); in FreeRTOS_recvfrom()
177 buffer_size = buffer_size - sizeof( UDPPacket_t ); in FreeRTOS_recvfrom()
221 __CPROVER_assume( size >= sizeof( UDPPacket_t ) ); in FreeRTOS_GetUDPPayloadBuffer_Multi()
225 return buffer == NULL ? buffer : buffer + sizeof( UDPPacket_t ); in FreeRTOS_GetUDPPayloadBuffer_Multi()
238 == sizeof( UDPPacket_t ), in FreeRTOS_ReleaseUDPPayloadBuffer()
241 free( pvBuffer - sizeof( UDPPacket_t ) ); in FreeRTOS_ReleaseUDPPayloadBuffer()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxUDPPayloadBuffer_to_NetworkBuffer/
DpxUDPPayloadBuffer_to_NetworkBuffer_harness.c66 __CPROVER_assume( uxBufferLength > sizeof( UDPPacket_t ) + ipconfigBUFFER_PADDING ); in harness()
84 … &pxNetworkBuffer->pucEthernetBuffer[ ipconfigBUFFER_PADDING + sizeof( UDPPacket_t ) - ipUDP_PAYLO… in harness()
85 … pvBuffer = &pxNetworkBuffer->pucEthernetBuffer[ ipconfigBUFFER_PADDING + sizeof( UDPPacket_t ) ]; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IPv4_Private.h47 #define ipUDP_PAYLOAD_OFFSET_IPv4 ( sizeof( UDPPacket_t ) )
65 …sizeof( UDPHeader_t ) + ( int32_t ) sizeof( IPHeader_IPv6_t ) - ( int32_t ) sizeof( UDPPacket_t ) )
116 typedef struct xUDP_PACKET UDPPacket_t; variable
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Sockets/
DFreeRTOS_IPv4_Sockets_utest.c207 UDPPacket_t * pxUDPPacket; in test_xSend_UDP_Update_IPv4_HappyCase()
215 pxUDPPacket = ( UDPPacket_t * ) xNetworkBuffer.pucEthernetBuffer; in test_xSend_UDP_Update_IPv4_HappyCase()
235 UDPPacket_t * pxUDPPacket; in test_xSend_UDP_Update_IPv4_NullNetworkBuffer()
243 pxUDPPacket = ( UDPPacket_t * ) xNetworkBuffer.pucEthernetBuffer; in test_xSend_UDP_Update_IPv4_NullNetworkBuffer()
263 UDPPacket_t * pxUDPPacket; in test_xSend_UDP_Update_IPv4_NullDestinationAddress()
271 pxUDPPacket = ( UDPPacket_t * ) xNetworkBuffer.pucEthernetBuffer; in test_xSend_UDP_Update_IPv4_NullDestinationAddress()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSHandlePacket/
DDNShandlePacket_harness.c22 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) + sizeof( DNSMessage_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_UDP_API_utest.c359 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
419 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
481 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall()
544 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall_Peek()
602 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall_Peek_SourceAddrNULL()
660 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall_ZeroCopyAndPeek()
718 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 100; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBegining_Packet100SizeSmall_ZeroCopyAndPeek()
1011 TEST_ASSERT_EQUAL( xNetworkBuffer.xDataLength, uxTotalDataLength + sizeof( UDPPacket_t ) ); in test_FreeRTOS_sendto_IPTaskCalling_NonZeroCopy()
1060 TEST_ASSERT_EQUAL( xNetworkBuffer.xDataLength, uxTotalDataLength + sizeof( UDPPacket_t ) ); in test_FreeRTOS_sendto_IPTaskCalling_NonZeroCopy1()
1107 TEST_ASSERT_EQUAL( xNetworkBuffer.xDataLength, uxTotalDataLength + sizeof( UDPPacket_t ) ); in test_FreeRTOS_sendto_IPTaskCalling_NonZeroCopy2()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c258 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, ux… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
262 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
263 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
282 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, ux… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
286 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
287 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
307 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, ip… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
311 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
312 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
325 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, ip… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig_NULLBufferReturned()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_ConfigNoCallback/
DFreeRTOS_DNS_ConfigNoCallback_utest.c155 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in test_FreeRTOS_gethostbyname_DifferentIdentifier()
225 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in test_FreeRTOS_gethostbyname_SameIdentifier()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/prepareReplyDNSMessage/
DprepareReplyDNSMessage_harness.c106 …__CPROVER_assume( ( xDataSize > ( sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ) + sizeof( NBNSAn… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
DProcessReceivedUDPPacket_harness.c107 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( UDPPacket_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig/
DFreeRTOS_IPv4_DiffConfig_utest.c180 pxNetworkBuffer->xDataLength = sizeof( UDPPacket_t ); in test_prvAllowIPPacketIPv4_UDPCheckSumZero()
226 pxNetworkBuffer->xDataLength = sizeof( UDPPacket_t ); in test_prvAllowIPPacketIPv4_UDP_HappyPath()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/
DFreeRTOS_DNS_Parser_utest.c511 UDPPacket_t * pxUDPPacket; in test_prepareReplyDNSMessage_success()
515 pxUDPPacket = ( ( UDPPacket_t * ) in test_prepareReplyDNSMessage_success()
554 UDPPacket_t * pxUDPPacket; in test_prepareReplyDNSMessage_success_MDNS()
558 pxUDPPacket = ( ( UDPPacket_t * ) in test_prepareReplyDNSMessage_success_MDNS()
598 UDPPacket_t * pxUDPPacket; in test_prepareReplyDNSMessage_NullEndPoint()
602 pxUDPPacket = ( ( UDPPacket_t * ) in test_prepareReplyDNSMessage_NullEndPoint()
643 UDPPacket_t * pxUDPPacket; in test_prepareReplyDNSMessage_IPv6success()
647 pxUDPPacket = ( ( UDPPacket_t * ) in test_prepareReplyDNSMessage_IPv6success()
684 UDPPacket_t * pxUDPPacket; in test_prepareReplyDNSMessage_IPv6Fail()
688 pxUDPPacket = ( ( UDPPacket_t * ) in test_prepareReplyDNSMessage_IPv6Fail()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
DvProcessGeneratedUDPPacket_harness.c96 …__CPROVER_assume( xRequestedSizeBytes >= sizeof( UDPPacket_t ) && xRequestedSizeBytes <= ipTOTAL_E… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig1/
DFreeRTOS_IP_DiffConfig1_utest.c443 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, ux… in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfigBackwardCompatible()
447 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfigBackwardCompatible()
448 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfigBackwardCompatible()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c463 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + sizeof( DNSMessage_t ); in test_ulDNSHandlePacket_Success()
464 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) + in test_ulDNSHandlePacket_Success()
484 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) - 2; in test_ulDNSHandlePacket_FailSmallBuffer()
485 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) - 2 ); in test_ulDNSHandlePacket_FailSmallBuffer()
504 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ) + 2; in test_ulDNSHandlePacket_FailSmallBuffer2()
505 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) + 2 ); in test_ulDNSHandlePacket_FailSmallBuffer2()
551 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in test_ulNBNSHandlePacket_Success()
572 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in test_ulNBNSHandlePacket_FailSmallBuffer()
681 size_t uxBytesNeeded = sizeof( UDPPacket_t ) + sizeof( NBNSRequest_t ); in test_FreeRTOS_gethostbyname_a_NoCallbackRetryOnce()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/
DFreeRTOS_IP_Utils_DiffConfig_utest.c310 size_t uxOffset = sizeof( UDPPacket_t ); in test_pxUDPPayloadBuffer_to_NetworkBuffer_IPv6()

12