Feature #11788
closed
Add models and test cases for kref* API
Added by Evgeny Novikov over 1 year ago.
Updated over 1 year ago.
Category:
Environment models
Description
Lack of these models results in about 6% of all false alarms when checking memory safety.
BTW, I have already made the preliminary version of models and tests for the kref* API in branch kref-model. It is necessary to brush up them. It is worth noting that my work was based on contribution from Anton Vasiliev and Vasiliy Naumushkin. It turned out that too many things should be changed due to various reasons.
- Description updated (diff)
- Status changed from New to Resolved
As before I decided to add a couple of models for the atomic API on which the kref API is based upon. In addition, I added corresponding test cases as well as test cases related to the kref API. This all is in branch kref-models-and-tests. Let's see on extended testing results for it.
- Status changed from Resolved to Closed
Everything works great! CI passed tests. All related false alarms at verification of Linux kernel drivers became either safes or timeouts or false alarms due to other reasons. I merged the branch to master in 9a9cdf18e.
Also available in: Atom
PDF