Project

General

Profile

Feature #9350

Update validation tasks that require function pointer analysis

Added by Ilja Zakharov 4 months ago. Updated 28 days 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

Related to Klever - Feature #6822: Support for workqueues in EMGClosed2016-02-08

History

#1 Updated by Ilja Zakharov 4 months ago

#2 Updated by Evgeny Novikov 28 days ago

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

Let's do this later.

Also available in: Atom PDF