Project

General

Profile

Actions
Copy link

Feature #11808

closed

Develop model and test for i2c_match_id()

Added by Evgeny Novikov over 2 years ago. Updated over 2 years ago.

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

0%

Estimated time:
Published in build:

Description

I2C drivers have another variant of probe() (called probe_new()) that does not accept a pointer to struct i2c_device_id generated by EMG for ordinary I2C drivers. Instead, they get it by using i2c_match_id() when necessary. We need to model it and test the model. There are ~3.5% of all false alarms at verification of Linux device drivers due to lack of this model.

Actions
Copy link

Also available in: Atom PDF