linux-kernel - RE: [PATCHv2 2/2] check quirk to pad epout buf size when not aligned to maxpacketsize

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <Pine.LNX.4.44L0.1311131034100.1424-100000@iolanthe.rowland.org>
Date:	Wed, 13 Nov 2013 10:52:12 -0500 (EST)
From:	Alan Stern <stern@...land.harvard.edu>
To:	Paul Zimmerman <Paul.Zimmerman@...opsys.com>
cc:	David Cohen <david.a.cohen@...ux.intel.com>,
	Michal Nazarewicz <mina86@...a86.com>,
	"linux-usb@...r.kernel.org" <linux-usb@...r.kernel.org>,
	"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>
Subject: RE: [PATCHv2 2/2] check quirk to pad epout buf size when not aligned
 to maxpacketsize

On Tue, 12 Nov 2013, Paul Zimmerman wrote:

> > > >>> @@ -824,7 +832,7 @@ static ssize_t ffs_epfile_io(struct file *file,
> > > >>>   		req->context  = &done;
> > > >>>   		req->complete = ffs_epfile_io_complete;
> > > >>>   		req->buf      = data;
> > > >>> -		req->length   = len;
> > > >>> +		req->length   = data_len;
> > > >>
> > > >> IIUC, req->length should still be set to len, not to data_len.
> > >
> > > I misunderstood the first time I read it:
> > > In order to avoid DWC3 to stall, we need to update req->length (this is
> > > the most important fix). kmalloc() is updated too to prevent USB
> > > controller to overflow buffer boundaries.
> > 
> > Here I disagree.
> > 
> > If the DWC3 hardware stalls, it is up to the DWC3 UDC driver to fix it.
> > Gadget drivers should not have to worry.  Most especially, gadget
> > drivers should not lie about a request length.
> 
> The whole point of this quirk is to lie to the DWC3 driver.

No.  The whole point of this quirk is to allow the DWC3 hardware to run 
without stalling.

It's dumb to lie to drivers.  They are there to help you; how can they
help you if you don't tell them what you want them to do?

>  The quirk is
> only enabled for the DWC3 driver.

So what?  Maybe other drivers will need it in the future.

> > If the UDC driver decides to round up req->length before sending it to
> > the hardware, that's okay.
> 
> Not really. If the DWC3 driver unconditionally rounds up req->length,
> then in the case where the buffer has not been expanded to a multiple of
> maxpacket, by this quirk or otherwise, there is the potential to write
> beyond the end of the allocation.

Indeed.  It is the gadget driver's responsibility to make sure that 
doesn't happen.

> If we do what you suggest, then all the gadgets will have to be audited
> to make sure an OUT buffer with a non-aligned length is never passed to
> the DWC3 driver.

Certainly.  And since gadget drivers have no idea (or, _should_ have no
idea) which UDC driver they are using, this means all gadgets will have
to make sure that they _never_ use OUT buffers with non-aligned
lengths.

> I still think that's the best solution anyway. Just make that the rule,
> and then there is no need for this quirk at all. And there is no need to
> round up req->length in the DWC3 driver either.

I agree that there really is no need for the quirk flag.  As for what
the DWC3 driver does internally, I couldn't care less.  But gadget
drivers should not round up req->length.

> > But req->length should be set to len, not data_len.
> 
> According to gadget.h:
> 
> 	@buf: Buffer used for data
> 	@length: Length of that data
> 
> So why shouldn't length be the length of the allocated data buffer?

Read what you just quoted: @length is the length of the _data_.  Not
the length of the _buffer_.

If the gadget driver wants to receive 100 bytes of data and the buffer
is 128 bytes long, it should set req->length to 100, not 128.  By doing
so, it tells the UDC driver that receiving more than 100 bytes is an
error condition.

> Remember, this is for the OUT direction only, so the host has control
> over how much data is actually sent. You could even argue that an OUT
> data buffer should always be a multiple of the max packet size, given
> how USB works.

Yes, you could.  I have no objection to changing the gadget API so that 
this becomes a firm requirement.

> > And if the hardware receives more than len bytes of data,
> > the UDC driver should set req->status to -EOVERFLOW.
> 
> That would be nice, but I don't see how to accomplish that given the
> above.

Why not?  The UDC driver knows what was originally in req->length and 
it knows how much data the hardware actually received.  All it has to 
do is:

	if (actual_length > req->length)
		req->status = -EOVERFLOW;

Alan Stern

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/