| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 390 IPPacket_t * pxIPPacket; in test_usGenerateProtocolChecksum_InvalidLength2() local
394 pxIPPacket = ( IPPacket_t * ) pucEthernetBuffer; in test_usGenerateProtocolChecksum_InvalidLength2()
395 pxIPPacket->xIPHeader.ucVersionHeaderLength = ( ucVersionHeaderLength >> 2 ); in test_usGenerateProtocolChecksum_InvalidLength2()
408 IPPacket_t * pxIPPacket; in test_usGenerateProtocolChecksum_InvalidLength3() local
414 pxIPPacket = ( IPPacket_t * ) pucEthernetBuffer; in test_usGenerateProtocolChecksum_InvalidLength3()
415 pxIPPacket->xIPHeader.ucVersionHeaderLength = ( ucVersionHeaderLength >> 2 ); in test_usGenerateProtocolChecksum_InvalidLength3()
417 pxIPPacket->xIPHeader.usLength = FreeRTOS_htons( usLength ); in test_usGenerateProtocolChecksum_InvalidLength3()
430 IPPacket_t * pxIPPacket; in test_usGenerateProtocolChecksum_UDPWrongCRCIncomingPacket() local
436 pxIPPacket = ( IPPacket_t * ) pucEthernetBuffer; in test_usGenerateProtocolChecksum_UDPWrongCRCIncomingPacket()
437 pxIPPacket->xIPHeader.ucVersionHeaderLength = ( ucVersionHeaderLength >> 2 ); in test_usGenerateProtocolChecksum_UDPWrongCRCIncomingPacket()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 70 eFrameProcessingResult_t prvProcessIPPacket( IPPacket_t * pxIPPacket,
73 eFrameProcessingResult_t prvAllowIPPacket( const IPPacket_t * const pxIPPacket,
390 IPPacket_t * pxIPPacket; in test_prvAllowIPPacket_BroadcastSourceIP() local
400 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacket_BroadcastSourceIP()
401 pxIPHeader = &( pxIPPacket->xIPHeader ); in test_prvAllowIPPacket_BroadcastSourceIP()
409 …memcpy( pxIPPacket->xEthernetHeader.xDestinationAddress.ucBytes, xBroadcastMACAddress.ucBytes, siz… in test_prvAllowIPPacket_BroadcastSourceIP()
413 eResult = prvAllowIPPacket( pxIPPacket, pxNetworkBuffer, uxHeaderLength ); in test_prvAllowIPPacket_BroadcastSourceIP()
421 IPPacket_t * pxIPPacket; in test_prvAllowIPPacket_IncorrectSizeFields() local
431 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacket_IncorrectSizeFields()
432 pxIPHeader = &( pxIPPacket->xIPHeader ); in test_prvAllowIPPacket_IncorrectSizeFields()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 70 eFrameProcessingResult_t prvProcessIPPacket( IPPacket_t * pxIPPacket,
73 eFrameProcessingResult_t prvAllowIPPacket( const IPPacket_t * const pxIPPacket,
1814 IPPacket_t * pxIPPacket; in test_prvAllowIPPacket() local
1823 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacket()
1825 eResult = prvAllowIPPacket( pxIPPacket, pxNetworkBuffer, uxHeaderLength ); in test_prvAllowIPPacket()
1833 IPPacket_t * pxIPPacket; in test_prvAllowIPPacket_FragmentedPacket() local
1843 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacket_FragmentedPacket()
1844 pxIPHeader = &( pxIPPacket->xIPHeader ); in test_prvAllowIPPacket_FragmentedPacket()
1848 eResult = prvAllowIPPacket( pxIPPacket, pxNetworkBuffer, uxHeaderLength ); in test_prvAllowIPPacket_FragmentedPacket()
1856 IPPacket_t * pxIPPacket; in test_prvAllowIPPacket_FragmentedPacket1() local
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 26 eFrameProcessingResult_t publicProcessIPPacket( IPPacket_t * const pxIPPacket,
73 IPPacket_t * const pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in harness() local
75 publicProcessIPPacket( pxIPPacket, pxNetworkBuffer ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/ |
| D | aws_freertos_ip_verification_access_ip_define.h | 1 eFrameProcessingResult_t publicProcessIPPacket( IPPacket_t * const pxIPPacket, in publicProcessIPPacket() argument
4 prvProcessIPPacket( pxIPPacket, pxNetworkBuffer ); in publicProcessIPPacket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_IP.c | 150 static eFrameProcessingResult_t prvProcessIPPacket( IPPacket_t * pxIPPacket,
161 static eFrameProcessingResult_t prvAllowIPPacket( const IPPacket_t * const pxIPPacket,
1400 static eFrameProcessingResult_t prvAllowIPPacket( const IPPacket_t * const pxIPPacket, in prvAllowIPPacket() argument
1407 const IPHeader_t * pxIPHeader = &( pxIPPacket->xIPHeader ); in prvAllowIPPacket()
1412 ( void ) pxIPPacket; in prvAllowIPPacket()
1465 pxIPPacket->xEthernetHeader.xDestinationAddress.ucBytes, in prvAllowIPPacket()
1474 pxIPPacket->xEthernetHeader.xSourceAddress.ucBytes, in prvAllowIPPacket()
1545 if( pxIPPacket->xIPHeader.ucProtocol == ( uint8_t ) ipPROTOCOL_UDP ) in prvAllowIPPacket()
1566 … FreeRTOS_ntohl( pxIPPacket->xIPHeader.ulSourceIPAddress ) ) ); in prvAllowIPPacket()
1597 static eFrameProcessingResult_t prvProcessIPPacket( IPPacket_t * pxIPPacket, in prvProcessIPPacket() argument
[all …]
|
| D | FreeRTOS_IP_Utils.c | 454 const IPPacket_t * pxIPPacket; in usGenerateProtocolChecksum() local
483 pxIPPacket = ( ( const IPPacket_t * ) pucEthernetBuffer ); in usGenerateProtocolChecksum()
487 ucVersionHeaderLength = pxIPPacket->xIPHeader.ucVersionHeaderLength; in usGenerateProtocolChecksum()
499 usLength = pxIPPacket->xIPHeader.usLength; in usGenerateProtocolChecksum()
517 ucProtocol = pxIPPacket->xIPHeader.ucProtocol; in usGenerateProtocolChecksum()
643 … FreeRTOS_ntohl( pxIPPacket->xIPHeader.ulSourceIPAddress ) ) ); in usGenerateProtocolChecksum()
663 usLength = pxIPPacket->xIPHeader.usLength; in usGenerateProtocolChecksum()
702 … ( const uint8_t * ) &( pxIPPacket->xIPHeader.ulSourceIPAddress ), in usGenerateProtocolChecksum()
760 FreeRTOS_ntohs( pxIPPacket->xIPHeader.usIdentification ), in usGenerateProtocolChecksum()
761 FreeRTOS_ntohl( pxIPPacket->xIPHeader.ulSourceIPAddress ), in usGenerateProtocolChecksum()
[all …]
|
| D | FreeRTOS_ARP.c | 411 const IPPacket_t * pxIPPacket = ( ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in xCheckRequiresARPResolution() local
412 const IPHeader_t * pxIPHeader = &( pxIPPacket->xIPHeader ); in xCheckRequiresARPResolution()
1158 const IPPacket_t * pxIPPacket = ( ( IPPacket_t * ) pxUseDescriptor->pucEthernetBuffer ); in xCheckLoopback() local
1160 if( pxIPPacket->xEthernetHeader.usFrameType == ipIPv4_FRAME_TYPE ) in xCheckLoopback()
1162 …if( memcmp( pxIPPacket->xEthernetHeader.xDestinationAddress.ucBytes, ipLOCAL_MAC_ADDRESS, ipMAC_AD… in xCheckLoopback()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/prvProcessEthernetPacket/ |
| D | prvProcessEthernetPacket_harness.c | 48 …eProcessingResult_t __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket( IPPacket_t * pxIPPacket, in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket() argument
51 __CPROVER_assert( pxIPPacket != NULL, "pxIPPacket cannot be NULL" ); in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ATSAME5x/ |
| D | NetworkInterface.c | 236 const IPPacket_t * pxIPPacket; in prvEMACDeferredInterruptHandlerTask() local
282 …pxIPPacket = ipCAST_CONST_PTR_TO_CONST_TYPE_PTR( IPPacket_t, pxBufferDescriptor->pucEthernetBuffer… in prvEMACDeferredInterruptHandlerTask()
284 if( pxIPPacket->xIPHeader.ucProtocol == ( uint8_t ) ipPROTOCOL_ICMP ) in prvEMACDeferredInterruptHandlerTask()
371 …const IPPacket_t * pxIPPacket = ipCAST_CONST_PTR_TO_CONST_TYPE_PTR( IPPacket_t, pxDescriptor->pucE… in xNetworkInterfaceOutput() local
373 if( pxIPPacket->xIPHeader.ucProtocol == ( uint8_t ) ipPROTOCOL_ICMP ) in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_utest.c | 64 IPPacket_t * pxIPPacket = ( IPPacket_t * ) ( pxNetworkBuffer->pucEthernetBuffer ); in test_xCheckLoopback_IncorrectFrameType() local
68 pxIPPacket->xEthernetHeader.usFrameType = ipIPv4_FRAME_TYPE + 1; in test_xCheckLoopback_IncorrectFrameType()
85 IPPacket_t * pxIPPacket = ( IPPacket_t * ) ( pxNetworkBuffer->pucEthernetBuffer ); in test_xCheckLoopback_IncorrectMACAddress() local
89 pxIPPacket->xEthernetHeader.usFrameType = ipIPv4_FRAME_TYPE; in test_xCheckLoopback_IncorrectMACAddress()
91 …memset( pxIPPacket->xEthernetHeader.xDestinationAddress.ucBytes, 0xAA, ipMAC_ADDRESS_LENGTH_BYTES … in test_xCheckLoopback_IncorrectMACAddress()
108 IPPacket_t * pxIPPacket = ( IPPacket_t * ) ( pxNetworkBuffer->pucEthernetBuffer ); in test_xCheckLoopback_HappyCase() local
112 pxIPPacket->xEthernetHeader.usFrameType = ipIPv4_FRAME_TYPE; in test_xCheckLoopback_HappyCase()
114 …memcpy( pxIPPacket->xEthernetHeader.xDestinationAddress.ucBytes, ipLOCAL_MAC_ADDRESS, ipMAC_ADDRES… in test_xCheckLoopback_HappyCase()
133 IPPacket_t * pxIPPacket = ( IPPacket_t * ) ( pxNetworkBuffer->pucEthernetBuffer ); in test_xCheckLoopback_DuplicationFails() local
137 pxIPPacket->xEthernetHeader.usFrameType = ipIPv4_FRAME_TYPE; in test_xCheckLoopback_DuplicationFails()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/tools/tcp_utilities/ |
| D | tcp_dump_packets.c | 374 IPPacket_t * pxIPPacket; in vAddProtocolTags() local
377 pxIPPacket = ( IPPacket_t * ) pucEthernetBuffer; in vAddProtocolTags()
378 pxIPHeader = &( pxIPPacket->xIPHeader ); in vAddProtocolTags()
382 if( pxIPPacket->xEthernetHeader.usFrameType == ipIPv6_FRAME_TYPE ) in vAddProtocolTags()
397 ucProtocol = pxIPPacket->xIPHeader.ucProtocol; in vAddProtocolTags()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC18xx/ |
| D | NetworkInterface.c | 623 IPPacket_t * pxIPPacket; in prvRemoveTrailingBytes() local
625 pxIPPacket = ( IPPacket_t * ) pxDescriptor->pucEthernetBuffer; in prvRemoveTrailingBytes()
627 …xExpectedLength = sizeof( EthernetHeader_t ) + ( size_t ) FreeRTOS_htons( pxIPPacket->xIPHeader.us… in prvRemoveTrailingBytes()
|
