| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/Process_PassReplyToEndPoint/ |
| HD | DHCPv6Process_PassReplyToEndPoint_harness.c | 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()
88 pxNetworkEndPoint_Temp->pxNext = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPRefreshCacheEntry/ |
| HD | ARPRefreshCacheEntry_harness.c | 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/ARP/ARPGetCacheEntry/ |
| HD | ARPGetCacheEntry_harness.c | 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/Routing/MatchingEndpoint/ |
| HD | MatchingEndpoint_harness.c | 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/ARPAgeCache/ |
| HD | ARPAgeCache_harness.c | 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()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| HD | OutputARPRequest_harness.c | 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()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| HD | vSocketBind_harness.c | 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/UDP/vProcessGeneratedUDPPacket_IPv6/ |
| HD | vProcessGeneratedUDPPacket_IPv6_harness.c | 107 pxNetworkBuffer->pxEndPoint->pxNext = NULL; 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/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| HD | vProcessGeneratedUDPPacket_harness.c | 111 pxNetworkBuffer->pxEndPoint->pxNext = NULL; 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/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| HD | vSocketBind_harness.c | 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/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| HD | vSocketBind_harness.c | 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/DHCP/DHCPProcessEndPoint/ |
| HD | DHCPProcessEndPoint_harness.c | 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()
168 pxNetworkEndPoint_Temp->pxNext = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/prvAllowIPPacketIPv6/ |
| HD | prvAllowIPPacketIPv6_harness.c | 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()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| HD | DHCPProcess_harness.c | 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()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| HD | DHCPv6Process_harness.c | 165 … pxNetworkEndPoint->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
166 __CPROVER_assume( pxNetworkEndPoint->pxNext != NULL ); in harness()
167 pxNetworkEndPoint->pxNext->pxNext = NULL; in harness()
171 pxNetworkEndPoint->pxNext = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| HD | FreeRTOS_Routing.c | 160 pxInterface->pxNext = NULL; in FreeRTOS_AddNetworkInterface()
189 if( pxIterator->pxNext == NULL ) in FreeRTOS_AddNetworkInterface()
191 pxIterator->pxNext = pxInterface; in FreeRTOS_AddNetworkInterface()
195 pxIterator = pxIterator->pxNext; in FreeRTOS_AddNetworkInterface()
227 pxReturn = pxInterface->pxNext; in FreeRTOS_NextNetworkInterface()
253 pxEndPoint->pxNext = NULL; in FreeRTOS_AddEndPoint()
286 if( pxIterator->pxNext == NULL ) in FreeRTOS_AddEndPoint()
288 pxIterator->pxNext = pxEndPoint; in FreeRTOS_AddEndPoint()
292 pxIterator = pxIterator->pxNext; in FreeRTOS_AddEndPoint()
340 pxEndPoint = pxEndPoint->pxNext; in FreeRTOS_FirstEndPoint()
[all …]
|
| HD | FreeRTOS_IP_Timers.c | 162 pxEndPoint = pxEndPoint->pxNext; in xCalculateSleepTime()
256 pxEndPoint = pxEndPoint->pxNext; in vCheckNetworkTimers()
322 … for( pxInterface = pxNetworkInterfaces; pxInterface != NULL; pxInterface = pxInterface->pxNext ) in vCheckNetworkTimers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing/ |
| HD | FreeRTOS_Routing_utest.c | 244 TEST_ASSERT_EQUAL( &xEndPoint[ 1 ], pxNetworkEndPoints->pxNext ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
245 TEST_ASSERT_EQUAL( &xEndPoint[ 1 ], xInterfaces.pxEndPoint->pxNext ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
261 TEST_ASSERT_EQUAL( &xEndPoint[ 2 ], pxNetworkEndPoints->pxNext->pxNext ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
262 TEST_ASSERT_EQUAL( &xEndPoint[ 2 ], xInterfaces.pxEndPoint->pxNext->pxNext ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints()
318 TEST_ASSERT_EQUAL( NULL, pxNetworkEndPoints->pxNext ); in test_FreeRTOS_FillEndPoint_SameEndpoint()
557 TEST_ASSERT_EQUAL( &xEndPoint[ 1 ], pxNetworkEndPoints->pxNext ); in test_FreeRTOS_FillEndPoint_IPv6_MultipleEndpoints()
558 TEST_ASSERT_EQUAL( &xEndPoint[ 1 ], xInterfaces.pxEndPoint->pxNext ); in test_FreeRTOS_FillEndPoint_IPv6_MultipleEndpoints()
576 TEST_ASSERT_EQUAL( &xEndPoint[ 2 ], pxNetworkEndPoints->pxNext->pxNext ); in test_FreeRTOS_FillEndPoint_IPv6_MultipleEndpoints()
577 TEST_ASSERT_EQUAL( &xEndPoint[ 2 ], xInterfaces.pxEndPoint->pxNext->pxNext ); in test_FreeRTOS_FillEndPoint_IPv6_MultipleEndpoints()
637 TEST_ASSERT_EQUAL( NULL, pxNetworkEndPoints->pxNext ); in test_FreeRTOS_FillEndPoint_IPv6_SameEndpoint()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/ |
| HD | OutputARPRequest_harness.c | 70 pxNetworkEndPoints->pxNext = NULL; in harness()
74 pxNetworkEndPoints->pxNetworkInterface->pxNext = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| HD | OutputARPRequest_harness.c | 91 pxNetworkEndPoints->pxNext = NULL; in harness()
95 pxNetworkEndPoints->pxNetworkInterface->pxNext = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigCompatibleWithSingle/ |
| HD | FreeRTOS_Routing_ConfigCompatibleWithSingle_utest.c | 289 TEST_ASSERT_EQUAL( NULL, pxNetworkInterfaces->pxNext ); in test_FreeRTOS_AddNetworkInterface_HappyPath()
529 pxNetworkInterface->pxNext = &( xNetworkInterface[ i ] ); in test_FreeRTOS_FirstEndPoint_AnotherInterface()
530 pxNetworkInterface = pxNetworkInterface->pxNext; in test_FreeRTOS_FirstEndPoint_AnotherInterface()
532 pxEndPoint->pxNext = &( xEndPoint[ i ] ); in test_FreeRTOS_FirstEndPoint_AnotherInterface()
533 pxEndPoint = pxEndPoint->pxNext; in test_FreeRTOS_FirstEndPoint_AnotherInterface()
652 pxNetworkInterface->pxNext = &( xNetworkInterface[ i ] ); in test_FreeRTOS_FirstEndPoint_IPv6_AnotherInterface()
653 pxNetworkInterface = pxNetworkInterface->pxNext; in test_FreeRTOS_FirstEndPoint_IPv6_AnotherInterface()
669 pxEndPoint->pxNext = &( xEndPoint[ i ] ); in test_FreeRTOS_FirstEndPoint_IPv6_AnotherInterface()
670 pxEndPoint = pxEndPoint->pxNext; in test_FreeRTOS_FirstEndPoint_IPv6_AnotherInterface()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Timers/ |
| HD | FreeRTOS_IP_Timers_utest.c | 286 pxNetworkEndPoints->pxNext = &xEndpoints[ 1 ]; in test_xCalculateSleepTime_MultipleDHCPTimers()
287 pxNetworkEndPoints->pxNext->pxNext = &xEndpoints[ 2 ]; in test_xCalculateSleepTime_MultipleDHCPTimers()
499 xEndPoint.pxNext = NULL; in test_vCheckNetworkTimers_DNSTimerActiveAndExpired()
534 pxNetworkInterfaces->pxNext = &xInterface[ 1 ]; in test_vCheckNetworkTimers_NetworkTimerActiveAndExpired()
570 pxNetworkInterfaces->pxNext = &xInterface[ 1 ]; in test_vCheckNetworkTimers_NetworkInterfacesAllUp()
606 pxNetworkInterfaces->pxNext = &xInterface[ 1 ]; in test_vCheckNetworkTimers_NetworkInterfacesAlreadyUp()
779 xEndPoint.pxNext = NULL; in test_vDHCP_RATimerReload()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ProcessDHCPReplies/ |
| HD | ProcessDHCPReplies_harness.c | 40 pxNetworkEndPoint_Temp->pxNext = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPGenerateRequestPacket/ |
| HD | ARPGenerateRequestPacket_harness.c | 34 xNetworkBuffer2.pxEndPoint->pxNext = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPProcessPacket/ |
| HD | ARPProcessPacket_harness.c | 87 xNetworkBuffer2.pxEndPoint->pxNext = NULL; in harness()
|
