Project

General

Profile

Actions

Feature #10453

closed

Use device identifiers from the driver tables

Added by Ilja Zakharov over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Environment models
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.

Actions #1

Updated by Ilja Zakharov over 3 years ago

  • Status changed from New to Feedback

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

Actions #2

Updated by Evgeny Novikov over 3 years 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.

Actions

Also available in: Atom PDF