| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/ |
| HD | BufferAllocation_2.c | 383 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
389 … if( ( xRequestedSizeBytes != 0u ) && ( xRequestedSizeBytes < ( size_t ) baMINIMAL_BUFFER_SIZE ) ) in pxGetNetworkBufferWithDescriptor()
393 xRequestedSizeBytes = baMINIMAL_BUFFER_SIZE; in pxGetNetworkBufferWithDescriptor()
397 if( xRequestedSizeBytes != 0u ) in pxGetNetworkBufferWithDescriptor()
400 xRequestedSizeBytes += 2u; in pxGetNetworkBufferWithDescriptor()
402 if( ( xRequestedSizeBytes & ( sizeof( size_t ) - 1u ) ) != 0u ) in pxGetNetworkBufferWithDescriptor()
404 xRequestedSizeBytes = ( xRequestedSizeBytes | ( sizeof( size_t ) - 1u ) ) + 1u; in pxGetNetworkBufferWithDescriptor()
433 if( xRequestedSizeBytes > 0 ) in pxGetNetworkBufferWithDescriptor()
439 …pxReturn->pucEthernetBuffer = NetworkBufferAllocate( xRequestedSizeBytes - sizeof( TCPIP_MAC_ETHER… in pxGetNetworkBufferWithDescriptor()
441 …pxReturn->pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xRequestedSizeBytes + ipBUFFER_PADDING ); in pxGetNetworkBufferWithDescriptor()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| HD | OutputARPRequest_harness.c | 54 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
61 xNetworkBuffer.pucEthernetBuffer = malloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
65 __CPROVER_assert( !__CPROVER_overflow_mult( 2, xRequestedSizeBytes ) ); in pxGetNetworkBufferWithDescriptor()
66 __CPROVER_assume( malloc_size > 0 && malloc_size < 2 * xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
71 xNetworkBuffer.xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| HD | DHCPProcessEndPoint_harness.c | 111 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
117 …VER_assume( ( xRequestedSizeBytes > ( dhcpFIRST_OPTION_BYTE_OFFSET + sizeof( MACAddress_t ) + ipIP… in pxGetNetworkBufferWithDescriptor()
119 …pxNetworkBuffer->pucEthernetBuffer = ( ( uint8_t * ) safeMalloc( xRequestedSizeBytes + ( ipIP_TYPE… in pxGetNetworkBufferWithDescriptor()
125 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/ |
| HD | vSocketClose_harness.c | 28 size_t xRequestedSizeBytes; in harness() local
37 __CPROVER_assume( xRequestedSizeBytes < ( CBMC_MAX_OBJECT_SIZE - ipBUFFER_PADDING ) ); in harness()
85 …pxSocket->u.xTCP.pxAckMessage = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeT… in harness()
100 … NetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeTicks ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/HandleEthernetPacket/ |
| HD | HandleEthernetPacket_harness.c | 55 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
62 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
65 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxDuplicateNetworkBufferWithDescriptor/ |
| HD | pxDuplicateNetworkBufferWithDescriptor_harness.c | 41 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
50 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
53 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/ |
| HD | vProcessGeneratedUDPPacket_IPv6_harness.c | 88 size_t xRequestedSizeBytes; in harness() local
92 …__CPROVER_assume( xRequestedSizeBytes >= sizeof( UDPPacket_IPv6_t ) && xRequestedSizeBytes <= ipTO… in harness()
95 …rDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, 0 ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| HD | vProcessGeneratedUDPPacket_harness.c | 92 size_t xRequestedSizeBytes; in harness() local
96 …__CPROVER_assume( xRequestedSizeBytes >= sizeof( UDPPacket_t ) && xRequestedSizeBytes <= ipTOTAL_E… in harness()
99 …rDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, 0 ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPAgeCache/ |
| HD | ARPAgeCache_harness.c | 12 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
19 pxNetworkBuffer->pucEthernetBuffer = malloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
22 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| HD | TCPPrepareSend_harness.c | 47 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
57 pxBuffer->pucEthernetBuffer = malloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
59 pxBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| HD | DHCPProcess_harness.c | 115 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
121 …__CPROVER_assume( xRequestedSizeBytes > ( dhcpFIRST_OPTION_BYTE_OFFSET + sizeof( MACAddress_t ) + … in pxGetNetworkBufferWithDescriptor()
123 …pxNetworkBuffer->pucEthernetBuffer = ( ( uint8_t * ) safeMalloc( xRequestedSizeBytes + ( ipIP_TYPE… in pxGetNetworkBufferWithDescriptor()
129 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA/ |
| HD | ReceiveRA_harness.c | 52 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
61 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
64 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/BufferManagement/ |
| HD | BufferAllocation_1.c | 233 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
242 ( void ) xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
292 pxReturn->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
323 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes ) in pxNetworkBufferGetFromISR() argument
329 ( void ) xRequestedSizeBytes; in pxNetworkBufferGetFromISR()
|
| HD | BufferAllocation_2.c | 230 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
236 size_t xRequestedSizeBytesCopy = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ConfigFiles/ |
| HD | NetworkBufferManagement.h | 37 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
39 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| HD | NetworkBufferManagement.h | 46 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
50 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| HD | DNSgetHostByName_a_harness.c | 116 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
123 … pxNetworkBuffer->pucEthernetBuffer = malloc( xRequestedSizeBytes + ipUDP_PAYLOAD_IP_TYPE_OFFSET ); in pxGetNetworkBufferWithDescriptor()
133 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| HD | ProcessReceivedTCPPacket_harness.c | 71 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
78 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/ |
| HD | ProcessReceivedTCPPacket_IPv6_harness.c | 72 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
79 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| HD | DNSgetHostByName_harness.c | 182 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
189 … pxNetworkBuffer->pucEthernetBuffer = malloc( xRequestedSizeBytes + ipUDP_PAYLOAD_IP_TYPE_OFFSET ); in pxGetNetworkBufferWithDescriptor()
199 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| HD | freertos_api.c | 253 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
257 xRequestedSizeBytes + ipBUFFER_PADDING < CBMC_MAX_OBJECT_SIZE, in pxGetNetworkBufferWithDescriptor()
298 size_t size = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/ |
| HD | Portable.c | 20 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes ) in pxNetworkBufferGetFromISR() argument
22 ( void ) xRequestedSizeBytes; in pxNetworkBufferGetFromISR()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/ |
| HD | xCheckRequiresARPResolution_harness.c | 70 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
|
