| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DHCPv6.c | 101 DHCPMessage_IPv6_t * pxDHCPMessage );
105 DHCPMessage_IPv6_t * pxDHCPMessage );
128 DHCPMessage_IPv6_t * pxDHCPMessage );
132 DHCPMessage_IPv6_t * pxDHCPMessage );
135 DHCPMessage_IPv6_t * pxDHCPMessage );
139 DHCPMessage_IPv6_t * pxDHCPMessage,
145 DHCPMessage_IPv6_t * pxDHCPMessage,
336 if( pxIterator->pxDHCPMessage->xServerID.usDUIDType != 0U ) in xDHCPv6Process_PassReplyToEndPoint()
339 if( pxIterator->pxDHCPMessage->xServerID.uxLength > DHCPv6_MAX_CLIENT_SERVER_ID_LENGTH ) in xDHCPv6Process_PassReplyToEndPoint()
344 …else if( ( xDHCPMessage.xServerID.usDUIDType != pxIterator->pxDHCPMessage->xServerID.usDUIDType ) … in xDHCPv6Process_PassReplyToEndPoint()
[all …]
|
| D | FreeRTOS_DHCP.c | 224 const DHCPMessage_IPv4_t * pxDHCPMessage; in vDHCPProcess() local
249 pxDHCPMessage = ( ( const DHCPMessage_IPv4_t * ) pucUDPPayload ); in vDHCPProcess()
252 …if( ( pxDHCPMessage->ulDHCPCookie == dhcpCOOKIE ) && ( pxDHCPMessage->ucOpcode == dhcpREPLY_OPCODE… in vDHCPProcess()
259 … if( pxDHCPMessage->ulTransactionID == FreeRTOS_htonl( pxIterator->xDHCPData.ulTransactionId ) ) in vDHCPProcess()
1125 static BaseType_t prvIsValidDHCPResponse( const DHCPMessage_IPv4_t * pxDHCPMessage ) in prvIsValidDHCPResponse() argument
1129 if( ( pxDHCPMessage->ulDHCPCookie != ( uint32_t ) dhcpCOOKIE ) || in prvIsValidDHCPResponse()
1130 ( pxDHCPMessage->ucOpcode != ( uint8_t ) dhcpREPLY_OPCODE ) || in prvIsValidDHCPResponse()
1131 ( pxDHCPMessage->ucAddressType != ( uint8_t ) dhcpADDRESS_TYPE_ETHERNET ) || in prvIsValidDHCPResponse()
1132 ( pxDHCPMessage->ucAddressLength != ( uint8_t ) dhcpETHERNET_ADDRESS_LENGTH ) || in prvIsValidDHCPResponse()
1133 ( ( FreeRTOS_ntohl( pxDHCPMessage->ulYourIPAddress_yiaddr ) & 0xFFU ) == 0xFFU ) || in prvIsValidDHCPResponse()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 53 … DHCPMessage_IPv6_t * pxDHCPMessage ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState() argument
56 __CPROVER_assert( pxDHCPMessage != NULL, "pxDHCPMessage must not be NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState()
115 … DHCPMessage_IPv6_t * pxDHCPMessage ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleAdvertise() argument
118 __CPROVER_assert( pxDHCPMessage != NULL, "pxDHCPMessage must not be NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleAdvertise()
124 … DHCPMessage_IPv6_t * pxDHCPMessage ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint_HandleReply() argument
127 __CPROVER_assert( pxDHCPMessage != NULL, "pxDHCPMessage must not be NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint_HandleReply()
132 … DHCPMessage_IPv6_t * pxDHCPMessage );
142 DHCPMessage_IPv6_t * pxDHCPMessage = safeMalloc( sizeof( DHCPMessage_IPv6_t ) ); in harness() local
143 __CPROVER_assume( pxDHCPMessage != NULL ); in harness()
147 …le_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint( xReset, pxNetworkEndPoint_Temp, pxDHCPMessage ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/Process_PassReplyToEndPoint/ |
| D | DHCPv6Process_PassReplyToEndPoint_harness.c | 53 … DHCPMessage_IPv6_t * pxDHCPMessage );
60 … DHCPMessage_IPv6_t * pxDHCPMessage ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint() argument
63 __CPROVER_assert( pxDHCPMessage != NULL, "pxDHCPMessage != NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint()
72 pxNetworkEndPoints->pxDHCPMessage = &__CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPMessage; in harness()
78 … pxNetworkEndPoints->pxNext->pxDHCPMessage = &__CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPMessage; in harness()
90 pxNetworkEndPoint_Temp->pxDHCPMessage = safeMalloc( sizeof( DHCPMessage_IPv6_t ) ); in harness()
91 __CPROVER_assume( pxNetworkEndPoint_Temp->pxDHCPMessage != NULL ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Analyse/ |
| D | DHCPv6Analyse_harness.c | 53 … DHCPMessage_IPv6_t * pxDHCPMessage );
60 DHCPMessage_IPv6_t * pxDHCPMessage; in harness() local
66 pxDHCPMessage = safeMalloc( sizeof( DHCPMessage_IPv6_t ) ); in harness()
67 __CPROVER_assume( pxDHCPMessage != NULL ); in harness()
76 …eRTOS_DHCPv6_c_prvDHCPv6Analyse( pxNetworkEndPoint_Temp, pucAnswer, uxTotalLength, pxDHCPMessage ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 55 … DHCPMessage_IPv6_t * pxDHCPMessage ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint() argument
58 __CPROVER_assert( pxDHCPMessage != NULL, "FreeRTOS precondition: pxDHCPMessage != NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_vDHCPv6ProcessEndPoint()
65 … DHCPMessage_IPv6_t * pxDHCPMessage ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse() argument
70 __CPROVER_assert( pxDHCPMessage != NULL, "pxDHCPMessage is not expected to be NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse()
89 … DHCPMessage_IPv6_t * pxDHCPMessage ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState() argument
92 __CPROVER_assert( pxDHCPMessage != NULL, "pxDHCPMessage is not expected to be NULL" ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState()
174 pxNetworkEndPoint->pxDHCPMessage = safeMalloc( sizeof( DHCPMessage_IPv6_t ) ); in harness()
180 __CPROVER_assume( pxNetworkEndPoint->pxDHCPMessage != NULL ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/ |
| D | DHCPv6HandleOption_harness.c | 65 … DHCPMessage_IPv6_t * pxDHCPMessage, in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption() argument
69 __CPROVER_assume( pxDHCPMessage != NULL ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption()
82 DHCPMessage_IPv6_t * pxDHCPMessage = safeMalloc( sizeof( DHCPMessage_IPv6_t ) ); in harness() local
88 __CPROVER_assume( pxDHCPMessage != NULL ); in harness()
94 …CPv6_c_prvDHCPv6_handleOption( pxNetworkEndPoint_Temp, usOption, pxSet, pxDHCPMessage, pxMessage ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 1989 DHCPMessage_IPv4_t * pxDHCPMessage = ( DHCPMessage_IPv4_t * ) DHCPMsg; in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageWithoutOptionsNoTimeout() local
1994 memcpy( pxDHCPMessage->ucClientHardwareAddress, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageWithoutOptionsNoTimeout()
1995 pxDHCPMessage->ulDHCPCookie = dhcpCOOKIE; in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageWithoutOptionsNoTimeout()
2041 DHCPMessage_IPv4_t * pxDHCPMessage = ( DHCPMessage_IPv4_t * ) DHCPMsg; in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageIncorrectOptionsNoTimeout() local
2049 memcpy( pxDHCPMessage->ucClientHardwareAddress, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageIncorrectOptionsNoTimeout()
2051 pxDHCPMessage->ulDHCPCookie = dhcpCOOKIE; in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageIncorrectOptionsNoTimeout()
2104 DHCPMessage_IPv4_t * pxDHCPMessage = ( DHCPMessage_IPv4_t * ) DHCPMsg; in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageMissingLengthByteNoTimeout() local
2112 memcpy( pxDHCPMessage->ucClientHardwareAddress, ipLOCAL_MAC_ADDRESS, sizeof( MACAddress_t ) ); in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageMissingLengthByteNoTimeout()
2114 pxDHCPMessage->ulDHCPCookie = dhcpCOOKIE; in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageMissingLengthByteNoTimeout()
2168 DHCPMessage_IPv4_t * pxDHCPMessage = ( DHCPMessage_IPv4_t * ) DHCPMsg; in test_vDHCPProcess_eWaitingOfferCorrectDHCPMessageIncorrectLengthByteNoTimeout() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/SendDHCPMessage/ |
| D | SendDHCPMessage_harness.c | 62 pxNetworkEndPoint_Temp->pxDHCPMessage = safeMalloc( sizeof( DHCPMessage_IPv6_t ) ); in harness()
66 __CPROVER_assume( pxNetworkEndPoint_Temp->pxDHCPMessage != NULL ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_utest.c | 67 DHCPMessage_IPv6_t * pxDHCPMessage,
1414 xEndPoint.pxDHCPMessage = &xDHCPMessage; in test_vDHCPv6Process_ResetFromLease()
1450 xEndPoint.pxDHCPMessage = &xDHCPMessage; in test_vDHCPv6Process_ResetDifferentState()
1490 xEndPoint.pxDHCPMessage = &xDHCPMessage; in test_vDHCPv6Process_SolicitationHappyPath()
1531 xEndPoint.pxDHCPMessage = &xDHCPMessage; in test_vDHCPv6Process_SolicitationDifferentState()
1567 xEndPoint.pxDHCPMessage = &xDHCPMessage; in test_vDHCPv6Process_AdvertiseHappyPath()
1615 xEndPoint.pxDHCPMessage = &xDHCPMessage; in test_vDHCPv6Process_AdvertiseIATA()
1663 xEndPoint.pxDHCPMessage = &xDHCPMessage; in test_vDHCPv6Process_ReplyHappyPath()
1712 xEndPoint.pxDHCPMessage = &xDHCPMessage; in test_vDHCPv6Process_DHCPLeaseTimeout()
1759 xEndPoint.pxDHCPMessage = &xDHCPMessage; in test_vDHCPv6Process_GiveupWhenSocketNull()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Routing.h | 185 … DHCPMessage_IPv6_t * pxDHCPMessage; /**< A description of the DHCPv6 client state machine. */ member
|
