| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
| HD | FreeRTOS_TCP_Transmission_IPv6_utest.c | 71 uint32_t ulLen = PACKET_LENGTH; in test_prvTCPReturnPacket_IPV6_BufferSocketNULL() local
74 prvTCPReturnPacket_IPV6( pxSocket, pxDescriptor, ulLen, xReleaseAfterSend ); in test_prvTCPReturnPacket_IPV6_BufferSocketNULL()
86 uint32_t ulLen = PACKET_LENGTH; in test_prvTCPReturnPacket_IPV6_BufferNULL() local
91 prvTCPReturnPacket_IPV6( &xSocket, pxDescriptor, ulLen, xReleaseAfterSend ); in test_prvTCPReturnPacket_IPV6_BufferNULL()
102 uint32_t ulLen = PACKET_LENGTH; in test_prvTCPReturnPacket_IPV6_pucEthernetBuffer_Assert() local
111 catch_assert( prvTCPReturnPacket_IPV6( pxSocket, &xDescriptor, ulLen, xReleaseAfterSend ) ); in test_prvTCPReturnPacket_IPV6_pucEthernetBuffer_Assert()
123 uint32_t ulLen = PACKET_LENGTH; in test_prvTCPReturnPacket_IPV6_SocketNULL() local
137 prvTCPReturnPacket_IPV6( pxSocket, &xDescriptor, ulLen, xReleaseAfterSend ); in test_prvTCPReturnPacket_IPV6_SocketNULL()
149 uint32_t ulLen = PACKET_LENGTH; in test_prvTCPReturnPacket_IPV6_NoEP_Found() local
161 prvTCPReturnPacket_IPV6( &xSocket, pxDescriptor, ulLen, xReleaseAfterSend ); in test_prvTCPReturnPacket_IPV6_NoEP_Found()
[all …]
|
| HD | FreeRTOS_TCP_Transmission_IPv6_stubs.c | 70 uint32_t ulLen ) in prvTCPReturn_SetSequenceNumber() argument
86 uint32_t ulLen, in prvTCPReturnPacket() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| HD | TCPReturnPacket_harness.c | 143 uint32_t ulLen; in harness() local
152 __CPROVER_assume( ( ulLen >= sizeof( TCPPacket_t ) ) && ( ulLen < ipconfigNETWORK_MTU ) ); in harness()
153 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen + ipSIZE_OF_ETH_HEADER ); in harness()
156 pxNetworkBuffer->xDataLength = ( size_t ) ulLen; in harness()
176 __CPROVER_assume( ( ulLen >= ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ) && in harness()
177 … ( ulLen <= ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER + 40 /* Maximum option bytes. */ ) ); in harness()
180 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, ulLen, xReleaseAfterSend ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/ |
| HD | TCPReturnPacket_IPv6_harness.c | 142 uint32_t ulLen; in harness() local
151 … __CPROVER_assume( ( ulLen >= sizeof( TCPPacket_IPv6_t ) ) && ( ulLen < ipconfigNETWORK_MTU ) ); in harness()
152 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen + ipSIZE_OF_ETH_HEADER ); in harness()
155 pxNetworkBuffer->xDataLength = ( size_t ) ( ulLen + ipSIZE_OF_ETH_HEADER ); in harness()
175 __CPROVER_assume( ( ulLen >= ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_TCP_HEADER ) && in harness()
176 … ( ulLen <= ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_TCP_HEADER + 40 /* Maximum option bytes. */ ) ); in harness()
179 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, ulLen, xReleaseAfterSend ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/ |
| HD | ProcessICMPMessage_IPv6_harness.c | 121 uint32_t ulLen; in harness() local
128 __CPROVER_assume( ( ulLen >= sizeof( ICMPPacket_IPv6_t ) ) && ( ulLen < ipconfigNETWORK_MTU ) ); in harness()
130 pxNetworkBuffer->xDataLength = ulLen; in harness()
131 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA/ |
| HD | ReceiveRA_harness.c | 82 uint32_t ulLen; in harness() local
87 __CPROVER_assume( ( ulLen >= sizeof( ICMPPacket_IPv6_t ) ) && ( ulLen < ipconfigNETWORK_MTU ) ); in harness()
88 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/ |
| HD | ReturnICMP_IPv6_harness.c | 124 uint32_t ulLen; in harness() local
131 __CPROVER_assume( ( ulLen >= sizeof( ICMPPacket_IPv6_t ) ) && ( ulLen < ipconfigNETWORK_MTU ) ); in harness()
133 pxNetworkBuffer->xDataLength = ulLen; in harness()
134 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| HD | FreeRTOS_TCP_Transmission.h | 53 uint32_t ulLen,
71 uint32_t ulLen );
78 uint32_t ulLen,
86 uint32_t ulLen,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/ |
| HD | FreeRTOS_TCP_IP_stubs.c | 77 uint32_t ulLen, in prvTCPReturnPacket_StubReturnNULL() argument
82 ( void ) ulLen; in prvTCPReturnPacket_StubReturnNULL()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| HD | FreeRTOS_TCP_Transmission_IPv6.c | 87 uint32_t ulLen, in prvTCPReturnPacket_IPV6() argument
193 prvTCPReturn_SetSequenceNumber( pxSocket, pxNetworkBuffer, uxIPHeaderSize, ulLen ); in prvTCPReturnPacket_IPV6()
210 pxIPHeader->usPayloadLength = FreeRTOS_htons( ulLen - sizeof( IPHeader_IPv6_t ) ); in prvTCPReturnPacket_IPV6()
215 uint32_t ulTotalLength = ulLen + ipSIZE_OF_ETH_HEADER; in prvTCPReturnPacket_IPV6()
223 pxNetworkBuffer->xDataLength = ( size_t ) ulLen; in prvTCPReturnPacket_IPV6()
|
| HD | FreeRTOS_TCP_Transmission_IPv4.c | 86 uint32_t ulLen, in prvTCPReturnPacket_IPV4() argument
183 prvTCPReturn_SetSequenceNumber( pxSocket, pxNetworkBuffer, uxIPHeaderSize, ulLen ); in prvTCPReturnPacket_IPV4()
196 pxIPHeader->usLength = FreeRTOS_htons( ulLen ); in prvTCPReturnPacket_IPV4()
226 pxNetworkBuffer->xDataLength = ( size_t ) ulLen; in prvTCPReturnPacket_IPV4()
|
| HD | FreeRTOS_TCP_Transmission.c | 248 uint32_t ulLen, in prvTCPReturnPacket() argument
281 prvTCPReturnPacket_IPV6( pxSocket, pxDescriptor, ulLen, xReleaseAfterSend ); in prvTCPReturnPacket()
288 prvTCPReturnPacket_IPV4( pxSocket, pxDescriptor, ulLen, xReleaseAfterSend ); in prvTCPReturnPacket()
390 uint32_t ulLen ) in prvTCPReturn_SetSequenceNumber() argument
421 …uint32_t ulDataLen = ( uint32_t ) ( ulLen - ( ipSIZE_OF_TCP_HEADER + uxIPHeaderSizeSocket( pxSocke… in prvTCPReturn_SetSequenceNumber()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
| HD | TCP_Transmission_list_macros.h | 45 uint32_t ulLen,
|
| HD | FreeRTOS_TCP_Transmission_stubs.c | 68 uint32_t ulLen, in prvTCPReturnPacket_IPV6() argument
|
