Bug #8068
closedDevelop specification for pci_driver callbacks
0%
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.
Updated by Evgeny Novikov about 7 years ago
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.
Updated by Evgeny Novikov about 7 years ago
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.
Updated by Ilja Zakharov about 7 years ago
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.
Updated by Ilja Zakharov about 6 years ago
- Status changed from New to Resolved
I have implemented the specification recently in terms of 8066-abstract-translator.
Updated by Evgeny Novikov over 4 years ago
- 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.