Project

General

Profile

Bug #10758

Aspect for checking memory safety refers ldv_nonzero_alloc() without definition

Added by Evgeny Novikov about 2 months ago.

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

Also available in: Atom PDF