Home
last modified time | relevance | path

Searched refs:ipSIZE_OF_ETH_HEADER (Results 1 – 25 of 65) sorted by relevance

123

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c127 size_t uxTCPHeaderOffset = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER; in test_prvCheckOptions_No_Option()
130 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] )… in test_prvCheckOptions_No_Option()
150 size_t uxTCPHeaderOffset = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER; in test_prvCheckOptions_Invalid_Data_Length()
153 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] )… in test_prvCheckOptions_Invalid_Data_Length()
174 size_t uxTCPHeaderOffset = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER; in test_prvCheckOptions_Invalid_Option_Length()
177 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] )… in test_prvCheckOptions_Invalid_Option_Length()
198 size_t uxTCPHeaderOffset = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER; in test_prvCheckOptions_MSS_WSF()
201 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] )… in test_prvCheckOptions_MSS_WSF()
228 size_t uxTCPHeaderOffset = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER; in test_prvCheckOptions_MSS_WSF_Bad_Option()
231 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] )… in test_prvCheckOptions_MSS_WSF_Bad_Option()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/
DFreeRTOS_IPv6_Utils_utest.c133 size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER; in test_prvChecksumIPv6Checks_IncompleteIPv6Packet()
159 size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + 1; in test_prvChecksumIPv6Checks_Success()
185 …IPv6Header = ( IPHeader_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ); in test_prvChecksumIPv6Checks_LargeExtensionHeader()
186 size_t uxIndex = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER; in test_prvChecksumIPv6Checks_LargeExtensionHeader()
218 …IPv6Header = ( IPHeader_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ); in test_prvChecksumIPv6Checks_HopByHopInWrongOrder()
219 size_t uxIndex = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER; in test_prvChecksumIPv6Checks_HopByHopInWrongOrder()
247 …size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_ICMPv6_HEADER - 1; in test_prvChecksumICMPv6Checks_Default_InvalidLength()
270 …size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_ICMPv6_HEADER + 1; in test_prvChecksumICMPv6Checks_Default_ValidLength()
294 …size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPEcho_IPv6_t ) -… in test_prvChecksumICMPv6Checks_PingReq_InvalidLength()
318 …size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPEcho_IPv6_t ) +… in test_prvChecksumICMPv6Checks_PingReq_ValidLength()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IPv4.c113 if( uxBufferLength < ( ipSIZE_OF_ETH_HEADER + uxIPHeaderLength ) ) in xCheckIPv4SizeFields()
123 if( uxBufferLength < ( size_t ) ( ipSIZE_OF_ETH_HEADER + ( size_t ) usLength ) ) in xCheckIPv4SizeFields()
136 uxMinimumLength = uxIPHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER; in xCheckIPv4SizeFields()
140 uxMinimumLength = uxIPHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER; in xCheckIPv4SizeFields()
145 uxMinimumLength = uxIPHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_ICMPv4_HEADER; in xCheckIPv4SizeFields()
374 … ( ( ProtocolHeaders_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ( size_t … in prvAllowIPPacketIPv4()
434 … pxIPHeader = ( ( IPHeader_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) ); in prvCheckIP4HeaderOptions()
452 …MoveLen = pxNetworkBuffer->xDataLength - ( optlen + ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_ETH_HEADER ); in prvCheckIP4HeaderOptions()
DFreeRTOS_IPv6.c126 if( uxBufferLength < ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER ) ) in xCheckIPv6SizeFields()
135 …if( uxBufferLength != ( size_t ) ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ( size_t ) usPay… in xCheckIPv6SizeFields()
146 …xtHeader = ( const IPExtHeader_IPv6_t * ) ( &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in xCheckIPv6SizeFields()
152 … if( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxExtHeaderLength >= uxBufferLength ) in xCheckIPv6SizeFields()
158 if( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxExtHeaderLength >= uxBufferLength ) in xCheckIPv6SizeFields()
168 …uxMinimumLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxExtHeaderLength + ipSIZE_OF_UDP… in xCheckIPv6SizeFields()
172 …uxMinimumLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxExtHeaderLength + ipSIZE_OF_TCP… in xCheckIPv6SizeFields()
176 …uxMinimumLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxExtHeaderLength + ipSIZE_OF_ICM… in xCheckIPv6SizeFields()
638 uxIndex = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxRemovedBytes; in eHandleIPv6ExtensionHeaders()
653 … pucTo = &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER ] ); in eHandleIPv6ExtensionHeaders()
DFreeRTOS_IPv6_Utils.c106 …ProtocolHeaders = ( ( ProtocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in prvChecksumIPv6Checks()
112 uxNeeded += ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER; in prvChecksumIPv6Checks()
155 if( uxBufferLength < ( ipSIZE_OF_ETH_HEADER + pxSet->uxIPHeaderLength + xICMPLength ) ) in prvChecksumICMPv6Checks()
191 size_t uxIndex = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER; in usGetExtensionHeaderLength()
236 uxReturn = uxIndex - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER ); in usGetExtensionHeaderLength()
DFreeRTOS_IPv4_Utils.c117 if( uxBufferLength < ( ipSIZE_OF_ETH_HEADER + pxSet->uxIPHeaderLength ) ) in prvChecksumIPv4Checks()
131 uxNeeded += ipSIZE_OF_ETH_HEADER; in prvChecksumIPv4Checks()
148 …( ProtocolHeaders_t * ) &( pucEthernetBuffer[ pxSet->uxIPHeaderLength + ipSIZE_OF_ETH_HEADER ] ) ); in prvChecksumIPv4Checks()
DFreeRTOS_TCP_Reception.c99 size_t uxTCPHeaderOffset = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( pxNetworkBuffer ); in prvCheckOptions()
436 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( pxN… in prvCheckRxData()
456 …*ppucRecvData = &( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + xIPHeader… in prvCheckRxData()
462 lReceiveLength -= ( int32_t ) ipSIZE_OF_ETH_HEADER; in prvCheckRxData()
475 … pxIPHeader = ( ( IPHeader_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) ); in prvCheckRxData()
489 …Header = ( ( IPHeader_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) ); in prvCheckRxData()
565 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPOffset ] ) ); in prvStoreRxData()
DFreeRTOS_TCP_IP_IPv4.c120 …&( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( pxNetworkBuffe… in xProcessReceivedTCPPacket_IPV4()
129 …if( pxNetworkBuffer->xDataLength < ( ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( pxNetworkBuffer … in xProcessReceivedTCPPacket_IPV4()
140 …eader = ( ( const IPHeader_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) ); in xProcessReceivedTCPPacket_IPV4()
269 const size_t uxOffset = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ); in xProcessReceivedTCPPacket_IPV4()
DFreeRTOS_TCP_IP_IPv6.c113 …&( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( pxNetworkBuffe… in xProcessReceivedTCPPacket_IPV6()
124 …if( pxNetworkBuffer->xDataLength < ( ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( pxNetworkBuffer … in xProcessReceivedTCPPacket_IPV6()
135 …r_IPv6 = ( ( IPHeader_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) ); in xProcessReceivedTCPPacket_IPV6()
262 const size_t uxOffset = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ); in xProcessReceivedTCPPacket_IPV6()
DFreeRTOS_TCP_Transmission_IPv6.c155 …Header = ( ( IPHeader_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) ); in prvTCPReturnPacket_IPV6()
171 … = ( ProtocolHeaders_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeade… in prvTCPReturnPacket_IPV6()
215 uint32_t ulTotalLength = ulLen + ipSIZE_OF_ETH_HEADER; in prvTCPReturnPacket_IPV6()
224 pxNetworkBuffer->xDataLength += ipSIZE_OF_ETH_HEADER; in prvTCPReturnPacket_IPV6()
350 …&( pxSocket->u.xTCP.xPacket.u.ucLastPacket[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket … in prvTCPPrepareConnect_IPV6()
370 … uxNeededSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPHeader_IPv6_t ); in prvTCPPrepareConnect_IPV6()
DFreeRTOS_TCP_Transmission.c151 …ProtocolHeaders_t * ) &( pxSocket->u.xTCP.xPacket.u.ucLastPacket[ ipSIZE_OF_ETH_HEADER + uxIPHeade… in prvTCPSendPacket()
315 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSize ] ) ); in prvTCPReturn_CheckTCPWindow()
399 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSize ] ) ); in prvTCPReturn_SetSequenceNumber()
654 …uxNeeded = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOpti… in prvTCPBufferResize()
708 …pxNetworkBuffer->xDataLength = ( size_t ) ( ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket … in prvTCPBufferResize()
752 … pxIPHeader = ( ( IPHeader_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) ); in prvTCPReturn_SetEndPoint()
769 …r_IPv6 = ( ( IPHeader_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) ); in prvTCPReturn_SetEndPoint()
837 …pxProtocolHeaders = ( ( ProtocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHea… in prvTCPPrepareSend()
871 …ProtocolHeaders = ( ( ProtocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeade… in prvTCPPrepareSend()
873 …pucSendData = &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ) + ipSI… in prvTCPPrepareSend()
[all …]
DFreeRTOS_TCP_State_Handling_IPv6.c172 …&( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( pxNetworkBuffe… in prvHandleListen_IPV6()
181 … = ( ( const IPHeader_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) ); in prvHandleListen_IPV6()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Utils/
DFreeRTOS_IPv4_Utils_utest.c78 size_t uxBufferLength = usLength + ipSIZE_OF_ETH_HEADER; in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength()
106 size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER - 1; in test_prvChecksumIPv4Checks_BufferLessIPPacket()
134 size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ucVersionHeaderLength - 1; in test_prvChecksumIPv4Checks_BufferLessIPHeaderLength()
162 size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + usLength - 1; in test_prvChecksumIPv4Checks_BufferLessIPPayloadLength()
189 size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + usLength; in test_prvChecksumIPv4Checks_Pass()
203 …TEST_ASSERT_EQUAL( &pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ucVersionHeaderLength ], xSet.pxProt… in test_prvChecksumIPv4Checks_Pass()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum/
DusGenerateProtocolChecksum_harness.c59 …__CPROVER_assume( uxBufferLength >= ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + sizeof( Protoco… in harness()
71 …__CPROVER_assume( uxBufferLength >= ipSIZE_OF_ETH_HEADER + usHeaderLength + sizeof( ProtocolHeader… in harness()
73 …__CPROVER_assume( ( usHeaderLength <= ( uxBufferLength - ipSIZE_OF_ETH_HEADER ) ) && ( usHeaderLen… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/
DFreeRTOS_IPv6_ConfigDriverCheckChecksum_utest.c79 size_t uxIndex = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_valid_ext_header_length()
165 size_t uxIndex = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_large_ext_header_length()
205 pxNetworkBuffer->xDataLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + 1; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_TCP_min_requirement()
224 pxNetworkBuffer->xDataLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + 1; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_UDP_min_requirement()
243 pxNetworkBuffer->xDataLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + 1; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_ICMP_min_requirement()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c246 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvTCPHandleFin_FIN_BitsAllFalse()
282 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvTCPHandleFin_FIN_FINSentFINACKNoFINRecv()
317 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvTCPHandleFin_FIN_FINRecvFINSentFINACKFINNotLast()
354 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvTCPHandleFin_FIN_FINRecvFINSentFINACKFINLast()
390 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvHandleSynReceived_ExpSYNStateConnectSyn()
423 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvHandleSynReceived_ExpSYNStateConnectSynIPv6()
457 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvHandleSynReceived_NotSYNStateConnectSyn()
489 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvHandleSynReceived_NotExpSYNStateSynreceived()
521 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvHandleSynReceived_ExpACKStateSynreceivedZeroData()
553 … &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] ) ); in test_prvHandleSynReceived_ExpACKStateSynreceivedNonZeroDataWinScaling()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/
DCreateDNSMessage_harness.c75 … uxExpectedPayloadLength += ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in harness()
79 … uxExpectedPayloadLength += ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig1/
DFreeRTOS_IPv4_DiffConfig1_utest.c336 …aLength = ( ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in test_prvAllowIPPacketIPv4_UDP_IncorrectPacketLen()
337 pxIPHeader->usLength = FreeRTOS_htons( pxNetworkBuffer->xDataLength - ipSIZE_OF_ETH_HEADER ); in test_prvAllowIPPacketIPv4_UDP_IncorrectPacketLen()
381 …aLength = ( ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in test_prvAllowIPPacketIPv4_TCP_IncorrectPacketLen()
382 pxIPHeader->usLength = FreeRTOS_htons( pxNetworkBuffer->xDataLength - ipSIZE_OF_ETH_HEADER ); in test_prvAllowIPPacketIPv4_TCP_IncorrectPacketLen()
426 …aLength = ( ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in test_prvAllowIPPacketIPv4_ICMP_IncorrectPacketLen()
427 pxIPHeader->usLength = FreeRTOS_htons( pxNetworkBuffer->xDataLength - ipSIZE_OF_ETH_HEADER ); in test_prvAllowIPPacketIPv4_ICMP_IncorrectPacketLen()
471 …aLength = ( ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in test_prvAllowIPPacketIPv4_IGMP_IncorrectPacketLen()
472 pxIPHeader->usLength = FreeRTOS_htons( pxNetworkBuffer->xDataLength - ipSIZE_OF_ETH_HEADER ); in test_prvAllowIPPacketIPv4_IGMP_IncorrectPacketLen()
516 …aLength = ( ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in test_prvAllowIPPacketIPv4_NoProt()
517 pxIPHeader->usLength = FreeRTOS_htons( pxNetworkBuffer->xDataLength - ipSIZE_OF_ETH_HEADER ); in test_prvAllowIPPacketIPv4_NoProt()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/
DFreeRTOS_IP_Utils_utest.c730 size_t uxBufferLength = usLength + ipSIZE_OF_ETH_HEADER; in test_usGenerateProtocolChecksum_UnknownProtocol()
787 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER - 1; in test_usGenerateProtocolChecksum_UDPInvalidLength()
818 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER; in test_usGenerateProtocolChecksum_UDPWrongCRCIncomingPacket()
849 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER; in test_usGenerateProtocolChecksum_UDPOutgoingPacketLessProtocolLength()
880 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER; in test_usGenerateProtocolChecksum_UDPNonZeroChecksum()
916 size_t uxBufferLength = usLength + ipSIZE_OF_ETH_HEADER; in test_usGenerateProtocolChecksum_UDPCorrectCRCOutgoingPacket()
956 size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ucVersionHeaderLength + ipSIZE_OF_UDP_HEADER - 1; in test_usGenerateProtocolChecksum_UDPLessBufferSizeOutgoingPacket()
992 size_t uxBufferLength = usLength + ipSIZE_OF_ETH_HEADER; in test_usGenerateProtocolChecksum_UDPCorrectCRC()
1028 size_t uxBufferLength = usLength + ipSIZE_OF_ETH_HEADER; in test_usGenerateProtocolChecksum_UDPIncorrectCRC()
1064 size_t uxBufferLength = usLength + ipSIZE_OF_ETH_HEADER; in test_usGenerateProtocolChecksum_TCPCorrectCRC()
[all …]
DFreeRTOS_IP_Utils_stubs.c114 …pxSet->pxProtocolHeaders = ( ( ProtocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + … in prvChecksumIPv6Checks_Valid()
134 …pxSet->pxProtocolHeaders = ( ProtocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + px… in prvChecksumIPv4Checks_Valid()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/
DFreeRTOS_IPv6_utest.c309 …Header = ( TCPHeader_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in test_eHandleIPv6ExtensionHeaders_TCPHappyPath()
321 …TEST_ASSERT_EQUAL( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( TCPHeader_t ) + 1U, pxNe… in test_eHandleIPv6ExtensionHeaders_TCPHappyPath()
342 …Header = ( UDPHeader_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in test_eHandleIPv6ExtensionHeaders_UDPHappyPath()
354 …TEST_ASSERT_EQUAL( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( UDPHeader_t ) + 1U, pxNe… in test_eHandleIPv6ExtensionHeaders_UDPHappyPath()
375 … = ( ICMPHeader_IPv6_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in test_eHandleIPv6ExtensionHeaders_ICMPv6HappyPath()
387 …TEST_ASSERT_EQUAL( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPHeader_IPv6_t ) + 1U… in test_eHandleIPv6ExtensionHeaders_ICMPv6HappyPath()
409 …Header = ( TCPHeader_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF… in test_eHandleIPv6ExtensionHeaders_TCPHappyPathNotRemove()
421 …TEST_ASSERT_EQUAL( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + TEST_IPv6_DEFAULT_EXTESION_HEADE… in test_eHandleIPv6ExtensionHeaders_TCPHappyPathNotRemove()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/
DusGenerateProtocolChecksum_IPv6_harness.c91 size_t uxIndex = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER; in prvPrepareExtensionHeaders()
153 …__CPROVER_assume( ( uxBufferLength >= ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( Proto… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/
DTCPReturnPacket_IPv6_harness.c152 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen + ipSIZE_OF_ETH_HEADER ); in harness()
155 pxNetworkBuffer->xDataLength = ( size_t ) ( ulLen + ipSIZE_OF_ETH_HEADER ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvChecksumIPv6Checks/
DprvChecksumIPv6Checks_harness.c34 xSet.pxIPPacket_IPv6 = ( const IPHeader_IPv6_t * ) ( pucEthernetBuffer + ipSIZE_OF_ETH_HEADER ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/NBNSHandlePacket/
DNBNSHandlePacket_harness.c30 __CPROVER_assume( ( xDataSize < ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER ) ) ); in harness()

123