Project

General

Profile

Feature #9394

Support verification of built-in Linux kernel modules

Added by Evgeny Novikov 11 months ago. Updated 3 months ago.

Status:
New
Priority:
High
Assignee:
Category:
Program fragments generation
Target version:
-
Start date:
11/21/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Some time ago Klever could verify built-in Linux kernel modules like loadable ones pretty well. But in Klever 2.0 this was broken.

History

#1

Updated by Evgeny Novikov 3 months ago

  • Target version deleted (3.0)
  • Priority changed from Urgent to High

Linux is not our main priority.

Also available in: Atom PDF