Home
last modified time | relevance | path

Searched refs:NetworkEndPoint_t (Results 1 – 25 of 131) sorted by relevance

123456

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigCompatibleWithSingle/
HDFreeRTOS_Routing_ConfigCompatibleWithSingle_utest.c94 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_FillEndPoint_HappyPath()
129 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_FillEndPoint_NullInterface()
187 NetworkEndPoint_t xEndPoint[ 2 ]; in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
190 memset( &xEndPoint[ 0 ], 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
191 memset( &xEndPoint[ 1 ], 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
209 memset( &xEndPoint[ 0 ], 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
238 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_FillEndPoint_SameEndpoint()
416 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_FirstEndPoint_HappyPath()
417 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_FirstEndPoint_HappyPath()
421 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_FirstEndPoint_HappyPath()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing/
HDFreeRTOS_Routing_utest.c116 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_FillEndPoint_HappyPath()
153 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_FillEndPoint_NullInterface()
211 NetworkEndPoint_t xEndPoint[ 3 ]; in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
214 memset( &xEndPoint[ 0 ], 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
215 memset( &xEndPoint[ 1 ], 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
216 memset( &xEndPoint[ 2 ], 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
234 memset( &xEndPoint[ 0 ], 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
288 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_FillEndPoint_SameEndpoint()
336 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_FillEndPoint_IPv6_HappyPath()
373 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_FillEndPoint_IPv6_NullInterface()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/prvAllowIPPacketIPv6/
HDprvAllowIPPacketIPv6_harness.c18 NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv6( const IPv6_Address_t * pxIPAddress ) in FreeRTOS_FindEndPointOnIP_IPv6()
20 … NetworkEndPoint_t * pxReturn = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnIP_IPv6()
36 NetworkEndPoint_t * FreeRTOS_FindEndPointOnMAC( const MACAddress_t * pxMACAddress, in FreeRTOS_FindEndPointOnMAC()
39 … NetworkEndPoint_t * pxReturn = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnMAC()
79 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
84 … pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_Routing.h192 } NetworkEndPoint_t; typedef
222 NetworkEndPoint_t * FreeRTOS_FirstEndPoint( const NetworkInterface_t * pxInterface );
228 NetworkEndPoint_t * FreeRTOS_NextEndPoint( const NetworkInterface_t * pxInterface,
229 NetworkEndPoint_t * pxEndPoint );
234 NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv4( uint32_t ulIPAddress,
239 NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv6( const IPv6_Address_t * pxIPAddress );
246 NetworkEndPoint_t * FreeRTOS_FindEndPointOnMAC( const MACAddress_t * pxMACAddress,
254 NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask( uint32_t ulIPAddress,
261 NetworkEndPoint_t * FreeRTOS_InterfaceEndPointOnNetMask( const NetworkInterface_t * pxInterface,
266 … NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask_IPv6( const IPv6_Address_t * pxIPv6Address );
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_Routing.c62 static NetworkEndPoint_t * FreeRTOS_AddEndPoint( NetworkInterface_t * pxInterface,
63 NetworkEndPoint_t * pxEndPoint );
91 NetworkEndPoint_t * pxEndPoint, in FreeRTOS_FillEndPoint()
246 static NetworkEndPoint_t * FreeRTOS_AddEndPoint( NetworkInterface_t * pxInterface, in FreeRTOS_AddEndPoint()
247 NetworkEndPoint_t * pxEndPoint ) in FreeRTOS_AddEndPoint()
249 NetworkEndPoint_t * pxIterator = NULL; in FreeRTOS_AddEndPoint()
327 NetworkEndPoint_t * FreeRTOS_FirstEndPoint( const NetworkInterface_t * pxInterface ) in FreeRTOS_FirstEndPoint()
329 NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints; in FreeRTOS_FirstEndPoint()
357 NetworkEndPoint_t * FreeRTOS_NextEndPoint( const NetworkInterface_t * pxInterface, in FreeRTOS_NextEndPoint()
358 NetworkEndPoint_t * pxEndPoint ) in FreeRTOS_NextEndPoint()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigV4Only/
HDFreeRTOS_Routing_ConfigV4Only_utest.c97 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
98 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
107 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
145 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_MatchingEndpoint_IPv6Disabled()
146 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_MatchingEndpoint_IPv6Disabled()
155 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_MatchingEndpoint_IPv6Disabled()
189 NetworkEndPoint_t xEndPoint; in test_pcEndpointName_IPv6HappyPath()
197 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_pcEndpointName_IPv6HappyPath()
220 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_FindGateWay_IPv4HappyPath()
221 NetworkEndPoint_t * pxEndPoint = NULL; in test_FreeRTOS_FindGateWay_IPv4HappyPath()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPRefreshCacheEntry/
HDARPRefreshCacheEntry_harness.c20 pxNetworkEndPoints = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
29 pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
39 NetworkEndPoint_t * pxEndPoint = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
HDDHCPProcessEndPoint_harness.c52 void prvCreateDHCPSocket( NetworkEndPoint_t * pxEndPoint );
67 NetworkEndPoint_t * pxEndPoint );
74 … NetworkEndPoint_t * pxEndPoint ) in __CPROVER_file_local_FreeRTOS_DHCP_c_prvProcessDHCPReplies()
147 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
156 … pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
166 …NetworkEndPoint_t * pxNetworkEndPoint_Temp = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEn… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/
HDFreeRTOS_TCP_Transmission_IPv6_utest.c104 NetworkEndPoint_t xEndPoint; in test_prvTCPReturnPacket_IPV6_pucEthernetBuffer_Assert()
107 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvTCPReturnPacket_IPV6_pucEthernetBuffer_Assert()
125 NetworkEndPoint_t xEndPoint; in test_prvTCPReturnPacket_IPV6_SocketNULL()
201 NetworkEndPoint_t xEndPoint; in test_prvTCPReturnPacket_IPV6_Assert1()
207 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvTCPReturnPacket_IPV6_Assert1()
235 NetworkEndPoint_t xEndPoint; in test_prvTCPReturnPacket_IPV6_Assert2()
243 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvTCPReturnPacket_IPV6_Assert2()
270 NetworkEndPoint_t xEndPoint; in test_prvTCPReturnPacket_IPV6_Assert3()
279 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvTCPReturnPacket_IPV6_Assert3()
307 NetworkEndPoint_t xEndPoint; in test_prvTCPReturnPacket_IPV6_HappyPath_ReleaseAfterSend()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/Process_PassReplyToEndPoint/
HDDHCPv6Process_PassReplyToEndPoint_harness.c52 NetworkEndPoint_t * pxEndPoint,
59 … NetworkEndPoint_t * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint()
70 pxNetworkEndPoints = safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
76 pxNetworkEndPoints->pxNext = safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
86 NetworkEndPoint_t * pxNetworkEndPoint_Temp = safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/
HDFreeRTOS_RA_utest.c108 NetworkEndPoint_t xEndPoint; in test_vNDSendRouterSolicitation_FalsebIPv6()
125 NetworkEndPoint_t xEndPoint; in test_vNDSendRouterSolicitation_xHasLocal0()
131 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_vNDSendRouterSolicitation_xHasLocal0()
164 NetworkEndPoint_t xEndPoint; in test_vNDSendRouterSolicitation_xHasLocal1()
170 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_vNDSendRouterSolicitation_xHasLocal1()
205 NetworkEndPoint_t xEndPoint; in test_vNDSendRouterSolicitation_NullDesc()
211 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_vNDSendRouterSolicitation_NullDesc()
242 NetworkEndPoint_t xEndPoint; in test_vNDSendRouterSolicitation_HappyPath()
248 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_vNDSendRouterSolicitation_HappyPath()
283 NetworkEndPoint_t xEndPoint; in test_vReceiveNA_NoEndPoint()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/
HDDHCPv6ProcessEndPoint_harness.c50 void __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvCreateDHCPv6Socket( NetworkEndPoint_t * pxEndPoint );
52 …ER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState( NetworkEndPoint_t * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState()
114 …ile_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleAdvertise( NetworkEndPoint_t * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleAdvertise()
123 void __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint_HandleReply( NetworkEndPoint_t *… in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint_HandleReply()
131 NetworkEndPoint_t * pxEndPoint,
138 NetworkEndPoint_t * pxNetworkEndPoint_Temp = safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
HDDHCPProcess_harness.c52 void prvCreateDHCPSocket( NetworkEndPoint_t * pxEndPoint );
59 void __CPROVER_file_local_FreeRTOS_DHCP_c_prvCloseDHCPSocket( const NetworkEndPoint_t * pxEndPoint …
67 NetworkEndPoint_t * pxEndPoint ) in __CPROVER_file_local_FreeRTOS_DHCP_c_vDHCPProcessEndPoint()
78 … NetworkEndPoint_t * pxEndPoint ) in __CPROVER_file_local_FreeRTOS_DHCP_c_prvProcessDHCPReplies()
178 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
187 … pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils/
HDFreeRTOS_TCP_Utils_utest.c96 NetworkEndPoint_t * pxEndPoint = NULL; in test_prvSocketSetMSS_NULL_EP()
115 NetworkEndPoint_t xEndPoint; in test_prvSocketSetMSS_Reduced()
119 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvSocketSetMSS_Reduced()
137 NetworkEndPoint_t xEndPoint = { 0 }; in test_prvSocketSetMSS_Normal()
141 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvSocketSetMSS_Normal()
158 NetworkEndPoint_t xEndPoint = { 0 }; in test_prvSocketSetMSS_Normal_IPv6()
162 memset( &xEndPoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvSocketSetMSS_Normal_IPv6()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ProcessDHCPReplies/
HDProcessDHCPReplies_harness.c23 … NetworkEndPoint_t * pxEndPoint );
37 …NetworkEndPoint_t * pxNetworkEndPoint_Temp = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoi… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig1/
HDFreeRTOS_IP_DiffConfig1_utest.c135 NetworkEndPoint_t xFirstEndPoint = { 0 }, * pxFirstEndPoint = &xFirstEndPoint; in vSetIPTaskHandle()
196 NetworkEndPoint_t xFirstEndPoint = { 0 }; in test_FreeRTOS_IPInit_HappyPath()
249 NetworkEndPoint_t xFirstEndPoint = { 0 }; in test_FreeRTOS_IPInit_QueueCreationFails()
289 NetworkEndPoint_t xFirstEndPoint = { 0 }; in test_FreeRTOS_IPInit_BufferCreationFails()
337 NetworkEndPoint_t xFirstEndPoint = { 0 }; in test_FreeRTOS_IPInit_TaskCreationFails()
416 NetworkEndPoint_t xEndPoint = { 0 }; in test_vIPNetworkUpCalls_BackwardCompatible()
461 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_GetAddressConfiguration_HappyPath()
498 NetworkEndPoint_t xEndPoint; in test_FreeRTOS_SetAddressConfiguration_HappyPath()
530 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_SetIPAddress_ValidEndpoint()
533 memset( pxEndpoint, 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_SetIPAddress_ValidEndpoint()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/
HDProcessICMPMessage_IPv6_harness.c97 NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv6( const IPv6_Address_t * pxIPAddress ) in FreeRTOS_FindEndPointOnIP_IPv6()
99 NetworkEndPoint_t * pxEndPoints = NULL; in FreeRTOS_FindEndPointOnIP_IPv6()
103 pxEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnIP_IPv6()
105 if( ensure_memory_is_valid( pxEndPoints, sizeof( NetworkEndPoint_t ) ) ) in FreeRTOS_FindEndPointOnIP_IPv6()
136 pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
HDTCPReturnPacket_harness.c72 …NetworkEndPoint_t * pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in prvTCPReturn_SetEndPoint()
100 … pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
160 … pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
162 if( ensure_memory_is_valid( pxNetworkBuffer->pxEndPoint, sizeof( NetworkEndPoint_t ) ) ) in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/
HDTCPReturnPacket_IPv6_harness.c73 …NetworkEndPoint_t * pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in prvTCPReturn_SetEndPoint()
99 … pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
159 … pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
161 if( ensure_memory_is_valid( pxNetworkBuffer->pxEndPoint, sizeof( NetworkEndPoint_t ) ) ) in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/
HDReturnICMP_IPv6_harness.c100 NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv6( const IPv6_Address_t * pxIPAddress ) in FreeRTOS_FindEndPointOnIP_IPv6()
102 NetworkEndPoint_t * pxEndPoints = NULL; in FreeRTOS_FindEndPointOnIP_IPv6()
106 pxEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnIP_IPv6()
108 if( ensure_memory_is_valid( pxEndPoints, sizeof( NetworkEndPoint_t ) ) ) in FreeRTOS_FindEndPointOnIP_IPv6()
139 pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/prepareReplyDNSMessage/
HDprepareReplyDNSMessage_harness.c42 NetworkEndPoint_t * pxNetworkEndPoint_Temp;
46 NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask_IPv6( const IPv6_Address_t * pxIPv6Address ) in FreeRTOS_FindEndPointOnNetMask_IPv6()
56 NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask( uint32_t ulIPAddress, in FreeRTOS_FindEndPointOnNetMask()
97 pxNetworkEndPoint_Temp = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/
HDDHCPv6Process_harness.c50 void __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvCreateDHCPv6Socket( NetworkEndPoint_t * pxEndPoint );
54 NetworkEndPoint_t * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint()
88 …ER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState( NetworkEndPoint_t * pxEndPoint, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState()
159 NetworkEndPoint_t * pxNetworkEndPoint = safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
165 … pxNetworkEndPoint->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig1/
HDFreeRTOS_IPv4_DiffConfig1_utest.c89 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_BufferLengthLess()
92 memset( pxEndpoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvAllowIPPacketIPv4_BufferLengthLess()
137 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_HeaderLengthLess()
140 memset( pxEndpoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvAllowIPPacketIPv4_HeaderLengthLess()
182 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_BufferLengthLessThan()
185 memset( pxEndpoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvAllowIPPacketIPv4_BufferLengthLessThan()
227 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_BufferLengthLessThanIPRequirement()
230 memset( pxEndpoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvAllowIPPacketIPv4_BufferLengthLessThanIPRequirement()
272 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_IPPacketLengthMoreThanTotalLength()
275 memset( pxEndpoint, 0, sizeof( NetworkEndPoint_t ) ); in test_prvAllowIPPacketIPv4_IPPacketLengthMoreThanTotalLength()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig3/
HDFreeRTOS_IP_DiffConfig3_utest.c97 NetworkEndPoint_t xEndPoints, * pxEndPoints = &xEndPoints; in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv4()
100 memset( pxEndPoints, 0, sizeof( NetworkEndPoint_t ) ); in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv4()
128 NetworkEndPoint_t xEndPoints, * pxEndPoints = &xEndPoints; in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv6()
131 memset( pxEndPoints, 0, sizeof( NetworkEndPoint_t ) ); in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv6()
160 NetworkEndPoint_t xEndPoints, * pxEndPoints = &xEndPoints; in test_prvProcessIPEventsAndTimers_eDHCPEvent_RA()
163 memset( pxEndPoints, 0, sizeof( NetworkEndPoint_t ) ); in test_prvProcessIPEventsAndTimers_eDHCPEvent_RA()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/
HDFreeRTOS_ND_utest.c116 NetworkEndPoint_t xEndPoint, * pxEndPoint = &xEndPoint; in test_eNDGetCacheEntry_MulticastEndPoint()
136 NetworkEndPoint_t xEndPoint1, xEndPoint2, xEndPoint3, * pxEndPoint = &xEndPoint1; in test_eNDGetCacheEntry_Multicast_ValidEndPoint()
166 NetworkEndPoint_t ** ppxEndPoint = NULL; in test_eNDGetCacheEntry_Multicast_InvalidEndPoint()
190 NetworkEndPoint_t ** ppxEndPoint = NULL; in test_eNDGetCacheEntry_NDCacheLookupHit_InvalidEndPoint()
219 NetworkEndPoint_t * pxEndPoint, xEndPoint1, xEndPoint2; in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint()
226 ( void ) memset( &xEndPoint2, 0, sizeof( NetworkEndPoint_t ) ); in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint()
240 TEST_ASSERT_EQUAL_MEMORY( pxEndPoint, &xEndPoint2, sizeof( NetworkEndPoint_t ) ); in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint()
249 NetworkEndPoint_t * pxEndPoint, xEndPoint; in test_eNDGetCacheEntry_NDCacheLookupMiss_InvalidEntry()
276 NetworkEndPoint_t ** ppxEndPoint = NULL, xEndPoint; in test_eNDGetCacheEntry_NDCacheLookupMiss_InvalidEntry2()
303 NetworkEndPoint_t * pxEndPoint, xEndPoint; in test_eNDGetCacheEntry_NDCacheLookupMiss_NoEntry()
[all …]

123456