Bug #8068
closed
Develop specification for pci_driver callbacks
Added by Ilja Zakharov about 7 years ago.
Updated over 4 years ago.
Category:
Environment models
Description
According to the recent results, there are many false positives caused by the imprecise model for pci_driver callbacks. For instance, the model does not take into account interaction with PM callbacks, it also incorrectly allocates memory and initializes resources. Note, that existing event categories specification is a pattern, so on its base separate specification should be added.
Ilja Zakharov wrote:
According to the recent results, there are many false positives caused by the imprecise model for pci_driver callbacks.
Please, clarify how great is this issue. The relative assessment would be the best of all.
Evgeny Novikov wrote:
Ilja Zakharov wrote:
According to the recent results, there are many false positives caused by the imprecise model for pci_driver callbacks.
Please, clarify how great is this issue. The relative assessment would be the best of all.
I assumed the assessment relatively other specifications of EMG just. Any global assessments do not have much sense. For other categories they are also welcome.
Evgeny, there are 7 false positives in the recent results due to the issue, but 6 of them happens during memory safety and races checking.
- Status changed from New to Resolved
I have implemented the specification recently in terms of 8066-abstract-translator.
- Status changed from Resolved to Closed
It seems that the branch was merged to master a long ago, but issues were not closed at that time.
Also available in: Atom
PDF