Home
last modified time | relevance | path

Searched refs:pxNetworkEndPoints (Results 1 – 25 of 51) sorted by relevance

123

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPRefreshCacheEntry/
DARPRefreshCacheEntry_harness.c20 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
21 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
24 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
25 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
29 pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
30 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
31 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
32 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
36 pxNetworkEndPoints->pxNext = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Routing/MatchingEndpoint/
DMatchingEndpoint_harness.c56 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
57 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
60 pxNetworkEndPoints->pxNetworkInterface = pxNetworkInterface; in harness()
61 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
65 … pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
66 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
67 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
68 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
72 pxNetworkEndPoints->pxNext = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPGetCacheEntry/
DARPGetCacheEntry_harness.c22 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
23 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
26 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
27 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
31 pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
32 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
33 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
34 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
38 pxNetworkEndPoints->pxNext = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPAgeCache/
DARPAgeCache_harness.c44 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
45 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
48 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
49 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
53 pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
54 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
55 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
56 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
60 pxNetworkEndPoints->pxNext = NULL; in harness()
63 pxNetworkEndPoints->pxNetworkInterface->pfOutput = NetworkInterfaceOutputFunction_Stub; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c178 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
179 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
182 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInter… in harness()
183 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
187 … pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
188 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
189 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
190 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
194 pxNetworkEndPoints->pxNext = NULL; in harness()
197 if( !( ( pxNetworkEndPoints->xDHCPData.eDHCPState == eInitialWait ) || in harness()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/
DOutputARPRequest_harness.c95 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
96 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
99 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
100 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
104 pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
105 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
106 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
107 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
111 pxNetworkEndPoints->pxNext = NULL; in harness()
114 pxNetworkEndPoints->pxNetworkInterface->pfOutput = &NetworkInterfaceOutputFunction_Stub; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/Process_PassReplyToEndPoint/
DDHCPv6Process_PassReplyToEndPoint_harness.c70 pxNetworkEndPoints = safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
71 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
72 pxNetworkEndPoints->pxDHCPMessage = &__CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPMessage; in harness()
76 pxNetworkEndPoints->pxNext = safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
77 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
78 … pxNetworkEndPoints->pxNext->pxDHCPMessage = &__CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPMessage; in harness()
79 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
83 pxNetworkEndPoints->pxNext = NULL; in harness()
103 … = __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint( pxNetworkEndPoints ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/prvAllowIPPacketIPv6/
DprvAllowIPPacketIPv6_harness.c79 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
80 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
84 … pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
85 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
86 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
87 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
91 pxNetworkEndPoints->pxNext = NULL; in harness()
94 pxNetworkBuffer->pxEndPoint = pxNetworkEndPoints; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
DDHCPProcessEndPoint_harness.c147 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
148 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
151 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInter… in harness()
152 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
156 … pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
157 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
158 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
159 pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkEndPoints->pxNetworkInterface; in harness()
163 pxNetworkEndPoints->pxNext = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Timers/
DFreeRTOS_IP_Timers_utest.c95 pxNetworkEndPoints = &xEndpoint; in setUp()
125 pxNetworkEndPoints->xDHCP_RATimer.bActive = pdFALSE; in test_xCalculateSleepTime_AllTimersInactive()
144 pxNetworkEndPoints->xDHCP_RATimer.bActive = pdTRUE; in test_xCalculateSleepTime_AllTimersActive_AllTimesGreater()
149 pxNetworkEndPoints->xDHCP_RATimer.ulRemainingTime = ipconfigMAX_IP_TASK_SLEEP_TIME + 1; in test_xCalculateSleepTime_AllTimersActive_AllTimesGreater()
168 pxNetworkEndPoints->xDHCP_RATimer.bActive = pdTRUE; in test_xCalculateSleepTime_AllTimersActive_AllTimesGreaterExceptARP()
173 pxNetworkEndPoints->xDHCP_RATimer.ulRemainingTime = ipconfigMAX_IP_TASK_SLEEP_TIME; in test_xCalculateSleepTime_AllTimersActive_AllTimesGreaterExceptARP()
194 pxNetworkEndPoints = pxEndpoint; in test_xCalculateSleepTime_AllTimersActive_AllTimesGreaterExceptDHCP()
221 pxNetworkEndPoints->xDHCP_RATimer.bActive = pdTRUE; in test_xCalculateSleepTime_AllTimersActive_AllTimesGreaterExceptTCP()
226 pxNetworkEndPoints->xDHCP_RATimer.ulRemainingTime = ipconfigMAX_IP_TASK_SLEEP_TIME; in test_xCalculateSleepTime_AllTimersActive_AllTimesGreaterExceptTCP()
245 pxNetworkEndPoints->xDHCP_RATimer.bActive = pdTRUE; in test_xCalculateSleepTime_AllTimersActive_AllTimesGreaterExceptDNS()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c51 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
52 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
56 pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
57 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
58 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
62 pxNetworkEndPoints->pxNext = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/
DOutputARPRequest_harness.c68 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
69 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
70 pxNetworkEndPoints->pxNext = NULL; in harness()
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/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c51 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
52 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
56 pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
57 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
58 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
62 pxNetworkEndPoints->pxNext = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/
DvSocketBind_harness.c53 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
54 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
58 pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
59 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
60 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
64 pxNetworkEndPoints->pxNext = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
DvProcessGeneratedUDPPacket_harness.c118 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
119 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
120 pxNetworkEndPoints->pxNetworkInterface = pxNetworkBuffer->pxEndPoint->pxNetworkInterface; in harness()
124 pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
125 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
126 … pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkBuffer->pxEndPoint->pxNetworkInterface; in harness()
127 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
131 pxNetworkEndPoints->pxNext = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/
DvProcessGeneratedUDPPacket_IPv6_harness.c114 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
115 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
117 pxNetworkEndPoints->pxNetworkInterface = pxNetworkBuffer->pxEndPoint->pxNetworkInterface; in harness()
121 … pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
122 __CPROVER_assume( pxNetworkEndPoints->pxNext != NULL ); in harness()
123 … pxNetworkEndPoints->pxNext->pxNetworkInterface = pxNetworkBuffer->pxEndPoint->pxNetworkInterface; in harness()
124 pxNetworkEndPoints->pxNext->pxNext = NULL; in harness()
128 pxNetworkEndPoints->pxNext = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigCompatibleWithSingle/
DFreeRTOS_Routing_ConfigCompatibleWithSingle_utest.c73 pxNetworkEndPoints = NULL; in setUp()
107 TEST_ASSERT_EQUAL( &xEndPoint, pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_HappyPath()
141 TEST_ASSERT_EQUAL( NULL, pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_NullInterface()
168 TEST_ASSERT_EQUAL( NULL, pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_NullEndpoint()
201 TEST_ASSERT_EQUAL( &xEndPoint[ 0 ], pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
251 TEST_ASSERT_EQUAL( &xEndPoint, pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_SameEndpoint()
424 pxNetworkEndPoints = &xEndPoint; in test_FreeRTOS_FirstEndPoint_HappyPath()
455 pxNetworkEndPoints = &xEndPoint; in test_FreeRTOS_FirstEndPoint_Null()
524 pxNetworkEndPoints = &( xEndPoint[ i ] ); in test_FreeRTOS_FirstEndPoint_AnotherInterface()
525 pxEndPoint = pxNetworkEndPoints; in test_FreeRTOS_FirstEndPoint_AnotherInterface()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/
DOutputARPRequest_harness.c89 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
90 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
91 pxNetworkEndPoints->pxNext = NULL; in harness()
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/DNS/DNSgetHostByName_a/
DDNSgetHostByName_a_harness.c166 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
167 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
171 …__CPROVER_assume( pxNetworkEndPoints->ipv6_settings.ucDNSIndex < ipconfigENDPOINT_DNS_ADDRESS_COUN… in harness()
172 …__CPROVER_assume( pxNetworkEndPoints->ipv4_settings.ucDNSIndex < ipconfigENDPOINT_DNS_ADDRESS_COUN… in harness()
173 __CPROVER_assume( pxNetworkEndPoints->pxNext == NULL ); in harness()
176 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) malloc( sizeof( NetworkInterface… in harness()
177 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing/
DFreeRTOS_Routing_utest.c95 pxNetworkEndPoints = NULL; in setUp()
131 TEST_ASSERT_EQUAL( &xEndPoint, pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_HappyPath()
165 TEST_ASSERT_EQUAL( NULL, pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_NullInterface()
192 TEST_ASSERT_EQUAL( NULL, pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_NullEndpoint()
226 TEST_ASSERT_EQUAL( &xEndPoint[ 0 ], pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
244 TEST_ASSERT_EQUAL( &xEndPoint[ 1 ], pxNetworkEndPoints->pxNext ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
261 TEST_ASSERT_EQUAL( &xEndPoint[ 2 ], pxNetworkEndPoints->pxNext->pxNext ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
301 TEST_ASSERT_EQUAL( &xEndPoint, pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_SameEndpoint()
317 TEST_ASSERT_EQUAL( &xEndPoint, pxNetworkEndPoints ); in test_FreeRTOS_FillEndPoint_SameEndpoint()
318 TEST_ASSERT_EQUAL( NULL, pxNetworkEndPoints->pxNext ); in test_FreeRTOS_FillEndPoint_SameEndpoint()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c214 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
215 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
219 …__CPROVER_assume( pxNetworkEndPoints->ipv6_settings.ucDNSIndex < ipconfigENDPOINT_DNS_ADDRESS_COUN… in harness()
220 …__CPROVER_assume( pxNetworkEndPoints->ipv4_settings.ucDNSIndex < ipconfigENDPOINT_DNS_ADDRESS_COUN… in harness()
221 pxNetworkEndPoints->pxNext = NULL; in harness()
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/RA/vReceiveRA/
DReceiveRA_harness.c97 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
98 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
99 pxNetworkEndPoints->pxNetworkInterface = pxNetworkBuffer->pxInterface; in harness()
100 __CPROVER_assume( pxNetworkEndPoints->pxNetworkInterface != NULL ); in harness()
101 pxNetworkEndPoints->pxNext = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_Routing.c53 struct xNetworkEndPoint * pxNetworkEndPoints = NULL; variable
266 if( pxNetworkEndPoints == NULL ) in FreeRTOS_AddEndPoint()
270 pxNetworkEndPoints = pxEndPoint; in FreeRTOS_AddEndPoint()
276 pxIterator = pxNetworkEndPoints; in FreeRTOS_AddEndPoint()
329 NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints; in FreeRTOS_FirstEndPoint()
399 NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints; in FreeRTOS_FindEndPointOnIP_IPv4()
448 NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints; in FreeRTOS_FindEndPointOnIP_IPv6()
479 NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints; in FreeRTOS_FindEndPointOnMAC()
553 NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints; in FreeRTOS_InterfaceEndPointOnNetMask()
688 NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints; in FreeRTOS_FindEndPointOnNetMask_IPv6()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigV4Only/
DFreeRTOS_Routing_ConfigV4Only_utest.c73 pxNetworkEndPoints = NULL; in setUp()
111 pxNetworkEndPoints = &xEndPoint; in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
159 pxNetworkEndPoints = &xEndPoint; in test_FreeRTOS_MatchingEndpoint_IPv6Disabled()
226 pxNetworkEndPoints = &xEndPoint; in test_FreeRTOS_FindGateWay_IPv4HappyPath()
251 pxNetworkEndPoints = &xEndPoint; in test_FreeRTOS_FindGateWay_IPv4NotFound()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket/
DProcessIPPacket_harness.c82 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
83 __CPROVER_assume( pxNetworkEndPoints != NULL ); in harness()
84 __CPROVER_assume( pxNetworkEndPoints->pxNext == NULL ); in harness()

123