Actions
Bug #10758
openAspect for checking memory safety refers ldv_nonzero_alloc() without definition
Status:
New
Priority:
High
Assignee:
-
Category:
Environment models
Target version:
-
Start date:
03/18/2021
Due date:
% Done:
0%
Estimated time:
Detected in build:
git
Platform:
Published in build:
Description
Following functions are modeled for checking memory safety using undefined ldv_nonzero_alloc():
- memdup_user()
- balloon_devinfo_alloc()
- balloon_mapping_alloc()
For instance, Alexey Khoroshilov reported that this results in a false alarm for driver drivers/usb/gadget/legacy/raw_gadget.ko of Linux 5.9-rc8.
I suggest to make common models for the given functions and of course to avoid referring the undefined function.
No data to display
Actions