Home
last modified time | relevance | path

Searched refs:pxNetworkBuffer (Results 1 – 25 of 166) sorted by relevance

1234567

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
HDTCPReturnPacket_harness.c51 NetworkBufferDescriptor_t * const pxNetworkBuffer, in NetworkInterfaceOutputFunction_Stub() argument
55 __CPROVER_assert( pxNetworkBuffer != NULL, "The network buffer descriptor cannot be NULL." ); in NetworkInterfaceOutputFunction_Stub()
56 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The ethernet buffer cannot be NULL.… in NetworkInterfaceOutputFunction_Stub()
60 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in NetworkInterfaceOutputFunction_Stub()
69 NetworkBufferDescriptor_t * pxNetworkBuffer, in prvTCPReturn_SetEndPoint() argument
74 __CPROVER_assert( pxNetworkBuffer != NULL, "The network interface cannot be NULL." ); in prvTCPReturn_SetEndPoint()
84 pxNetworkBuffer->pxEndPoint = pxEndPoint; in prvTCPReturn_SetEndPoint()
88 … * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t * const pxNetworkBuffer, in pxDuplicateNetworkBufferWithDescriptor() argument
91 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( xNewLength ); in pxDuplicateNetworkBufferWithDescriptor() local
93 if( ensure_memory_is_valid( pxNetworkBuffer, xNewLength ) ) in pxDuplicateNetworkBufferWithDescriptor()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/
HDFreeRTOS_IPv6_ConfigDriverCheckChecksum_utest.c63 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_happy_path() local
64 IPPacket_IPv6_t * pxIPPacket = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_happy_path()
66 eResult = prvAllowIPPacketIPv6( &pxIPPacket->xIPHeader, pxNetworkBuffer, 0U ); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_happy_path()
77 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_valid_ext_header_length() local
78 IPPacket_IPv6_t * pxIPPacket = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_valid_ext_header_length()
83 pxNetworkBuffer->pucEthernetBuffer[ uxIndex ] = ipPROTOCOL_TCP; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_valid_ext_header_length()
84 pxNetworkBuffer->pucEthernetBuffer[ uxIndex + 1 ] = 0U; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_valid_ext_header_length()
86 eResult = prvAllowIPPacketIPv6( &pxIPPacket->xIPHeader, pxNetworkBuffer, 0U ); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_valid_ext_header_length()
97 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_buffer_length_less_than_ip_header() local
98 IPPacket_IPv6_t * pxIPPacket = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_buffer_length_less_than_ip_header()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/
HDTCPReturnPacket_IPv6_harness.c52 NetworkBufferDescriptor_t * const pxNetworkBuffer, in NetworkInterfaceOutputFunction_Stub() argument
56 __CPROVER_assert( pxNetworkBuffer != NULL, "The network buffer descriptor cannot be NULL." ); in NetworkInterfaceOutputFunction_Stub()
57 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The ethernet buffer cannot be NULL.… in NetworkInterfaceOutputFunction_Stub()
61 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in NetworkInterfaceOutputFunction_Stub()
70 NetworkBufferDescriptor_t * pxNetworkBuffer, in prvTCPReturn_SetEndPoint() argument
83 pxNetworkBuffer->pxEndPoint = pxEndPoint; in prvTCPReturn_SetEndPoint()
87 … * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t * const pxNetworkBuffer, in pxDuplicateNetworkBufferWithDescriptor() argument
90 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( xNewLength ); in pxDuplicateNetworkBufferWithDescriptor() local
92 if( ensure_memory_is_valid( pxNetworkBuffer, xNewLength ) ) in pxDuplicateNetworkBufferWithDescriptor()
94 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4/
HDFreeRTOS_IPv4_utest.c126 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_LessHeaderLength() local
132 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_LessHeaderLength()
133 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_LessHeaderLength()
134 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv4_LessHeaderLength()
137 eResult = prvAllowIPPacketIPv4( pxIPPacket, pxNetworkBuffer, uxHeaderLength ); in test_prvAllowIPPacketIPv4_LessHeaderLength()
151 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_FragmentedPacket() local
158 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_FragmentedPacket()
159 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_FragmentedPacket()
160 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv4_FragmentedPacket()
165 eResult = prvAllowIPPacketIPv4( pxIPPacket, pxNetworkBuffer, uxHeaderLength ); in test_prvAllowIPPacketIPv4_FragmentedPacket()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_UDP_IPv6.c129 static eARPLookupResult_t prvStartLookup( NetworkBufferDescriptor_t * const pxNetworkBuffer, in prvStartLookup() argument
138 … const UDPPacket_t * pxUDPPacket = ( ( const UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in prvStartLookup()
143 ( void * ) pxNetworkBuffer->xIPAddress.xIP_IPv6.ucBytes, in prvStartLookup()
144 ( pxNetworkBuffer->pxEndPoint != NULL ) ? "" : "out" ) ); in prvStartLookup()
146 if( pxNetworkBuffer->pxEndPoint == NULL ) in prvStartLookup()
148 IPv6_Type_t eTargetType = xIPv6_GetIPType( &( pxNetworkBuffer->xIPAddress.xIP_IPv6 ) ); in prvStartLookup()
150 pxNetworkBuffer->pxEndPoint = pxGetEndpoint( ( BaseType_t ) ipTYPE_IPv6, xIsGlobal ); in prvStartLookup()
151 …FreeRTOS_printf( ( "prvStartLookup: Got an end-point: %s\n", pxNetworkBuffer->pxEndPoint ? "yes" :… in prvStartLookup()
154 if( pxNetworkBuffer->pxEndPoint != NULL ) in prvStartLookup()
156 … vNDSendNeighbourSolicitation( pxNetworkBuffer, &( pxNetworkBuffer->xIPAddress.xIP_IPv6 ) ); in prvStartLookup()
[all …]
HDFreeRTOS_UDP_IPv4.c78 void vProcessGeneratedUDPPacket_IPv4( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vProcessGeneratedUDPPacket_IPv4() argument
83 uint32_t ulIPAddress = pxNetworkBuffer->xIPAddress.ulIP_IPv4; in vProcessGeneratedUDPPacket_IPv4()
84 NetworkEndPoint_t * pxEndPoint = pxNetworkBuffer->pxEndPoint; in vProcessGeneratedUDPPacket_IPv4()
95 pxUDPPacket = ( ( UDPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in vProcessGeneratedUDPPacket_IPv4()
98 if( pxNetworkBuffer->usPort == ( uint16_t ) ipPACKET_CONTAINS_ICMP_DATA ) in vProcessGeneratedUDPPacket_IPv4()
100 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( ICMPPacket_t ); in vProcessGeneratedUDPPacket_IPv4()
105 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_t ); in vProcessGeneratedUDPPacket_IPv4()
111 if( pxNetworkBuffer->pxEndPoint == NULL ) in vProcessGeneratedUDPPacket_IPv4()
113 pxNetworkBuffer->pxEndPoint = pxEndPoint; in vProcessGeneratedUDPPacket_IPv4()
123 iptraceSENDING_UDP_PACKET( pxNetworkBuffer->xIPAddress.ulIP_IPv4 ); in vProcessGeneratedUDPPacket_IPv4()
[all …]
HDFreeRTOS_TCP_Transmission_IPv4.c94 NetworkBufferDescriptor_t * pxNetworkBuffer = pxDescriptor; in prvTCPReturnPacket_IPV4() local
107 if( pxNetworkBuffer == NULL ) in prvTCPReturnPacket_IPV4()
109 pxNetworkBuffer = &xTempBuffer; in prvTCPReturnPacket_IPV4()
114 pxNetworkBuffer->pxNextBuffer = NULL; in prvTCPReturnPacket_IPV4()
117 pxNetworkBuffer->pucEthernetBuffer = pxSocket->u.xTCP.xPacket.u.ucLastPacket; in prvTCPReturnPacket_IPV4()
118 pxNetworkBuffer->xDataLength = sizeof( pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPReturnPacket_IPV4()
128 …pxNetworkBuffer = pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, ( size_t ) pxNetworkBuf… in prvTCPReturnPacket_IPV4()
130 if( pxNetworkBuffer != NULL ) in prvTCPReturnPacket_IPV4()
145 … pxIPHeader = ( ( IPHeader_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) ); in prvTCPReturnPacket_IPV4()
148 … if( pxNetworkBuffer != NULL ) /* LCOV_EXCL_BR_LINE the 2nd branch will never be reached */ in prvTCPReturnPacket_IPV4()
[all …]
HDFreeRTOS_TCP_Transmission_IPv6.c95 NetworkBufferDescriptor_t * pxNetworkBuffer = pxDescriptor; in prvTCPReturnPacket_IPV6() local
107 if( ( pxNetworkBuffer == NULL ) && ( pxSocket == NULL ) ) in prvTCPReturnPacket_IPV6()
115 if( pxNetworkBuffer == NULL ) in prvTCPReturnPacket_IPV6()
117 pxNetworkBuffer = &xTempBuffer; in prvTCPReturnPacket_IPV6()
122 pxNetworkBuffer->pxNextBuffer = NULL; in prvTCPReturnPacket_IPV6()
125 pxNetworkBuffer->pucEthernetBuffer = pxSocket->u.xTCP.xPacket.u.ucLastPacket; in prvTCPReturnPacket_IPV6()
126 pxNetworkBuffer->xDataLength = sizeof( pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPReturnPacket_IPV6()
136 …pxNetworkBuffer = pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, ( size_t ) pxNetworkBuf… in prvTCPReturnPacket_IPV6()
138 if( pxNetworkBuffer != NULL ) in prvTCPReturnPacket_IPV6()
150 configASSERT( pxNetworkBuffer->pucEthernetBuffer != NULL ); in prvTCPReturnPacket_IPV6()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ICMP/
HDFreeRTOS_ICMP_utest.c71 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_CatchAssert() local
73 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_CatchAssert()
74 pxNetworkBuffer->xDataLength = sizeof( ICMPPacket_t ) - 1; in test_ProcessICMPPacket_CatchAssert()
76 catch_assert( ProcessICMPPacket( pxNetworkBuffer ) ); in test_ProcessICMPPacket_CatchAssert()
82 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_AllZeroData() local
85 pxNetworkBuffer = &xNetworkBuffer; in test_ProcessICMPPacket_AllZeroData()
86 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_AllZeroData()
87 pxNetworkBuffer->xDataLength = ipconfigTCP_MSS; in test_ProcessICMPPacket_AllZeroData()
93 eResult = ProcessICMPPacket( pxNetworkBuffer ); in test_ProcessICMPPacket_AllZeroData()
101 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_EchoRequest() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/
HDFreeRTOS_RA_utest.c92 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_NullEndpoint() local
95 pxNetworkBuffer = &xNetworkBuffer; in test_vNDSendRouterSolicitation_NullEndpoint()
96 pxNetworkBuffer->pxEndPoint = NULL; in test_vNDSendRouterSolicitation_NullEndpoint()
98 catch_assert( vNDSendRouterSolicitation( pxNetworkBuffer, pxIPAddress ) ); in test_vNDSendRouterSolicitation_NullEndpoint()
107 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_FalsebIPv6() local
111 pxNetworkBuffer = &xNetworkBuffer; in test_vNDSendRouterSolicitation_FalsebIPv6()
112 pxNetworkBuffer->pxEndPoint = &xEndPoint; in test_vNDSendRouterSolicitation_FalsebIPv6()
115 catch_assert( vNDSendRouterSolicitation( pxNetworkBuffer, pxIPAddress ) ); in test_vNDSendRouterSolicitation_FalsebIPv6()
124 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_xHasLocal0() local
133 pxNetworkBuffer = &xNetworkBuffer; in test_vNDSendRouterSolicitation_xHasLocal0()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
HDFreeRTOS_IP_utest.c81 NetworkBufferDescriptor_t * const pxNetworkBuffer );
82 void prvProcessEthernetPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
113 … NetworkBufferDescriptor_t * const pxNetworkBuffer, in NetworkInterfaceOutputFunction_Stub() argument
251 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig() local
255 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
256 pxNetworkBuffer->xDataLength = 0; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
258 …ExpectAndReturn( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, uxBlockTimeTicks, pxNetworkBuffer ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
262 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
263 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
275 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv4/
HDFreeRTOS_TCP_State_Handling_IPv4_utest.c52 NetworkBufferDescriptor_t * pxNetworkBuffer );
55 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
69 pxNetworkBuffer = NULL; in setUp()
87 pxNetworkBuffer = &xNetworkBuffer; in test_prvHandleListen_IPV4_NotForMe()
88 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvHandleListen_IPV4_NotForMe()
89 pxNetworkBuffer->pxEndPoint = &xEndPoint; in test_prvHandleListen_IPV4_NotForMe()
93 pxTCPPacket = ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvHandleListen_IPV4_NotForMe()
96 pxSocket = prvHandleListen_IPV4( pxSocket, pxNetworkBuffer ); in test_prvHandleListen_IPV4_NotForMe()
113 pxNetworkBuffer = &xNetworkBuffer; in test_prvHandleListen_IPV4_ReuseSocket()
114 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvHandleListen_IPV4_ReuseSocket()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig1/
HDFreeRTOS_IPv4_DiffConfig1_utest.c84 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLess() local
94 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLess()
95 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLess()
96 pxNetworkBuffer->pxEndPoint = pxEndpoint; in test_prvAllowIPPacketIPv4_BufferLengthLess()
98 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLess()
116 pxNetworkBuffer->xDataLength = i; in test_prvAllowIPPacketIPv4_BufferLengthLess()
117 eResult = prvAllowIPPacketIPv4( pxIPPacket, pxNetworkBuffer, uxHeaderLength ); in test_prvAllowIPPacketIPv4_BufferLengthLess()
132 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_HeaderLengthLess() local
142 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_HeaderLengthLess()
143 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_HeaderLengthLess()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA/
HDReceiveRA_harness.c44 …_file_local_FreeRTOS_RA_c_vReceiveRA_ReadReply( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in __CPROVER_file_local_FreeRTOS_RA_c_vReceiveRA_ReadReply() argument
55 NetworkBufferDescriptor_t * pxNetworkBuffer; in pxGetNetworkBufferWithDescriptor() local
57 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in pxGetNetworkBufferWithDescriptor()
59 if( pxNetworkBuffer ) in pxGetNetworkBufferWithDescriptor()
61 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
62 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in pxGetNetworkBufferWithDescriptor()
64 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
67 return pxNetworkBuffer; in pxGetNetworkBufferWithDescriptor()
71 void vNDSendRouterSolicitation( NetworkBufferDescriptor_t * pxNetworkBuffer, in vNDSendRouterSolicitation() argument
74 __CPROVER_assert( pxNetworkBuffer != NULL, "The network buffer descriptor cannot be NULL." ); in vNDSendRouterSolicitation()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/
HDFreeRTOS_IPv6_utest.c100 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_HappyPath() local
101 TCPPacket_IPv6_t * pxTCPPacket = ( TCPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_HappyPath()
104 …usGenerateProtocolChecksum_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->x… in test_prvAllowIPPacketIPv6_HappyPath()
106 eResult = prvAllowIPPacketIPv6( &pxTCPPacket->xIPHeader, pxNetworkBuffer, 0U ); in test_prvAllowIPPacketIPv6_HappyPath()
116 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_MulticastAddress() local
117 TCPPacket_IPv6_t * pxTCPPacket = ( TCPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_MulticastAddress()
124 …usGenerateProtocolChecksum_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->x… in test_prvAllowIPPacketIPv6_MulticastAddress()
126 eResult = prvAllowIPPacketIPv6( &pxTCPPacket->xIPHeader, pxNetworkBuffer, 0U ); in test_prvAllowIPPacketIPv6_MulticastAddress()
137 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_LoopbackAddress() local
138 TCPPacket_IPv6_t * pxTCPPacket = ( TCPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_LoopbackAddress()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/ProcessEthernetPacket/
HDProcessEthernetPacket_harness.c50 void vReturnEthernetFrame( NetworkBufferDescriptor_t * pxNetworkBuffer, in vReturnEthernetFrame() argument
53 __CPROVER_assert( pxNetworkBuffer != NULL, "xNetworkBuffer != NULL" ); in vReturnEthernetFrame()
54 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "pxNetworkBuffer->pucEthernetBuffer … in vReturnEthernetFrame()
56 free( pxNetworkBuffer->pucEthernetBuffer ); in vReturnEthernetFrame()
57 free( pxNetworkBuffer ); in vReturnEthernetFrame()
62 … NetworkBufferDescriptor_t * const pxNetworkBuffer ) in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket() argument
65 __CPROVER_assert( pxNetworkBuffer != NULL, "pxNetworkBuffer cannot be NULL" ); in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
73 …_local_FreeRTOS_IP_c_prvProcessEthernetPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
79 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness() local
81 __CPROVER_assume( pxNetworkBuffer != NULL ); in harness()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxDuplicateNetworkBufferWithDescriptor/
HDpxDuplicateNetworkBufferWithDescriptor_harness.c44 NetworkBufferDescriptor_t * pxNetworkBuffer; in pxGetNetworkBufferWithDescriptor() local
46 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in pxGetNetworkBufferWithDescriptor()
48 if( pxNetworkBuffer ) in pxGetNetworkBufferWithDescriptor()
50 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
51 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in pxGetNetworkBufferWithDescriptor()
53 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
56 return pxNetworkBuffer; in pxGetNetworkBufferWithDescriptor()
60 size_t uxIPHeaderSizePacket( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in uxIPHeaderSizePacket() argument
64 __CPROVER_assert( pxNetworkBuffer != NULL, "pxNetworkBuffer shouldnt be NULL" ); in uxIPHeaderSizePacket()
74 NetworkBufferDescriptor_t * pxNetworkBuffer; in harness() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/
HDFreeRTOS_TCP_Reception_utest.c60 const NetworkBufferDescriptor_t * pxNetworkBuffer );
61 BaseType_t prvTCPSendReset( NetworkBufferDescriptor_t * pxNetworkBuffer );
64 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
125 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_No_Option()
126 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_No_Option()
130 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] )… in test_prvCheckOptions_No_Option()
137 xReturn = prvCheckOptions( pxSocket, pxNetworkBuffer ); in test_prvCheckOptions_No_Option()
148 pxNetworkBuffer = &xNetworkBuffer; in test_prvCheckOptions_Invalid_Data_Length()
149 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_Invalid_Data_Length()
153 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] )… in test_prvCheckOptions_Invalid_Data_Length()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig/
HDFreeRTOS_IPv4_DiffConfig_utest.c84 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_BroadcastSourceIP() local
93 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_BroadcastSourceIP()
94 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_BroadcastSourceIP()
95 pxNetworkBuffer->pxEndPoint = pxEndpoint; in test_prvAllowIPPacketIPv4_BroadcastSourceIP()
96 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv4_BroadcastSourceIP()
111 eResult = prvAllowIPPacketIPv4( pxIPPacket, pxNetworkBuffer, uxHeaderLength ); in test_prvAllowIPPacketIPv4_BroadcastSourceIP()
125 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLessThanMinimum() local
134 pxNetworkBuffer = &xNetworkBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLessThanMinimum()
135 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_BufferLengthLessThanMinimum()
136 pxNetworkBuffer->pxEndPoint = pxEndpoint; in test_prvAllowIPPacketIPv4_BufferLengthLessThanMinimum()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv6/
HDFreeRTOS_TCP_State_Handling_IPv6_utest.c52 NetworkBufferDescriptor_t * pxNetworkBuffer );
55 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer; variable
73 pxNetworkBuffer = NULL; in setUp()
86 pxNetworkBuffer = &xNetworkBuffer; in test_prvHandleListen_IPV6_NullSocket()
88 pxReturn = prvHandleListen_IPV6( NULL, pxNetworkBuffer ); in test_prvHandleListen_IPV6_NullSocket()
115 pxNetworkBuffer = &xNetworkBuffer; in test_prvHandleListen_IPV6_NullEndpoint()
117 pxNetworkBuffer->pxEndPoint = NULL; in test_prvHandleListen_IPV6_NullEndpoint()
119 catch_assert( prvHandleListen_IPV6( pxSocket, pxNetworkBuffer ) ); in test_prvHandleListen_IPV6_NullEndpoint()
133 pxNetworkBuffer = &xNetworkBuffer; in test_prvHandleListen_IPV6_DifferentIP()
136 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_prvHandleListen_IPV6_DifferentIP()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/
HDvProcessGeneratedUDPPacket_IPv6_harness.c64 void vNDSendNeighbourSolicitation( NetworkBufferDescriptor_t * pxNetworkBuffer, in vNDSendNeighbourSolicitation() argument
67 __CPROVER_assert( pxNetworkBuffer != NULL, "The network buffer descriptor cannot be NULL." ); in vNDSendNeighbourSolicitation()
68 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL.… in vNDSendNeighbourSolicitation()
73 NetworkBufferDescriptor_t * const pxNetworkBuffer, in NetworkInterfaceOutputFunction_Stub() argument
79 __CPROVER_assert( pxNetworkBuffer != NULL, "The network buffer descriptor cannot be NULL." ); in NetworkInterfaceOutputFunction_Stub()
80 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL.… in NetworkInterfaceOutputFunction_Stub()
95 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSi… in harness() local
98 __CPROVER_assume( pxNetworkBuffer != NULL ); in harness()
99 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
105 pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in harness()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/
HDxCheckRequiresARPResolution_harness.c26 size_t uxIPHeaderSizePacket( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in uxIPHeaderSizePacket() argument
30 …__CPROVER_assert( __CPROVER_r_ok( pxNetworkBuffer, sizeof( NetworkBufferDescriptor_t ) ), "pxNetwo… in uxIPHeaderSizePacket()
31 …__CPROVER_assert( __CPROVER_r_ok( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength… in uxIPHeaderSizePacket()
73 …NetworkBufferDescriptor_t * pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( … in pxGetNetworkBufferWithDescriptor() local
75 return pxNetworkBuffer; in pxGetNetworkBufferWithDescriptor()
79 void vNDSendNeighbourSolicitation( NetworkBufferDescriptor_t * pxNetworkBuffer, in vNDSendNeighbourSolicitation() argument
82 …__CPROVER_assert( __CPROVER_r_ok( pxNetworkBuffer, sizeof( NetworkBufferDescriptor_t ) ), "pxNetwo… in vNDSendNeighbourSolicitation()
89 NetworkBufferDescriptor_t * pxNetworkBuffer; in harness() local
105 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in harness()
106 __CPROVER_assume( pxNetworkBuffer != NULL ); in harness()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvProcessEthernetPacket/
HDprvProcessEthernetPacket_harness.c27 …_local_FreeRTOS_IP_c_prvProcessEthernetPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
49 … NetworkBufferDescriptor_t * const pxNetworkBuffer ) in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket() argument
52 __CPROVER_assert( pxNetworkBuffer != NULL, "pxNetworkBuffer cannot be NULL" ); in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
61 NetworkBufferDescriptor_t * const pxNetworkBuffer, in NetworkInterfaceOutputFunction_Stub() argument
67 __CPROVER_assert( pxNetworkBuffer != NULL, "The network buffer descriptor cannot be NULL." ); in NetworkInterfaceOutputFunction_Stub()
68 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL.… in NetworkInterfaceOutputFunction_Stub()
75 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHE… in harness() local
78 __CPROVER_assume( pxNetworkBuffer != NULL ); in harness()
81 pxNetworkBuffer->pxEndPoint = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
82 __CPROVER_assume( pxNetworkBuffer->pxEndPoint != NULL ); in harness()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig/
HDFreeRTOS_IP_DiffConfig_utest.c66 NetworkBufferDescriptor_t * const pxNetworkBuffer );
67 void prvProcessEthernetPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
93 NetworkBufferDescriptor_t * const pxNetworkBuffer, in NetworkInterfaceOutputFunction_Stub() argument
184 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace() local
188 pxNetworkBuffer = &xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
189 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
190 pxNetworkBuffer->xDataLength = sizeof( EthernetHeader_t ) - 1; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
191 pxNetworkBuffer->pxNextBuffer = NULL; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
194 xReceivedEvent.pvData = pxNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
207 vReleaseNetworkBufferAndDescriptor_Expect( pxNetworkBuffer ); in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/
HDReturnICMP_IPv6_harness.c61 void vReturnEthernetFrame( NetworkBufferDescriptor_t * pxNetworkBuffer, in vReturnEthernetFrame() argument
64 __CPROVER_assert( pxNetworkBuffer != NULL, "The network buffer descriptor cannot be NULL." ); in vReturnEthernetFrame()
65 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL.… in vReturnEthernetFrame()
69 void vReceiveNA( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in vReceiveNA() argument
71 __CPROVER_assert( pxNetworkBuffer != NULL, "The network buffer descriptor cannot be NULL." ); in vReceiveNA()
72 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL.… in vReceiveNA()
90 NetworkBufferDescriptor_t * const pxNetworkBuffer, in NetworkInterfaceOutputFunction_Stub() argument
94 __CPROVER_assert( pxNetworkBuffer != NULL, "The network buffer descriptor cannot be NULL." ); in NetworkInterfaceOutputFunction_Stub()
95 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL.… in NetworkInterfaceOutputFunction_Stub()
123 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness() local
[all …]

1234567