Home
last modified time | relevance | path

Searched refs:uxBufferLength (Results 1 – 18 of 18) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/
DFreeRTOS_DNS_Parser_utest.c478 size_t uxBufferLength; in test_DNS_TreatNBNS_success() local
498 size_t uxBufferLength; in test_DNS_TreatNBNS_success_nbns_mask() local
516 size_t uxBufferLength; in test_DNS_TreatNBNS_success_nbns_query_trailing_space() local
541 size_t uxBufferLength; in test_DNS_TreatNBNS_success_nbns_query() local
566 size_t uxBufferLength = 300; in test_DNS_TreatNBNS_success_nbns_query_network_buffer_null() local
578 uxBufferLength, in test_DNS_TreatNBNS_success_nbns_query_network_buffer_null()
590 size_t uxBufferLength = 300; in test_DNS_TreatNBNS_success_nbns_non_fixed_size_buffer() local
613 uxBufferLength, in test_DNS_TreatNBNS_success_nbns_non_fixed_size_buffer()
625 size_t uxBufferLength = 300; in test_DNS_TreatNBNS_success_nbns_non_fixed_size_buffer2() local
650 uxBufferLength, in test_DNS_TreatNBNS_success_nbns_non_fixed_size_buffer2()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ParseDNSReply/
DParseDNSReply_harness.c29 size_t uxBufferLength,
116 size_t uxBufferLength; in harness() local
118 uint8_t * pucUDPPayloadBuffer = malloc( uxBufferLength ); in harness()
123 __CPROVER_assume( uxBufferLength < CBMC_MAX_OBJECT_SIZE ); in harness()
124 __CPROVER_assume( uxBufferLength <= NETWORK_BUFFER_SIZE ); in harness()
128 uxBufferLength, in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DFreeRTOS_IP_DiffConfig_utest.c602 size_t uxBufferLength = 0; in test_xCheckSizeFields_BufferLengthLess() local
627 uxBufferLength = i; in test_xCheckSizeFields_BufferLengthLess()
628 xReturn = xCheckSizeFields( ucEthBuffer, uxBufferLength ); in test_xCheckSizeFields_BufferLengthLess()
637 size_t uxBufferLength = sizeof( IPPacket_t ); in test_xCheckSizeFields_HeaderLengthLess() local
661 xReturn = xCheckSizeFields( ucEthBuffer, uxBufferLength ); in test_xCheckSizeFields_HeaderLengthLess()
669 size_t uxBufferLength = sizeof( IPPacket_t ); in test_xCheckSizeFields_HeaderLengthMore() local
693 xReturn = xCheckSizeFields( ucEthBuffer, uxBufferLength ); in test_xCheckSizeFields_HeaderLengthMore()
701 size_t uxBufferLength; in test_xCheckSizeFields_HeaderLengthMoreThanTotalLength() local
725 uxBufferLength = ( ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ); in test_xCheckSizeFields_HeaderLengthMoreThanTotalLength()
727 xReturn = xCheckSizeFields( ucEthBuffer, uxBufferLength ); in test_xCheckSizeFields_HeaderLengthMoreThanTotalLength()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/
DFreeRTOS_IP_Utils_utest.c359 size_t uxBufferLength = ipconfigTCP_MSS; in test_usGenerateProtocolChecksum_AllZeroedInput() local
364 usReturn = usGenerateProtocolChecksum( pucEthernetBuffer, uxBufferLength, xOutgoingPacket ); in test_usGenerateProtocolChecksum_AllZeroedInput()
373 size_t uxBufferLength = sizeof( IPPacket_t ) - 1; in test_usGenerateProtocolChecksum_InvalidLength() local
378 usReturn = usGenerateProtocolChecksum( pucEthernetBuffer, uxBufferLength, xOutgoingPacket ); in test_usGenerateProtocolChecksum_InvalidLength()
387 size_t uxBufferLength = sizeof( IPPacket_t ); in test_usGenerateProtocolChecksum_InvalidLength2() local
397 usReturn = usGenerateProtocolChecksum( pucEthernetBuffer, uxBufferLength, xOutgoingPacket ); in test_usGenerateProtocolChecksum_InvalidLength2()
410 size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + usLength - 1; in test_usGenerateProtocolChecksum_InvalidLength3() local
419 usReturn = usGenerateProtocolChecksum( pucEthernetBuffer, uxBufferLength, xOutgoingPacket ); in test_usGenerateProtocolChecksum_InvalidLength3()
432 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER; in test_usGenerateProtocolChecksum_UDPWrongCRCIncomingPacket() local
443 usReturn = usGenerateProtocolChecksum( pucEthernetBuffer, uxBufferLength, xOutgoingPacket ); in test_usGenerateProtocolChecksum_UDPWrongCRCIncomingPacket()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_UDP_API_utest.c138 size_t uxBufferLength; in test_FreeRTOS_recvfrom_NullSocket() local
143 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NullSocket()
157 size_t uxBufferLength; in test_FreeRTOS_recvfrom_TCPSocket() local
168 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_TCPSocket()
182 size_t uxBufferLength; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() local
197 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
211 size_t uxBufferLength; in test_FreeRTOS_recvfrom_NonBlocking() local
226 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlocking()
240 size_t uxBufferLength; in test_FreeRTOS_recvfrom_NonBlockingFlagSet() local
254 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
[all …]
DFreeRTOS_Sockets_TCP_API_utest.c368 size_t uxBufferLength = 1500; in test_FreeRTOS_recv_InvalidValues() local
375 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
379 xReturn = FreeRTOS_recv( NULL, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
385 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
391 xReturn = FreeRTOS_recv( &xSocket, NULL, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
403 size_t uxBufferLength = 1500; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
410 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_NotConnectedAndNoMemory()
418 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_NotConnectedAndNoMemory()
430 size_t uxBufferLength = 1500; in test_FreeRTOS_recv_EstablishedConnection_NoWait() local
441 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_EstablishedConnection_NoWait()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DNS_Parser.h66 size_t uxBufferLength,
78 size_t uxBufferLength,
DFreeRTOS_Sockets.h242 size_t uxBufferLength,
311 size_t uxBufferLength,
DFreeRTOS_IP_Private.h736 size_t uxBufferLength,
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
DTCPReturnPacket_harness.c75 size_t uxBufferLength, in usGenerateProtocolChecksum() argument
79 …__CPROVER_assert( __CPROVER_r_ok( pucEthernetBuffer, uxBufferLength ), "pucEthernetBuffer should b… in usGenerateProtocolChecksum()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_IP_Utils.c448 size_t uxBufferLength, in usGenerateProtocolChecksum() argument
471 if( uxBufferLength < sizeof( IPPacket_t ) ) in usGenerateProtocolChecksum()
492 … if( uxBufferLength < ( sizeof( IPPacket_t ) + ( uxIPHeaderLength - ipSIZE_OF_IPv4_HEADER ) ) ) in usGenerateProtocolChecksum()
509 if( uxBufferLength < ( size_t ) ( ipSIZE_OF_ETH_HEADER + ( size_t ) usLength ) ) in usGenerateProtocolChecksum()
533 … if( uxBufferLength < ( uxIPHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER ) ) in usGenerateProtocolChecksum()
558 … if( uxBufferLength < ( uxIPHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER ) ) in usGenerateProtocolChecksum()
584 … if( uxBufferLength < ( uxIPHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_ICMP_HEADER ) ) in usGenerateProtocolChecksum()
DFreeRTOS_DNS_Parser.c254 size_t uxBufferLength, in DNS_ParseDNSReply() argument
279 if( uxBufferLength < sizeof( DNSMessage_t ) ) in DNS_ParseDNSReply()
285 uxSourceBytesRemaining = uxBufferLength; in DNS_ParseDNSReply()
418 size_t uxDataLength = uxBufferLength + in DNS_ParseDNSReply()
802 size_t uxBufferLength, in DNS_TreatNBNS() argument
DFreeRTOS_IP.c170 size_t uxBufferLength );
1827 size_t uxBufferLength ) in xCheckSizeFields() argument
1843 if( uxBufferLength < sizeof( IPPacket_t ) ) in xCheckSizeFields()
1872 if( uxBufferLength < ( ipSIZE_OF_ETH_HEADER + uxIPHeaderLength ) ) in xCheckSizeFields()
1882 if( uxBufferLength < ( size_t ) ( ipSIZE_OF_ETH_HEADER + ( size_t ) usLength ) ) in xCheckSizeFields()
1913 if( uxBufferLength < uxMinimumLength ) in xCheckSizeFields()
DFreeRTOS_Sockets.c847 size_t uxBufferLength, in FreeRTOS_recvfrom() argument
979 if( lReturn > ( int32_t ) uxBufferLength ) in FreeRTOS_recvfrom()
981 iptraceRECVFROM_DISCARDING_BYTES( ( uxBufferLength - lReturn ) ); in FreeRTOS_recvfrom()
982 lReturn = ( int32_t ) uxBufferLength; in FreeRTOS_recvfrom()
3335 size_t uxBufferLength, in FreeRTOS_recv() argument
3497 ( size_t ) uxBufferLength, in FreeRTOS_recv()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
DvProcessGeneratedUDPPacket_harness.c40 size_t uxBufferLength, in usGenerateProtocolChecksum() argument
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessIPPacket/
DProcessIPPacket_harness.c48 size_t uxBufferLength, in usGenerateProtocolChecksum() argument
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/
DFreeRTOS_DHCP_utest.c72 size_t uxBufferLength, in RecvFromStub() argument
122 size_t uxBufferLength, in FreeRTOS_recvfrom_Generic() argument
138 size_t uxBufferLength, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout() argument
156 … size_t uxBufferLength, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout() argument
174 … size_t uxBufferLength, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseOpcodeNoTimeout() argument
194 … size_t uxBufferLength, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsCorrectCookieAndOpcodeNoTimeout() argument
216 size_t uxBufferLength, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccessCorrectTxID() argument
240 … size_t uxBufferLength, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrType() argument
266 size_t uxBufferLength, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrLen() argument
295 size_t uxBufferLength, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_LocalHostAddr() argument
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c121 size_t uxBufferLength, in FreeRTOS_recvfrom() argument