| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/ |
| D | FreeRTOS_IPv6_Utils_utest.c | 57 …#define ipconfigTCPv6_MSS ( ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_TCP_HEADE…
133 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()
186 size_t uxIndex = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER; in test_prvChecksumIPv6Checks_LargeExtensionHeader()
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()
255 xSet.uxIPHeaderLength = ipSIZE_OF_IPv6_HEADER; 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()
278 xSet.uxIPHeaderLength = ipSIZE_OF_IPv6_HEADER; 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()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IPv6.c | 126 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 …tHeader_IPv6_t * ) ( &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxExtHea… 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()
|
| D | FreeRTOS_IPv6_Utils.c | 83 pxSet->uxIPHeaderLength = ipSIZE_OF_IPv6_HEADER; in prvChecksumIPv6Checks()
106 …rotocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxExtens… in prvChecksumIPv6Checks()
112 uxNeeded += ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER; in prvChecksumIPv6Checks()
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()
|
| D | FreeRTOS_RA.c | 136 …const size_t uxNeededSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPRouterSolic… in vNDSendRouterSolicitation()
271 const size_t uxNeededSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxICMPSize; in vReceiveRA_ReadReply()
366 const size_t uxNeededSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxICMPSize; in vReceiveRA()
547 …uxNeededSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPRouterSolicitation_IPv6_… in xRAProcess_HandleOtherStates()
582 … uxNeededSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPHeader_IPv6_t ); in xRAProcess_HandleOtherStates()
|
| D | FreeRTOS_ND.c | 385 … uxNeededSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPHeader_IPv6_t ); in vNDAgeCache()
533 …pxNetworkBuffer->xDataLength = ( size_t ) ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxICMPS… in prvReturnICMP_IPv6()
580 … uxNeededSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPHeader_IPv6_t ); in vNDSendNeighbourSolicitation()
978 … uxNeededSize = ( size_t ) ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxICMPSize ); in prvProcessICMPMessage_IPv6()
1047 … uxNeededSize = ( size_t ) ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxICMPSize ); in prvProcessICMPMessage_IPv6()
1099 … ( uxIPHeaderSizePacket( pxARPWaitingNetworkBuffer ) == ipSIZE_OF_IPv6_HEADER ) ) in prvProcessICMPMessage_IPv6()
1143 uxPacketSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPHeader_IPv6_t ); in FreeRTOS_OutputAdvertiseIPv6()
1193 …xNetworkBuffer->xDataLength = ( size_t ) ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxICMPSi… in FreeRTOS_OutputAdvertiseIPv6()
|
| D | FreeRTOS_TCP_Utils_IPv6.c | 84 size_t uxDifference = ipSIZE_OF_IPv6_HEADER - ipSIZE_OF_IPv4_HEADER; in prvSocketSetMSS_IPV6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/ |
| D | FreeRTOS_IPv6_ConfigDriverCheckChecksum_utest.c | 79 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_Utils_IPv6/ |
| D | FreeRTOS_TCP_Utils_IPv6_utest.c | 92 uint32_t ulDiffSizeIPHeader = ( ipSIZE_OF_IPv6_HEADER - ipSIZE_OF_IPv4_HEADER ); in test_prvSocketSetMSS_IPV6_GlobalAddress()
113 uint32_t ulDiffSizeIPHeader = ( ipSIZE_OF_IPv6_HEADER - ipSIZE_OF_IPv4_HEADER ); in test_prvSocketSetMSS_IPV6_NonGlobalAddress()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/ |
| D | ProcessReceivedTCPPacket_IPv6_harness.c | 90 return ipSIZE_OF_IPv6_HEADER; in uxIPHeaderSizePacket()
97 return ipSIZE_OF_IPv6_HEADER; in uxIPHeaderSizeSocket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
| D | FreeRTOS_TCP_Transmission_IPv6_utest.c | 378 uxIPHeaderSizeSocket_ExpectAnyArgsAndReturn( ipSIZE_OF_IPv6_HEADER ); in test_prvTCPPrepareConnect_IPV6_CacheMiss_NULLEP()
398 uxIPHeaderSizeSocket_ExpectAnyArgsAndReturn( ipSIZE_OF_IPv6_HEADER ); in test_prvTCPPrepareConnect_IPV6_CacheHit_NULLEP()
419 uxIPHeaderSizeSocket_ExpectAnyArgsAndReturn( ipSIZE_OF_IPv6_HEADER ); in test_prvTCPPrepareConnect_IPV6_CacheHit_RandNumFail()
439 uxIPHeaderSizeSocket_ExpectAnyArgsAndReturn( ipSIZE_OF_IPv6_HEADER ); in test_prvTCPPrepareConnect_IPV6_CantSendPacket_NULLEP()
460 uxIPHeaderSizeSocket_ExpectAnyArgsAndReturn( ipSIZE_OF_IPv6_HEADER ); in test_prvTCPPrepareConnect_IPV6_CacheMiss_ValidEP()
487 uxIPHeaderSizeSocket_ExpectAnyArgsAndReturn( ipSIZE_OF_IPv6_HEADER ); in test_prvTCPPrepareConnect_IPV6_DefaultCase_ValidEP()
545 uxIPHeaderSizeSocket_ExpectAnyArgsAndReturn( ipSIZE_OF_IPv6_HEADER ); in test_prvTCPPrepareConnect_IPV6_HappyPath_IPv6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
| D | FreeRTOS_IPv6_utest.c | 309 …* ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + TEST_IPv… 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 …* ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + TEST_IPv… 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 …* ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + TEST_IPv… 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 …* ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + TEST_IPv… 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/unit-test/FreeRTOS_UDP_IPv6/ |
| D | FreeRTOS_UDP_IPv6_utest.c | 539 …er.usPayloadLength = xNetworkBuffer.xDataLength - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER ); in test_xProcessReceivedUDPPacket_IPv6_SocketRecvHandlerFail()
550 uxIPHeaderSizePacket_ExpectAndReturn( &xNetworkBuffer, ipSIZE_OF_IPv6_HEADER ); in test_xProcessReceivedUDPPacket_IPv6_SocketRecvHandlerFail()
581 …er.usPayloadLength = xNetworkBuffer.xDataLength - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER ); in test_xProcessReceivedUDPPacket_IPv6_UDPListBufferFull()
592 uxIPHeaderSizePacket_ExpectAndReturn( &xNetworkBuffer, ipSIZE_OF_IPv6_HEADER ); in test_xProcessReceivedUDPPacket_IPv6_UDPListBufferFull()
629 …er.usPayloadLength = xNetworkBuffer.xDataLength - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER ); in test_xProcessReceivedUDPPacket_IPv6_Pass()
640 uxIPHeaderSizePacket_ExpectAndReturn( &xNetworkBuffer, ipSIZE_OF_IPv6_HEADER ); in test_xProcessReceivedUDPPacket_IPv6_Pass()
695 …er.usPayloadLength = xNetworkBuffer.xDataLength - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER ); in test_xProcessReceivedUDPPacket_IPv6_PassNoEventGroup()
707 uxIPHeaderSizePacket_ExpectAndReturn( &xNetworkBuffer, ipSIZE_OF_IPv6_HEADER ); in test_xProcessReceivedUDPPacket_IPv6_PassNoEventGroup()
760 …er.usPayloadLength = xNetworkBuffer.xDataLength - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER ); in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectBit()
772 uxIPHeaderSizePacket_ExpectAndReturn( &xNetworkBuffer, ipSIZE_OF_IPv6_HEADER ); in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectBit()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/ |
| D | usGenerateProtocolChecksum_IPv6_harness.c | 91 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/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_stubs.c | 111 pxSet->uxIPHeaderLength = ipSIZE_OF_IPv6_HEADER; in prvChecksumIPv6Checks_Valid()
114 …( ( ProtocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER ] ) ); in prvChecksumIPv6Checks_Valid()
|
| /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/cbmc/proofs/RA/vReceiveRA_ReadReply/ |
| D | ReceiveRA_ReadReply_harness.c | 54 …size_t uxNeededSize = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( ICMPRouterAdvertiseme… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils_IPv6_ConfigLowTCPMSS/ |
| D | FreeRTOS_TCP_Utils_IPv6_ConfigLowTCPMSS_utest.c | 72 uint32_t ulDiffSizeIPHeader = ( ipSIZE_OF_IPv6_HEADER - ipSIZE_OF_IPv4_HEADER ); in test_prvSocketSetMSS_IPV6_LowMSS()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/ |
| D | CreateDNSMessage_harness.c | 75 … uxExpectedPayloadLength += ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvSendData/ |
| D | SendData_harness.c | 69 uxIPHeaderSizePacket_uxResult = ipSIZE_OF_IPv6_HEADER; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen_IPv6/ |
| D | prvHandleListen_IPv6_harness.c | 45 return ipSIZE_OF_IPv6_HEADER; in uxIPHeaderSizePacket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxDuplicateNetworkBufferWithDescriptor/ |
| D | pxDuplicateNetworkBufferWithDescriptor_harness.c | 65 … __CPROVER_assume( ( xReturn == ipSIZE_OF_IPv4_HEADER ) || ( xReturn == ipSIZE_OF_IPv6_HEADER ) ); in uxIPHeaderSizePacket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IPv6.h | 42 #define ipSIZE_OF_IPv6_HEADER 40U macro
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOSIPConfig.h | 39 #define ipconfigTCP_MSS ( ipSIZE_OF_IPv6_HEADER - ipSIZE_OF_IPv4_HEADER - 1 )
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/ |
| D | ProcessReceivedUDPPacket_IPv6_harness.c | 66 return ipSIZE_OF_IPv6_HEADER; in uxIPHeaderSizePacket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptions/ |
| D | CheckOptions_harness.c | 93 uxIPHeaderSizePacket_uxResult = ipSIZE_OF_IPv6_HEADER; in harness()
|
