Project

General

Profile

Actions

Feature #10746

closed

Develop models for vmalloc()/vfree()

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

Status:
Closed
Priority:
High
Category:
Environment models
Target version:
Start date:
03/10/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

A long ago vmalloc() was modeled to search for invalid invocations within the atomic context. The existing model does not allocate any memory while it is not hard to do as a required size is specified as the only parameter of this function.

Actions #1

Updated by Evgeny Novikov over 3 years ago

  • Status changed from New to Resolved

I developed necessary models and test cases in branch vmalloc-model. Let's see on CI results.

Actions #2

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in 5da83f8ce.

Actions

Also available in: Atom PDF