| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_TCP_Transmission.h | 46 NetworkBufferDescriptor_t ** ppxNetworkBuffer );
52 NetworkBufferDescriptor_t * pxDescriptor,
61 const NetworkBufferDescriptor_t * pxNetworkBuffer,
69 const NetworkBufferDescriptor_t * pxNetworkBuffer,
77 NetworkBufferDescriptor_t * pxDescriptor,
85 NetworkBufferDescriptor_t * pxDescriptor,
90 NetworkBufferDescriptor_t * pxNetworkBuffer,
122 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
135 const NetworkBufferDescriptor_t * pxNetworkBuffer );
143 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
[all …]
|
| D | NetworkBufferManagement.h | 46 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
50 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes );
51 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer );
54 BaseType_t vNetworkBufferReleaseFromISR( NetworkBufferDescriptor_t * const pxNetworkBuffer );
65 NetworkBufferDescriptor_t * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t…
70 NetworkBufferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNetw…
79 UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc );
80 BaseType_t prvIsFreeBuffer( const NetworkBufferDescriptor_t * pxDescr );
|
| D | FreeRTOS_TCP_State_Handling.h | 59 NetworkBufferDescriptor_t ** ppxNetworkBuffer );
66 NetworkBufferDescriptor_t * pxNetworkBuffer );
73 NetworkBufferDescriptor_t * pxNetworkBuffer );
80 NetworkBufferDescriptor_t * pxNetworkBuffer );
86 BaseType_t prvTCPSendSpecialPacketHelper( NetworkBufferDescriptor_t * pxNetworkBuffer,
93 BaseType_t prvTCPSendSpecialPktHelper_IPV4( NetworkBufferDescriptor_t * pxNetworkBuffer,
100 BaseType_t prvTCPSendSpecialPktHelper_IPV6( NetworkBufferDescriptor_t * pxNetworkBuffer,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ConfigFiles/ |
| D | NetworkBufferManagement.h | 37 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
39 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes );
40 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer );
41 BaseType_t vNetworkBufferReleaseFromISR( NetworkBufferDescriptor_t * const pxNetworkBuffer );
52 …NetworkBufferDescriptor_t * pxDuplicateNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * co…
57 …NetworkBufferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNet…
66 UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc );
67 BaseType_t prvIsFreeBuffer( const NetworkBufferDescriptor_t * pxDescr );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/ |
| D | xCheckRequiresARPResolution_harness.c | 26 size_t uxIPHeaderSizePacket( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in uxIPHeaderSizePacket()
30 …__CPROVER_assert( __CPROVER_r_ok( pxNetworkBuffer, sizeof( NetworkBufferDescriptor_t ) ), "pxNetwo… in uxIPHeaderSizePacket()
70 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
73 …NetworkBufferDescriptor_t * pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( … in pxGetNetworkBufferWithDescriptor()
79 void vNDSendNeighbourSolicitation( NetworkBufferDescriptor_t * pxNetworkBuffer, in vNDSendNeighbourSolicitation()
82 …__CPROVER_assert( __CPROVER_r_ok( pxNetworkBuffer, sizeof( NetworkBufferDescriptor_t ) ), "pxNetwo… in vNDSendNeighbourSolicitation()
89 NetworkBufferDescriptor_t * pxNetworkBuffer; in harness()
105 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckLoopback/ |
| D | xCheckLoopback_harness.c | 22 NetworkBufferDescriptor_t * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t… in pxDuplicateNetworkBufferWithDescriptor()
26 …NetworkBufferDescriptor_t * pxReturnNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( si… in pxDuplicateNetworkBufferWithDescriptor()
43 NetworkBufferDescriptor_t * pxNetworkBuffer; in harness()
49 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/HandleEthernetPacket/ |
| D | HandleEthernetPacket_harness.c | 42 void __CPROVER_file_local_FreeRTOS_IP_c_prvHandleEthernetPacket( NetworkBufferDescriptor_t * pxBuff…
47 void __CPROVER_file_local_FreeRTOS_IP_c_prvProcessEthernetPacket( NetworkBufferDescriptor_t * const… in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessEthernetPacket()
55 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
58 …NetworkBufferDescriptor_t * pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( … in pxGetNetworkBufferWithDescriptor()
73 NetworkBufferDescriptor_t * pxBuffer; in harness()
74 NetworkBufferDescriptor_t * pxBufferTemp; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxDuplicateNetworkBufferWithDescriptor/ |
| D | pxDuplicateNetworkBufferWithDescriptor_harness.c | 41 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
44 NetworkBufferDescriptor_t * pxNetworkBuffer; in pxGetNetworkBufferWithDescriptor()
46 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in pxGetNetworkBufferWithDescriptor()
60 size_t uxIPHeaderSizePacket( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in uxIPHeaderSizePacket()
74 NetworkBufferDescriptor_t * pxNetworkBuffer; in harness()
79 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/BufferManagement/ |
| D | BufferAllocation_1.c | 66 static NetworkBufferDescriptor_t xNetworkBuffers[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS ];
78 UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc );
80 static UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc );
120 BaseType_t prvIsFreeBuffer( const NetworkBufferDescriptor_t * pxDescr ) in prvIsFreeBuffer()
139 UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc ) in bIsValidNetworkDescriptor()
154 static UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc ) in bIsValidNetworkDescriptor()
233 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
236 NetworkBufferDescriptor_t * pxReturn = NULL; in pxGetNetworkBufferWithDescriptor()
254 … pxReturn = ( NetworkBufferDescriptor_t * ) listGET_OWNER_OF_HEAD_ENTRY( &xFreeBuffersList ); in pxGetNetworkBufferWithDescriptor()
323 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes ) in pxNetworkBufferGetFromISR()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/ |
| D | FreeRTOS_RA_utest.c | 92 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_NullEndpoint()
107 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_FalsebIPv6()
124 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_xHasLocal0()
130 memset( &xNetworkBuffer, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_vNDSendRouterSolicitation_xHasLocal0()
163 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_xHasLocal1()
169 memset( &xNetworkBuffer, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_vNDSendRouterSolicitation_xHasLocal1()
204 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_NullDesc()
210 memset( &xNetworkBuffer, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_vNDSendRouterSolicitation_NullDesc()
241 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_vNDSendRouterSolicitation_HappyPath()
247 memset( &xNetworkBuffer, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_vNDSendRouterSolicitation_HappyPath()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
| D | FaultInjection.c | 6 static NetworkBufferDescriptor_t * xNetworkBufferCache[ xBUFFER_CACHE_SIZE ] = { 0 };
12 static BaseType_t prvCachePacket( NetworkBufferDescriptor_t * pxNetworkBufferIn ) in prvCachePacket()
30 static NetworkBufferDescriptor_t * prvGetCachedPacket( void ) in prvGetCachedPacket()
33 NetworkBufferDescriptor_t * pxReturn = NULL; in prvGetCachedPacket()
49 static NetworkBufferDescriptor_t * prvDuplicatePacket( NetworkBufferDescriptor_t * pxOriginalPacket, in prvDuplicatePacket()
52 NetworkBufferDescriptor_t * pxReturn; in prvDuplicatePacket()
68 static NetworkBufferDescriptor_t * prvRxFaultInjection( NetworkBufferDescriptor_t * pxNetworkBuffer… in prvRxFaultInjection()
72 NetworkBufferDescriptor_t * pxReturn = pxNetworkBufferIn; in prvRxFaultInjection()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSTreatNBNS/ |
| D | DNS_TreatNBNS_harness.c | 41 NetworkBufferDescriptor_t xNetworkBuffer;
43 NetworkBufferDescriptor_t * pxUDPPayloadBuffer_to_NetworkBuffer( const void * pvBuffer ) in pxUDPPayloadBuffer_to_NetworkBuffer()
46 NetworkBufferDescriptor_t * pxRBuf; in pxUDPPayloadBuffer_to_NetworkBuffer()
60 NetworkBufferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNetw… in pxResizeNetworkBufferWithDescriptor()
63 NetworkBufferDescriptor_t * pxRBuf; in pxResizeNetworkBufferWithDescriptor()
85 void prepareReplyDNSMessage( NetworkBufferDescriptor_t * pxNetworkBuffer, in prepareReplyDNSMessage()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
| D | FreeRTOS_TCP_Transmission_IPv6_utest.c | 70 NetworkBufferDescriptor_t * pxDescriptor = NULL; in test_prvTCPReturnPacket_IPV6_BufferSocketNULL()
85 NetworkBufferDescriptor_t * pxDescriptor = NULL; in test_prvTCPReturnPacket_IPV6_BufferNULL()
101 NetworkBufferDescriptor_t xDescriptor; in test_prvTCPReturnPacket_IPV6_pucEthernetBuffer_Assert()
106 memset( &xDescriptor, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_prvTCPReturnPacket_IPV6_pucEthernetBuffer_Assert()
122 NetworkBufferDescriptor_t xDescriptor; in test_prvTCPReturnPacket_IPV6_SocketNULL()
128 memset( &xDescriptor, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_prvTCPReturnPacket_IPV6_SocketNULL()
148 NetworkBufferDescriptor_t xDescriptor, * pxDescriptor = &xDescriptor; in test_prvTCPReturnPacket_IPV6_NoEP_Found()
154 memset( pxDescriptor, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_prvTCPReturnPacket_IPV6_NoEP_Found()
172 NetworkBufferDescriptor_t xDescriptor, * pxDescriptor = &xDescriptor; in test_prvTCPReturnPacket_IPV6_NoEP_ReleaseAfterSend()
178 memset( pxDescriptor, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_prvTCPReturnPacket_IPV6_NoEP_ReleaseAfterSend()
[all …]
|
| D | FreeRTOS_TCP_Transmission_IPv6_stubs.c | 22 NetworkBufferDescriptor_t * const pxNetworkBuffer, in NetworkInterfaceOutputFunction_Stub()
37 NetworkBufferDescriptor_t * pxNetworkBuffer, in prvTCPReturn_SetEndPoint()
58 const NetworkBufferDescriptor_t * pxNetworkBuffer, in prvTCPReturn_CheckTCPWindow()
68 const NetworkBufferDescriptor_t * pxNetworkBuffer, in prvTCPReturn_SetSequenceNumber()
85 NetworkBufferDescriptor_t * pxDescriptor, in prvTCPReturnPacket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/ |
| D | ProcessReceivedTCPPacket_IPv6_harness.c | 41 NetworkBufferDescriptor_t * pxNetworkBuffer ) in prvHandleListen()
72 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
75 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in pxGetNetworkBufferWithDescriptor()
88 size_t uxIPHeaderSizePacket( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in uxIPHeaderSizePacket()
102 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA/ |
| D | ReceiveRA_harness.c | 44 … __CPROVER_file_local_FreeRTOS_RA_c_vReceiveRA_ReadReply( const NetworkBufferDescriptor_t * pxNetw… in __CPROVER_file_local_FreeRTOS_RA_c_vReceiveRA_ReadReply()
52 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
55 NetworkBufferDescriptor_t * pxNetworkBuffer; in pxGetNetworkBufferWithDescriptor()
57 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in pxGetNetworkBufferWithDescriptor()
71 void vNDSendRouterSolicitation( NetworkBufferDescriptor_t * pxNetworkBuffer, in vNDSendRouterSolicitation()
80 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 40 NetworkBufferDescriptor_t * pxNetworkBuffer ) in prvHandleListen_IPV4()
71 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
74 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in pxGetNetworkBufferWithDescriptor()
87 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/ |
| D | ProcessReceivedUDPPacket_IPv6_harness.c | 26 uint32_t ulDNSHandlePacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulDNSHandlePacket()
33 uint32_t ulNBNSHandlePacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulNBNSHandlePacket()
46 BaseType_t xCheckRequiresARPResolution( NetworkBufferDescriptor_t * pxNetworkBuffer ) in xCheckRequiresARPResolution()
63 size_t uxIPHeaderSizePacket( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in uxIPHeaderSizePacket()
81 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/ |
| D | FreeRTOS_ND_stubs.c | 20 NetworkBufferDescriptor_t * pxARPWaitingNetworkBuffer;
27 NetworkBufferDescriptor_t * const pxNetworkBuffer, in NetworkInterfaceOutputFunction_Stub()
42 void vReceiveRA( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in vReceiveRA()
52 void vReceiveNA( const NetworkBufferDescriptor_t * pxNetworkBuffer ) in vReceiveNA()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 26 uint32_t ulDNSHandlePacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulDNSHandlePacket()
33 uint32_t ulNBNSHandlePacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulNBNSHandlePacket()
40 BaseType_t xCheckRequiresARPResolution( NetworkBufferDescriptor_t * pxNetworkBuffer ) in xCheckRequiresARPResolution()
60 BaseType_t xProcessReceivedUDPPacket_IPv6( NetworkBufferDescriptor_t * pxNetworkBuffer, in xProcessReceivedUDPPacket_IPv6()
92 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 13 … NetworkBufferDescriptor_t * const pxNetworkBuffer );
16 BaseType_t xProcessReceivedTCPPacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in xProcessReceivedTCPPacket()
21 BaseType_t xProcessReceivedUDPPacket( NetworkBufferDescriptor_t * pxNetworkBuffer, in xProcessReceivedUDPPacket()
33 NetworkBufferDescriptor_t * const pxNetworkBuffer );
68 …NetworkBufferDescriptor_t * const pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t … in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/ |
| D | FreeRTOS_IPv6_ConfigDriverCheckChecksum_utest.c | 63 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_happy_path()
77 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_valid_ext_header_length()
97 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_buffer_length_less_than_ip_header()
113 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_not_an_ipv6_packet()
129 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_buffer_length_less_than_eth_ip_header()
145 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_wrong_ip_length()
163 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_large_ext_header_length()
183 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_unknown_procotol()
200 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_TCP_min_requirement()
219 NetworkBufferDescriptor_t * pxNetworkBuffer = prvInitializeNetworkDescriptor(); in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_UDP_min_requirement()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | FreeRTOS_UDP_IP_utest.c | 75 void vProcessGeneratedUDPPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
76 BaseType_t xProcessReceivedUDPPacket( NetworkBufferDescriptor_t * pxNetworkBuffer,
96 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_vProcessGeneratedUDPPacket_IPv4Packet()
117 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_vProcessGeneratedUDPPacket_IPv6Packet()
138 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_vProcessGeneratedUDPPacket_UnknownPacket()
169 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_NullBuffer()
186 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_IPv4Packet()
212 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_IPv6Packet()
238 NetworkBufferDescriptor_t xNetworkBuffer; in test_xProcessReceivedUDPPacket_UnknownPacket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/ProcessEthernetPacket/ |
| D | ProcessEthernetPacket_harness.c | 50 void vReturnEthernetFrame( NetworkBufferDescriptor_t * pxNetworkBuffer, in vReturnEthernetFrame()
62 … NetworkBufferDescriptor_t * const pxNetworkBuffer ) in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
73 void __CPROVER_file_local_FreeRTOS_IP_c_prvProcessEthernetPacket( NetworkBufferDescriptor_t * const…
79 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/prvPacketBuffer_to_NetworkBuffer/ |
| D | prvPacketBuffer_to_NetworkBuffer_harness.c | 40 NetworkBufferDescriptor_t * __CPROVER_file_local_FreeRTOS_IP_Utils_c_prvPacketBuffer_to_NetworkBuff…
47 NetworkBufferDescriptor_t * pxNetworkBuffer; in harness()
52 …pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) safeMalloc( sizeof( NetworkBufferDescriptor_t ) … in harness()
|
