Required to implement a specification for input_ff_create_memless
Added by Ilja Zakharov almost 3 years ago.
Updated 10 months ago.
This is a quite complicated model that should be connected with environment model specification for HID drivers. The input_ff_create_memless function allocates memory which is released transparently for a driver by the HID subsystem.
The issues causes false positives at checking memory safety issues for the following drivers:
- Tracker changed from Bug to Feature
- Detected in build deleted (
- Priority changed from Urgent to High
- Target version deleted (
Let's do specification fixes and improvements after releasing Klever 3.0.
- Assignee changed from Ilja Zakharov to Evgeny Novikov
- Target version set to 3.7
Perhaps, it would be better to relate the input_ff_create_memless() model with the environment model, but actually, if this is responsibility of the kernel to free the related memory, then we can simply add appropriate pointers to the global list. In that case SMG will not report memory leaks. I tested and that works well, so let's implement a simple model and tests for it.
BTW, it has sense to verify the HID driver API usage in drivers separately. Probably, they have to invoke some functions in a specific order (say, hid_hw_stop() after successful hid_hw_start()) to avoid resource leaks and other subtle issues.
- Status changed from New to Resolved
I did what I want in branch input_ff_create_memless-models-and-tests. Preliminary testing demonstrated only positive regressions since all related false alarms became either safes or timeouts. Let's see on more comprehensive testing results.
- Status changed from Resolved to Closed
Extended testing didn't reveal anything outstanding, all related false alarms have gone and nothing is broken. So I merged the branch to master in 6f154afa8.
Also available in: Atom