| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSlookup/ |
| D | DNSlookup_harness.c | 28 size_t len; in harness() local
29 __CPROVER_assume( len >= 0 && len <= MAX_HOSTNAME_LEN ); in harness()
30 char * pcHostName = safeMalloc( len ); /* malloc is replaced by safeMalloc */ in harness()
32 if( len && pcHostName ) in harness()
34 pcHostName[ len - 1 ] = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 101 int len; in DNS_ReadReply() local
103 pxDNSBuf->pucPayloadBuffer = safeMalloc( len ); in DNS_ReadReply()
105 pxDNSBuf->uxPayloadLength = len; in DNS_ReadReply()
107 __CPROVER_assume( len < CBMC_MAX_OBJECT_SIZE ); in DNS_ReadReply()
161 size_t len; in harness() local
163 __CPROVER_assume( len <= MAX_HOSTNAME_LEN ); in harness()
164 char * pcHostName = safeMalloc( len ); in harness()
166 __CPROVER_assume( len > 0 ); /* prvProcessDNSCache strcmp */ in harness()
168 pcHostName[ len - 1 ] = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/ |
| D | DNSgetHostByName_cancel_harness.c | 59 size_t len; in harness() local
61 __CPROVER_assume( len >= 0 && len <= MAX_HOSTNAME_LEN ); in harness()
62 char * pcHostName = safeMalloc( len ); in harness()
64 if( len && pcHostName ) in harness()
66 pcHostName[ len - 1 ] = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 99 size_t len; in harness() local
101 __CPROVER_assume( len <= MAX_HOSTNAME_LEN ); in harness()
102 char * pcHostName = safeMalloc( len ); in harness()
104 __CPROVER_assume( len > 0 ); /* prvProcessDNSCache strcmp */ in harness()
106 pcHostName[ len - 1 ] = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/esp32/ |
| D | NetworkInterface.c | 129 uint16_t len, in wlanif_input() argument
149 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( len, xDescriptorWaitTime ); in wlanif_input()
154 pxNetworkBuffer->xDataLength = len; in wlanif_input()
157 memcpy( pxNetworkBuffer->pucEthernetBuffer, buffer, len ); in wlanif_input()
162 ESP_LOGE( TAG, "Failed to enqueue packet to network stack %p, len %d", buffer, len ); in wlanif_input()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/ |
| D | NetworkInterface_wifi.c | 137 void xNetworkFrameReceived( uint32_t len, in xNetworkFrameReceived() argument
154 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( len, 0 ); in xNetworkFrameReceived()
164 pxNetworkBuffer->xDataLength = len; in xNetworkFrameReceived()
167 memcpy( pxNetworkBuffer->pucEthernetBuffer, frame, len ); in xNetworkFrameReceived()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/linux/ |
| D | NetworkInterface.c | 84 size_t len );
628 pkt_header->len, in pcap_callback()
630 print_hex( pkt_data, pkt_header->len ); in pcap_callback()
752 … uxStreamBufferGet( xRecvBuffer, 0, ( uint8_t * ) ucRecvBuffer, ( size_t ) xHeader.len, pdFALSE ); in prvInterruptSimulatorTask()
759 if( pxHeader->len >= sizeof( EthernetHeader_t ) ) in prvInterruptSimulatorTask()
771 if( pxHeader->len <= ipTOTAL_ETHERNET_FRAME_SIZE ) in prvInterruptSimulatorTask()
778 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( pxHeader->len, 0 ); in prvInterruptSimulatorTask()
782 memcpy( pxNetworkBuffer->pucEthernetBuffer, pucPacketData, pxHeader->len ); in prvInterruptSimulatorTask()
783 pxNetworkBuffer->xDataLength = ( size_t ) pxHeader->len; in prvInterruptSimulatorTask()
880 size_t len ) in print_hex() argument
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ksz8851snl/ |
| D | ksz8851snl.h | 60 uint32_t len );
64 void ksz8851_fifo_dummy( uint32_t len );
|
| D | ksz8851snl.c | 323 uint32_t len ) in ksz8851_fifo_read() argument
341 g_pdc_spi_tx_npacket.ul_size = len; in ksz8851_fifo_read()
343 g_pdc_spi_rx_npacket.ul_size = len; in ksz8851_fifo_read()
410 void ksz8851_fifo_dummy( uint32_t len ) in ksz8851_fifo_dummy() argument
417 g_pdc_spi_tx_packet.ul_size = len; in ksz8851_fifo_dummy()
419 g_pdc_spi_rx_packet.ul_size = len; in ksz8851_fifo_dummy()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ |
| D | run-cbmc-proofs.py | 162 if not len(harnesses) == 1:
164 "Found %d harnesses in directory '%s'", len(harnesses),
287 "total": len(proof_dirs),
288 "width": int(math.log10(len(proof_dirs))) + 1
|
| D | make_proof_makefiles.py | 184 common_dir_path = common_dir_path * len(dyr.split(os.path.sep)[1:])
216 if var_subbed[:len("__eval")] != "__eval":
221 to_eval = var_subbed[len("__eval"):].strip()
|
| D | make_common_makefile.py | 125 key2 = key[len(prefix):] if key.startswith(prefix) else prefix + key
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/WinPCap/ |
| D | NetworkInterface.c | 564 … uxStreamBufferGet( xRecvBuffer, 0, ( uint8_t * ) ucRecvBuffer, ( size_t ) xHeader.len, pdFALSE ); in prvInterruptSimulatorTask()
571 if( pxHeader->len >= sizeof( EthernetHeader_t ) ) in prvInterruptSimulatorTask()
583 if( pxHeader->len <= ipTOTAL_ETHERNET_FRAME_SIZE ) in prvInterruptSimulatorTask()
592 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( pxHeader->len, 0 ); in prvInterruptSimulatorTask()
601 memcpy( pxNetworkBuffer->pucEthernetBuffer, pucPacketData, pxHeader->len ); in prvInterruptSimulatorTask()
602 pxNetworkBuffer->xDataLength = ( size_t ) pxHeader->len; in prvInterruptSimulatorTask()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/M487/ |
| D | m480_eth.h | 162 int numaker_eth_get_rx_buf( uint16_t * len,
|
| D | m480_eth.c | 341 int numaker_eth_get_rx_buf( uint16_t * len, in numaker_eth_get_rx_buf() argument
363 *len = status & 0xFFFF; in numaker_eth_get_rx_buf()
|
| /FreeRTOS-Plus-TCP-v3.1.0/ |
| D | GenerateOriginalFiles.py | 200 if len(MODULES_DICT[module]) != 1:
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/RX/ |
| D | NetworkInterface.c | 107 uint32_t len );
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ATSAM4E/instance/ |
| D | gmac.h | 173 uint32_t len : 13, /** 0..12 Length of frame including FCS */ member
203 uint32_t len : 14, /** 0..13 Length of buffer */ member
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ATSAM4E/ |
| D | gmac.h | 172 uint32_t len : 13, /** 0..12 Length of frame including FCS */ member
202 uint32_t len : 14, /** 0..13 Length of buffer */ member
|
| D | gmac.c | 532 ulReturn = pxHead->status.bm.len; in gmac_dev_poll()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | NetworkInterface.c | 370 .len = pxDescriptor->xDataLength, in xNetworkInterfaceOutput()
|
| D | stm32hxx_hal_eth.h | 179 uint32_t len; /*<! buffer length */ member
|
| D | stm32hxx_hal_eth.c | 1331 RxBuffer->len = packet_length; in HAL_ETH_GetRxData()
2952 MODIFY_REG( dmatxdesc->DESC2, ETH_DMATXNDESCRF_B1L, txbuffer->len ); in ETH_Prepare_Tx_Descriptors()
|
| /FreeRTOS-Plus-TCP-v3.1.0/.github/ |
| D | lexicon.txt | 433 len
|
