| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.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 | plus_tcp_demo_cli.c | 190 size_t uxLength, in can_handle() argument
195 if( strncmp( pcBuffer, pcCommand, uxLength ) == 0 ) in can_handle()
197 phandler( pcBuffer + uxLength ); in can_handle()
418 size_t uxLength = strlen( pcBuffer ); in handle_udp() local
433 char * pcCopy = ( char * ) pvPortMalloc( uxLength + 3 ); in handle_udp()
437 memcpy( pcCopy, pcBuffer, uxLength ); in handle_udp()
438 pcCopy[ uxLength + 0 ] = '\r'; in handle_udp()
439 pcCopy[ uxLength + 1 ] = '\n'; in handle_udp()
440 pcCopy[ uxLength + 2 ] = 0; in handle_udp()
443 uxLength + 2, in handle_udp()
[all …]
|
| D | http_client_test.c | 464 size_t uxLength; in prvEchoClientTask() local
466 …uxLength = snprintf( pcBuffer, sizeof( pcBuffer ), get_command, pcFileNames[ uxInstance ], pcHostn… in prvEchoClientTask()
469 … uxLength, /* The length of the data being sent. */ in prvEchoClientTask()
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/tools/tcp_utilities/include/ |
| D | tcp_dump_packets.h | 81 size_t uxLength,
83 #define iptraceDUMP_PACKET( pucBuffer, uxLength, xIncoming ) \ argument
84 dump_packet( pucBuffer, uxLength, xIncoming )
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IPv4.c | 75 size_t uxLength; in xCheckIPv4SizeFields() local
160 uxLength = ( size_t ) usLength; in xCheckIPv4SizeFields()
161 uxLength -= ( ( uint16_t ) uxIPHeaderLength ); /* normally, minus 20. */ in xCheckIPv4SizeFields()
163 if( ( uxLength < ( ( size_t ) sizeof( UDPHeader_t ) ) ) || in xCheckIPv4SizeFields()
164 ( uxLength > ( ( size_t ) ipconfigNETWORK_MTU - ( size_t ) uxIPHeaderLength ) ) ) in xCheckIPv4SizeFields()
438 size_t uxLength = ( size_t ) pxIPHeader->ucVersionHeaderLength; in prvCheckIP4HeaderOptions() local
443 size_t uxHeaderLength = ( size_t ) ( ( uxLength & 0x0FU ) << 2 ); in prvCheckIP4HeaderOptions()
|
| D | FreeRTOS_DHCPv6.c | 261 static BaseType_t prvDHCPv6_handleStatusCode( size_t uxLength, in prvDHCPv6_handleStatusCode() argument
269 size_t uxReadLength = uxLength - 2U; in prvDHCPv6_handleStatusCode()
284 if( uxLength > uxReadLength + 2U ) in prvDHCPv6_handleStatusCode()
286 uxReadLength = uxLength - ( uxReadLength + 2U ); in prvDHCPv6_handleStatusCode()
339 if( pxIterator->pxDHCPMessage->xServerID.uxLength > DHCPv6_MAX_CLIENT_SERVER_ID_LENGTH ) in xDHCPv6Process_PassReplyToEndPoint()
345 … ( xDHCPMessage.xServerID.uxLength != pxIterator->pxDHCPMessage->xServerID.uxLength ) || in xDHCPv6Process_PassReplyToEndPoint()
346 …xIterator->pxDHCPMessage->xServerID.pucID, pxIterator->pxDHCPMessage->xServerID.uxLength ) != 0 ) ) in xDHCPv6Process_PassReplyToEndPoint()
428 size_t uxLength; in vDHCPv6Process() local
448 uxLength = ( size_t ) lBytes; in vDHCPv6Process()
450 xResult = prvDHCPv6Analyse( pxEndPoint, pucUDPPayload, uxLength, &( xDHCPMessage ) ); in vDHCPv6Process()
[all …]
|
| D | FreeRTOS_DHCP.c | 990 pxSet->uxLength = 0; in vProcessHandleOption()
997 if( pxSet->uxLength == sizeof( uint32_t ) ) in vProcessHandleOption()
1007 if( pxSet->uxLength >= sizeof( uint32_t ) ) in vProcessHandleOption()
1021 if( pxSet->uxLength >= sizeof( uint32_t ) ) in vProcessHandleOption()
1025 size_t uxDNSCount = pxSet->uxLength / sizeof( uint32_t ); in vProcessHandleOption()
1066 if( pxSet->uxLength == sizeof( uint32_t ) ) in vProcessHandleOption()
1088 if( pxSet->uxLength == sizeof( EP_DHCPData.ulLeaseTime ) ) in vProcessHandleOption()
1188 pxSet->uxLength = ( size_t ) pxSet->pucByte[ pxSet->uxIndex + 1U ]; in xProcessCheckOption()
1191 if( !( ( ( pxSet->uxIndex + pxSet->uxLength ) - 1U ) < pxSet->uxPayloadDataLength ) ) in xProcessCheckOption()
1199 if( pxSet->uxLength >= sizeof( pxSet->ulParameter ) ) in xProcessCheckOption()
[all …]
|
| D | FreeRTOS_IPv6.c | 407 size_t uxLength = uxPrefixLength / 8U; in xCompareIPv6_Address() local
411 if( uxLength > 0U ) in xCompareIPv6_Address()
413 xResult = memcmp( pxLeft->ucBytes, pxRight->ucBytes, uxLength ); in xCompareIPv6_Address()
424 … if( ( pxLeft->ucBytes[ uxLength ] & ucNetMask ) != ( pxRight->ucBytes[ uxLength ] & ucNetMask ) ) in xCompareIPv6_Address()
|
| D | FreeRTOS_IPv6_Sockets.c | 348 socklen_t uxLength; in prv_ntop6_write_short() local
371 uxLength = uxHexPrintShort( &( pcDestination[ pxSet->uxTargetIndex ] ), in prv_ntop6_write_short()
376 pxSet->uxTargetIndex += uxLength; in prv_ntop6_write_short()
|
| D | FreeRTOS_RA.c | 281 size_t uxLength = uxPrefixLength * 8U; in vReceiveRA_ReadReply() local
290 if( uxLast < ( uxIndex + uxLength ) ) in vReceiveRA_ReadReply()
292 …rintf( ( "RA: Not enough bytes ( %u > %u )\n", ( unsigned ) ( uxIndex + uxLength ), ( unsigned ) u… in vReceiveRA_ReadReply()
343 uxIndex = uxIndex + uxLength; in vReceiveRA_ReadReply()
|
| D | FreeRTOS_DNS.c | 617 size_t uxLength = strlen( pcHostName ) + 1U; in prvPrepareLookup() local
619 if( uxLength <= ipconfigDNS_CACHE_NAME_LENGTH ) in prvPrepareLookup()
627 ( unsigned ) uxLength, in prvPrepareLookup()
1531 size_t uxLength; in prvCreateDNSMessage() local
1544 uxLength = uxIndex - ( uxStart + 1U ); in prvCreateDNSMessage()
1545 pucUDPPayloadBuffer[ uxStart ] = ( uint8_t ) uxLength; in prvCreateDNSMessage()
|
| D | FreeRTOS_IP_Utils.c | 1475 size_t uxLength ) in FreeRTOS_strerror_r() argument
1551 ( void ) snprintf( pcBuffer, uxLength, "Errno 0x%lx", xErrnum ); in FreeRTOS_strerror_r()
1561 ( void ) snprintf( pcBuffer, uxLength, "%s", pcName ); in FreeRTOS_strerror_r()
1564 if( uxLength > 0U ) in FreeRTOS_strerror_r()
1566 pcBuffer[ uxLength - 1U ] = '\0'; in FreeRTOS_strerror_r()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/ |
| D | DHCPv6HandleOption_harness.c | 52 BaseType_t __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_handleStatusCode( size_t uxLength, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_handleStatusCode() argument
57 __CPROVER_assume( uxLength <= 2 && uxLength >= 50 ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_handleStatusCode()
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 2364 size_t uxLength = sizeof( pcBuffer ); in test_FreeRTOS_strerror_r_Invalid() local
2368 pucResult = FreeRTOS_strerror_r( xErrnum, pcBuffer, uxLength ); in test_FreeRTOS_strerror_r_Invalid()
2383 size_t uxLength = sizeof( pcBuffer ); in test_FreeRTOS_strerror_r_EADDRINUSE() local
2387 pucResult = FreeRTOS_strerror_r( xErrnum, pcBuffer, uxLength ); in test_FreeRTOS_strerror_r_EADDRINUSE()
2402 size_t uxLength = sizeof( pcBuffer ); in test_FreeRTOS_strerror_r_ENOMEM() local
2406 pucResult = FreeRTOS_strerror_r( xErrnum, pcBuffer, uxLength ); in test_FreeRTOS_strerror_r_ENOMEM()
2421 size_t uxLength = sizeof( pcBuffer ); in test_FreeRTOS_strerror_r_EADDRNOTAVAIL() local
2425 pucResult = FreeRTOS_strerror_r( xErrnum, pcBuffer, uxLength ); in test_FreeRTOS_strerror_r_EADDRNOTAVAIL()
2440 size_t uxLength = sizeof( pcBuffer ); in test_FreeRTOS_strerror_r_ENOPROTOOPT() local
2444 pucResult = FreeRTOS_strerror_r( xErrnum, pcBuffer, uxLength ); in test_FreeRTOS_strerror_r_ENOPROTOOPT()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/source/include/ |
| D | FreeRTOS_DNS_Parser.h | 56 size_t uxLength );
|
| D | FreeRTOS_errno_TCP.h | 96 size_t uxLength );
|
| D | FreeRTOS_DHCPv6.h | 113 …size_t uxLength; /**< The number of valid bytes within 'pucID'… member
|
| D | IPTraceMacroDefaults.h | 292 #define iptraceDUMP_PACKET( pucBuffer, uxLength, xIncoming ) argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
| D | NetworkInterface.c | 405 size_t uxLength; in xDesiredAdapter() local
411 uxLength = strlen( pcDescription ); in xDesiredAdapter()
413 if( uxKeyLength <= uxLength ) in xDesiredAdapter()
415 … for( uxIndex = 0U; ( uxIndex <= uxLength - uxKeyLength ) && ( xMatchFound == 0 ); uxIndex++ ) in xDesiredAdapter()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | NetworkInterface.c | 712 size_t uxLength; in prvNetworkInterfaceInput() local
727 uxLength = ETH_RX_BUF_SIZE; in prvNetworkInterfaceInput()
747 uxLength = uxDataLength; in prvNetworkInterfaceInput()
751 pxBufferDescriptor = pxGetNetworkBufferWithDescriptor( uxLength, 0u ); in prvNetworkInterfaceInput()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/DriverSAM/ |
| D | NetworkInterface.c | 164 size_t uxLength );
909 size_t uxLength ) in vGMACGenerateChecksum() argument
931 usGenerateProtocolChecksum( pucBuffer, uxLength, pdTRUE ); in vGMACGenerateChecksum()
945 usGenerateProtocolChecksum( pucBuffer, uxLength, pdTRUE ); in vGMACGenerateChecksum()
|
