| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSlookup/ |
| D | DNSlookup_harness.c | 12 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument
14 if( xWantedSize == 0 ) in safeMalloc()
21 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/ |
| D | DNSgetHostByName_cancel_harness.c | 23 void * safeMalloc( size_t xWantedSize ) /* Returns a NULL pointer if the wanted size is 0. */ in safeMalloc() argument
25 if( xWantedSize == 0 ) in safeMalloc()
32 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/include/ |
| D | cbmc.h | 86 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
88 if( xWantedSize == 0 ) in pvPortMalloc()
93 return nondet_bool() ? malloc( xWantedSize ) : NULL; in pvPortMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 72 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument
74 if( xWantedSize == 0 ) in safeMalloc()
81 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/utility/ |
| D | memory_assignments.c | 8 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument
10 return nondet_bool() ? malloc( xWantedSize ) : NULL; in safeMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/ |
| D | TCPAddRxdata_harness.c | 32 void * pvPortMallocLarge( size_t xWantedSize ) in pvPortMallocLarge() argument
34 return safeMalloc( xWantedSize ); in pvPortMallocLarge()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/ |
| D | OutputARPRequest_harness.c | 26 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
28 void * ptr = malloc( xWantedSize ); in pvPortMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/ |
| D | FreeRTOS_ARP_DataLenLessThanMinPacket_stubs.c | 126 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
128 return malloc( xWantedSize ); in pvPortMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| D | OutputARPRequest_harness.c | 49 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
51 void * ptr = malloc( xWantedSize ); in pvPortMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_stubs.c | 130 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
132 return malloc( xWantedSize ); in pvPortMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/ |
| D | Portable.c | 140 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
142 return malloc( xWantedSize ); in pvPortMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_stubs.c | 478 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
484 pvReturn = malloc( xWantedSize ); in pvPortMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_stubs.c | 180 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
182 return malloc( xWantedSize ); in pvPortMalloc()
|
