Home
last modified time | relevance | path

Searched refs:xNetworkBuffer (Results 1 – 18 of 18) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS/
HDFreeRTOS_DNS_utest.c194 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_fail_NULL_socket() local
217 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_fail_send_dns_request() local
219 xNetworkBuffer.xDataLength = 2280; in test_FreeRTOS_gethostbyname_fail_send_dns_request()
220 xNetworkBuffer.pucEthernetBuffer = malloc( 2280 ); in test_FreeRTOS_gethostbyname_fail_send_dns_request()
235 pxGetNetworkBufferWithDescriptor_ExpectAnyArgsAndReturn( &xNetworkBuffer ); in test_FreeRTOS_gethostbyname_fail_send_dns_request()
249 free( xNetworkBuffer.pucEthernetBuffer ); in test_FreeRTOS_gethostbyname_fail_send_dns_request()
260 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_fail_read_dns_reply_null() local
265 xNetworkBuffer.xDataLength = 2280; in test_FreeRTOS_gethostbyname_fail_read_dns_reply_null()
266 xNetworkBuffer.pucEthernetBuffer = malloc( 2280 ); in test_FreeRTOS_gethostbyname_fail_read_dns_reply_null()
280 pxGetNetworkBufferWithDescriptor_ExpectAnyArgsAndReturn( &xNetworkBuffer ); in test_FreeRTOS_gethostbyname_fail_read_dns_reply_null()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
HDFreeRTOS_Sockets_UDP_API_utest.c416 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader() local
419 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
420 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
421 xNetworkBuffer.ulIPAddress = 0x1234ABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
422 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
435 xListItem.pvOwner = &xNetworkBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
444 …R_OF_HEAD_ENTRY_ExpectAndReturn( &( xGlobalSocket->u.xUDP.xWaitingPacketsList ), &xNetworkBuffer ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
446 uxListRemove_ExpectAndReturn( &( xNetworkBuffer.xBufferListItem ), 0 ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
448 vReleaseNetworkBufferAndDescriptor_Expect( &xNetworkBuffer ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
453 TEST_ASSERT_EQUAL( xSourceAddress.sin_port, xNetworkBuffer.usPort ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
[all …]
HDFreeRTOS_Sockets_privates_utest.c982 NetworkBufferDescriptor_t xNetworkBuffer; in test_vSocketClose_UDP_SomeWaitingPackets() local
995 …ET_OWNER_OF_HEAD_ENTRY_ExpectAndReturn( &( xSocket.u.xUDP.xWaitingPacketsList ), &xNetworkBuffer ); in test_vSocketClose_UDP_SomeWaitingPackets()
997 uxListRemove_ExpectAndReturn( &( xNetworkBuffer.xBufferListItem ), pdPASS ); in test_vSocketClose_UDP_SomeWaitingPackets()
999 vReleaseNetworkBufferAndDescriptor_Expect( &xNetworkBuffer ); in test_vSocketClose_UDP_SomeWaitingPackets()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/
HDOutputARPRequest_harness.c40 NetworkBufferDescriptor_t xNetworkBuffer; variable
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()
71 xNetworkBuffer.xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
72 return &xNetworkBuffer; in pxGetNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/
HDFreeRTOS_ICMP_utest.c71 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_CatchAssert() local
73 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_CatchAssert()
82 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_AllZeroData() local
85 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_AllZeroData()
101 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_EchoRequest() local
107 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_EchoRequest()
137 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_UnknownICMPPacket() local
141 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_UnknownICMPPacket()
160 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData() local
164 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/
HDFreeRTOS_ARP_DataLenLessThanMinPacket_utest.c25 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_OutputARPRequest_MinimumPacketSizeLessThanARPPacket() local
28 xNetworkBuffer.pucEthernetBuffer = ucBuffer; in test_FreeRTOS_OutputARPRequest_MinimumPacketSizeLessThanARPPacket()
29 xNetworkBuffer.xDataLength = sizeof( ARPPacket_t ); in test_FreeRTOS_OutputARPRequest_MinimumPacketSizeLessThanARPPacket()
32 pxGetNetworkBufferWithDescriptor_ExpectAndReturn( sizeof( ARPPacket_t ), 0, &xNetworkBuffer ); in test_FreeRTOS_OutputARPRequest_MinimumPacketSizeLessThanARPPacket()
34 xNetworkInterfaceOutput_ExpectAndReturn( &xNetworkBuffer, pdTRUE, pdPASS ); in test_FreeRTOS_OutputARPRequest_MinimumPacketSizeLessThanARPPacket()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
HDFreeRTOS_IP_utest.c223 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig() local
243 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig() local
263 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig() local
737 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent() local
740 pxNetworkBuffer = &xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent()
762 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkTxEvent() local
765 pxNetworkBuffer = &xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkTxEvent()
858 NetworkBufferDescriptor_t xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eStackTxEvent() local
861 xReceivedEvent.pvData = &xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eStackTxEvent()
870 vProcessGeneratedUDPPacket_Expect( &xNetworkBuffer ); in test_prvProcessIPEventsAndTimers_eStackTxEvent()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSHandlePacket/
HDDNShandlePacket_harness.c20 NetworkBufferDescriptor_t xNetworkBuffer; in harness() local
22 xNetworkBuffer.pucEthernetBuffer = malloc( sizeof( UDPPacket_t ) + sizeof( DNSMessage_t ) ); in harness()
23 ulDNSHandlePacket( &xNetworkBuffer ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/
HDFreeRTOS_TCP_Reception_utest.c64 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
125 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_No_Option()
146 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_Invalid_Data_Length()
168 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_Invalid_Option_Length()
190 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_MSS_WSF()
217 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_MSS_WSF_Bad_Option()
244 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_MSS_WSF_Without_END()
271 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_MSS_WSF_SYN_on()
298 pxNetworkBuffer = &xNetworkBuffer; in test_prvSingleStepTCPHeaderOptions_SACK()
330 pxNetworkBuffer = &xNetworkBuffer; in test_prvSingleStepTCPHeaderOptions_TS()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
HDFreeRTOS_IP_DiffConfig_utest.c211 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace() local
215 pxNetworkBuffer = &xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
391 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacket_BroadcastSourceIP() local
398 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacket_BroadcastSourceIP()
422 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacket_IncorrectSizeFields() local
429 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacket_IncorrectSizeFields()
453 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacket_UDPCheckSumZero() local
460 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacket_UDPCheckSumZero()
489 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacket_UDP_HappyPath() local
497 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacket_UDP_HappyPath()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
HDFreeRTOS_TCP_State_Handling_utest.c71 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
220 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
249 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
279 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
312 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Last()
345 pxNetworkBuffer = &xNetworkBuffer; in test_prvHandleSynReceived_Exp_SYN_State_ConnectSyn()
374 pxNetworkBuffer = &xNetworkBuffer; in test_prvHandleSynReceived_Not_Exp_SYN_State_ConnectSyn()
403 pxNetworkBuffer = &xNetworkBuffer; in test_prvHandleSynReceived_Not_Exp_SYN_State_Synreceived()
432 pxNetworkBuffer = &xNetworkBuffer; in test_prvHandleSynReceived_Exp_ACK_State_Synreceived_Zero_Data()
461 pxNetworkBuffer = &xNetworkBuffer; in test_prvHandleSynReceived_Exp_ACK_State_Synreceived_Non_Zero_Data_WinScaling()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
HDFreeRTOS_TCP_Transmission_utest.c79 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
96 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPMakeSurePrepared_Not_Ready()
116 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
134 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPMakeSurePrepared_Ready()
149 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPSendPacket_Syn_State()
172 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPSendPacket_Syn_State_Rep_Count_GT_3()
191 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPSendPacket_Syn_State_Not_Prepared()
211 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPSendPacket_Other_State_Zero_To_Send()
232 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPSendPacket_Other_State_Something_To_Send()
290 pxNetworkBuffer = &xNetworkBuffer; in test_prvTCPSendRepeated_Zero_To_Send()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP_wo_assert/
HDFreeRTOS_ICMP_wo_assert_utest.c64 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_PacketSizeSmall() local
66 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_PacketSizeSmall()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/
HDFreeRTOS_ARP_utest.c56 NetworkBufferDescriptor_t xNetworkBuffer; in test_xCheckLoopback_IncorrectFrameType() local
57 NetworkBufferDescriptor_t * const pxNetworkBuffer = &xNetworkBuffer; in test_xCheckLoopback_IncorrectFrameType()
77 NetworkBufferDescriptor_t xNetworkBuffer; in test_xCheckLoopback_IncorrectMACAddress() local
78 NetworkBufferDescriptor_t * const pxNetworkBuffer = &xNetworkBuffer; in test_xCheckLoopback_IncorrectMACAddress()
100 NetworkBufferDescriptor_t xNetworkBuffer; in test_xCheckLoopback_HappyCase() local
101 NetworkBufferDescriptor_t * const pxNetworkBuffer = &xNetworkBuffer; in test_xCheckLoopback_HappyCase()
125 NetworkBufferDescriptor_t xNetworkBuffer; in test_xCheckLoopback_DuplicationFails() local
126 NetworkBufferDescriptor_t * const pxNetworkBuffer = &xNetworkBuffer; in test_xCheckLoopback_DuplicationFails()
150 NetworkBufferDescriptor_t xNetworkBuffer; in test_xCheckLoopback_SendEventToIPTaskFails() local
151 NetworkBufferDescriptor_t * const pxNetworkBuffer = &xNetworkBuffer; in test_xCheckLoopback_SendEventToIPTaskFails()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
HDFreeRTOS_TCP_IP_utest.c67 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
1371 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_Null_Descriptor()
1384 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_Null_Buffer()
1397 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_Minimal_Data_Length()
1411 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_No_Socket()
1429 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_No_Active_Socket()
1450 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_No_Active_Socket_Send_Reset()
1472 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_Listen_State_Not_Syn_No_Rst()
1493 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_Listen_State_Not_Syn_Rst()
1515 pxNetworkBuffer = &xNetworkBuffer; in test_xProcessReceivedTCPPacket_Listen_State_Syn_Null_Socket()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Utils/
HDFreeRTOS_TCP_Utils_utest.c56 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
HDFreeRTOS_TCP_IP_DiffConfig_utest.c65 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/
HDFreeRTOS_IP_Utils_utest.c107 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_pxDuplicateNetworkBufferWithDescriptor_NULLReturned() local
110 pxNetworkBuffer = &xNetworkBuffer; in test_pxDuplicateNetworkBufferWithDescriptor_NULLReturned()
122 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer, xNetworkBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned() local
127 pxNetworkBuffer = &xNetworkBuffer; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
155 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer, xNetworkBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned() local
160 pxNetworkBuffer = &xNetworkBuffer; in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned()