Bug #7872
closedlinux:usb:urb should support usb_get_urb()
0%
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.
Updated by Evgeny Novikov over 7 years ago
- 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.
Updated by Vitaly Mordan about 7 years ago
This problem was corrected in branch fix_68_2.3.66.
Updated by Evgeny Novikov about 7 years ago
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.
Updated by Evgeny Novikov about 7 years ago
- Assignee changed from Evgeny Novikov to Vitaly Mordan
- Priority changed from Urgent to Immediate
Updated by Evgeny Novikov about 7 years ago
- 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.
Updated by Evgeny Novikov about 7 years ago
- 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.
Updated by Evgeny Novikov about 7 years ago
- 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).