Project

General

Profile

Feature #10453

Use device identifiers from the driver tables

Added by Ilja Zakharov 6 months ago. Updated 5 months ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Environment model
Target version:
Start date:
08/05/2020
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Currently environment models crate devices as an undefined pointer or a new allocated memory. A model should additionally ser a device identifier to the device as an arbitrary pointer from the specific constant device table of a driver. In terms of this task, one needs to: implement auxiliary functions to choose a random identifier and update USB, PCI, HID, I2C, USB Serial specifications.

History

#1

Updated by Ilja Zakharov 5 months ago

  • Status changed from New to Feedback

Implemented in emg-device-table. Requires to study possible changes in results.

#2

Updated by Evgeny Novikov 5 months ago

  • Status changed from Feedback to Closed

We investigated changes. It turned out that the new, more accurate environment model is a bit more complicated, so, there are few timeouts. Besides, it seems that CPAchecker SMG is not capable to handle such complex models, so, unfortunately, there are still many related false alarms. But this is another story. I merged the branch to master in 2363a8fe9.

Also available in: Atom PDF