| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_stubs.c | 85 struct xPacketSummary * pxSet, in prvChecksumICMPv6Checks_Valid() argument
88 pxSet->uxProtocolHeaderLength = ipSIZE_OF_ICMPv6_HEADER; in prvChecksumICMPv6Checks_Valid()
93 struct xPacketSummary * pxSet, in prvChecksumICMPv6Checks_BigHeaderLength() argument
96 pxSet->uxProtocolHeaderLength = 0xFF; in prvChecksumICMPv6Checks_BigHeaderLength()
102 struct xPacketSummary * pxSet, in prvChecksumIPv6Checks_Valid() argument
109 pxSet->xIsIPv6 = pdTRUE; in prvChecksumIPv6Checks_Valid()
111 pxSet->uxIPHeaderLength = ipSIZE_OF_IPv6_HEADER; in prvChecksumIPv6Checks_Valid()
112 pxSet->usPayloadLength = FreeRTOS_ntohs( pxSet->pxIPPacket_IPv6->usPayloadLength ); in prvChecksumIPv6Checks_Valid()
113 pxSet->ucProtocol = pxIPPacket->xIPHeader.ucNextHeader; in prvChecksumIPv6Checks_Valid()
114 …pxSet->pxProtocolHeaders = ( ( ProtocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + … in prvChecksumIPv6Checks_Valid()
[all …]
|
| D | FreeRTOS_IP_Utils_utest.c | 79 extern uint16_t prvGetChecksumFromPacket( const struct xPacketSummary * pxSet );
80 extern void prvSetChecksumInPacket( const struct xPacketSummary * pxSet,
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IPv4_Utils.c | 80 struct xPacketSummary * pxSet ) in prvChecksumIPv4Checks() argument
86 pxSet->xIsIPv6 = pdFALSE; in prvChecksumIPv4Checks()
88 usLength = pxSet->pxIPPacket->xIPHeader.usLength; in prvChecksumIPv4Checks()
94 ucVersion = pxSet->pxIPPacket->xIPHeader.ucVersionHeaderLength & ( uint8_t ) 0x0FU; in prvChecksumIPv4Checks()
95 pxSet->uxIPHeaderLength = ( size_t ) ucVersion; in prvChecksumIPv4Checks()
96 pxSet->uxIPHeaderLength *= 4U; in prvChecksumIPv4Checks()
98 if( usLength < pxSet->uxIPHeaderLength ) in prvChecksumIPv4Checks()
100 pxSet->usChecksum = ipINVALID_LENGTH; in prvChecksumIPv4Checks()
109 pxSet->usChecksum = ipINVALID_LENGTH; in prvChecksumIPv4Checks()
117 if( uxBufferLength < ( ipSIZE_OF_ETH_HEADER + pxSet->uxIPHeaderLength ) ) in prvChecksumIPv4Checks()
[all …]
|
| D | FreeRTOS_IPv6_Sockets.c | 238 void prv_ntop6_search_zeros( struct sNTOP6_Set * pxSet ) in prv_ntop6_search_zeros() argument
246 pxSet->xZeroStart = -1; in prv_ntop6_search_zeros()
251 uint16_t usValue = pxSet->pusAddress[ xIndex ]; in prv_ntop6_search_zeros()
268 if( ( xCurLength > 1 ) && ( pxSet->xZeroLength < xCurLength ) ) in prv_ntop6_search_zeros()
271 pxSet->xZeroLength = xCurLength; in prv_ntop6_search_zeros()
273 pxSet->xZeroStart = xCurStart; in prv_ntop6_search_zeros()
295 struct sNTOP6_Set * pxSet ) in prv_ntop6_write_zeros() argument
300 if( pxSet->uxTargetIndex <= ( uxSize - 1U ) ) in prv_ntop6_write_zeros()
302 pcDestination[ pxSet->uxTargetIndex ] = ':'; in prv_ntop6_write_zeros()
303 pxSet->uxTargetIndex++; in prv_ntop6_write_zeros()
[all …]
|
| D | FreeRTOS_IP_Utils.c | 122 struct xPacketSummary * pxSet );
124 static BaseType_t prvChecksumProtocolMTUCheck( struct xPacketSummary * pxSet );
128 struct xPacketSummary * pxSet );
133 const struct xPacketSummary * pxSet );
135 static void prvSetChecksumInPacket( const struct xPacketSummary * pxSet,
138 static uint16_t prvGetChecksumFromPacket( const struct xPacketSummary * pxSet );
148 static void prvSetChecksumInPacket( const struct xPacketSummary * pxSet, in prvSetChecksumInPacket() argument
151 if( pxSet->ucProtocol == ( uint8_t ) ipPROTOCOL_UDP ) in prvSetChecksumInPacket()
153 pxSet->pxProtocolHeaders->xUDPHeader.usChecksum = usChecksum; in prvSetChecksumInPacket()
155 else if( pxSet->ucProtocol == ( uint8_t ) ipPROTOCOL_TCP ) in prvSetChecksumInPacket()
[all …]
|
| D | FreeRTOS_IPv6_Utils.c | 76 struct xPacketSummary * pxSet ) in prvChecksumIPv6Checks() argument
81 pxSet->xIsIPv6 = pdTRUE; in prvChecksumIPv6Checks()
83 pxSet->uxIPHeaderLength = ipSIZE_OF_IPv6_HEADER; in prvChecksumIPv6Checks()
88 pxSet->usChecksum = ipINVALID_LENGTH; in prvChecksumIPv6Checks()
93 …HeaderLength = usGetExtensionHeaderLength( pucEthernetBuffer, uxBufferLength, &pxSet->ucProtocol ); in prvChecksumIPv6Checks()
98 pxSet->usChecksum = ipINVALID_LENGTH; in prvChecksumIPv6Checks()
106 …pxSet->pxProtocolHeaders = ( ( ProtocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + … in prvChecksumIPv6Checks()
107 pxSet->usPayloadLength = FreeRTOS_ntohs( pxSet->pxIPPacket_IPv6->usPayloadLength ); in prvChecksumIPv6Checks()
109 … pxSet->usProtocolBytes = ( uint16_t ) ( pxSet->usPayloadLength - uxExtensionHeaderLength ); in prvChecksumIPv6Checks()
111 size_t uxNeeded = ( size_t ) pxSet->usPayloadLength; in prvChecksumIPv6Checks()
[all …]
|
| D | FreeRTOS_DNS_Parser.c | 100 size_t DNS_ReadNameField( ParseSet_t * pxSet, in DNS_ReadNameField() argument
105 size_t uxSourceLen = pxSet->uxSourceBytesRemaining; in DNS_ReadNameField()
106 const uint8_t * pucByte = pxSet->pucByte; in DNS_ReadNameField()
145 pxSet->pcName[ uxNameLen ] = '.'; in DNS_ReadNameField()
174 pxSet->pcName[ uxNameLen ] = ( char ) pucByte[ uxIndex ]; in DNS_ReadNameField()
192 pxSet->pcName[ uxNameLen ] = '\0'; in DNS_ReadNameField()
632 uint32_t parseDNSAnswer( ParseSet_t * pxSet, in parseDNSAnswer() argument
646 for( x = 0U; x < pxSet->pxDNSMessageHeader->usAnswers; x++ ) in parseDNSAnswer()
650 if( pxSet->usNumARecordsStored >= usCount ) in parseDNSAnswer()
656 uxResult = DNS_SkipNameField( pxSet->pucByte, in parseDNSAnswer()
[all …]
|
| D | FreeRTOS_DHCP.c | 146 ProcessSet_t * pxSet,
148 static BaseType_t xProcessCheckOption( ProcessSet_t * pxSet );
963 ProcessSet_t * pxSet, in vProcessHandleOption() argument
968 switch( pxSet->ucOptionCode ) in vProcessHandleOption()
972 if( pxSet->pucByte[ pxSet->uxIndex ] == ( uint8_t ) xExpectedMessageType ) in vProcessHandleOption()
976 pxSet->ulProcessed++; in vProcessHandleOption()
980 if( pxSet->pucByte[ pxSet->uxIndex ] == ( uint8_t ) dhcpMESSAGE_TYPE_NACK ) in vProcessHandleOption()
990 pxSet->uxLength = 0; in vProcessHandleOption()
997 if( pxSet->uxLength == sizeof( uint32_t ) ) in vProcessHandleOption()
999 EP_IPv4_SETTINGS.ulNetMask = pxSet->ulParameter; in vProcessHandleOption()
[all …]
|
| D | FreeRTOS_DHCPv6.c | 138 const DHCPOptionSet_t * pxSet,
144 const DHCPOptionSet_t * pxSet,
1099 const DHCPOptionSet_t * pxSet, in prvDHCPv6_subOption() argument
1106 size_t uxUsed = pxMessage->uxIndex - pxSet->uxStart; in prvDHCPv6_subOption()
1117 if( pxSet->uxOptionLength >= uxUsed ) in prvDHCPv6_subOption()
1119 uxRemain = pxSet->uxOptionLength - uxUsed; in prvDHCPv6_subOption()
1123 …%u used length %lu is larger than option length %lu\n", usOption, uxUsed, pxSet->uxOptionLength ) … in prvDHCPv6_subOption()
1142 uxUsed = pxMessage->uxIndex - pxSet->uxStart; in prvDHCPv6_subOption()
1190 uxUsed = pxMessage->uxIndex - pxSet->uxStart; in prvDHCPv6_subOption()
1193 if( pxSet->uxOptionLength > uxUsed ) in prvDHCPv6_subOption()
[all …]
|
| D | FreeRTOS_DNS_Callback.c | 56 BaseType_t xDNSDoCallback( ParseSet_t * pxSet, in xDNSDoCallback() argument
62 TickType_t uxIdentifier = ( TickType_t ) pxSet->pxDNSMessageHeader->usIdentifier; in xDNSDoCallback()
80 if( pxSet->usPortNumber == FreeRTOS_htons( ipMDNS_PORT ) ) in xDNSDoCallback()
85 … xMatching = ( strcasecmp( pxCallback->pcName, pxSet->pcName ) == 0 ) ? pdTRUE : pdFALSE; in xDNSDoCallback()
115 pCallbackFunction( pxSet->pcName, pvSearchID, pxAddress ); in xDNSDoCallback()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ReadNameField/ |
| D | ReadNameField_harness.c | 27 size_t DNS_ReadNameField( ParseSet_t * pxSet,
42 size_t DNS_ReadNameField( ParseSet_t * pxSet,
45 __CPROVER_assert( pxSet != NULL,
69 ParseSet_t pxSet; in harness() local
71 pxSet.pucByte = malloc( pxSet.uxSourceBytesRemaining ); in harness()
75 __CPROVER_assume( pxSet.uxSourceBytesRemaining < CBMC_MAX_OBJECT_SIZE ); in harness()
78 __CPROVER_assume( pxSet.uxSourceBytesRemaining <= NETWORK_BUFFER_SIZE ); in harness()
81 __CPROVER_assume( pxSet.pucByte != NULL ); in harness()
91 size_t index = DNS_ReadNameField( &pxSet, in harness()
96 __CPROVER_assert( index <= uxDestLen + 1 && index <= pxSet.uxSourceBytesRemaining, in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/ |
| D | DHCPv6HandleOption_harness.c | 64 … const DHCPOptionSet_t * pxSet, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption() argument
70 __CPROVER_assume( pxSet != NULL ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption()
83 DHCPOptionSet_t * pxSet = safeMalloc( sizeof( DHCPOptionSet_t ) ); in harness() local
89 __CPROVER_assume( pxSet != NULL ); in harness()
91 pxSet->uxOptionLength = OPTION_LENGTH; in harness()
94 …eeRTOS_DHCPv6_c_prvDHCPv6_handleOption( pxNetworkEndPoint_Temp, usOption, pxSet, pxDHCPMessage, px… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Callback/ |
| D | FreeRTOS_DNS_Callback_utest.c | 107 ParseSet_t pxSet; in test_xDNSDoCallback_success_not_equal_identifier() local
111 pxSet.pxDNSMessageHeader = &xDNSMessageHeader; in test_xDNSDoCallback_success_not_equal_identifier()
112 pxSet.pxDNSMessageHeader->usIdentifier = 123; in test_xDNSDoCallback_success_not_equal_identifier()
114 strcpy( pxSet.pcName, pc_name ); in test_xDNSDoCallback_success_not_equal_identifier()
126 ret = xDNSDoCallback( &pxSet, &pxAddress ); in test_xDNSDoCallback_success_not_equal_identifier()
136 ParseSet_t pxSet; in test_xDNSDoCallback_success_equal_identifier() local
140 pxSet.pxDNSMessageHeader = &xDNSMessageHeader; in test_xDNSDoCallback_success_equal_identifier()
141 pxSet.pxDNSMessageHeader->usIdentifier = 123; in test_xDNSDoCallback_success_equal_identifier()
143 strcpy( pxSet.pcName, pc_name ); in test_xDNSDoCallback_success_equal_identifier()
160 ret = xDNSDoCallback( &pxSet, &pxAddress ); in test_xDNSDoCallback_success_equal_identifier()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IPv6_Utils.h | 59 struct xPacketSummary * pxSet );
62 struct xPacketSummary * pxSet );
|
| D | FreeRTOS_DNS_Parser.h | 47 size_t DNS_ReadNameField( ParseSet_t * pxSet,
85 uint32_t parseDNSAnswer( ParseSet_t * pxSet,
|
| D | FreeRTOS_IPv4_Utils.h | 59 struct xPacketSummary * pxSet );
|
| D | FreeRTOS_DNS_Callback.h | 53 BaseType_t xDNSDoCallback( ParseSet_t * pxSet,
|
| D | FreeRTOS_IPv6_Sockets.h | 91 void prv_ntop6_search_zeros( struct sNTOP6_Set * pxSet );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_IPv6/ |
| D | FreeRTOS_Sockets_IPv6_utest.c | 69 struct sNTOP6_Set * pxSet );
72 struct sNTOP6_Set * pxSet );
73 extern BaseType_t prv_inet_pton6_add_nibble( struct sPTON6_Set * pxSet,
76 extern void prv_inet_pton6_set_zeros( struct sPTON6_Set * pxSet );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_utest.c | 66 const DHCPOptionSet_t * pxSet,
|
