Project

General

Profile

Actions
Copy link

Bug #11809

closed

Pass the same resource to probe and remove for HID drivers

Added by Evgeny Novikov over 1 year ago. Updated over 1 year ago.

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Environment models
Target version:
3.7
Start date:
08/09/2022
Due date:
% Done:

0%

Estimated time:
Detected in build:
git
Platform:
Published in build:

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)

Blocks Klever - Feature #11810: Check whether the same resources are passed to various related callbacksNewEvgeny Novikov08/09/2022

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 1 year ago

  • Blocked by Feature #11810: Check whether the same resources are passed to various related callbacks added
Actions
Copy link
 #2

Updated by Evgeny Novikov over 1 year ago

  • Blocked by deleted (Feature #11810: Check whether the same resources are passed to various related callbacks)
Actions
Copy link
 #3

Updated by Evgeny Novikov over 1 year ago

  • Blocks Feature #11810: Check whether the same resources are passed to various related callbacks added
Actions
Copy link
 #4

Updated by Evgeny Novikov over 1 year ago

  • 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.

Actions
Copy link
 #5

Updated by Evgeny Novikov over 1 year ago

  • Status changed from Resolved to Closed

Thorough testing did not reveal anything unexpected. Thus, I merged the branch to master in d2139fac7.

Actions
Copy link

Also available in: Atom PDF