| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/ |
| D | FreeRTOS_UDP_IPv6_stubs.c | 134 static NetworkEndPoint_t xEndpoint; in prvPrepareDefaultIPv6EndPoint() local 136 NetworkEndPoint_t * pxEndpoint = &xEndpoint; in prvPrepareDefaultIPv6EndPoint() 138 memset( &xEndpoint, 0, sizeof( xEndpoint ) ); in prvPrepareDefaultIPv6EndPoint() 143 xEndpoint.pxNetworkInterface = &xNetworkInterface; in prvPrepareDefaultIPv6EndPoint() 144 …memcpy( xEndpoint.ipv6_settings.xIPAddress.ucBytes, xDefaultIPv6Address.ucBytes, ipSIZE_OF_IPv6_AD… in prvPrepareDefaultIPv6EndPoint() 145 xEndpoint.bits.bIPv6 = pdTRUE; in prvPrepareDefaultIPv6EndPoint() 152 static NetworkEndPoint_t xEndpoint; in prvPrepareDefaultIPv4EndPoint() local 154 NetworkEndPoint_t * pxEndpoint = &xEndpoint; in prvPrepareDefaultIPv4EndPoint() 156 memset( &xEndpoint, 0, sizeof( xEndpoint ) ); in prvPrepareDefaultIPv4EndPoint() 161 xEndpoint.pxNetworkInterface = &xNetworkInterface; in prvPrepareDefaultIPv4EndPoint() [all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/ |
| D | FreeRTOS_IPv6_ConfigDriverCheckChecksum_stubs.c | 61 static NetworkEndPoint_t xEndpoint; in prvInitializeEndpoint() local 63 memset( &xEndpoint, 0, sizeof( xEndpoint ) ); in prvInitializeEndpoint() 64 xEndpoint.bits.bIPv6 = 1U; in prvInitializeEndpoint() 65 …memcpy( xEndpoint.ipv6_settings.xIPAddress.ucBytes, xIPAddressFive.ucBytes, ipSIZE_OF_IPv6_ADDRESS… in prvInitializeEndpoint() 67 return &xEndpoint; in prvInitializeEndpoint()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig1/ |
| D | FreeRTOS_IPv4_DiffConfig1_utest.c | 89 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_BufferLengthLess() local 137 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_HeaderLengthLess() local 182 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_BufferLengthLessThan() local 227 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_BufferLengthLessThanIPRequirement() local 272 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_IPPacketLengthMoreThanTotalLength() local 317 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_UDP_IncorrectPacketLen() local 362 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_TCP_IncorrectPacketLen() local 407 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_ICMP_IncorrectPacketLen() local 452 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_IGMP_IncorrectPacketLen() local 497 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_NoProt() local [all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
| D | FreeRTOS_UDP_IPv4_stubs.c | 128 static NetworkEndPoint_t xEndpoint; in prvPrepareDefaultIPv4EndPoint() local 130 NetworkEndPoint_t * pxEndpoint = &xEndpoint; in prvPrepareDefaultIPv4EndPoint() 132 memset( &xEndpoint, 0, sizeof( xEndpoint ) ); in prvPrepareDefaultIPv4EndPoint() 137 xEndpoint.pxNetworkInterface = &xNetworkInterface; in prvPrepareDefaultIPv4EndPoint() 138 xEndpoint.ipv4_settings.ulIPAddress = ulDefaultIPv4Address; in prvPrepareDefaultIPv4EndPoint() 139 xEndpoint.bits.bIPv6 = pdFALSE; in prvPrepareDefaultIPv4EndPoint()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/ |
| D | FreeRTOS_IPv6_Utils_stubs.c | 64 static NetworkEndPoint_t xEndpoint; in prvInitializeEndpoint() local 66 memset( &xEndpoint, 0, sizeof( xEndpoint ) ); in prvInitializeEndpoint() 67 xEndpoint.bits.bIPv6 = 1U; in prvInitializeEndpoint() 68 …memcpy( xEndpoint.ipv6_settings.xIPAddress.ucBytes, xIPAddressFive.ucBytes, ipSIZE_OF_IPv6_ADDRESS… in prvInitializeEndpoint() 70 return &xEndpoint; in prvInitializeEndpoint()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig/ |
| D | FreeRTOS_IPv4_DiffConfig_utest.c | 88 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_BroadcastSourceIP() local 129 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_BufferLengthLessThanMinimum() local 171 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_UDPCheckSumZero() local 217 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_UDP_HappyPath() local 269 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_TCP_HappyPath() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
| D | FreeRTOS_IPv6_stubs.c | 64 static NetworkEndPoint_t xEndpoint; in prvInitializeEndpoint() local 66 memset( &xEndpoint, 0, sizeof( xEndpoint ) ); in prvInitializeEndpoint() 67 xEndpoint.bits.bIPv6 = 1U; in prvInitializeEndpoint() 68 …memcpy( xEndpoint.ipv6_settings.xIPAddress.ucBytes, xIPAddressFive.ucBytes, ipSIZE_OF_IPv6_ADDRESS… in prvInitializeEndpoint() 70 return &xEndpoint; in prvInitializeEndpoint()
|
| D | FreeRTOS_IPv6_utest.c | 275 NetworkEndPoint_t xEndpoint; in test_prvAllowIPPacketIPv6_EndpointDifferentAddress() local 279 memset( &xEndpoint, 0, sizeof( xEndpoint ) ); in test_prvAllowIPPacketIPv6_EndpointDifferentAddress() 280 xEndpoint.bits.bIPv6 = 1U; in test_prvAllowIPPacketIPv6_EndpointDifferentAddress() 281 …memcpy( xEndpoint.ipv6_settings.xIPAddress.ucBytes, xDiffIPAddress.ucBytes, ipSIZE_OF_IPv6_ADDRESS… in test_prvAllowIPPacketIPv6_EndpointDifferentAddress() 282 pxNetworkBuffer->pxEndPoint = &xEndpoint; in test_prvAllowIPPacketIPv6_EndpointDifferentAddress()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig1/ |
| D | FreeRTOS_IP_DiffConfig1_utest.c | 530 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_SetIPAddress_ValidEndpoint() local 559 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_SetGatewayAddress_ValidEndpoint() local 588 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_GetGatewayAddress_ValidEndpoint() local 619 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_GetDNSServerAddress_ValidEndpoint() local 650 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_SetNetmask_ValidEndpoint() local 679 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_GetNetmask_ValidEndpoint() local 710 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_UpdateMACAddress_ValidEndpoint() local 739 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_GetMACAddress_ValidEndpoint() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4/ |
| D | FreeRTOS_IPv4_utest.c | 239 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_NotMatchingIP() local 276 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_SourceIPBrdCast_DestIPMatch() local 315 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_SourceIPBrdCast_DestIPBrdCast() local 354 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_SourceIPBrdCast_DestIPLLMNR() local 537 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_SrcIPAddrIsMulticast() local 579 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_IncorrectChecksum() local 624 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_IncorrectProtocolChecksum() local 670 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_HappyPath() local 717 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_LoopbackHappyPath() local 757 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_prvAllowIPPacketIPv4_DestMacBroadcastIPNotBroadcast() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/ |
| D | ProcessReceivedUDPPacket_IPv6_harness.c | 83 NetworkEndPoint_t xEndpoint; in harness() local 97 pxNetworkBuffer->pxEndPoint = &xEndpoint; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 94 NetworkEndPoint_t xEndpoint; in harness() local 108 pxNetworkBuffer->pxEndPoint = &xEndpoint; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Timers/ |
| D | FreeRTOS_IP_Timers_utest.c | 89 static NetworkEndPoint_t xEndpoint; in setUp() local 91 memset( &xEndpoint, 0, sizeof( NetworkEndPoint_t ) ); in setUp() 92 xEndpoint.bits.bIPv6 = pdFALSE_UNSIGNED; in setUp() 93 xEndpoint.bits.bWantDHCP = pdTRUE_UNSIGNED; in setUp() 95 pxNetworkEndPoints = &xEndpoint; in setUp() 190 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_xCalculateSleepTime_AllTimersActive_AllTimesGreaterExceptDHCP() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 3675 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_IsNetworkUp() local 3677 memset( pxEndpoint, 0, sizeof( xEndpoint ) ); in test_FreeRTOS_IsNetworkUp() 3695 NetworkEndPoint_t xEndpoint, * pxEndpoint = &xEndpoint; in test_FreeRTOS_IsEndPointUp() local 3697 memset( pxEndpoint, 0, sizeof( xEndpoint ) ); in test_FreeRTOS_IsEndPointUp() 3727 NetworkEndPoint_t xEndpoint[ 3 ]; in test_FreeRTOS_AllEndPointsUp_SpecificInterface() local 3738 memset( &xEndpoint[ 0 ], 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_AllEndPointsUp_SpecificInterface() 3739 memset( &xEndpoint[ 1 ], 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_AllEndPointsUp_SpecificInterface() 3740 memset( &xEndpoint[ 2 ], 0, sizeof( NetworkEndPoint_t ) ); in test_FreeRTOS_AllEndPointsUp_SpecificInterface() 3742 xEndpoint[ 0 ].pxNetworkInterface = &xInterface[ 0 ]; in test_FreeRTOS_AllEndPointsUp_SpecificInterface() 3743 xEndpoint[ 0 ].bits.bEndPointUp = pdTRUE; in test_FreeRTOS_AllEndPointsUp_SpecificInterface() [all …]
|