Bug #7872
closed
linux:usb:urb should support usb_get_urb()
Added by Alexey Khoroshilov over 7 years ago.
Updated over 7 years ago.
Category:
Requirement specifications
Description
linux:usb:urb should support usb_get_urb(), since ldv_usb_free_urb() is equivalent for usb_put_urb() and false positives are unavoidable.
- Assignee changed from Vadim Mutilin to Evgeny Novikov
Vadim hasn't neither a deployed instance of Klever nor experience in development rule specifications on this platform. I will do this myself when I will proceed with this rule specification.
This problem was corrected in branch fix_68_2.3.66.
This issue is relevant also for Linux 3.14, that's why corresponding test cases (safe should be detected if usb_get_urb() without model is used) can and should be easily added.
- Assignee changed from Evgeny Novikov to Vitaly Mordan
- Priority changed from Urgent to Immediate
- Status changed from New to Closed
I renamed the branch to more nice fix-linux-usb-urb, test it and merge to master in 64b7b5c.
- Status changed from Closed to Open
- Assignee changed from Vitaly Mordan to Evgeny Novikov
The proposed implementation turned out to be incorrect, so I will fix it myself.
- Status changed from Open to Closed
I fixed the test and the model in 20312f8. It resulted in another unsafe to be investigated (I don't have time for this now).
Also available in: Atom
PDF