| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/SkipNameField/ |
| D | SkipNameField_harness.c | 29 size_t uxLength );
40 size_t uxLength; in harness() local
41 uint8_t * pucByte = malloc( uxLength ); in harness()
45 __CPROVER_assume( uxLength < CBMC_MAX_OBJECT_SIZE ); in harness()
46 __CPROVER_assume( uxLength <= NETWORK_BUFFER_SIZE ); in harness()
49 size_t index = DNS_SkipNameField( pucByte, uxLength ); in harness()
53 __CPROVER_assert( index <= uxLength, in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/tools/tcp_utilities/ |
| D | tcp_dump_packets.c | 114 size_t uxLength; member
173 size_t uxLength,
206 size_t uxLength, uxSize; in dump_packet_init() local
209 … uxLength = dumpITEM_COUNT * ( sizeof( void * ) + ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER ); in dump_packet_init()
210 uxSize = ( sizeof( *xPacketBuffer ) + uxLength ) - sizeof( xPacketBuffer->ucArray ); in dump_packet_init()
214 xPacketBuffer->LENGTH = uxLength; in dump_packet_init()
233 size_t uxLength, in dump_packet() argument
242 size_t uxNeeded = uxLength + sizeof( size_t ); in dump_packet()
248 xheader.uxLength = uxLength; in dump_packet()
251 uxStreamBufferAdd( xPacketBuffer, 0u, pucBuffer, uxLength ); in dump_packet()
[all …]
|
| D | tcp_dump_packets.md | 45 .uxLength = 60,
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ParseDNSReply/ |
| D | ParseDNSReply_harness.c | 87 size_t uxLength ) in DNS_SkipNameField() argument
94 __CPROVER_assert( uxLength < CBMC_MAX_OBJECT_SIZE, in DNS_SkipNameField()
96 __CPROVER_assert( uxLength <= NETWORK_BUFFER_SIZE, in DNS_SkipNameField()
105 __CPROVER_assume( index <= uxLength ); in DNS_SkipNameField()
|
| /FreeRTOS-Plus-TCP-v3.1.0/tools/tcp_utilities/include/ |
| D | tcp_dump_packets.h | 93 size_t uxLength,
95 #define iptraceDUMP_PACKET( pucBuffer, uxLength, xIncoming ) \ argument
96 dump_packet( pucBuffer, uxLength, xIncoming )
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 1390 size_t uxLength = sizeof( pcBuffer ); in test_FreeRTOS_strerror_r_Invalid() local
1394 pucResult = FreeRTOS_strerror_r( xErrnum, pcBuffer, uxLength ); in test_FreeRTOS_strerror_r_Invalid()
1405 size_t uxLength = sizeof( pcBuffer ); in test_FreeRTOS_strerror_r_EADDRINUSE() local
1409 pucResult = FreeRTOS_strerror_r( xErrnum, pcBuffer, uxLength ); in test_FreeRTOS_strerror_r_EADDRINUSE()
1420 size_t uxLength = sizeof( pcBuffer ); in test_FreeRTOS_strerror_r_ENOMEM() local
1424 pucResult = FreeRTOS_strerror_r( xErrnum, pcBuffer, uxLength ); in test_FreeRTOS_strerror_r_ENOMEM()
1435 size_t uxLength = sizeof( pcBuffer ); in test_FreeRTOS_strerror_r_EADDRNOTAVAIL() local
1439 pucResult = FreeRTOS_strerror_r( xErrnum, pcBuffer, uxLength ); in test_FreeRTOS_strerror_r_EADDRNOTAVAIL()
1450 size_t uxLength = sizeof( pcBuffer ); in test_FreeRTOS_strerror_r_ENOPROTOOPT() local
1454 pucResult = FreeRTOS_strerror_r( xErrnum, pcBuffer, uxLength ); in test_FreeRTOS_strerror_r_ENOPROTOOPT()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DHCP.c | 767 size_t uxIndex, uxPayloadDataLength, uxLength; in prvProcessDHCPReplies() local
801 uxLength = ( size_t ) pucByte[ uxIndex + 1U ]; in prvProcessDHCPReplies()
804 if( !( ( ( uxIndex + uxLength ) - 1U ) < uxPayloadDataLength ) ) in prvProcessDHCPReplies()
818 if( uxLength >= sizeof( ulParameter ) ) in prvProcessDHCPReplies()
864 uxLength = 0; in prvProcessDHCPReplies()
871 if( uxLength == sizeof( uint32_t ) ) in prvProcessDHCPReplies()
881 if( uxLength >= sizeof( uint32_t ) ) in prvProcessDHCPReplies()
893 if( uxLength >= sizeof( uint32_t ) ) in prvProcessDHCPReplies()
905 if( uxLength == sizeof( uint32_t ) ) in prvProcessDHCPReplies()
927 if( uxLength == sizeof( EP_DHCPData.ulLeaseTime ) ) in prvProcessDHCPReplies()
[all …]
|
| D | FreeRTOS_IP_Utils.c | 1091 size_t uxLength ) in FreeRTOS_strerror_r() argument
1161 ( void ) snprintf( pcBuffer, uxLength, "Errno %d", ( int ) xErrnum ); in FreeRTOS_strerror_r()
1171 ( void ) snprintf( pcBuffer, uxLength, "%s", pcName ); in FreeRTOS_strerror_r()
1174 if( uxLength > 0U ) in FreeRTOS_strerror_r()
1176 pcBuffer[ uxLength - 1U ] = '\0'; in FreeRTOS_strerror_r()
|
| D | FreeRTOS_DNS.c | 710 size_t uxLength; in prvCreateDNSMessage() local
723 uxLength = uxIndex - ( uxStart + 1U ); in prvCreateDNSMessage()
724 pucUDPPayloadBuffer[ uxStart ] = ( uint8_t ) uxLength; in prvCreateDNSMessage()
|
| D | FreeRTOS_IP.c | 1602 size_t uxLength = ( size_t ) pxIPHeader->ucVersionHeaderLength; in prvProcessIPPacket() local
1603 UBaseType_t uxHeaderLength = ( UBaseType_t ) ( ( uxLength & 0x0FU ) << 2 ); in prvProcessIPPacket()
1829 size_t uxLength; in xCheckSizeFields() local
1919 uxLength = ( size_t ) usLength; in xCheckSizeFields()
1920 uxLength -= ( ( uint16_t ) uxIPHeaderLength ); /* normally, minus 20. */ in xCheckSizeFields()
1922 if( ( uxLength < ( ( size_t ) sizeof( UDPHeader_t ) ) ) || in xCheckSizeFields()
1923 ( uxLength > ( ( size_t ) ipconfigNETWORK_MTU - ( size_t ) uxIPHeaderLength ) ) ) in xCheckSizeFields()
|
| D | FreeRTOS_Sockets.c | 2622 size_t uxLength = strlen( pcSource ); in FreeRTOS_EUI48_pton() local
2630 for( uxSourceIndex = 0U; uxSourceIndex <= uxLength; uxSourceIndex++ ) in FreeRTOS_EUI48_pton()
4184 size_t uxLength; in prvTCPCreateStream() local
4213 uxLength = pxSocket->u.xTCP.uxRxStreamSize; in prvTCPCreateStream()
4227 uxLength = pxSocket->u.xTCP.uxTxStreamSize; in prvTCPCreateStream()
4231 uxLength += sizeof( size_t ); in prvTCPCreateStream()
4234 uxLength &= ~( sizeof( size_t ) - 1U ); in prvTCPCreateStream()
4236 uxSize = ( sizeof( *pxBuffer ) + uxLength ) - sizeof( pxBuffer->ucArray ); in prvTCPCreateStream()
4250 pxBuffer->LENGTH = ( size_t ) uxLength; in prvTCPCreateStream()
4254 … bytes (total %u)\n", ( xIsInputStream != 0 ) ? 'R' : 'T', ( unsigned ) uxLength, ( unsigned ) uxS… in prvTCPCreateStream()
|
| D | FreeRTOS_DNS_Parser.c | 176 size_t uxLength ) in DNS_SkipNameField() argument
179 size_t uxSourceLenCpy = uxLength; in DNS_SkipNameField()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/ |
| D | queue_init.h | 62 __CPROVER_assume( xSet->uxMessagesWaiting < xSet->uxLength ); in xUnconstrainedQueueSet()
99 __CPROVER_assume( xQueue->uxMessagesWaiting < xQueue->uxLength ); in xUnconstrainedQueueBoundedItemSize()
137 __CPROVER_assume( xQueue->uxMessagesWaiting < xQueue->uxLength ); in xUnconstrainedQueue()
164 __CPROVER_assume( xQueue->uxMessagesWaiting < xQueue->uxLength ); in xUnconstrainedMutex()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/ |
| D | vSocketWakeUpUser_harness.c | 71 UBaseType_t uxLength; member
110 __CPROVER_assert( !( ( xCopyPosition == queueOVERWRITE ) && ( xQueue->uxLength != 1 ) ), in xQueueGenericSend()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_errno_TCP.h | 96 size_t uxLength );
|
| D | FreeRTOS_DNS_Parser.h | 58 size_t uxLength );
|
| D | IPTraceMacroDefaults.h | 272 #define iptraceDUMP_PACKET( pucBuffer, uxLength, xIncoming ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | NetworkInterface.c | 527 size_t uxLength; in prvNetworkInterfaceInput() local
542 uxLength = ETH_RX_BUF_SIZE; in prvNetworkInterfaceInput()
562 uxLength = uxDataLength; in prvNetworkInterfaceInput()
566 pxBufferDescriptor = pxGetNetworkBufferWithDescriptor( uxLength, 0u ); in prvNetworkInterfaceInput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/DriverSAM/ |
| D | NetworkInterface.c | 157 size_t uxLength );
720 size_t uxLength ) in vGMACGenerateChecksum() argument
734 usGenerateProtocolChecksum( pucBuffer, uxLength, pdTRUE ); in vGMACGenerateChecksum()
|
| D | gmac_SAM.c | 686 size_t uxLength );
|
