Project

General

Profile

Actions

Feature #9350

open

Update validation tasks that require function pointer analysis

Added by Ilja Zakharov over 5 years ago. Updated about 5 years ago.

Status:
New
Priority:
High
Assignee:
-
Category:
Preset jobs, marks and tags
Target version:
-
Start date:
10/26/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

These tasks mostly required EMG models for timers and workqueues but as now we have these models one need to either set correct reasons for each why it cannot be verified or provide proper configuration of the verification tool with activated function pointer analysis.


Related issues 1 (0 open1 closed)

Related to Klever - Feature #6822: Support for workqueues in EMGClosedIlja Zakharov02/08/2016

Actions
Actions #1

Updated by Ilja Zakharov over 5 years ago

Actions #2

Updated by Evgeny Novikov about 5 years ago

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

Let's do this later.

Actions

Also available in: Atom PDF