/FreeRTOS-Plus-TCP-v4.0.0/source/ |
D | FreeRTOS_TCP_State_Handling.c | 311 …rmediateResult = ( uint8_t ) ( uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + pxTCPWind… in prvTCPHandleFin() 315 …pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + pxTCPWindow->ucOptionLength ) <<… in prvTCPHandleFin() 392 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvHandleSynReceived() 395 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvHandleSynReceived() 458 …ntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ( size_t ) ipSIZE_OF_TCP_HEADER + uxOptions… in prvHandleSynReceived() 460 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvHandleSynReceived() 644 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvHandleEstablished() 647 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvHandleEstablished() 820 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvTCPHandleState() 826 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvTCPHandleState()
|
D | FreeRTOS_TCP_Transmission.c | 159 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvTCPSendPacket() 166 …pxProtocolHeaders->xTCPHeader.ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength… in prvTCPSendPacket() 421 …uint32_t ulDataLen = ( uint32_t ) ( ulLen - ( ipSIZE_OF_TCP_HEADER + uxIPHeaderSizeSocket( pxSocke… in prvTCPReturn_SetSequenceNumber() 654 …eeded = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptions… in prvTCPBufferResize() 708 …e_t ) ( ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptions… in prvTCPBufferResize() 873 …Buffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptions… in prvTCPPrepareSend() 999 …pxProtocolHeaders->xTCPHeader.ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength… in prvTCPPrepareSend() 1008 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvTCPPrepareSend() 1111 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvSetOptions() 1131 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvSetOptions() [all …]
|
D | FreeRTOS_TCP_IP_IPv4.c | 129 …ength < ( ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( pxNetworkBuffer ) + ipSIZE_OF_TCP_HEADER ) ) in xProcessReceivedTCPPacket_IPV4() 272 ipSIZE_OF_TCP_HEADER ); in xProcessReceivedTCPPacket_IPV4()
|
D | FreeRTOS_TCP_IP_IPv6.c | 124 …ength < ( ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( pxNetworkBuffer ) + ipSIZE_OF_TCP_HEADER ) ) in xProcessReceivedTCPPacket_IPV6() 265 ipSIZE_OF_TCP_HEADER ); in xProcessReceivedTCPPacket_IPV6()
|
D | FreeRTOS_TCP_Transmission_IPv4.c | 485 ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER; /* Plus 0 options. */ in prvTCPSendSpecialPktHelper_IPV4() 489 pxTCPPacket->xTCPHeader.ucTCPOffset = ( ipSIZE_OF_TCP_HEADER ) << 2; in prvTCPSendSpecialPktHelper_IPV4()
|
D | FreeRTOS_IP_Utils.c | 414 if( ( pxSet->usProtocolBytes < ipSIZE_OF_TCP_HEADER ) || in prvChecksumProtocolChecks() 415 … ( uxBufferLength < ( ipSIZE_OF_ETH_HEADER + pxSet->uxIPHeaderLength + ipSIZE_OF_TCP_HEADER ) ) ) in prvChecksumProtocolChecks() 435 pxSet->uxProtocolHeaderLength = ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvChecksumProtocolChecks() 974 … configASSERT( uxSize >= ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER + ipconfigTCP_MSS ) ); in vPreCheckConfigs()
|
D | FreeRTOS_TCP_IP.c | 184 … ( unsigned ) ( uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER ) ) ); in xTCPSocketCheck() 187 …P.pxAckMessage, ( uint32_t ) ( uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER ), ipconfig… in xTCPSocketCheck()
|
D | FreeRTOS_TCP_Transmission_IPv6.c | 508 ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_TCP_HEADER; /* Plus 0 options. */ in prvTCPSendSpecialPktHelper_IPV6() 512 pxTCPPacket->xTCPHeader.ucTCPOffset = ( ipSIZE_OF_TCP_HEADER ) << 2; in prvTCPSendSpecialPktHelper_IPV6()
|
D | FreeRTOS_IPv4.c | 140 uxMinimumLength = uxIPHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER; in xCheckIPv4SizeFields()
|
D | FreeRTOS_TCP_Reception.c | 111 size_t uxOptionOffset = uxTCPHeaderOffset + ipSIZE_OF_TCP_HEADER; in prvCheckOptions()
|
D | FreeRTOS_IPv6.c | 172 …umLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxExtHeaderLength + ipSIZE_OF_TCP_HEADER; in xCheckIPv6SizeFields()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Utils/ |
D | FreeRTOS_IPv4_Utils_utest.c | 160 uint16_t usLength = ucVersionHeaderLength + ipSIZE_OF_TCP_HEADER; in test_prvChecksumIPv4Checks_BufferLessIPPayloadLength() 187 uint16_t usLength = ucVersionHeaderLength + ipSIZE_OF_TCP_HEADER; in test_prvChecksumIPv4Checks_Pass() 204 TEST_ASSERT_EQUAL( ipSIZE_OF_TCP_HEADER, xSet.usProtocolBytes ); in test_prvChecksumIPv4Checks_Pass()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
D | TCPReturnPacket_harness.c | 176 __CPROVER_assume( ( ulLen >= ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ) && in harness() 177 … ( ulLen <= ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER + 40 /* Maximum option bytes. */ ) ); in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/ |
D | TCPReturnPacket_IPv6_harness.c | 175 __CPROVER_assume( ( ulLen >= ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_TCP_HEADER ) && in harness() 176 … ( ulLen <= ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_TCP_HEADER + 40 /* Maximum option bytes. */ ) ); in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
D | FreeRTOS_TCP_IP_DiffConfig_utest.c | 104 …t( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER, ipconfigZE… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IP/ |
D | FreeRTOS_UDP_IP_utest.c | 72 …efine ipconfigTCP_MSS ( ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ) )
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
D | FreeRTOS_TCP_Transmission_IPv6_utest.c | 575 TEST_ASSERT_EQUAL( ( ipSIZE_OF_TCP_HEADER ) << 2, pxTCPPacket->xTCPHeader.ucTCPOffset ); in test_prvTCPSendSpecialPktHelper_IPV6() 597 TEST_ASSERT_EQUAL( ( ipSIZE_OF_TCP_HEADER ) << 2, pxTCPPacket->xTCPHeader.ucTCPOffset ); in test_prvTCPSendSpecialPktHelper_IPV6_Syn()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
D | FreeRTOS_IP.h | 64 #define ipSIZE_OF_TCP_HEADER 20U macro
|
D | FreeRTOSIPConfigDefaults.h | 674 …efine ipconfigTCP_MSS ( ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ) )
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/ |
D | FreeRTOS_IPv6_Utils_utest.c | 57 …ine ipconfigTCPv6_MSS ( ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_TCP_HEADER ) )
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
D | FreeRTOS_IP_Utils_utest.c | 1219 size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ucVersionHeaderLength + ipSIZE_OF_TCP_HEADER - 1; in test_usGenerateProtocolChecksum_TCPLessBufferSize_OutgoingPacket() 1292 uint16_t usLength = ucVersionHeaderLength + ipSIZE_OF_TCP_HEADER - 1; in test_usGenerateProtocolChecksum_TCPLessBufferSize() 1293 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER - 1; in test_usGenerateProtocolChecksum_TCPLessBufferSize() 1330 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER; in test_usGenerateProtocolChecksum_TCPLessHeaderLength()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig1/ |
D | FreeRTOS_IPv4_DiffConfig1_utest.c | 381 …xIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER - 1; in test_prvAllowIPPacketIPv4_TCP_IncorrectPacketLen()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/ |
D | FreeRTOS_TCP_IP_utest.c | 278 …t( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER, ipconfigZE… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1() 354 …t( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER, ipconfigZE… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout() 391 …t( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER, ipconfigZE… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout_NoLogPort()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_IPv6/ |
D | FreeRTOS_Sockets_IPv6_utest.c | 93 …efine ipconfigTCP_MSS ( ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ) )
|