Project

General

Profile

Actions
Copy link

Feature #11788

closed

Add models and test cases for kref* API

Added by Evgeny Novikov over 2 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Environment models
Target version:
3.7
Start date:
07/29/2022
Due date:
% Done:

0%

Estimated time:
Published in build:

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.

Actions
Copy link
 #1

Updated by Evgeny Novikov over 2 years ago

  • Description updated (diff)
Actions
Copy link
 #2

Updated by Evgeny Novikov over 2 years ago

  • 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.

Actions
Copy link
 #3

Updated by Evgeny Novikov over 2 years ago

  • 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.

Actions
Copy link

Also available in: Atom PDF