| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
| D | FreeRTOS_UDP_IPv4_utest.c | 107 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass() local
111 memset( pucEthernetBuffer, 0, sizeof( pucEthernetBuffer ) ); in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass()
113 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass()
114 pxUDPPacket = ( UDPPacket_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass()
140 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail() local
144 memset( pucEthernetBuffer, 0, sizeof( pucEthernetBuffer ) ); in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail()
146 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail()
147 pxUDPPacket = ( UDPPacket_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail()
173 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestPass() local
177 memset( pucEthernetBuffer, 0, sizeof( pucEthernetBuffer ) ); in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestPass()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/ |
| D | FreeRTOS_UDP_IPv6_utest.c | 111 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum() local
115 memset( pucEthernetBuffer, 0, sizeof( pucEthernetBuffer ) ); in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum()
117 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum()
118 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum()
140 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass() local
144 memset( pucEthernetBuffer, 0, sizeof( pucEthernetBuffer ) ); in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass()
146 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass()
147 pxUDPv6Packet = ( UDPPacket_IPv6_t * ) pucEthernetBuffer; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass()
172 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyFail() local
176 memset( pucEthernetBuffer, 0, sizeof( pucEthernetBuffer ) ); in test_xProcessReceivedUDPPacket_IPv6_DNSReplyFail()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 139 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
141 xNetworkBuffer2.pucEthernetBuffer = ucEthBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
159 …TEST_ASSERT_EQUAL_MEMORY( pxNetworkBuffer->pucEthernetBuffer, xNetworkBuffer2.pucEthernetBuffer, p… in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
178 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned()
180 xNetworkBuffer2.pucEthernetBuffer = ucEthBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned()
198 …TEST_ASSERT_EQUAL_MEMORY( pxNetworkBuffer->pucEthernetBuffer, xNetworkBuffer2.pucEthernetBuffer, u… in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned()
215 pxNetworkBuffer->pucEthernetBuffer = NULL; in test_pxDuplicateNetworkBufferWithDescriptor_NullBufferReturned()
245 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_pxDuplicateNetworkBufferWithDescriptor_IPv6()
247 xNetworkBuffer2.pucEthernetBuffer = ucEthBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_IPv6()
265 …TEST_ASSERT_EQUAL_MEMORY( pxNetworkBuffer->pucEthernetBuffer, xNetworkBuffer2.pucEthernetBuffer, p… in test_pxDuplicateNetworkBufferWithDescriptor_IPv6()
[all …]
|
| D | FreeRTOS_IP_Utils_stubs.c | 100 BaseType_t prvChecksumIPv6Checks_Valid( uint8_t * pucEthernetBuffer, in prvChecksumIPv6Checks_Valid() argument
107 pxIPPacket = ( IPPacket_IPv6_t * ) pucEthernetBuffer; in prvChecksumIPv6Checks_Valid()
114 …pxSet->pxProtocolHeaders = ( ( ProtocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + … in prvChecksumIPv6Checks_Valid()
120 BaseType_t prvChecksumIPv4Checks_Valid( uint8_t * pucEthernetBuffer, in prvChecksumIPv4Checks_Valid() argument
127 pxIPPacket = ( IPPacket_t * ) pucEthernetBuffer; in prvChecksumIPv4Checks_Valid()
134 …pxSet->pxProtocolHeaders = ( ProtocolHeaders_t * ) &( pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + px… in prvChecksumIPv4Checks_Valid()
140 BaseType_t prvChecksumIPv4Checks_UnknownProtocol( uint8_t * pucEthernetBuffer, in prvChecksumIPv4Checks_UnknownProtocol() argument
145 prvChecksumIPv4Checks_Valid( pucEthernetBuffer, uxBufferLength, pxSet, NumCalls ); in prvChecksumIPv4Checks_UnknownProtocol()
152 BaseType_t prvChecksumIPv4Checks_InvalidLength( uint8_t * pucEthernetBuffer, in prvChecksumIPv4Checks_InvalidLength() argument
159 prvChecksumIPv4Checks_Valid( pucEthernetBuffer, uxBufferLength, pxSet, NumCalls ); in prvChecksumIPv4Checks_InvalidLength()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/ |
| D | BufferAllocation_2.c | 189 pxBufferDescriptor->pucEthernetBuffer = pPktBuff; in PIC32_MacAssociate()
294 xNetworkBufferDescriptors[ x ].pucEthernetBuffer = NULL; in xNetworkBuffersInitialise()
321 uint8_t * pucEthernetBuffer; in pucGetNetworkBuffer() local
345 pucEthernetBuffer = NetworkBufferAllocate( xSize - sizeof( TCPIP_MAC_ETHERNET_HEADER ) ); in pucGetNetworkBuffer()
347 pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xSize + ipBUFFER_PADDING ); in pucGetNetworkBuffer()
350 configASSERT( pucEthernetBuffer ); in pucGetNetworkBuffer()
352 if( pucEthernetBuffer != NULL ) in pucGetNetworkBuffer()
358 pucEthernetBuffer += ipBUFFER_PADDING; in pucGetNetworkBuffer()
362 return pucEthernetBuffer; in pucGetNetworkBuffer()
366 void vReleaseNetworkBuffer( uint8_t * pucEthernetBuffer ) in vReleaseNetworkBuffer() argument
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/ |
| D | usGenerateProtocolChecksum_IPv6_harness.c | 85 void prvPrepareExtensionHeaders( uint8_t * pucEthernetBuffer, in prvPrepareExtensionHeaders() argument
89 const IPPacket_IPv6_t * pxIPPacket_IPv6 = ( const IPPacket_IPv6_t * ) pucEthernetBuffer; in prvPrepareExtensionHeaders()
96 pxIPPacket_IPv6 = ( ( const IPPacket_IPv6_t * ) pucEthernetBuffer ); in prvPrepareExtensionHeaders()
104 ucNextHeader = pucEthernetBuffer[ uxIndex ]; in prvPrepareExtensionHeaders()
107 uxHopSize = ( size_t ) pucEthernetBuffer[ uxIndex + 1U ]; in prvPrepareExtensionHeaders()
148 uint8_t * pucEthernetBuffer; in harness() local
154 pucEthernetBuffer = safeMalloc( uxBufferLength ); in harness()
155 __CPROVER_assume( pucEthernetBuffer != NULL ); in harness()
156 __CPROVER_havoc_slice( pucEthernetBuffer, uxBufferLength ); in harness()
159 pxIPPacket = ( IPPacket_IPv6_t * ) pucEthernetBuffer; in harness()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/BufferManagement/ |
| D | BufferAllocation_2.c | 151 xNetworkBufferDescriptors[ x ].pucEthernetBuffer = NULL; in xNetworkBuffersInitialise()
178 uint8_t * pucEthernetBuffer; in pucGetNetworkBuffer() local
200 pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xSize + ipBUFFER_PADDING ); in pucGetNetworkBuffer()
201 configASSERT( pucEthernetBuffer != NULL ); in pucGetNetworkBuffer()
203 if( pucEthernetBuffer != NULL ) in pucGetNetworkBuffer()
208 pucEthernetBuffer += ipBUFFER_PADDING; in pucGetNetworkBuffer()
211 return pucEthernetBuffer; in pucGetNetworkBuffer()
215 void vReleaseNetworkBuffer( uint8_t * pucEthernetBuffer ) in vReleaseNetworkBuffer() argument
217 uint8_t * pucEthernetBufferCopy = pucEthernetBuffer; in vReleaseNetworkBuffer()
260 configASSERT( pxReturn->pucEthernetBuffer == NULL ); in pxGetNetworkBufferWithDescriptor()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/ |
| D | FreeRTOS_IPv6_Utils_utest.c | 108 uint8_t pucEthernetBuffer[ ipconfigTCPv6_MSS ]; in test_prvChecksumIPv6Checks_InvalidLength() local
114 memset( pucEthernetBuffer, 0, ipconfigTCPv6_MSS ); in test_prvChecksumIPv6Checks_InvalidLength()
115 xSet.pxIPPacket_IPv6 = ( ( const IPHeader_IPv6_t * ) pucEthernetBuffer ); in test_prvChecksumIPv6Checks_InvalidLength()
117 usReturn = prvChecksumIPv6Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv6Checks_InvalidLength()
131 uint8_t pucEthernetBuffer[ ipconfigTCPv6_MSS ]; in test_prvChecksumIPv6Checks_IncompleteIPv6Packet() local
136 memset( pucEthernetBuffer, 0, ipconfigTCPv6_MSS ); in test_prvChecksumIPv6Checks_IncompleteIPv6Packet()
138 pxIPv6Packet = ( IPHeader_IPv6_t * ) pucEthernetBuffer; in test_prvChecksumIPv6Checks_IncompleteIPv6Packet()
140 xSet.pxIPPacket_IPv6 = ( ( const IPHeader_IPv6_t * ) pucEthernetBuffer ); in test_prvChecksumIPv6Checks_IncompleteIPv6Packet()
144 usReturn = prvChecksumIPv6Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv6Checks_IncompleteIPv6Packet()
157 uint8_t pucEthernetBuffer[ ipconfigTCPv6_MSS ]; in test_prvChecksumIPv6Checks_Success() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvChecksumIPv6Checks/ |
| D | prvChecksumIPv6Checks_harness.c | 22 uint8_t * pucEthernetBuffer; in harness() local
29 pucEthernetBuffer = ( uint8_t * ) safeMalloc( uxBufferSize ); in harness()
30 __CPROVER_assume( pucEthernetBuffer != NULL ); in harness()
33 xSet.pxIPPacket = ( const IPPacket_t * ) pucEthernetBuffer; in harness()
34 xSet.pxIPPacket_IPv6 = ( const IPHeader_IPv6_t * ) ( pucEthernetBuffer + ipSIZE_OF_ETH_HEADER ); in harness()
36 prvChecksumIPv6Checks( pucEthernetBuffer, in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/ |
| D | FreeRTOS_IPv6_ConfigDriverCheckChecksum_utest.c | 64 IPPacket_IPv6_t * pxIPPacket = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_happy_path()
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()
98 IPPacket_IPv6_t * pxIPPacket = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_buffer_length_less_than_ip_header()
114 IPPacket_IPv6_t * pxIPPacket = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_not_an_ipv6_packet()
130 IPPacket_IPv6_t * pxIPPacket = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_buffer_length_less_than_eth_ip_header()
146 IPPacket_IPv6_t * pxIPPacket = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_wrong_ip_length()
164 IPPacket_IPv6_t * pxIPPacket = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_large_ext_header_length()
169 pxNetworkBuffer->pucEthernetBuffer[ uxIndex ] = ipPROTOCOL_TCP; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_large_ext_header_length()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 53 uint16_t usGenerateProtocolChecksum( const uint8_t * const pucEthernetBuffer, in usGenerateProtocolChecksum() argument
59 __CPROVER_assert( pucEthernetBuffer != NULL, "Ethernet buffer cannot be NULL" ); in usGenerateProtocolChecksum()
69 …uint8_t * pucEthernetBuffer = ( uint8_t * ) safeMalloc( ipTOTAL_ETHERNET_FRAME_SIZE + ipIP_TYPE_OF… in harness() local
72 __CPROVER_assume( pucEthernetBuffer != NULL ); in harness()
76 pxNetworkBuffer->pucEthernetBuffer = &( pucEthernetBuffer[ ipIP_TYPE_OFFSET ] ); in harness()
77 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
86 IPPacket_t * const pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 356 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader() local
358 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
365 memset( pucEthernetBuffer, 0x12, ipconfigTCP_MSS ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
396 TEST_ASSERT_EACH_EQUAL_UINT8( 0x12, pucEthernetBuffer, ipconfigTCP_MSS ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
416 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100() local
418 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
425 memset( pucEthernetBuffer, 0x12, ipconfigTCP_MSS ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
457 TEST_ASSERT_EACH_EQUAL_UINT8( 0x12, pucEthernetBuffer, ipconfigTCP_MSS ); in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
478 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall() local
480 xNetworkBuffer.pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100SizeSmall()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/ |
| D | ReturnICMP_IPv6_harness.c | 47 uint16_t usGenerateProtocolChecksum( const uint8_t * const pucEthernetBuffer, in usGenerateProtocolChecksum() argument
53 __CPROVER_assert( pucEthernetBuffer != NULL, "The ethernet buffer cannot be NULL" ); in usGenerateProtocolChecksum()
54 …__CPROVER_assert( __CPROVER_r_ok( pucEthernetBuffer, uxBufferLength ), "pucEthernetBuffer should b… in usGenerateProtocolChecksum()
65 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL.… in vReturnEthernetFrame()
72 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL.… in vReceiveNA()
95 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL.… in NetworkInterfaceOutputFunction_Stub()
134 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen ); in harness()
135 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer ); in harness()
156 xLocalBuffer.pucEthernetBuffer = safeMalloc( usEthernetBufferSize ); in harness()
161 __CPROVER_assume( xLocalBuffer.pucEthernetBuffer != NULL ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv6/ |
| D | FreeRTOS_TCP_State_Handling_IPv6_utest.c | 57 uint8_t pucEthernetBuffer[ ipconfigNETWORK_MTU ]; variable
70 memset( &pucEthernetBuffer, 0, sizeof( pucEthernetBuffer ) ); in setUp()
136 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_prvHandleListen_IPV6_DifferentIP()
140 pxTCPPacket = ( TCPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvHandleListen_IPV6_DifferentIP()
161 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_prvHandleListen_IPV6_GetRandomFail()
165 pxTCPPacket = ( TCPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvHandleListen_IPV6_GetRandomFail()
189 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_prvHandleListen_IPV6_ReuseSocket()
193 pxTCPPacket = ( TCPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvHandleListen_IPV6_ReuseSocket()
226 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_prvHandleListen_IPV6_NewSocketExceedLimit()
230 pxTCPPacket = ( TCPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvHandleListen_IPV6_NewSocketExceedLimit()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4/ |
| D | FreeRTOS_IPv4_utest.c | 133 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_LessHeaderLength()
134 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv4_LessHeaderLength()
159 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_FragmentedPacket()
160 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv4_FragmentedPacket()
187 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_MoreFragmentedPacket()
188 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv4_MoreFragmentedPacket()
215 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_GreaterHeaderLength()
216 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv4_GreaterHeaderLength()
245 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_prvAllowIPPacketIPv4_NotMatchingIP()
247 pxIPPacket = ( IPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv4_NotMatchingIP()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/prvAllowIPPacketIPv6/ |
| D | prvAllowIPPacketIPv6_harness.c | 48 uint16_t usGenerateProtocolChecksum( const uint8_t * const pucEthernetBuffer, in usGenerateProtocolChecksum() argument
54 __CPROVER_assert( pucEthernetBuffer != NULL, "Ethernet buffer cannot be NULL" ); in usGenerateProtocolChecksum()
63 …uint8_t * pucEthernetBuffer = ( uint8_t * ) safeMalloc( ipTOTAL_ETHERNET_FRAME_SIZE + ipIP_TYPE_OF… in harness() local
68 __CPROVER_assume( pucEthernetBuffer != NULL ); in harness()
72 pxNetworkBuffer->pucEthernetBuffer = &( pucEthernetBuffer[ ipIP_TYPE_OFFSET ] ); in harness()
73 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
96 IPPacket_IPv6_t * const pxIPPacket = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/prvRecvFrom_CopyPacket/ |
| D | RecvFrom_CopyPacket_harness.c | 21 int32_t __CPROVER_file_local_FreeRTOS_Sockets_c_prvRecvFrom_CopyPacket( uint8_t * pucEthernetBuffer,
29 uint8_t * pucEthernetBuffer; in harness() local
36 pucEthernetBuffer = safeMalloc( lDataLength ); in harness()
37 __CPROVER_assume( pucEthernetBuffer != NULL ); in harness()
49 …__CPROVER_file_local_FreeRTOS_Sockets_c_prvRecvFrom_CopyPacket( pucEthernetBuffer, pvBuffer, uxBuf… in harness()
60 …__CPROVER_file_local_FreeRTOS_Sockets_c_prvRecvFrom_CopyPacket( pucEthernetBuffer, &pvBuffer, uxBu… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 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()
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()
173 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_Invalid_Option_Length()
177 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] )… in test_prvCheckOptions_Invalid_Option_Length()
197 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_MSS_WSF()
201 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] )… in test_prvCheckOptions_MSS_WSF()
227 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvCheckOptions_MSS_WSF_Bad_Option()
231 …&( pxNetworkBuffer->pucEthernetBuffer[ ( size_t ) ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER ] )… in test_prvCheckOptions_MSS_WSF_Bad_Option()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxUDPPayloadBuffer_to_NetworkBuffer/ |
| D | pxUDPPayloadBuffer_to_NetworkBuffer_harness.c | 74 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( uxBufferLength ); in harness()
75 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
79 …pucIPType = &pxNetworkBuffer->pucEthernetBuffer[ ipconfigBUFFER_PADDING + sizeof( UDPPacket_IPv6_t… in harness()
80 …pvBuffer = &pxNetworkBuffer->pucEthernetBuffer[ ipconfigBUFFER_PADDING + sizeof( UDPPacket_IPv6_t … in harness()
84 …pucIPType = &pxNetworkBuffer->pucEthernetBuffer[ ipconfigBUFFER_PADDING + sizeof( UDPPacket_t ) - … in harness()
85 … pvBuffer = &pxNetworkBuffer->pucEthernetBuffer[ ipconfigBUFFER_PADDING + sizeof( UDPPacket_t ) ]; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/ |
| D | ProcessICMPMessage_IPv6_harness.c | 47 uint16_t usGenerateProtocolChecksum( const uint8_t * const pucEthernetBuffer, in usGenerateProtocolChecksum() argument
53 __CPROVER_assert( pucEthernetBuffer != NULL, "The ethernet buffer cannot be NULL" ); in usGenerateProtocolChecksum()
54 …__CPROVER_assert( __CPROVER_r_ok( pucEthernetBuffer, uxBufferLength ), "pucEthernetBuffer should b… in usGenerateProtocolChecksum()
92 …__CPROVER_assert( pxNetworkBuffer->pucEthernetBuffer != NULL, "The Ethernet buffer cannot be NULL.… in NetworkInterfaceOutputFunction_Stub()
131 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen ); in harness()
132 __CPROVER_assume( pxNetworkBuffer->pucEthernetBuffer != NULL ); in harness()
154 xLocalBuffer.pucEthernetBuffer = safeMalloc( usEthernetBufferSize ); in harness()
159 __CPROVER_assume( xLocalBuffer.pucEthernetBuffer != NULL ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 252 uint8_t pucEthernetBuffer[ 1500 ]; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig() local
255 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
263 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
276 uint8_t pucEthernetBuffer[ 1500 ]; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig() local
279 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
287 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
301 uint8_t pucEthernetBuffer[ 1500 ]; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig() local
304 pxNetworkBuffer->pucEthernetBuffer = pucEthernetBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
312 …TEST_ASSERT_EQUAL_PTR( &( pxNetworkBuffer->pucEthernetBuffer[ sizeof( UDPPacket_t ) ] ), pvReturn … in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
354 uint8_t pucEthernetBuffer[ 1500 ]; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig_IPv6() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv4/ |
| D | FreeRTOS_TCP_State_Handling_IPv4_utest.c | 88 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvHandleListen_IPV4_NotForMe()
93 pxTCPPacket = ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvHandleListen_IPV4_NotForMe()
114 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvHandleListen_IPV4_ReuseSocket()
117 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_ReuseSocket()
147 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvHandleListen_IPV4_NewSocketExceedLimit()
150 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_NewSocketExceedLimit()
179 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvHandleListen_IPV4_NewSocketGood()
182 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_NewSocketGood()
217 pxNetworkBuffer->pucEthernetBuffer = ucEthernetBuffer; in test_prvHandleListen_IPV4_NewSocketGoodValidDataLength()
221 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_NewSocketGoodValidDataLength()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Utils/ |
| D | FreeRTOS_IPv4_Utils_utest.c | 77 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength() local
87 xReturn = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength()
105 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_prvChecksumIPv4Checks_BufferLessIPPacket() local
115 xReturn = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv4Checks_BufferLessIPPacket()
133 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_prvChecksumIPv4Checks_BufferLessIPHeaderLength() local
143 xReturn = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv4Checks_BufferLessIPHeaderLength()
161 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_prvChecksumIPv4Checks_BufferLessIPPayloadLength() local
171 xReturn = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv4Checks_BufferLessIPPayloadLength()
188 uint8_t pucEthernetBuffer[ ipconfigTCP_MSS ]; in test_prvChecksumIPv4Checks_Pass() local
199 xReturn = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv4Checks_Pass()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
| D | FreeRTOS_IPv6_utest.c | 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()
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()
138 TCPPacket_IPv6_t * pxTCPPacket = ( TCPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_LoopbackAddress()
145 …usGenerateProtocolChecksum_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->x… in test_prvAllowIPPacketIPv6_LoopbackAddress()
159 TCPPacket_IPv6_t * pxTCPPacket = ( TCPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_LoopbackNotMatchDest()
166 …usGenerateProtocolChecksum_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->x… in test_prvAllowIPPacketIPv6_LoopbackNotMatchDest()
180 TCPPacket_IPv6_t * pxTCPPacket = ( TCPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvAllowIPPacketIPv6_LoopbackNotMatchSrc()
187 …usGenerateProtocolChecksum_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->x… in test_prvAllowIPPacketIPv6_LoopbackNotMatchSrc()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ICMP/ |
| D | FreeRTOS_ICMP_utest.c | 86 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_AllZeroData()
108 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_EchoRequest()
113 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_EchoRequest()
144 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_UnknownICMPPacket()
149 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_UnknownICMPPacket()
167 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
172 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
195 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
200 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
227 pxNetworkBuffer->pucEthernetBuffer = ucEthBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
[all …]
|
