| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_TCP_IP.h | 165 #define xIPHeaderSize( pxNetworkBuffer ) ( ipSIZE_OF_IPv4_HEADER ) /**< Size of IP Head… 166 #define uxIPHeaderSizeSocket( pxSocket ) ( ipSIZE_OF_IPv4_HEADER ) /**< Size of IP Head…
|
| D | FreeRTOS_IP.h | 59 #define ipSIZE_OF_IPv4_HEADER 20U macro 415 #define ipSIZE_OF_IP_HEADER ipSIZE_OF_IPv4_HEADER
|
| D | FreeRTOSIPConfigDefaults.h | 643 …#define ipconfigTCP_MSS ( ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER …
|
| D | FreeRTOS_IP_Private.h | 239 #define ipMAX_UDP_PAYLOAD_LENGTH ( ( ipconfigNETWORK_MTU - ipSIZE_OF_IPv4_HEADER ) - ipSIZE_OF_U…
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 509 …k = ( ProtocolPacket_t * ) &( pucEthernetBuffer[ ucVersionHeaderLength - ipSIZE_OF_IPv4_HEADER ] ); in test_usGenerateProtocolChecksum_UDPNonZeroChecksum() 541 …k = ( ProtocolPacket_t * ) &( pucEthernetBuffer[ ucVersionHeaderLength - ipSIZE_OF_IPv4_HEADER ] ); in test_usGenerateProtocolChecksum_UDPCorrectCRCOutgoingPacket() 571 …k = ( ProtocolPacket_t * ) &( pucEthernetBuffer[ ucVersionHeaderLength - ipSIZE_OF_IPv4_HEADER ] ); in test_usGenerateProtocolChecksum_UDPCorrectCRC() 601 …k = ( ProtocolPacket_t * ) &( pucEthernetBuffer[ ucVersionHeaderLength - ipSIZE_OF_IPv4_HEADER ] ); in test_usGenerateProtocolChecksum_UDPIncorrectCRC() 630 …k = ( ProtocolPacket_t * ) &( pucEthernetBuffer[ ucVersionHeaderLength - ipSIZE_OF_IPv4_HEADER ] ); in test_usGenerateProtocolChecksum_TCPCorrectCRC() 663 …k = ( ProtocolPacket_t * ) &( pucEthernetBuffer[ ucVersionHeaderLength - ipSIZE_OF_IPv4_HEADER ] ); in test_usGenerateProtocolChecksum_TCPCorrectCRCOutgoingPacket() 693 …k = ( ProtocolPacket_t * ) &( pucEthernetBuffer[ ucVersionHeaderLength - ipSIZE_OF_IPv4_HEADER ] ); in test_usGenerateProtocolChecksum_TCPCorrectCRC_IncomingPacket() 722 …k = ( ProtocolPacket_t * ) &( pucEthernetBuffer[ ucVersionHeaderLength - ipSIZE_OF_IPv4_HEADER ] ); in test_usGenerateProtocolChecksum_TCPIncorrectCRC_IncomingPacket() 751 …k = ( ProtocolPacket_t * ) &( pucEthernetBuffer[ ucVersionHeaderLength - ipSIZE_OF_IPv4_HEADER ] ); in test_usGenerateProtocolChecksum_TCPInvalidLength() 780 …k = ( ProtocolPacket_t * ) &( pucEthernetBuffer[ ucVersionHeaderLength - ipSIZE_OF_IPv4_HEADER ] ); in test_usGenerateProtocolChecksum_TCPInvalidLength2() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 120 __CPROVER_assume( ( ulLen >= ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ) && in harness() 121 … ( ulLen <= ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER + 40 /* Maximum option bytes. */ ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_ICMP.c | 172 …enerateChecksum( 0U, ( uint8_t * ) &( pxIPHeader->ucVersionHeaderLength ), ipSIZE_OF_IPv4_HEADER ); in prvProcessICMPEchoRequest() 211 usDataLength = ( uint16_t ) ( ( ( uint32_t ) usDataLength ) - ipSIZE_OF_IPv4_HEADER ); in prvProcessICMPEchoReply()
|
| D | FreeRTOS_IP.c | 1554 …olPacket_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ uxHeaderLength - ipSIZE_OF_IPv4_HEADER ] ) ); in prvAllowIPPacket() 1610 ( uxHeaderLength < ipSIZE_OF_IPv4_HEADER ) ) in prvProcessIPPacket() 1627 if( uxHeaderLength > ipSIZE_OF_IPv4_HEADER ) in prvProcessIPPacket() 1635 const size_t optlen = ( ( size_t ) uxHeaderLength ) - ipSIZE_OF_IPv4_HEADER; in prvProcessIPPacket() 1639 … * ) &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( EthernetHeader_t ) + ipSIZE_OF_IPv4_HEADER ] ); in prvProcessIPPacket() 1641 …const size_t xMoveLen = pxNetworkBuffer->xDataLength - ( optlen + ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in prvProcessIPPacket() 1649 … ( ( ipSIZE_OF_IPv4_HEADER >> 2 ) & 0x0FU ); in prvProcessIPPacket() 1733 … else if( usLength > ( FreeRTOS_ntohs( pxIPHeader->usLength ) - ipSIZE_OF_IPv4_HEADER ) ) in prvProcessIPPacket()
|
| D | FreeRTOS_DNS_Parser.c | 750 ipSIZE_OF_IPv4_HEADER + in prepareReplyDNSMessage() 772 …uxDataLength = ( ( size_t ) lNetLength ) + ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER + ipSIZE_O… in prepareReplyDNSMessage() 778 …enerateChecksum( 0U, ( uint8_t * ) &( pxIPHeader->ucVersionHeaderLength ), ipSIZE_OF_IPv4_HEADER ); in prepareReplyDNSMessage()
|
| D | FreeRTOS_IP_Utils.c | 409 … configASSERT( uxSize >= ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER + ipconfigTCP_MSS ) ); in vPreCheckConfigs() 492 … if( uxBufferLength < ( sizeof( IPPacket_t ) + ( uxIPHeaderLength - ipSIZE_OF_IPv4_HEADER ) ) ) in usGenerateProtocolChecksum() 528 …ck = ( ( ProtocolPacket_t * ) &( pucEthernetBuffer[ uxIPHeaderLength - ipSIZE_OF_IPv4_HEADER ] ) ); in usGenerateProtocolChecksum()
|
| D | FreeRTOS_TCP_Transmission.c | 149 const UBaseType_t uxHeaderSize = ipSIZE_OF_IPv4_HEADER; in prvTCPSendPacket() 406 … uint32_t ulDataLen = ( uint32_t ) ( ulLen - ( ipSIZE_OF_TCP_HEADER + ipSIZE_OF_IPv4_HEADER ) ); in prvTCPReturnPacket() 470 …enerateChecksum( 0U, ( uint8_t * ) &( pxIPHeader->ucVersionHeaderLength ), ipSIZE_OF_IPv4_HEADER ); in prvTCPReturnPacket() 1316 size_t uxSize = ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER; in prvSendData() 1465 ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ); /* Plus 0 options. */ in prvTCPSendSpecialPacketHelper()
|
| D | FreeRTOS_TCP_IP.c | 199 … ( unsigned ) ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ) ) ); in xTCPSocketCheck() 202 …prvTCPReturnPacket( pxSocket, pxSocket->u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP… in xTCPSocketCheck()
|
| D | FreeRTOS_UDP_IP.c | 231 …enerateChecksum( 0U, ( uint8_t * ) &( pxIPHeader->ucVersionHeaderLength ), ipSIZE_OF_IPv4_HEADER ); in vProcessGeneratedUDPPacket()
|
| D | FreeRTOS_TCP_Reception.c | 446 const size_t xIPHeaderLength = ipSIZE_OF_IPv4_HEADER; in prvCheckRxData()
|
| D | FreeRTOS_DNS.c | 358 ipSIZE_OF_IPv4_HEADER + in prvGetPayloadBuffer()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/ |
| D | FreeRTOS_ICMP_utest.c | 172 …pxICMPPacket->xIPHeader.usLength = FreeRTOS_htons( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_ICMP_HEADER ); in test_ProcessICMPPacket_ICMPEchoReply_NULLData() 200 …pxICMPPacket->xIPHeader.usLength = FreeRTOS_htons( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_ICMP_HEADER +… in test_ProcessICMPPacket_ICMPEchoReply_ProperData() 232 …pxICMPPacket->xIPHeader.usLength = FreeRTOS_htons( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_ICMP_HEADER +… in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
| D | FreeRTOS_TCP_IP_DiffConfig_utest.c | 103 …prvTCPReturnPacket_Expect( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 517 uxHeaderLength = ipSIZE_OF_IPv4_HEADER; in test_prvAllowIPPacket_UDP_HappyPath() 518 …olPacket_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ uxHeaderLength - ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvAllowIPPacket_UDP_HappyPath() 533 UBaseType_t uxHeaderLength = ipSIZE_OF_IPv4_HEADER; in test_prvAllowIPPacket_TCP_HappyPath()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ATSAM4E/ |
| D | NetworkInterface.c | 430 …enerateChecksum( 0U, ( uint8_t * ) &( pxIPHeader->ucVersionHeaderLength ), ipSIZE_OF_IPv4_HEADER ); in vGMACGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | FreeRTOS_UDP_IP_utest.c | 240 usGenerateChecksum_ExpectAndReturn( 0U, NULL, ipSIZE_OF_IPv4_HEADER, 0 ); in test_vProcessGeneratedUDPPacket_CacheHit_NoICMP() 280 usGenerateChecksum_ExpectAndReturn( 0U, NULL, ipSIZE_OF_IPv4_HEADER, 0 ); in test_vProcessGeneratedUDPPacket_CacheHit_ICMPPacket_LLMNR_UDPChkSumOption()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/DriverSAM/ |
| D | NetworkInterface.c | 730 …enerateChecksum( 0U, ( uint8_t * ) &( pxIPHeader->ucVersionHeaderLength ), ipSIZE_OF_IPv4_HEADER ); in vGMACGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | FreeRTOS_TCP_IP_utest.c | 253 …prvTCPReturnPacket_Expect( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1() 319 …prvTCPReturnPacket_Expect( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout() 352 …prvTCPReturnPacket_Expect( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout_NoLogPort()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 463 uxDataLength = ( ( size_t ) lNetLength ) + ipSIZE_OF_IPv4_HEADER + in test_prepareReplyDNSMessage_success()
|