| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/utility/ |
| D | memory_assignments.c | 8 void * safeMalloc( size_t xWantedSize ) in safeMalloc() function
16 FreeRTOS_Socket_t * pxSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
20 pxSocket->u.xTCP.rxStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
21 pxSocket->u.xTCP.txStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
22 pxSocket->u.xTCP.pxPeerSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
23 pxSocket->pxEndPoint = safeMalloc( sizeof( NetworkEndPoint_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
32 return safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in ensure_FreeRTOS_NetworkBuffer_is_allocated()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA/ |
| D | ReceiveRA_harness.c | 46 ICMPPrefixOption_IPv6_t * pxPrefixOption = safeMalloc( sizeof( ICMPPrefixOption_IPv6_t ) ); in __CPROVER_file_local_FreeRTOS_RA_c_vReceiveRA_ReadReply()
57 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in pxGetNetworkBufferWithDescriptor()
61 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
81 …NetworkInterface_t * pxInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t… in harness()
88 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen ); in harness()
91 pxNetworkBuffer->pxInterface = safeMalloc( sizeof( NetworkInterface_t ) ); in harness()
94 pxNetworkBuffer->pxEndPoint = safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
97 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 72 …NetworkEndPoint_t * pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in prvTCPReturn_SetEndPoint()
79 …pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t )… in prvTCPReturn_SetEndPoint()
91 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( xNewLength ); in pxDuplicateNetworkBufferWithDescriptor()
95 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
100 … pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
105 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in pxDuplicateNetworkBufferWithDescriptor()
153 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen + ipSIZE_OF_ETH_HEADER ); in harness()
160 … pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
165 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/ |
| D | TCPReturnPacket_IPv6_harness.c | 73 …NetworkEndPoint_t * pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in prvTCPReturn_SetEndPoint()
78 …pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t )… in prvTCPReturn_SetEndPoint()
90 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( xNewLength ); in pxDuplicateNetworkBufferWithDescriptor()
94 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
99 … pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
104 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in pxDuplicateNetworkBufferWithDescriptor()
152 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen + ipSIZE_OF_ETH_HEADER ); in harness()
159 … pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
164 …pxNetworkBuffer->pxEndPoint->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( Net… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckLoopback/ |
| D | xCheckLoopback_harness.c | 16 …NetworkEndPoint_t * pxReturnEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint… in FreeRTOS_FindEndPointOnMAC()
26 …NetworkBufferDescriptor_t * pxReturnNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( si… in pxDuplicateNetworkBufferWithDescriptor()
31 pxReturnNetworkBuffer->pucEthernetBuffer = safeMalloc( uxNewLength ); in pxDuplicateNetworkBufferWithDescriptor()
49 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in harness()
56 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xBufferLength ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/prvAllowIPPacketIPv6/ |
| D | prvAllowIPPacketIPv6_harness.c | 20 … NetworkEndPoint_t * pxReturn = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnIP_IPv6()
39 … NetworkEndPoint_t * pxReturn = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnMAC()
62 …NetworkBufferDescriptor_t * const pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t … in harness()
63 …uint8_t * pucEthernetBuffer = ( uint8_t * ) safeMalloc( ipTOTAL_ETHERNET_FRAME_SIZE + ipIP_TYPE_OF… in harness()
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/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 72 void * safeMalloc( size_t xWantedSize ) in safeMalloc() function
87 return safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in pxUDPSocketLookup()
92 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
97 pxIsWaitingForARPResolution = safeMalloc( sizeof( BaseType_t ) ); in harness()
107 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( UDPPacket_t ) ); in harness()
|
| /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()
45 uint8_t * pcNetworkBuffer = safeMalloc( sizeof( ProtocolPacket_t ) + 4 ); in harness()
56 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
65 … pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | DHCPProcessEndPoint_harness.c | 114 …NetworkBufferDescriptor_t * pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( … in pxGetNetworkBufferWithDescriptor()
119 …pxNetworkBuffer->pucEthernetBuffer = ( ( uint8_t * ) safeMalloc( xRequestedSizeBytes + ( ipIP_TYPE… in pxGetNetworkBufferWithDescriptor()
147 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
151 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInter… 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/cbmc/proofs/IPUtils/pxDuplicateNetworkBufferWithDescriptor/ |
| D | pxDuplicateNetworkBufferWithDescriptor_harness.c | 46 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in pxGetNetworkBufferWithDescriptor()
50 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
79 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in harness()
82 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( uxBufferLength ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/ |
| D | DHCPv6HandleOption_harness.c | 81 NetworkEndPoint_t * pxNetworkEndPoint_Temp = safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
82 DHCPMessage_IPv6_t * pxDHCPMessage = safeMalloc( sizeof( DHCPMessage_IPv6_t ) ); in harness()
83 DHCPOptionSet_t * pxSet = safeMalloc( sizeof( DHCPOptionSet_t ) ); in harness()
84 BitConfig_t * pxMessage = safeMalloc( sizeof( BitConfig_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 74 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in pxGetNetworkBufferWithDescriptor()
78 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
87 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
92 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/Process_PassReplyToEndPoint/ |
| D | DHCPv6Process_PassReplyToEndPoint_harness.c | 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()
90 pxNetworkEndPoint_Temp->pxDHCPMessage = safeMalloc( sizeof( DHCPMessage_IPv6_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/xRecv_Update_IPv4/ |
| D | xRecv_Update_IPv4_harness.c | 48 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
49 uint8_t * pxEthBuffer = safeMalloc( ipTOTAL_ETHERNET_FRAME_SIZE + ipIP_TYPE_OFFSET ); in harness()
50 struct freertos_sockaddr * pxSourceAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/xRecv_Update_IPv6/ |
| D | xRecv_Update_IPv6_harness.c | 20 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
21 uint8_t * pxEthBuffer = safeMalloc( ipTOTAL_ETHERNET_FRAME_SIZE + ipIP_TYPE_OFFSET ); in harness()
22 struct freertos_sockaddr * pxSourceAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/ |
| D | ProcessICMPMessage_IPv6_harness.c | 103 pxEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnIP_IPv6()
108 …pxEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t … in FreeRTOS_FindEndPointOnIP_IPv6()
131 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen ); in harness()
136 pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
154 xLocalBuffer.pucEthernetBuffer = safeMalloc( usEthernetBufferSize ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/ |
| D | ProcessReceivedUDPPacket_IPv6_harness.c | 42 return safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in pxUDPSocketLookup()
81 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
86 pxIsWaitingForARPResolution = safeMalloc( sizeof( BaseType_t ) ); in harness()
96 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( UDPPacket_IPv6_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/ |
| D | ProcessReceivedTCPPacket_IPv6_harness.c | 75 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in pxGetNetworkBufferWithDescriptor()
79 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
102 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
108 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_IPv6_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/ |
| D | ReturnICMP_IPv6_harness.c | 106 pxEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnIP_IPv6()
111 …pxEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInterface_t … in FreeRTOS_FindEndPointOnIP_IPv6()
134 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen ); in harness()
139 pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
156 xLocalBuffer.pucEthernetBuffer = safeMalloc( usEthernetBufferSize ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Analyse/ |
| D | DHCPv6Analyse_harness.c | 63 pxNetworkEndPoint_Temp = safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
66 pxDHCPMessage = safeMalloc( sizeof( DHCPMessage_IPv6_t ) ); in harness()
73 pucAnswer = safeMalloc( uxTotalLength ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 118 …NetworkBufferDescriptor_t * pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( … in pxGetNetworkBufferWithDescriptor()
123 …pxNetworkBuffer->pucEthernetBuffer = ( ( uint8_t * ) safeMalloc( xRequestedSizeBytes + ( ipIP_TYPE… in pxGetNetworkBufferWithDescriptor()
178 pxNetworkEndPoints = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
182 …pxNetworkEndPoints->pxNetworkInterface = ( NetworkInterface_t * ) safeMalloc( sizeof( NetworkInter… in harness()
187 … pxNetworkEndPoints->pxNext = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen/ |
| D | prvHandleListen_harness.c | 60 …NetworkBufferDescriptor_t * pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( … in harness()
71 pxNetworkBuffer->pucEthernetBuffer = ( uint8_t * ) safeMalloc( xDataLength ); in harness()
77 pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen_IPv6/ |
| D | prvHandleListen_IPv6_harness.c | 60 …NetworkBufferDescriptor_t * pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( … in harness()
71 pxNetworkBuffer->pucEthernetBuffer = ( uint8_t * ) safeMalloc( xDataLength ); in harness()
77 pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/ |
| D | xCheckRequiresARPResolution_harness.c | 73 …NetworkBufferDescriptor_t * pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( … in pxGetNetworkBufferWithDescriptor()
105 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in harness()
110 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xBufferLength ); in harness()
113 pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/ |
| D | vSocketWakeUpUser_harness.c | 148 pxSocket->pxSocketSet = safeMalloc( sizeof( struct xSOCKET_SET ) ); in harness()
152 pxSocket->pxSocketSet->xSelectGroup = safeMalloc( sizeof( struct EventGroupDef_t ) ); in harness()
158 pxSocket->pxUserSemaphore = safeMalloc( sizeof( xQUEUE ) ); in harness()
166 pxSocket->xEventGroup = safeMalloc( sizeof( struct EventGroupDef_t ) ); in harness()
|
