Use device identifiers from the driver tables
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.
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.