| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_IPv6/ |
| D | FreeRTOS_Sockets_IPv6_utest.c | 497 struct sNTOP6_Set xSet; in test_prv_ntop6_search_zeros() local
499 ( void ) memset( &( xSet ), 0, sizeof( xSet ) ); in test_prv_ntop6_search_zeros()
500 xSet.pusAddress = ( const uint16_t * ) xSampleAddress_IPv6_1.ucBytes; in test_prv_ntop6_search_zeros()
502 prv_ntop6_search_zeros( &( xSet ) ); in test_prv_ntop6_search_zeros()
504 TEST_ASSERT_EQUAL( 6, xSet.xZeroLength ); in test_prv_ntop6_search_zeros()
505 TEST_ASSERT_EQUAL( 1, xSet.xZeroStart ); in test_prv_ntop6_search_zeros()
513 struct sNTOP6_Set xSet; in test_prv_ntop6_search_zeros_2() local
515 ( void ) memset( &( xSet ), 0, sizeof( xSet ) ); in test_prv_ntop6_search_zeros_2()
516 xSet.pusAddress = ( const uint16_t * ) xSampleAddress_IPv6_3.ucBytes; in test_prv_ntop6_search_zeros_2()
518 prv_ntop6_search_zeros( &( xSet ) ); in test_prv_ntop6_search_zeros_2()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Utils/ |
| D | FreeRTOS_IPv4_Utils_utest.c | 74 struct xPacketSummary xSet; in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength() local
81 memset( &xSet, 0, sizeof( xSet ) ); in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength()
83 xSet.pxIPPacket = &xIPPacket; in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength()
87 xReturn = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength()
90 TEST_ASSERT_EQUAL( ipINVALID_LENGTH, xSet.usChecksum ); in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength()
102 struct xPacketSummary xSet; in test_prvChecksumIPv4Checks_BufferLessIPPacket() local
109 memset( &xSet, 0, sizeof( xSet ) ); in test_prvChecksumIPv4Checks_BufferLessIPPacket()
111 xSet.pxIPPacket = &xIPPacket; in test_prvChecksumIPv4Checks_BufferLessIPPacket()
115 xReturn = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv4Checks_BufferLessIPPacket()
118 TEST_ASSERT_EQUAL( ipINVALID_LENGTH, xSet.usChecksum ); in test_prvChecksumIPv4Checks_BufferLessIPPacket()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/ |
| D | FreeRTOS_IPv6_Utils_utest.c | 112 struct xPacketSummary xSet; in test_prvChecksumIPv6Checks_InvalidLength() local
115 xSet.pxIPPacket_IPv6 = ( ( const IPHeader_IPv6_t * ) pucEthernetBuffer ); in test_prvChecksumIPv6Checks_InvalidLength()
117 usReturn = prvChecksumIPv6Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv6Checks_InvalidLength()
121 TEST_ASSERT_EQUAL( ipINVALID_LENGTH, xSet.usChecksum ); in test_prvChecksumIPv6Checks_InvalidLength()
134 struct xPacketSummary xSet; in test_prvChecksumIPv6Checks_IncompleteIPv6Packet() local
140 xSet.pxIPPacket_IPv6 = ( ( const IPHeader_IPv6_t * ) pucEthernetBuffer ); in test_prvChecksumIPv6Checks_IncompleteIPv6Packet()
144 usReturn = prvChecksumIPv6Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv6Checks_IncompleteIPv6Packet()
147 TEST_ASSERT_EQUAL( ipINVALID_LENGTH, xSet.usChecksum ); in test_prvChecksumIPv6Checks_IncompleteIPv6Packet()
160 struct xPacketSummary xSet; in test_prvChecksumIPv6Checks_Success() local
165 xSet.pxIPPacket_IPv6 = ( ( const IPHeader_IPv6_t * ) pucEthernetBuffer ); in test_prvChecksumIPv6Checks_Success()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IPv6_Sockets.c | 403 …struct sNTOP6_Set xSet; /* A set of values for easy exchange with the helper functions prv_ntop6_x… in FreeRTOS_inet_ntop6() local
405 ( void ) memset( &( xSet ), 0, sizeof( xSet ) ); in FreeRTOS_inet_ntop6()
407 xSet.pusAddress = pvSource; in FreeRTOS_inet_ntop6()
415 prv_ntop6_search_zeros( &( xSet ) ); in FreeRTOS_inet_ntop6()
417 while( xSet.xIndex < 8 ) in FreeRTOS_inet_ntop6()
419 if( xSet.xIndex == xSet.xZeroStart ) in FreeRTOS_inet_ntop6()
421 if( prv_ntop6_write_zeros( pcDestination, uxSize, &( xSet ) ) == pdFAIL ) in FreeRTOS_inet_ntop6()
426 xSet.xIndex += xSet.xZeroLength; in FreeRTOS_inet_ntop6()
430 if( prv_ntop6_write_short( pcDestination, uxSize, &( xSet ) ) == pdFAIL ) in FreeRTOS_inet_ntop6()
435 xSet.xIndex++; in FreeRTOS_inet_ntop6()
[all …]
|
| D | FreeRTOS_DNS_Parser.c | 301 ParseSet_t xSet; in DNS_ParseDNSReply() local
307 ( void ) memset( &( xSet ), 0, sizeof( xSet ) ); in DNS_ParseDNSReply()
308 xSet.usPortNumber = usPort; in DNS_ParseDNSReply()
309 xSet.ppxLastAddress = &( xSet.pxLastAddress ); in DNS_ParseDNSReply()
312 xSet.xDoStore = xExpected; in DNS_ParseDNSReply()
323 xSet.uxBufferLength = uxBufferLength; in DNS_ParseDNSReply()
324 xSet.uxSourceBytesRemaining = uxBufferLength; in DNS_ParseDNSReply()
332 xSet.pxDNSMessageHeader = ( ( DNSMessage_t * ) in DNS_ParseDNSReply()
342 xSet.pucUDPPayloadBuffer = pucUDPPayloadBuffer; in DNS_ParseDNSReply()
343 xSet.pucByte = &( pucUDPPayloadBuffer[ sizeof( DNSMessage_t ) ] ); in DNS_ParseDNSReply()
[all …]
|
| D | FreeRTOS_IP_Utils.c | 1032 struct xPacketSummary xSet; in usGenerateProtocolChecksum() local
1034 ( void ) memset( &( xSet ), 0, sizeof( xSet ) ); in usGenerateProtocolChecksum()
1040 xSet.pcType = "???"; in usGenerateProtocolChecksum()
1057 xSet.pxIPPacket = ( ( const IPPacket_t * ) pucEthernetBuffer ); in usGenerateProtocolChecksum()
1059 switch( xSet.pxIPPacket->xEthernetHeader.usFrameType ) /* LCOV_EXCL_BR_LINE */ in usGenerateProtocolChecksum()
1063 xResult = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &( xSet ) ); in usGenerateProtocolChecksum()
1073 …xSet.pxIPPacket_IPv6 = ( ( const IPHeader_IPv6_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] … in usGenerateProtocolChecksum()
1075 xResult = prvChecksumIPv6Checks( pucEthernetBuffer, uxBufferLength, &( xSet ) ); in usGenerateProtocolChecksum()
1081 …debug_printf( ( "usGenerateProtocolChecksum: Undefined usFrameType %d\n", xSet.pxIPPacket->xEthern… in usGenerateProtocolChecksum()
1083 xSet.usChecksum = ipINVALID_LENGTH; in usGenerateProtocolChecksum()
[all …]
|
| D | FreeRTOS_DHCP.c | 1249 ProcessSet_t xSet; in prvProcessDHCPReplies() local
1251 ( void ) memset( &( xSet ), 0, sizeof( xSet ) ); in prvProcessDHCPReplies()
1289 xSet.ulProcessed = 0U; in prvProcessDHCPReplies()
1293 xSet.pucByte = &( pucUDPPayload[ sizeof( DHCPMessage_IPv4_t ) ] ); in prvProcessDHCPReplies()
1294 xSet.uxIndex = 0; in prvProcessDHCPReplies()
1295 xSet.uxPayloadDataLength = ( ( size_t ) lBytes ) - sizeof( DHCPMessage_IPv4_t ); in prvProcessDHCPReplies()
1297 while( xSet.uxIndex < xSet.uxPayloadDataLength ) in prvProcessDHCPReplies()
1300 xSet.ucOptionCode = xSet.pucByte[ xSet.uxIndex ]; in prvProcessDHCPReplies()
1302 xResult = xProcessCheckOption( &( xSet ) ); in prvProcessDHCPReplies()
1306 vProcessHandleOption( pxEndPoint, &( xSet ), xExpectedMessageType ); in prvProcessDHCPReplies()
[all …]
|
| D | FreeRTOS_DHCPv6.c | 1471 DHCPOptionSet_t xSet; in prvDHCPv6Analyse() local
1473 ( void ) memset( &( xSet ), 0, sizeof( xSet ) ); in prvDHCPv6Analyse()
1476 xSet.uxOptionLength = ( size_t ) usBitConfig_read_16( &xMessage ); in prvDHCPv6Analyse()
1477 xSet.uxStart = xMessage.uxIndex; in prvDHCPv6Analyse()
1488 … xReady = prvDHCPv6_handleOption( pxEndPoint, usOption, &( xSet ), pxDHCPMessage, &( xMessage ) ); in prvDHCPv6Analyse()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 141 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_success_empty_uxRemainingBytes() local
145 ret = DNS_ReadNameField( &xSet, uxDestLen ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
157 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_fail_offset_dns_name() local
163 ret = DNS_ReadNameField( &xSet, uxDestLen ); in test_DNS_ReadNameField_fail_offset_dns_name()
176 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_success_fully_coded_gt_uint16() local
180 xSet.pucByte = pucByte; in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
181 xSet.uxSourceBytesRemaining = 8; in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
183 ret = DNS_ReadNameField( &xSet, 234 ); in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
196 ParseSet_t xSet = { 0 }; in test_DNS_ReadNameField_success_half_coded_gt_uint16() local
200 xSet.pucByte = pucByte; in test_DNS_ReadNameField_success_half_coded_gt_uint16()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/include/ |
| D | queue_init.h | 50 QueueSetHandle_t xSet = xQueueCreateSet( uxEventQueueLength ); in xUnconstrainedQueueSet() local
52 if( xSet ) in xUnconstrainedQueueSet()
54 xSet->cTxLock = nondet_int8_t(); in xUnconstrainedQueueSet()
55 __CPROVER_assume( xSet->cTxLock != 127 ); in xUnconstrainedQueueSet()
56 xSet->cRxLock = nondet_int8_t(); in xUnconstrainedQueueSet()
57 xSet->uxMessagesWaiting = nondet_UBaseType_t(); in xUnconstrainedQueueSet()
58 xSet->xTasksWaitingToReceive.uxNumberOfItems = nondet_UBaseType_t(); in xUnconstrainedQueueSet()
62 __CPROVER_assume( xSet->uxMessagesWaiting < xSet->uxLength ); in xUnconstrainedQueueSet()
63 xSet->xTasksWaitingToSend.uxNumberOfItems = nondet_UBaseType_t(); in xUnconstrainedQueueSet()
66 return xSet; in xUnconstrainedQueueSet()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvChecksumIPv6Checks/ |
| D | prvChecksumIPv6Checks_harness.c | 23 struct xPacketSummary xSet; in harness() local
33 xSet.pxIPPacket = ( const IPPacket_t * ) pucEthernetBuffer; in harness()
34 xSet.pxIPPacket_IPv6 = ( const IPHeader_IPv6_t * ) ( pucEthernetBuffer + ipSIZE_OF_ETH_HEADER ); in harness()
38 &xSet ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 2966 struct xPacketSummary xSet; in test_prvGetChecksumFromPacket_UnhandledProtocol() local
2969 memset( &xSet, 0, sizeof( xSet ) ); in test_prvGetChecksumFromPacket_UnhandledProtocol()
2971 xSet.ucProtocol = 0xFF; in test_prvGetChecksumFromPacket_UnhandledProtocol()
2973 usReturn = prvGetChecksumFromPacket( &xSet ); in test_prvGetChecksumFromPacket_UnhandledProtocol()
2984 struct xPacketSummary xSet; in test_prvGetChecksumFromPacket_IPv6UnhandledProtocol() local
2987 memset( &xSet, 0, sizeof( xSet ) ); in test_prvGetChecksumFromPacket_IPv6UnhandledProtocol()
2989 xSet.xIsIPv6 = pdTRUE; in test_prvGetChecksumFromPacket_IPv6UnhandledProtocol()
2990 xSet.ucProtocol = 0xFF; in test_prvGetChecksumFromPacket_IPv6UnhandledProtocol()
2992 usReturn = prvGetChecksumFromPacket( &xSet ); in test_prvGetChecksumFromPacket_IPv6UnhandledProtocol()
3003 struct xPacketSummary xSet; in test_prvSetChecksumInPacket_UnhandledProtocol() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 5699 ProcessSet_t xSet; in test_xProcessCheckOption_LengthByteZero() local
5705 memset( &( xSet ), 0, sizeof( xSet ) ); in test_xProcessCheckOption_LengthByteZero()
5706 xSet.ulProcessed = 0U; in test_xProcessCheckOption_LengthByteZero()
5707 xSet.ucOptionCode = dhcpIPv4_MESSAGE_TYPE_OPTION_CODE; in test_xProcessCheckOption_LengthByteZero()
5708 xSet.pucByte = ucUDPPayload; in test_xProcessCheckOption_LengthByteZero()
5709 xSet.uxIndex = 0; in test_xProcessCheckOption_LengthByteZero()
5710 xSet.uxPayloadDataLength = 2; in test_xProcessCheckOption_LengthByteZero()
5712 xResult = xProcessCheckOption( &xSet ); in test_xProcessCheckOption_LengthByteZero()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_utest.c | 3935 DHCPOptionSet_t xSet; in test_prvDHCPv6_subOption_UsedLengthLarger() local
3939 memset( &xSet, 0, sizeof( DHCPOptionSet_t ) ); in test_prvDHCPv6_subOption_UsedLengthLarger()
3941 xSet.uxOptionLength = 10U; in test_prvDHCPv6_subOption_UsedLengthLarger()
3942 xSet.uxStart = 0U; in test_prvDHCPv6_subOption_UsedLengthLarger()
3949 prvDHCPv6_subOption( DHCPv6_Option_NonTemporaryAddress, &xSet, NULL, &xMessage ); in test_prvDHCPv6_subOption_UsedLengthLarger()
|
