| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/ |
| D | CreateDNSMessage_harness.c | 51 size_t len; in harness() local
54 __CPROVER_assume( len > 0 && len <= MAX_HOSTNAME_LEN ); in harness()
57 char * pcHostName = malloc( len ); in harness()
59 if( len && pcHostName ) in harness()
62 pcHostName[ len - 1 ] = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/ |
| D | DNSgetHostByName_cancel_harness.c | 61 size_t len; in harness() local
63 __CPROVER_assume( len >= 0 && len <= MAX_HOSTNAME_LEN ); in harness()
64 char * pcHostName = safeMalloc( len ); in harness()
66 if( len && pcHostName ) in harness()
68 pcHostName[ len - 1 ] = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 110 int len; in DNS_ReadReply() local
112 __CPROVER_assume( ( len > sizeof( DNSMessage_t ) ) && ( len < CBMC_MAX_OBJECT_SIZE ) ); in DNS_ReadReply()
114 pxDNSBuf->pucPayloadBuffer = malloc( len ); in DNS_ReadReply()
116 pxDNSBuf->uxPayloadLength = len; in DNS_ReadReply()
212 size_t len; in harness() local
229 __CPROVER_assume( len <= MAX_HOSTNAME_LEN ); in harness()
230 char * pcHostName = malloc( len ); in harness()
232 __CPROVER_assume( len > 0 ); /* prvProcessDNSCache strcmp */ in harness()
234 pcHostName[ len - 1 ] = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 164 size_t len; in harness() local
179 __CPROVER_assume( len <= MAX_HOSTNAME_LEN ); in harness()
180 char * pcHostName = safeMalloc( len ); in harness()
182 __CPROVER_assume( len > 0 ); /* prvProcessDNSCache strcmp */ in harness()
184 pcHostName[ len - 1 ] = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/source/portable/NetworkInterface/esp32/ |
| D | NetworkInterface.c | 197 uint16_t len, in wlanif_input() argument
217 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( len, xDescriptorWaitTime ); in wlanif_input()
222 pxNetworkBuffer->xDataLength = len; in wlanif_input()
227 memcpy( pxNetworkBuffer->pucEthernetBuffer, buffer, len ); in wlanif_input()
232 ESP_LOGE( TAG, "Failed to enqueue packet to network stack %p, len %d", buffer, len ); in wlanif_input()
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/source/portable/NetworkInterface/linux/ |
| D | NetworkInterface.c | 84 size_t len );
769 pkt_header->len, in pcap_callback()
771 print_hex( pkt_data, pkt_header->len ); in pcap_callback()
941 … uxStreamBufferGet( xRecvBuffer, 0, ( uint8_t * ) ucRecvBuffer, ( size_t ) xHeader.len, pdFALSE ); in prvInterruptSimulatorTask()
948 if( pxHeader->len >= sizeof( EthernetHeader_t ) ) in prvInterruptSimulatorTask()
960 if( pxHeader->len <= ipTOTAL_ETHERNET_FRAME_SIZE ) in prvInterruptSimulatorTask()
969 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( pxHeader->len, 0 ); in prvInterruptSimulatorTask()
978 memcpy( pxNetworkBuffer->pucEthernetBuffer, pucPacketData, pxHeader->len ); in prvInterruptSimulatorTask()
979 pxNetworkBuffer->xDataLength = ( size_t ) pxHeader->len; in prvInterruptSimulatorTask()
1080 size_t len ) in print_hex() argument
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/test/cbmc/proofs/lib/ |
| D | summarize.py | 29 ret = [len(item) + 1 for item in data[0]]
32 ret[idx] = max(ret[idx], len(item) + 1)
50 space_formatted_word = (max_length_of_word_in_col - len(word)) * " "
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
| D | NetworkInterface.c | 808 … uxStreamBufferGet( xRecvBuffer, 0, ( uint8_t * ) ucRecvBuffer, ( size_t ) xHeader.len, pdFALSE ); in prvInterruptSimulatorTask()
815 if( pxHeader->len >= sizeof( EthernetHeader_t ) ) in prvInterruptSimulatorTask()
827 if( pxHeader->len <= ipTOTAL_ETHERNET_FRAME_SIZE ) in prvInterruptSimulatorTask()
838 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( pxHeader->len, 0 ); in prvInterruptSimulatorTask()
847 memcpy( pxNetworkBuffer->pucEthernetBuffer, pucPacketData, pxHeader->len ); in prvInterruptSimulatorTask()
848 pxNetworkBuffer->xDataLength = ( size_t ) pxHeader->len; in prvInterruptSimulatorTask()
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/ |
| D | GenerateOriginalFiles.py | 200 if len(MODULES_DICT[module]) != 1:
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.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-v4.0.0/source/portable/NetworkInterface/RX/ |
| D | NetworkInterface.c | 115 uint32_t len );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | NetworkInterface.c | 555 .len = pxBuffer->xDataLength, in xSTM32H_NetworkInterfaceOutput()
|
| D | stm32hxx_hal_eth.h | 178 uint32_t len; /*<! buffer length */ member
|
| D | stm32hxx_hal_eth.c | 1331 RxBuffer->len = packet_length; in HAL_ETH_GetRxData()
2902 MODIFY_REG( dmatxdesc->DESC2, ETH_DMATXNDESCRF_B1L, txbuffer->len ); in ETH_Prepare_Tx_Descriptors()
|
