Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.kernel > #1634496
| From | "Gustavo A. R. Silva" <garsilva@embeddedor.com> |
|---|---|
| Newsgroups | linux.kernel |
| Subject | Re: [usb-host] question about pointer dereference before null check |
| Date | 2017-05-02 18:10 +0200 |
| Message-ID | <tCIxc-wA-9@gated-at.bofh.it> (permalink) |
| References | <tCty9-7pl-1@gated-at.bofh.it> <tCGOK-7Ke-7@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
Hi Alan, Quoting Alan Stern <stern@rowland.harvard.edu>: > On Mon, 1 May 2017, Gustavo A. R. Silva wrote: > >> Hello everybody, >> >> While taking a look into Coverity ID 100828 I ran into the following >> piece of code at drivers/usb/host/ehci-sched.c:1096: >> >> u32 addr; >> int think_time; >> int hs_transfers; >> >> addr = dev->ttport << 24; >> if (!ehci_is_TDI(ehci) >> || (dev->tt->hub != >> ehci_to_hcd(ehci)->self.root_hub)) >> addr |= dev->tt->hub->devnum << 16; >> addr |= epnum << 8; >> addr |= dev->devnum; >> stream->ps.usecs = HS_USECS_ISO(maxp); >> think_time = dev->tt ? dev->tt->think_time : 0; >> >> The issue here is that dev->tt is being dereferenced before null check. >> >> I was thinking on placing think_time = dev->tt ? dev->tt->think_time : >> 0; just before the _if_ statement. But this doesn't address the >> problem of dev->tt actually being NULL. >> >> While looking into the callers of the function containing this piece >> of code (iso_stream_init()) my impression is that dev->tt is not NULL >> at the time this function is called and, a very simple patch like the >> following can be applied in order to avoid the Coverity issue: >> >> -think_time = dev->tt ? dev->tt->think_time : 0; >> +think_time = dev->tt->think_time; >> >> But I can't tell for sure, so in case dev->tt is NULL, a good strategy >> to properly update the _addr_ variable would be needed. >> >> What do you think? >> >> I would really appreciate any comment on this, >> Thank you! > > You are right; udev->tt cannot ever be NULL when this section of code > runs. The test should be removed. > Thanks for confirming, I'll send a patch shortly. -- Gustavo A. R. Silva
Back to linux.kernel | Previous | Next — Previous in thread | Find similar | Unroll thread
[usb-host] question about pointer dereference before null check "Gustavo A. R. Silva" <garsilva@embeddedor.com> - 2017-05-02 02:10 +0200
Re: [usb-host] question about pointer dereference before null check Alan Stern <stern@rowland.harvard.edu> - 2017-05-02 16:20 +0200
Re: [usb-host] question about pointer dereference before null check "Gustavo A. R. Silva" <garsilva@embeddedor.com> - 2017-05-02 18:10 +0200
csiph-web