| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Sockets/ |
| D | FreeRTOS_IPv4_Sockets_utest.c | 203 NetworkBufferDescriptor_t xNetworkBuffer; in test_xSend_UDP_Update_IPv4_HappyCase() local
209 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in test_xSend_UDP_Update_IPv4_HappyCase()
213 xNetworkBuffer.pucEthernetBuffer = pucEthBuffer; in test_xSend_UDP_Update_IPv4_HappyCase()
215 pxUDPPacket = ( UDPPacket_t * ) xNetworkBuffer.pucEthernetBuffer; in test_xSend_UDP_Update_IPv4_HappyCase()
219 pxReturn = xSend_UDP_Update_IPv4( &xNetworkBuffer, &xDestinationAddress ); in test_xSend_UDP_Update_IPv4_HappyCase()
221 TEST_ASSERT_EQUAL( ulExpectIP, xNetworkBuffer.xIPAddress.ulIP_IPv4 ); in test_xSend_UDP_Update_IPv4_HappyCase()
231 NetworkBufferDescriptor_t xNetworkBuffer; in test_xSend_UDP_Update_IPv4_NullNetworkBuffer() local
237 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in test_xSend_UDP_Update_IPv4_NullNetworkBuffer()
241 xNetworkBuffer.pucEthernetBuffer = pucEthBuffer; in test_xSend_UDP_Update_IPv4_NullNetworkBuffer()
243 pxUDPPacket = ( UDPPacket_t * ) xNetworkBuffer.pucEthernetBuffer; in test_xSend_UDP_Update_IPv4_NullNetworkBuffer()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 355 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader() local
358 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
359 xNetworkBuffer.xDataLength = sizeof( UDPPacket_t ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
360 xNetworkBuffer.xIPAddress.ulIP_IPv4 = 0x1234ABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
361 xNetworkBuffer.usPort = 0xABCD; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
374 xListItem.pvOwner = &xNetworkBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
383 …T_OWNER_OF_HEAD_ENTRY_ExpectAndReturn( &( xSocket->u.xUDP.xWaitingPacketsList ), &xNetworkBuffer ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
385 uxListRemove_ExpectAndReturn( &( xNetworkBuffer.xBufferListItem ), 0 ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
389 … xRecv_Update_IPv4_ExpectAndReturn( &xNetworkBuffer, &xSourceAddress, ipUDP_PAYLOAD_OFFSET_IPv4 ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
391 vReleaseNetworkBufferAndDescriptor_Expect( &xNetworkBuffer ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
| D | FreeRTOS_UDP_IPv4_utest.c | 89 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_IPv4_NullBufferPointer() local
91 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in test_xProcessReceivedUDPPacket_IPv4_NullBufferPointer()
93 … catch_assert( xProcessReceivedUDPPacket_IPv4( &xNetworkBuffer, 0, &xIsWaitingForARPResolution ) ); in test_xProcessReceivedUDPPacket_IPv4_NullBufferPointer()
106 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass() local
110 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass()
113 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass()
121 …rnetHeader.xSourceAddress ), pxUDPPacket->xIPHeader.ulSourceIPAddress, xNetworkBuffer.pxEndPoint ); in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass()
122 ulDNSHandlePacket_ExpectAndReturn( &xNetworkBuffer, pdTRUE ); in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass()
124 …xReturn = xProcessReceivedUDPPacket_IPv4( &xNetworkBuffer, usDestPortNetworkEndian, &xIsWaitingFor… in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass()
139 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail() local
[all …]
|
| D | FreeRTOS_UDP_IPv4_stubs.c | 98 static NetworkBufferDescriptor_t xNetworkBuffer; in prvPrepareDefaultNetworkbuffer() local
105 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in prvPrepareDefaultNetworkbuffer()
108 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in prvPrepareDefaultNetworkbuffer()
109 xNetworkBuffer.usBoundPort = FreeRTOS_htons( usSrcPort ); in prvPrepareDefaultNetworkbuffer()
110 xNetworkBuffer.usPort = FreeRTOS_htons( usDestPort ); in prvPrepareDefaultNetworkbuffer()
111 xNetworkBuffer.xDataLength = ipconfigTCP_MSS; in prvPrepareDefaultNetworkbuffer()
123 return &xNetworkBuffer; in prvPrepareDefaultNetworkbuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/ |
| D | FreeRTOS_UDP_IPv6_utest.c | 94 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_IPv6_NullBufferPointer() local
96 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in test_xProcessReceivedUDPPacket_IPv6_NullBufferPointer()
98 … catch_assert( xProcessReceivedUDPPacket_IPv6( &xNetworkBuffer, 0, &xIsWaitingForARPResolution ) ); in test_xProcessReceivedUDPPacket_IPv6_NullBufferPointer()
110 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum() local
114 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum()
117 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum()
124 …xReturn = xProcessReceivedUDPPacket_IPv6( &xNetworkBuffer, usDestPortNetworkEndian, &xIsWaitingFor… in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum()
139 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass() local
143 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass()
146 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass()
[all …]
|
| D | FreeRTOS_UDP_IPv6_stubs.c | 104 static NetworkBufferDescriptor_t xNetworkBuffer; in prvPrepareDefaultNetworkbuffer() local
111 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in prvPrepareDefaultNetworkbuffer()
114 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in prvPrepareDefaultNetworkbuffer()
115 xNetworkBuffer.usBoundPort = FreeRTOS_htons( usSrcPort ); in prvPrepareDefaultNetworkbuffer()
116 xNetworkBuffer.usPort = FreeRTOS_htons( usDestPort ); in prvPrepareDefaultNetworkbuffer()
117 xNetworkBuffer.xDataLength = ipconfigTCP_MSS; in prvPrepareDefaultNetworkbuffer()
129 return &xNetworkBuffer; in prvPrepareDefaultNetworkbuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | FreeRTOS_UDP_IP_utest.c | 169 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_NullBuffer() local
171 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in test_xProcessReceivedUDPPacket_NullBuffer()
172 xNetworkBuffer.pucEthernetBuffer = NULL; in test_xProcessReceivedUDPPacket_NullBuffer()
174 … catch_assert( xProcessReceivedUDPPacket( &xNetworkBuffer, usPort, &xIsWaitingForARPResolution ) ); in test_xProcessReceivedUDPPacket_NullBuffer()
186 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_IPv4Packet() local
189 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in test_xProcessReceivedUDPPacket_IPv4Packet()
190 xNetworkBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4Packet()
196 …xProcessReceivedUDPPacket_IPv4_ExpectAndReturn( &xNetworkBuffer, usPort, &xIsWaitingForARPResoluti… in test_xProcessReceivedUDPPacket_IPv4Packet()
198 xReturn = xProcessReceivedUDPPacket( &xNetworkBuffer, usPort, &xIsWaitingForARPResolution ); in test_xProcessReceivedUDPPacket_IPv4Packet()
212 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_IPv6Packet() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/ |
| D | FreeRTOS_RA_utest.c | 92 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_NullEndpoint() local
95 pxNetworkBuffer = &xNetworkBuffer; in test_vNDSendRouterSolicitation_NullEndpoint()
107 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_FalsebIPv6() local
111 pxNetworkBuffer = &xNetworkBuffer; in test_vNDSendRouterSolicitation_FalsebIPv6()
124 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_xHasLocal0() local
130 memset( &xNetworkBuffer, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_vNDSendRouterSolicitation_xHasLocal0()
133 pxNetworkBuffer = &xNetworkBuffer; in test_vNDSendRouterSolicitation_xHasLocal0()
163 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_xHasLocal1() local
169 memset( &xNetworkBuffer, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_vNDSendRouterSolicitation_xHasLocal1()
173 pxNetworkBuffer = &xNetworkBuffer; in test_vNDSendRouterSolicitation_xHasLocal1()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
| D | FreeRTOS_IPv6_stubs.c | 75 static NetworkBufferDescriptor_t xNetworkBuffer; in prvInitializeNetworkDescriptor() local
80 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in prvInitializeNetworkDescriptor()
81 xNetworkBuffer.pxEndPoint = prvInitializeEndpoint(); in prvInitializeNetworkDescriptor()
82 xNetworkBuffer.pucEthernetBuffer = ( uint8_t * ) pxTCPPacket; in prvInitializeNetworkDescriptor()
83 xNetworkBuffer.xDataLength = sizeof( TCPPacket_IPv6_t ); in prvInitializeNetworkDescriptor()
95 return &xNetworkBuffer; in prvInitializeNetworkDescriptor()
110 static NetworkBufferDescriptor_t xNetworkBuffer; in prvInitializeNetworkDescriptorWithExtensionHeader() local
137 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in prvInitializeNetworkDescriptorWithExtensionHeader()
138 xNetworkBuffer.pxEndPoint = prvInitializeEndpoint(); in prvInitializeNetworkDescriptorWithExtensionHeader()
139 xNetworkBuffer.pucEthernetBuffer = ( uint8_t * ) pcNetworkBuffer; in prvInitializeNetworkDescriptorWithExtensionHeader()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/ |
| D | FreeRTOS_DNS_utest.c | 200 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_FailNullSocket() local
223 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_FailSendDNSRequest() local
230 xNetworkBuffer.xDataLength = 2280; in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
233 xNetworkBuffer.pucEthernetBuffer = malloc( 2280 + ipBUFFER_PADDING ); in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
234 xNetworkBuffer.pucEthernetBuffer += ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
252 pxGetNetworkBufferWithDescriptor_ExpectAnyArgsAndReturn( &xNetworkBuffer ); in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
266 xNetworkBuffer.pucEthernetBuffer -= ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
267 free( xNetworkBuffer.pucEthernetBuffer ); in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
278 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull() local
288 xNetworkBuffer.xDataLength = 2280; in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSTreatNBNS/ |
| D | DNS_TreatNBNS_harness.c | 41 NetworkBufferDescriptor_t xNetworkBuffer; variable
54 pxRBuf = &xNetworkBuffer; in pxUDPPayloadBuffer_to_NetworkBuffer()
104 xNetworkBuffer.pucEthernetBuffer = safeMalloc( xDataSize ); in harness()
105 xNetworkBuffer.xDataLength = xDataSize; in harness()
109 xNetworkBuffer.pxEndPoint = pxNetworkEndPoint_Temp; in harness()
113 xNetworkBuffer.pxEndPoint = NULL; in harness()
116 DNS_TreatNBNS( xNetworkBuffer.pucEthernetBuffer, xNetworkBuffer.xDataLength, ulIPAddress ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_ConfigNoCallback/ |
| D | FreeRTOS_DNS_ConfigNoCallback_utest.c | 152 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_DifferentIdentifier() local
158 xNetworkBuffer.pucEthernetBuffer = malloc( uxBytesNeeded + ipBUFFER_PADDING ); in test_FreeRTOS_gethostbyname_DifferentIdentifier()
159 xNetworkBuffer.pucEthernetBuffer += ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_DifferentIdentifier()
160 xNetworkBuffer.xDataLength = uxBytesNeeded; in test_FreeRTOS_gethostbyname_DifferentIdentifier()
163 ( void ) memset( xNetworkBuffer.pucEthernetBuffer, 0x00, uxBytesNeeded ); in test_FreeRTOS_gethostbyname_DifferentIdentifier()
190 pxGetNetworkBufferWithDescriptor_ExpectAnyArgsAndReturn( &xNetworkBuffer ); in test_FreeRTOS_gethostbyname_DifferentIdentifier()
209 free( xNetworkBuffer.pucEthernetBuffer - ipBUFFER_PADDING ); in test_FreeRTOS_gethostbyname_DifferentIdentifier()
222 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_SameIdentifier() local
228 xNetworkBuffer.pucEthernetBuffer = malloc( uxBytesNeeded + ipBUFFER_PADDING ); in test_FreeRTOS_gethostbyname_SameIdentifier()
229 xNetworkBuffer.pucEthernetBuffer += ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_SameIdentifier()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/NBNSHandlePacket/ |
| D | NBNSHandlePacket_harness.c | 13 NetworkBufferDescriptor_t xNetworkBuffer; variable
31 xNetworkBuffer.xDataLength = xDataSize; in harness()
33 xNetworkBuffer.pucEthernetBuffer = safeMalloc( xDataSize ); in harness()
36 __CPROVER_assume( xNetworkBuffer.pucEthernetBuffer != NULL ); in harness()
38 xNetworkBuffer.pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
40 ulNBNSHandlePacket( &xNetworkBuffer ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ICMP/ |
| D | FreeRTOS_ICMP_utest.c | 71 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()
139 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_UnknownICMPPacket() local
143 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_UnknownICMPPacket()
162 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData() local
166 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_utest.c | 44 NetworkBufferDescriptor_t xNetworkBuffer = { 0 }; in vResetARPClashCounter() local
57 xNetworkBuffer.pucEthernetBuffer = &xARPFrame; in vResetARPClashCounter()
58 xNetworkBuffer.xDataLength = sizeof( ARPPacket_t ); in vResetARPClashCounter()
63 eResult = eARPProcessPacket( &xNetworkBuffer ); in vResetARPClashCounter()
81 NetworkBufferDescriptor_t xNetworkBuffer = { 0 }; in test_xCheckLoopback_DataLengthTooSmall() local
82 NetworkBufferDescriptor_t * const pxNetworkBuffer = &xNetworkBuffer; in test_xCheckLoopback_DataLengthTooSmall()
102 NetworkBufferDescriptor_t xNetworkBuffer = { 0 }; in test_xCheckLoopback_IncorrectFrameType() local
103 NetworkBufferDescriptor_t * const pxNetworkBuffer = &xNetworkBuffer; in test_xCheckLoopback_IncorrectFrameType()
123 NetworkBufferDescriptor_t xNetworkBuffer = { 0 }; in test_xCheckLoopback_NullEndPoint() local
124 NetworkBufferDescriptor_t * const pxNetworkBuffer = &xNetworkBuffer; in test_xCheckLoopback_NullEndPoint()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4/ |
| D | FreeRTOS_IPv4_utest.c | 126 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_LessHeaderLength() local
132 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_LessHeaderLength()
151 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_FragmentedPacket() local
158 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_FragmentedPacket()
179 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_MoreFragmentedPacket() local
186 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_MoreFragmentedPacket()
207 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_GreaterHeaderLength() local
214 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_GreaterHeaderLength()
235 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_NotMatchingIP() local
244 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_NotMatchingIP()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| D | OutputARPRequest_harness.c | 40 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-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/ |
| D | FreeRTOS_IPv6_ConfigDriverCheckChecksum_stubs.c | 79 static NetworkBufferDescriptor_t xNetworkBuffer; in prvInitializeNetworkDescriptor() local
84 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in prvInitializeNetworkDescriptor()
85 xNetworkBuffer.pxEndPoint = prvInitializeEndpoint(); in prvInitializeNetworkDescriptor()
86 xNetworkBuffer.pucEthernetBuffer = ( uint8_t * ) pxTCPPacket; in prvInitializeNetworkDescriptor()
87 xNetworkBuffer.xDataLength = sizeof( TCPPacket_IPv6_t ) + TEST_DEFAULT_PROTOCOL_PAYLOAD_LENGTH; in prvInitializeNetworkDescriptor()
102 return &xNetworkBuffer; in prvInitializeNetworkDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 184 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace() local
188 pxNetworkBuffer = &xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
332 NetworkBufferDescriptor_t xNetworkBuffer; in test_vReturnEthernetFrame_DuplicationFailed() local
336 xNetworkBuffer.xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES; in test_vReturnEthernetFrame_DuplicationFailed()
338 …pxDuplicateNetworkBufferWithDescriptor_ExpectAndReturn( &xNetworkBuffer, xNetworkBuffer.xDataLengt… in test_vReturnEthernetFrame_DuplicationFailed()
342 vReturnEthernetFrame( &xNetworkBuffer, xReleaseAfterSend ); in test_vReturnEthernetFrame_DuplicationFailed()
353 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vReturnEthernetFrame_DuplicationSuccess() local
359 pxNetworkBuffer = &xNetworkBuffer; in test_vReturnEthernetFrame_DuplicationSuccess()
382 …pxDuplicateNetworkBufferWithDescriptor_ExpectAndReturn( &xNetworkBuffer, xNetworkBuffer.xDataLengt… in test_vReturnEthernetFrame_DuplicationSuccess()
393 TEST_ASSERT_EQUAL( xNetworkBuffer.xDataLength, xDuplicateNetworkBuffer.xDataLength ); in test_vReturnEthernetFrame_DuplicationSuccess()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/ |
| D | FreeRTOS_ND_utest.c | 683 NetworkBufferDescriptor_t xNetworkBuffer; in test_vNDAgeCache_NSNullEP() local
692 pxGetNetworkBufferWithDescriptor_ExpectAnyArgsAndReturn( &xNetworkBuffer ); in test_vNDAgeCache_NSNullEP()
710 NetworkBufferDescriptor_t xNetworkBuffer; in test_vNDAgeCache_NSIncorrectDataLen() local
714 xNetworkBuffer.xDataLength = xHeaderSize - 1; in test_vNDAgeCache_NSIncorrectDataLen()
721 pxGetNetworkBufferWithDescriptor_ExpectAnyArgsAndReturn( &xNetworkBuffer ); in test_vNDAgeCache_NSIncorrectDataLen()
725 vReleaseNetworkBufferAndDescriptor_Expect( &xNetworkBuffer ); in test_vNDAgeCache_NSIncorrectDataLen()
746 NetworkBufferDescriptor_t xNetworkBuffer; in test_vNDAgeCache_NSHappyPath() local
758 xNetworkBuffer.xDataLength = xHeaderSize; in test_vNDAgeCache_NSHappyPath()
759 xNetworkBuffer.pucEthernetBuffer = ( uint8_t * ) &xICMPPacket; in test_vNDAgeCache_NSHappyPath()
761 pxGetNetworkBufferWithDescriptor_ExpectAnyArgsAndReturn( &xNetworkBuffer ); in test_vNDAgeCache_NSHappyPath()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ICMP/ProcessICMPPacket/ |
| D | ProcessICMPPacket_harness.c | 59 NetworkBufferDescriptor_t xNetworkBuffer; in harness() local
66 xNetworkBuffer.xDataLength = sizeof( ICMPPacket_t ); in harness()
67 xNetworkBuffer.pucEthernetBuffer = pxICMPPacket; in harness()
69 ProcessICMPPacket( &xNetworkBuffer ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/ |
| D | FreeRTOS_IPv6_Utils_stubs.c | 85 static NetworkBufferDescriptor_t xNetworkBuffer; in prvInitializeNetworkDescriptorWithExtensionHeader() local
112 memset( &xNetworkBuffer, 0, sizeof( xNetworkBuffer ) ); in prvInitializeNetworkDescriptorWithExtensionHeader()
113 xNetworkBuffer.pxEndPoint = prvInitializeEndpoint(); in prvInitializeNetworkDescriptorWithExtensionHeader()
114 xNetworkBuffer.pucEthernetBuffer = ( uint8_t * ) pcNetworkBuffer; in prvInitializeNetworkDescriptorWithExtensionHeader()
115 …xNetworkBuffer.xDataLength = sizeof( EthernetHeader_t ) + sizeof( IPHeader_IPv6_t ) + TEST_IPv6_DE… in prvInitializeNetworkDescriptorWithExtensionHeader()
151 return &xNetworkBuffer; in prvInitializeNetworkDescriptorWithExtensionHeader()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/prepareReplyDNSMessage/ |
| D | prepareReplyDNSMessage_harness.c | 41 NetworkBufferDescriptor_t xNetworkBuffer; variable
108 xNetworkBuffer.pucEthernetBuffer = safeMalloc( xDataSize ); in harness()
112 __CPROVER_assume( xNetworkBuffer.pucEthernetBuffer != NULL ); in harness()
114 xNetworkBuffer.xDataLength = xDataSize; in harness()
116 prepareReplyDNSMessage( &xNetworkBuffer, usLength ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig1/ |
| D | FreeRTOS_IPv4_DiffConfig1_utest.c | 84 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLess() local
94 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLess()
132 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_HeaderLengthLess() local
142 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_HeaderLengthLess()
177 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLessThan() local
187 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLessThan()
222 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLessThanIPRequirement() local
232 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLessThanIPRequirement()
267 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_IPPacketLengthMoreThanTotalLength() local
277 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_IPPacketLengthMoreThanTotalLength()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ICMP/ProcessICMPEchoRequest/ |
| D | ProcessICMPEchoRequest_harness.c | 74 NetworkBufferDescriptor_t xNetworkBuffer; in harness() local
80 xNetworkBuffer.xDataLength = sizeof( ICMPPacket_t ); in harness()
81 xNetworkBuffer.pucEthernetBuffer = pxICMPPacket; in harness()
83 __CPROVER_file_local_FreeRTOS_ICMP_c_prvProcessICMPEchoRequest( pxICMPPacket, &xNetworkBuffer ); in harness()
|
