Bug #11809
closed
Pass the same resource to probe and remove for HID drivers
Added by Evgeny Novikov over 2 years ago.
Updated over 2 years ago.
Category:
Environment models
Description
Currently EMG passes different parameters to probe() and remove() callbacks of HID drivers (structure hid_driver). This causes about 8.6% of false alarms at verification of a subset of drivers of Linux 5.19-rc7 against memory safety.
Related issues
1 (1 open — 0 closed)
- Blocked by Feature #11810: Check whether the same resources are passed to various related callbacks added
- Blocked by deleted (Feature #11810: Check whether the same resources are passed to various related callbacks)
- Blocks Feature #11810: Check whether the same resources are passed to various related callbacks added
- Status changed from New to Resolved
I fixed this issue in branch fix-hid-env-model-spec. Evaluation on related false alarms shows that they become safes, timeouts or false alarms due to other reasons. Let's thoroughly test this change.
- Status changed from Resolved to Closed
Thorough testing did not reveal anything unexpected. Thus, I merged the branch to master in d2139fac7.
Also available in: Atom
PDF