| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 130 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
132 xNetworkBuffer2.pucEthernetBuffer = ucEthBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
149 …TEST_ASSERT_EQUAL_MEMORY( pxNetworkBuffer->pucEthernetBuffer, xNetworkBuffer2.pucEthernetBuffer, p… in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
163 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned()
165 xNetworkBuffer2.pucEthernetBuffer = ucEthBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned()
182 …TEST_ASSERT_EQUAL_MEMORY( pxNetworkBuffer->pucEthernetBuffer, xNetworkBuffer2.pucEthernetBuffer, u… in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned()
220 pxAddrOfNetBuffer->pucEthernetBuffer = ucEthBuf; in test_prvPacketBuffer_to_NetworkBuffer_Alligned()
222 *( ( NetworkBufferDescriptor_t ** ) pxAddrOfNetBuffer->pucEthernetBuffer ) = pxAddrOfNetBuffer; in test_prvPacketBuffer_to_NetworkBuffer_Alligned()
224 pxAddrOfNetBuffer->pucEthernetBuffer += ( uxOffset + ipBUFFER_PADDING ); in test_prvPacketBuffer_to_NetworkBuffer_Alligned()
226 …pxNetworkBuffer = prvPacketBuffer_to_NetworkBuffer( pxAddrOfNetBuffer->pucEthernetBuffer, uxOffset… in test_prvPacketBuffer_to_NetworkBuffer_Alligned()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/ |
| D | BufferAllocation_2.c | 189 pxBufferDescriptor->pucEthernetBuffer = pPktBuff; in PIC32_MacAssociate()
294 xNetworkBufferDescriptors[ x ].pucEthernetBuffer = NULL; in xNetworkBuffersInitialise()
321 uint8_t * pucEthernetBuffer; in pucGetNetworkBuffer() local
345 pucEthernetBuffer = NetworkBufferAllocate( xSize - sizeof( TCPIP_MAC_ETHERNET_HEADER ) ); in pucGetNetworkBuffer()
347 pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xSize + ipBUFFER_PADDING ); in pucGetNetworkBuffer()
350 configASSERT( pucEthernetBuffer ); in pucGetNetworkBuffer()
352 if( pucEthernetBuffer != NULL ) in pucGetNetworkBuffer()
358 pucEthernetBuffer += ipBUFFER_PADDING; in pucGetNetworkBuffer()
362 return pucEthernetBuffer; in pucGetNetworkBuffer()
366 void vReleaseNetworkBuffer( uint8_t * pucEthernetBuffer ) in vReleaseNetworkBuffer() argument
[all …]
|
| D | NetworkInterface_wifi.c | 110 …if( ( pxDescriptor != 0 ) && ( pxDescriptor->pucEthernetBuffer != 0 ) && ( pxDescriptor->xDataLeng… in xNetworkInterfaceOutput()
113 if( WDRV_EXT_DataSend( pxDescriptor->xDataLength, pxDescriptor->pucEthernetBuffer ) == 0 ) in xNetworkInterfaceOutput()
167 memcpy( pxNetworkBuffer->pucEthernetBuffer, frame, len ); in xNetworkFrameReceived()
189 pxNetworkBuffer->pucEthernetBuffer = 0; in xNetworkFrameReceived()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/ |
| D | BufferAllocation_2.c | 152 xNetworkBufferDescriptors[ x ].pucEthernetBuffer = NULL; in xNetworkBuffersInitialise()
179 uint8_t * pucEthernetBuffer; in pucGetNetworkBuffer() local
201 pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xSize + ipBUFFER_PADDING ); in pucGetNetworkBuffer()
202 configASSERT( pucEthernetBuffer != NULL ); in pucGetNetworkBuffer()
204 if( pucEthernetBuffer != NULL ) in pucGetNetworkBuffer()
209 pucEthernetBuffer += ipBUFFER_PADDING; in pucGetNetworkBuffer()
212 return pucEthernetBuffer; in pucGetNetworkBuffer()
216 void vReleaseNetworkBuffer( uint8_t * pucEthernetBuffer ) in vReleaseNetworkBuffer() argument
218 uint8_t * pucEthernetBufferCopy = pucEthernetBuffer; in vReleaseNetworkBuffer()
261 configASSERT( pxReturn->pucEthernetBuffer == NULL ); in pxGetNetworkBufferWithDescriptor()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 417 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader() local
419 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
426 memset( pucEthernetBuffer, 0x12, ipconfigTCP_MSS ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
455 TEST_ASSERT_EACH_EQUAL_UINT8( 0x12, pucEthernetBuffer, ipconfigTCP_MSS ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
475 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100() local
477 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
484 memset( pucEthernetBuffer, 0x12, ipconfigTCP_MSS ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
513 TEST_ASSERT_EACH_EQUAL_UINT8( 0x12, pucEthernetBuffer, ipconfigTCP_MSS ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
534 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall() local
536 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 56 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
57 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer ); in pxDuplicateNetworkBufferWithDescriptor()
69 … __CPROVER_assert( pxDescriptor->pucEthernetBuffer != NULL, "The ethernet buffer cannot be NULL" ); in xNetworkInterfaceOutput()
74 uint16_t usGenerateProtocolChecksum( const uint8_t * const pucEthernetBuffer, in usGenerateProtocolChecksum() argument
78 __CPROVER_assert( pucEthernetBuffer != NULL, "The ethernet buffer cannot be NULL" ); in usGenerateProtocolChecksum()
79 …__CPROVER_assert( __CPROVER_r_ok( pucEthernetBuffer, uxBufferLength ), "pucEthernetBuffer should b… in usGenerateProtocolChecksum()
111 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen + ipSIZE_OF_ETH_HEADER ); in harness()
112 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS/ |
| D | FreeRTOS_DNS_utest.c | 220 xNetworkBuffer.pucEthernetBuffer = malloc( 2280 ); in test_FreeRTOS_gethostbyname_fail_send_dns_request()
249 free( xNetworkBuffer.pucEthernetBuffer ); in test_FreeRTOS_gethostbyname_fail_send_dns_request()
266 xNetworkBuffer.pucEthernetBuffer = malloc( 2280 ); in test_FreeRTOS_gethostbyname_fail_read_dns_reply_null()
295 free( xNetworkBuffer.pucEthernetBuffer ); in test_FreeRTOS_gethostbyname_fail_read_dns_reply_null()
316 xNetworkBuffer.pucEthernetBuffer = malloc( 2280 ); in test_FreeRTOS_gethostbyname_fail_send_dns_reply_zero()
369 xNetworkBuffer.pucEthernetBuffer = malloc( 2280 ); in test_FreeRTOS_gethostbyname_succes()
370 memset( xNetworkBuffer.pucEthernetBuffer, 0x00, 2280 ); in test_FreeRTOS_gethostbyname_succes()
412 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) + in test_ulDNSHandlePacket_success()
418 free( xNetworkBuffer.pucEthernetBuffer ); in test_ulDNSHandlePacket_success()
431 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) - 2 ); in test_ulDNSHandlePacket_fail_small_buffer()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 224 uint8_t pucEthernetBuffer[ 1500 ]; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig() local
227 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
235 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
244 uint8_t pucEthernetBuffer[ 1500 ]; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig() local
247 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
255 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
264 uint8_t pucEthernetBuffer[ 1500 ]; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig() local
267 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
275 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
741 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 126 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_No_Option()
130 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkB… in test_prvCheckOptions_No_Option()
147 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_Invalid_Data_Length()
151 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkB… in test_prvCheckOptions_Invalid_Data_Length()
169 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_Invalid_Option_Length()
173 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkB… in test_prvCheckOptions_Invalid_Option_Length()
191 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_MSS_WSF()
195 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkB… in test_prvCheckOptions_MSS_WSF()
218 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_MSS_WSF_Bad_Option()
222 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkB… in test_prvCheckOptions_MSS_WSF_Bad_Option()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
| D | FreeRTOS_TCP_State_Handling_utest.c | 221 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
225 …&( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkBuffer ) ] )… in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
250 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
254 …&( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkBuffer ) ] )… in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
280 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
284 …&( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkBuffer ) ] )… in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
313 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Last()
317 …&( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkBuffer ) ] )… in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Last()
346 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvHandleSynReceived_Exp_SYN_State_ConnectSyn()
350 …&( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkBuffer ) ] )… in test_prvHandleSynReceived_Exp_SYN_State_ConnectSyn()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/ |
| D | FreeRTOS_ICMP_utest.c | 86 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_AllZeroData()
108 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_EchoRequest()
113 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_EchoRequest()
142 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_UnknownICMPPacket()
147 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_UnknownICMPPacket()
165 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
170 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
193 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
198 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
225 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
| D | FreeRTOS_TCP_Transmission_utest.c | 97 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPMakeSurePrepared_Not_Ready()
117 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
135 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPMakeSurePrepared_Ready()
150 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPSendPacket_Syn_State()
173 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPSendPacket_Syn_State_Rep_Count_GT_3()
192 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPSendPacket_Syn_State_Not_Prepared()
212 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPSendPacket_Other_State_Zero_To_Send()
233 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPSendPacket_Other_State_Something_To_Send()
237 NewNetworkBuffer.pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPSendPacket_Other_State_Something_To_Send()
291 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvTCPSendRepeated_Zero_To_Send()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | FreeRTOS_UDP_IP_utest.c | 90 xLocalNetworkBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_vProcessGeneratedUDPPacket_CantSendPacket()
117 xLocalNetworkBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_vProcessGeneratedUDPPacket_CacheMiss_PacketSmaller()
155 xLocalNetworkBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_vProcessGeneratedUDPPacket_CacheMiss_PacketNotSmaller()
191 xLocalNetworkBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_vProcessGeneratedUDPPacket_UnknownARPReturn()
224 xLocalNetworkBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_vProcessGeneratedUDPPacket_CacheHit_NoICMP()
267 xLocalNetworkBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_vProcessGeneratedUDPPacket_CacheHit_ICMPPacket_LLMNR_UDPChkSumOption()
268 xLocalNetworkBuffer.pucEthernetBuffer[ ipSOCKET_OPTIONS_OFFSET ] = ucSocketOptions; in test_vProcessGeneratedUDPPacket_CacheHit_ICMPPacket_LLMNR_UDPChkSumOption()
304 xLocalNetworkBuffer.pucEthernetBuffer = NULL; in test_xProcessReceivedUDPPacket_catchAsserts()
323 xLocalNetworkBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_xProcessReceivedUDPPacket_NoListeningSocket_NotForThisNode()
349 xLocalNetworkBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_xProcessReceivedUDPPacket_NoListeningSocket_DelayedDNSResponse()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 47 uint16_t usGenerateProtocolChecksum( const uint8_t * const pucEthernetBuffer, in usGenerateProtocolChecksum() argument
53 __CPROVER_assert( pucEthernetBuffer != NULL, "Ethernet buffer cannot be NULL" ); in usGenerateProtocolChecksum()
67 pxNetworkBuffer->pucEthernetBuffer = malloc( ipTOTAL_ETHERNET_FRAME_SIZE ); in harness()
68 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
73 IPPacket_t * const pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| D | OutputARPRequest_harness.c | 59 xNetworkBuffer.pucEthernetBuffer = malloc( ipconfigETHERNET_MINIMUM_PACKET_BYTES ); in pxGetNetworkBufferWithDescriptor()
61 xNetworkBuffer.pucEthernetBuffer = malloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
67 xNetworkBuffer.pucEthernetBuffer = malloc( malloc_size ); in pxGetNetworkBufferWithDescriptor()
69 __CPROVER_assume( xNetworkBuffer.pucEthernetBuffer != NULL ); in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| D | TCPPrepareSend_harness.c | 57 pxBuffer->pucEthernetBuffer = malloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
58 __CPROVER_assume( pxBuffer->pucEthernetBuffer != NULL ); in pxGetNetworkBufferWithDescriptor()
78 pxNetworkBuffer->pucEthernetBuffer = malloc( bufferSize ); in harness()
79 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/mw300_rd/ |
| D | NetworkInterface.c | 64 #define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eProcessBuffer argument
66 …#define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eConsiderFrameForProcessing( ( puc… argument
141 memcpy( pxNetworkBuffer->pucEthernetBuffer, payload, payload_len ); in process_data_packet()
223 ( pxNetworkBuffer->pucEthernetBuffer == NULL ) || in xNetworkInterfaceOutput()
232 memcpy( ( u8_t * ) outbuf + pkt_len, ( u8_t * ) pxNetworkBuffer->pucEthernetBuffer, in xNetworkInterfaceOutput()
238 …net_e( "Failed output %p, length %d, error %d \r\n", pxNetworkBuffer->pucEthernetBuffer, pxNetwork… in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ATSAME5x/ |
| D | NetworkInterface.c | 108 …#define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eConsiderFrameForProcessing( ( puc… argument
110 #define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eProcessBuffer argument
274 … xBytesRead = mac_async_read( Ð_MAC, pxBufferDescriptor->pucEthernetBuffer, xBytesReceived ); in prvEMACDeferredInterruptHandlerTask()
282 …IPPacket = ipCAST_CONST_PTR_TO_CONST_TYPE_PTR( IPPacket_t, pxBufferDescriptor->pucEthernetBuffer ); in prvEMACDeferredInterruptHandlerTask()
286 …CMPChecksumResult = usGenerateProtocolChecksum( pxBufferDescriptor->pucEthernetBuffer, pxBufferDes… in prvEMACDeferredInterruptHandlerTask()
299 …if( ( ipCONSIDER_FRAME_FOR_PROCESSING( pxBufferDescriptor->pucEthernetBuffer ) == eProcessBuffer )… in prvEMACDeferredInterruptHandlerTask()
371 …t * pxIPPacket = ipCAST_CONST_PTR_TO_CONST_TYPE_PTR( IPPacket_t, pxDescriptor->pucEthernetBuffer ); in xNetworkInterfaceOutput()
375 …( void ) usGenerateProtocolChecksum( pxDescriptor->pucEthernetBuffer, pxDescriptor->xDataLength, p… in xNetworkInterfaceOutput()
380 mac_async_write( Ð_MAC, pxDescriptor->pucEthernetBuffer, pxDescriptor->xDataLength ); in xNetworkInterfaceOutput()
414 pxNetworkBuffers[ x ].pucEthernetBuffer = &( ucBuffers[ x ][ ipBUFFER_PADDING ] ); in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/board_family/ |
| D | NetworkInterface.c | 49 #define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eProcessBuffer argument
51 …#define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eConsiderFrameForProcessing( ( puc… argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetworkInterface.c | 47 #define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eProcessBuffer argument
49 …#define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eConsiderFrameForProcessing( ( puc… argument
196 pxDescriptor->pucEthernetBuffer, in vNetifReceiveTask()
208 xFrameProcess = ipCONSIDER_FRAME_FOR_PROCESSING( pxDescriptor->pucEthernetBuffer ); in vNetifReceiveTask()
254 configASSERT( pxNetworkBuffer->pucEthernetBuffer != NULL ); in xNetworkInterfaceOutput()
263 pxNetworkBuffer->pucEthernetBuffer, in xNetworkInterfaceOutput()
334 …pxNetworkBuffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PA… in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_IP.c | 107 …#define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eConsiderFrameForProcessing( ( puc… argument
109 #define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eProcessBuffer argument
169 static BaseType_t xCheckSizeFields( const uint8_t * const pucEthernetBuffer,
341 … iptraceNETWORK_INTERFACE_OUTPUT( pxDescriptor->xDataLength, pxDescriptor->pucEthernetBuffer ); in prvProcessIPEventsAndTimers()
688 pvReturn = &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ); in FreeRTOS_GetUDPPayloadBuffer()
1021 pxEthernetHeader = ( ( EthernetHeader_t * ) pxNetworkBuffer->pucEthernetBuffer ); in FreeRTOS_SendPingRequest()
1024 …pxICMPHeader = ( ( ICMPHeader_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipIP_PAYLOAD_OFFSET ] )… in FreeRTOS_SendPingRequest()
1042 … pxNetworkBuffer->pucEthernetBuffer[ ipSOCKET_OPTIONS_OFFSET ] = FREERTOS_SO_UDPCKSUM_OUT; in FreeRTOS_SendPingRequest()
1173 eFrameProcessingResult_t eConsiderFrameForProcessing( const uint8_t * const pucEthernetBuffer ) in eConsiderFrameForProcessing() argument
1183 pxEthernetHeader = ( ( const EthernetHeader_t * ) pucEthernetBuffer ); in eConsiderFrameForProcessing()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/SH2A/ |
| D | NetworkInterface.c | 49 #define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eProcessBuffer argument
51 …#define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eConsiderFrameForProcessing( ( puc… argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| D | OutputARPRequest_harness.c | 32 …current->pucEthernetBuffer = malloc( sizeof( ARPPacket_t ) + ( ipconfigETHERNET_MINIMUM_PACKET_BYT… in vNetworkInterfaceAllocateRAMToBuffers()
34 current->pucEthernetBuffer = malloc( sizeof( ARPPacket_t ) ); in vNetworkInterfaceAllocateRAMToBuffers()
36 __CPROVER_assume( current->pucEthernetBuffer != NULL ); in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/M487/ |
| D | NetworkInterface.c | 49 #define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eProcessBuffer argument
51 …#define ipCONSIDER_FRAME_FOR_PROCESSING( pucEthernetBuffer ) eConsiderFrameForProcessing( ( puc… argument
164 memcpy( buffer, pxDescriptor->pucEthernetBuffer, pxDescriptor->xDataLength ); in xNetworkInterfaceOutput()
190 pxNetworkBuffers[ ul ].pucEthernetBuffer = ucRAMBuffer + ipBUFFER_PADDING; in vNetworkInterfaceAllocateRAMToBuffers()
288 memcpy( pxBufferDescriptor->pucEthernetBuffer, buffer, dataLength ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 39 uint16_t usGenerateProtocolChecksum( const uint8_t * const pucEthernetBuffer, in usGenerateProtocolChecksum() argument
43 …__CPROVER_assert( pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL while generating … in usGenerateProtocolChecksum()
92 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
|
