| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Routing/MatchingEndpoint/ |
| D | MatchingEndpoint_harness.c | 44 NetworkInterface_t * pxNetworkInterface = safeMalloc( sizeof( NetworkInterface_t ) ); in harness() local
60 pxNetworkEndPoints->pxNetworkInterface = pxNetworkInterface; in harness()
61 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
68 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
75 FreeRTOS_MatchingEndpoint( pxNetworkInterface, ( const uint8_t * ) ( pxProtocolPacket ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigCompatibleWithSingle/ |
| D | FreeRTOS_Routing_ConfigCompatibleWithSingle_utest.c | 305 NetworkInterface_t * pxNetworkInterface = NULL; in test_FreeRTOS_AddNetworkInterface_TwoInARow() local
349 NetworkInterface_t * pxNetworkInterface = NULL; in test_FreeRTOS_FirstNetworkInterface_HappyPath() local
354 pxNetworkInterface = FreeRTOS_FirstNetworkInterface(); in test_FreeRTOS_FirstNetworkInterface_HappyPath()
356 TEST_ASSERT_EQUAL( &xNetworkInterface, pxNetworkInterface ); in test_FreeRTOS_FirstNetworkInterface_HappyPath()
370 NetworkInterface_t * pxNetworkInterface = NULL; in test_FreeRTOS_FirstNetworkInterface_Null() local
372 pxNetworkInterface = FreeRTOS_FirstNetworkInterface(); in test_FreeRTOS_FirstNetworkInterface_Null()
374 TEST_ASSERT_EQUAL( NULL, pxNetworkInterface ); in test_FreeRTOS_FirstNetworkInterface_Null()
390 NetworkInterface_t * pxNetworkInterface = NULL; in test_FreeRTOS_NextNetworkInterface_HappyPath() local
395 pxNetworkInterface = FreeRTOS_NextNetworkInterface( &xNetworkInterface ); in test_FreeRTOS_NextNetworkInterface_HappyPath()
397 TEST_ASSERT_EQUAL( NULL, pxNetworkInterface ); in test_FreeRTOS_NextNetworkInterface_HappyPath()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 79 …pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t )… in prvTCPReturn_SetEndPoint()
80 __CPROVER_assume( pxEndPoint->pxNetworkInterface != NULL ); in prvTCPReturn_SetEndPoint()
82 pxEndPoint->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in prvTCPReturn_SetEndPoint()
105 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in pxDuplicateNetworkBufferWithDescriptor()
106 __CPROVER_assume( pxNetworkBuffer->pxEndPoint->pxNetworkInterface != NULL ); in pxDuplicateNetworkBufferWithDescriptor()
108 … pxNetworkBuffer->pxEndPoint->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in pxDuplicateNetworkBufferWithDescriptor()
165 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in harness()
166 __CPROVER_assume( pxNetworkBuffer->pxEndPoint->pxNetworkInterface != NULL ); in harness()
167 … pxNetworkBuffer->pxEndPoint->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/ |
| D | TCPReturnPacket_IPv6_harness.c | 78 …pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t )… in prvTCPReturn_SetEndPoint()
79 __CPROVER_assume( pxEndPoint->pxNetworkInterface != NULL ); in prvTCPReturn_SetEndPoint()
81 pxEndPoint->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in prvTCPReturn_SetEndPoint()
104 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in pxDuplicateNetworkBufferWithDescriptor()
105 __CPROVER_assume( pxNetworkBuffer->pxEndPoint->pxNetworkInterface != NULL ); in pxDuplicateNetworkBufferWithDescriptor()
107 … pxNetworkBuffer->pxEndPoint->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in pxDuplicateNetworkBufferWithDescriptor()
164 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in harness()
165 __CPROVER_assume( pxNetworkBuffer->pxEndPoint->pxNetworkInterface != NULL ); in harness()
166 … pxNetworkBuffer->pxEndPoint->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 114 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( Network… in harness()
115 __CPROVER_assume( pxNetworkBuffer->pxEndPoint->pxNetworkInterface != NULL ); in harness()
120 pxNetworkEndPoints->pxNetworkInterface = pxNetworkBuffer->pxEndPoint->pxNetworkInterface; in harness()
126 … pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkBuffer->pxEndPoint->pxNetworkInterface; in harness()
134 … pxNetworkBuffer->pxEndPoint->pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/ |
| D | vProcessGeneratedUDPPacket_IPv6_harness.c | 110 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in harness()
111 __CPROVER_assume( pxNetworkBuffer->pxEndPoint->pxNetworkInterface != NULL ); in harness()
117 pxNetworkEndPoints->pxNetworkInterface = pxNetworkBuffer->pxEndPoint->pxNetworkInterface; in harness()
123 … pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkBuffer->pxEndPoint->pxNetworkInterface; in harness()
131 … pxNetworkBuffer->pxEndPoint->pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPAgeCache/ |
| D | ARPAgeCache_harness.c | 48 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
49 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
56 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
63 pxNetworkEndPoints->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| D | OutputARPRequest_harness.c | 99 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
100 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
107 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
114 pxNetworkEndPoints->pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPRefreshCacheEntry/ |
| D | ARPRefreshCacheEntry_harness.c | 24 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
25 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
32 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPGetCacheEntry/ |
| D | ARPGetCacheEntry_harness.c | 26 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
27 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
34 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing/ |
| D | FreeRTOS_Routing_utest.c | 675 NetworkInterface_t * pxNetworkInterface = NULL; in test_FreeRTOS_AddNetworkInterface_ThreeInARow() local
685 pxNetworkInterface = pxNetworkInterfaces; in test_FreeRTOS_AddNetworkInterface_ThreeInARow()
689 TEST_ASSERT_EQUAL( &( xNetworkInterface[ i ] ), pxNetworkInterface ); in test_FreeRTOS_AddNetworkInterface_ThreeInARow()
690 pxNetworkInterface = pxNetworkInterface->pxNext; in test_FreeRTOS_AddNetworkInterface_ThreeInARow()
693 TEST_ASSERT_EQUAL( NULL, pxNetworkInterface ); in test_FreeRTOS_AddNetworkInterface_ThreeInARow()
749 NetworkInterface_t * pxNetworkInterface = NULL; in test_FreeRTOS_FirstNetworkInterface_HappyPath() local
754 pxNetworkInterface = FreeRTOS_FirstNetworkInterface(); in test_FreeRTOS_FirstNetworkInterface_HappyPath()
756 TEST_ASSERT_EQUAL( &xNetworkInterface, pxNetworkInterface ); in test_FreeRTOS_FirstNetworkInterface_HappyPath()
770 NetworkInterface_t * pxNetworkInterface = NULL; in test_FreeRTOS_FirstNetworkInterface_Null() local
772 pxNetworkInterface = FreeRTOS_FirstNetworkInterface(); in test_FreeRTOS_FirstNetworkInterface_Null()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Routing.c | 90 void FreeRTOS_FillEndPoint( NetworkInterface_t * pxNetworkInterface, in FreeRTOS_FillEndPoint() argument
100 if( ( pxNetworkInterface == NULL ) || ( pxEndPoint == NULL ) ) in FreeRTOS_FillEndPoint()
104 ( void * ) pxNetworkInterface, in FreeRTOS_FillEndPoint()
130 ( void ) FreeRTOS_AddEndPoint( pxNetworkInterface, pxEndPoint ); in FreeRTOS_FillEndPoint()
257 pxEndPoint->pxNetworkInterface = pxInterface; in FreeRTOS_AddEndPoint()
335 if( ( pxInterface == NULL ) || ( pxEndPoint->pxNetworkInterface == pxInterface ) ) in FreeRTOS_FirstEndPoint()
368 if( ( pxInterface == NULL ) || ( pxResult->pxNetworkInterface == pxInterface ) ) in FreeRTOS_NextEndPoint()
501 if( ( pxInterface == NULL ) || ( pxInterface == pxEndPoint->pxNetworkInterface ) ) in FreeRTOS_FindEndPointOnMAC()
574 if( ( pxInterface == NULL ) || ( pxEndPoint->pxNetworkInterface == pxInterface ) ) in FreeRTOS_InterfaceEndPointOnNetMask()
621 void FreeRTOS_FillEndPoint_IPv6( NetworkInterface_t * pxNetworkInterface, in FreeRTOS_FillEndPoint_IPv6() argument
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/ |
| D | OutputARPRequest_harness.c | 73 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
74 pxNetworkEndPoints->pxNetworkInterface->pxNext = NULL; in harness()
76 pxNetworkEndPoints->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvProcessEthernetPacket/ |
| D | prvProcessEthernetPacket_harness.c | 85 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( Network… in harness()
86 __CPROVER_assume( pxNetworkBuffer->pxEndPoint->pxNetworkInterface != NULL ); in harness()
87 pxNetworkBuffer->pxEndPoint->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | DHCPProcessEndPoint_harness.c | 151 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInter… in harness()
152 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
159 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| D | OutputARPRequest_harness.c | 94 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
95 pxNetworkEndPoints->pxNetworkInterface->pxNext = NULL; in harness()
97 pxNetworkEndPoints->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 182 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInter… in harness()
183 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
190 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
| D | FreeRTOS_TCP_Transmission_utest.c | 174 xEndPoint.pxNetworkInterface = &xInterface; in test_prvTCPSendPacket_Syn_State()
175 xEndPoint.pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in test_prvTCPSendPacket_Syn_State()
306 xEndPoint.pxNetworkInterface = &xInterface; in test_prvTCPSendPacket_Other_State_Something_To_Send()
307 xEndPoint.pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in test_prvTCPSendPacket_Other_State_Something_To_Send()
399 xEndPoint.pxNetworkInterface = &xInterface; in test_prvTCPSendRepeated_Repeat_8()
400 xEndPoint.pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in test_prvTCPSendRepeated_Repeat_8()
445 xEndPoint.pxNetworkInterface = &xInterface; in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL()
446 xEndPoint.pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL()
488 xEndPoint.pxNetworkInterface = &xInterface; in test_prvTCPReturnPacket_Null_EP_WithoutRelease()
489 xEndPoint.pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in test_prvTCPReturnPacket_Null_EP_WithoutRelease()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
| D | FreeRTOS_TCP_Transmission_IPv6_utest.c | 131 xDescriptor.pxEndPoint->pxNetworkInterface = &xNetworkInterfaces; in test_prvTCPReturnPacket_IPV6_SocketNULL()
132 xDescriptor.pxEndPoint->pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in test_prvTCPReturnPacket_IPV6_SocketNULL()
214 xSocket.pxEndPoint->pxNetworkInterface = NULL; in test_prvTCPReturnPacket_IPV6_Assert1()
248 pxDescriptor->pxEndPoint->pxNetworkInterface = NULL; in test_prvTCPReturnPacket_IPV6_Assert2()
284 pxDescriptor->pxEndPoint->pxNetworkInterface = &xNetworkInterfaces; in test_prvTCPReturnPacket_IPV6_Assert3()
285 pxDescriptor->pxEndPoint->pxNetworkInterface->pfOutput = NULL; in test_prvTCPReturnPacket_IPV6_Assert3()
321 pxDescriptor->pxEndPoint->pxNetworkInterface = &xNetworkInterfaces; in test_prvTCPReturnPacket_IPV6_HappyPath_ReleaseAfterSend()
322 pxDescriptor->pxEndPoint->pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in test_prvTCPReturnPacket_IPV6_HappyPath_ReleaseAfterSend()
356 pxDescriptor->pxEndPoint->pxNetworkInterface = &xNetworkInterfaces; in test_prvTCPReturnPacket_IPV6_HappyPath_NoReleaseAfterSend()
357 pxDescriptor->pxEndPoint->pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in test_prvTCPReturnPacket_IPV6_HappyPath_NoReleaseAfterSend()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/ |
| D | ProcessICMPMessage_IPv6_harness.c | 108 …pxEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t … in FreeRTOS_FindEndPointOnIP_IPv6()
109 __CPROVER_assume( pxEndPoints->pxNetworkInterface != NULL ); in FreeRTOS_FindEndPointOnIP_IPv6()
112 pxEndPoints->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in FreeRTOS_FindEndPointOnIP_IPv6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/ |
| D | ReturnICMP_IPv6_harness.c | 111 …pxEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t … in FreeRTOS_FindEndPointOnIP_IPv6()
112 __CPROVER_assume( pxEndPoints->pxNetworkInterface != NULL ); in FreeRTOS_FindEndPointOnIP_IPv6()
115 pxEndPoints->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in FreeRTOS_FindEndPointOnIP_IPv6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Routing.h | 190 … NetworkInterface_t * pxNetworkInterface; /**< The network interface that owns this end-point. */ member
278 NetworkEndPoint_t * FreeRTOS_MatchingEndpoint( const NetworkInterface_t * pxNetworkInterface,
286 void FreeRTOS_FillEndPoint( NetworkInterface_t * pxNetworkInterface,
296 void FreeRTOS_FillEndPoint_IPv6( NetworkInterface_t * pxNetworkInterface,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA/ |
| D | ReceiveRA_harness.c | 99 pxNetworkEndPoints->pxNetworkInterface = pxNetworkBuffer->pxInterface; in harness()
100 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 224 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
225 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
227 pxNetworkEndPoints->pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/prvAllowIPPacketIPv6/ |
| D | prvAllowIPPacketIPv6_harness.c | 87 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
|
