| /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()
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_UDP_IPv4/ |
| D | FreeRTOS_UDP_IPv4_stubs.c | 54 …Packet_t * ) ( pucData - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER ) ); in UDPReceiveHandlerChecker()
64 …T_EQUAL( pxUDPPacket->xIPHeader.usLength - ipSIZE_OF_IPv4_HEADER - ipSIZE_OF_UDP_HEADER, xLength ); in UDPReceiveHandlerChecker()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/ |
| D | FreeRTOS_UDP_IPv6_stubs.c | 60 …t_IPv6_t * ) ( pucData - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER ) ); in UDPReceiveHandlerChecker()
70 TEST_ASSERT_EQUAL( pxUDPv6Packet->xIPHeader.usPayloadLength - ipSIZE_OF_UDP_HEADER, xLength ); in UDPReceiveHandlerChecker()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IPv4_Private.h | 40 …DP_PAYLOAD_LENGTH ( ( ipconfigNETWORK_MTU - ipSIZE_OF_IPv4_HEADER ) - ipSIZE_OF_UDP_HEADER )
|
| D | FreeRTOS_IPv6_Private.h | 66 …X_UDP_PAYLOAD_LENGTH ( ( ipconfigNETWORK_MTU - ipSIZE_OF_IPv6_HEADER ) - ipSIZE_OF_UDP_HEADER )
|
| D | FreeRTOS_IP.h | 63 #define ipSIZE_OF_UDP_HEADER 8U macro
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS_Parser.c | 931 …xIPHeader_IPv6->usPayloadLength = FreeRTOS_htons( ( uint16_t ) lNetLength + ipSIZE_OF_UDP_HEADER ); in prepareReplyDNSMessage()
938 …acket_IPv6->xUDPHeader.usLength = FreeRTOS_htons( ( uint16_t ) lNetLength + ipSIZE_OF_UDP_HEADER ); in prepareReplyDNSMessage()
940 …uxDataLength = ( size_t ) lNetLength + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER + ipSIZE_OF_ET… in prepareReplyDNSMessage()
949 ipSIZE_OF_UDP_HEADER ); in prepareReplyDNSMessage()
975 ipSIZE_OF_UDP_HEADER ); in prepareReplyDNSMessage()
979 …uxDataLength = ( ( size_t ) lNetLength ) + uxIPHeaderLength + ipSIZE_OF_UDP_HEADER + ipSIZE_OF_ETH… in prepareReplyDNSMessage()
|
| D | FreeRTOS_UDP_IPv6.c | 490 …( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPLength + ipSIZE_OF_UDP_HEADER ] ); in xProcessReceivedUDPPacket_IPv6()
501 …oadSize = pxNetworkBuffer->xDataLength - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER + ( size_t … in xProcessReceivedUDPPacket_IPv6()
|
| D | FreeRTOS_DNS.c | 1151 uxHeaderBytes = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in prvSendBuffer()
1155 uxHeaderBytes = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER; in prvSendBuffer()
1588 …PacketSize = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( pxNetworkBuffer ) + ipSIZE_OF_UDP_HEADER; in ulDNSHandlePacket()
|
| D | FreeRTOS_IPv4.c | 136 uxMinimumLength = uxIPHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER; in xCheckIPv4SizeFields()
|
| D | FreeRTOS_IPv6.c | 168 …umLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + uxExtHeaderLength + ipSIZE_OF_UDP_HEADER; in xCheckIPv6SizeFields()
|
| D | FreeRTOS_IP_Utils.c | 395 if( ( pxSet->usProtocolBytes < ipSIZE_OF_UDP_HEADER ) || in prvChecksumProtocolChecks()
396 … ( uxBufferLength < ( ipSIZE_OF_ETH_HEADER + pxSet->uxIPHeaderLength + ipSIZE_OF_UDP_HEADER ) ) ) in prvChecksumProtocolChecks()
|
| D | FreeRTOS_IP.c | 1690 …= ipSIZE_OF_ETH_HEADER + ( size_t ) uxIPHeaderSizePacket( pxNetworkBuffer ) + ipSIZE_OF_UDP_HEADER; in prvProcessUDPPacket()
1740 uxPayloadSize_2 = uxLength - ipSIZE_OF_UDP_HEADER; in prvProcessUDPPacket()
|
| D | FreeRTOS_Sockets.c | 1612 … uxMaxPayloadLength = ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER ); in FreeRTOS_sendto()
1613 … uxPayloadOffset = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in FreeRTOS_sendto()
1619 … uxMaxPayloadLength = ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER ); in FreeRTOS_sendto()
1620 … uxPayloadOffset = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER; in FreeRTOS_sendto()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_UDP_API_utest.c | 47 …_MAX_UDPV4_PAYLOAD_LENGTH ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER )
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/ |
| D | FreeRTOS_DNS_utest.c | 1348 …adBuffer += ipBUFFER_PADDING + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in test_FreeRTOS_getaddrinfo_a_IPv6Random_DNSReplySuccess()
1432 …adBuffer += ipBUFFER_PADDING + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in test_FreeRTOS_getaddrinfo_a_IPv6Random_RetryExhaust()
1516 …adBuffer += ipBUFFER_PADDING + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER; in test_FreeRTOS_getaddrinfo_a_IPv4Random_LocalDNSSuccess()
1601 …adBuffer += ipBUFFER_PADDING + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in test_FreeRTOS_getaddrinfo_a_IPv6Random_LocalDNSSuccess()
1686 …adBuffer += ipBUFFER_PADDING + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER; in test_FreeRTOS_getaddrinfo_a_IPv4Random_LocalDNSUnknownPreference()
1751 …adBuffer += ipBUFFER_PADDING + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in test_FreeRTOS_getaddrinfo_a_IPv6Random_LLMNRDNSSuccess()
1830 …adBuffer += ipBUFFER_PADDING + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in test_FreeRTOS_getaddrinfo_a_IPv6Random_LLMNRDNSNoEndPoint()
1896 …adBuffer += ipBUFFER_PADDING + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in test_FreeRTOS_getaddrinfo_a_IPv4Random_LLMNRDNSUnknownPreference()
1962 …adBuffer += ipBUFFER_PADDING + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER; in test_FreeRTOS_getaddrinfo_a_IPv4Random_LLMNRFail()
2039 …adBuffer += ipBUFFER_PADDING + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in test_FreeRTOS_getaddrinfo_a_IPv6Random_LLMNRFail()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig1/ |
| D | FreeRTOS_IPv4_DiffConfig1_utest.c | 336 …xIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER - 1; in test_prvAllowIPPacketIPv4_UDP_IncorrectPacketLen()
562 … ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER; in test_prvAllowIPPacketIPv4_UDP_LengthLess()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 787 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER - 1; in test_usGenerateProtocolChecksum_UDPInvalidLength()
817 uint16_t usLength = ucVersionHeaderLength + ipSIZE_OF_UDP_HEADER + TEST_UDP_PAYLOAD_LENGTH; in test_usGenerateProtocolChecksum_UDPWrongCRCIncomingPacket()
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()
879 uint16_t usLength = ucVersionHeaderLength + ipSIZE_OF_UDP_HEADER + TEST_UDP_PAYLOAD_LENGTH; in test_usGenerateProtocolChecksum_UDPNonZeroChecksum()
880 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER; in test_usGenerateProtocolChecksum_UDPNonZeroChecksum()
956 size_t uxBufferLength = ipSIZE_OF_ETH_HEADER + ucVersionHeaderLength + ipSIZE_OF_UDP_HEADER - 1; in test_usGenerateProtocolChecksum_UDPLessBufferSizeOutgoingPacket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 533 ipSIZE_OF_UDP_HEADER + ipSIZE_OF_ETH_HEADER; in test_prepareReplyDNSMessage_success()
577 ipSIZE_OF_UDP_HEADER + ipSIZE_OF_ETH_HEADER; in test_prepareReplyDNSMessage_success_MDNS()
620 ipSIZE_OF_UDP_HEADER + ipSIZE_OF_ETH_HEADER; in test_prepareReplyDNSMessage_NullEndPoint()
664 ipSIZE_OF_UDP_HEADER + ipSIZE_OF_ETH_HEADER; in test_prepareReplyDNSMessage_IPv6success()
707 ipSIZE_OF_UDP_HEADER + ipSIZE_OF_ETH_HEADER; in test_prepareReplyDNSMessage_IPv6Fail()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 64 …_MAX_UDPV4_PAYLOAD_LENGTH ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER )
65 …_MAX_UDPV6_PAYLOAD_LENGTH ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER )
|
