Project

General

Profile

Feature #8064

Propose and support detailed EMG interface categories specifications for non-module programs

Added by Ilja Zakharov about 2 years ago. Updated 8 months ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Environment model
Target version:
Start date:
04/14/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Interface categories specifications contain containers, resources and callbacks. For other than modules Linux kernel files content of such specifications should be different. Even if no interfaces has been found, EMG should proceed with generating environment model. For instance, kernel function models can be only added.


Related issues

Related to Klever - Feature #8063: Propose and implement method for source analysis of non-module programsClosed04/14/2017

Actions
Related to Klever - Feature #8065: Propose and support process selection for non-module programsClosed04/14/2017

Actions
Related to Klever - Feature #8066: Check and separate Linux specific operations in EMG translatorsClosed04/14/2017

Actions

History

#1

Updated by Evgeny Novikov about 2 years ago

  • Priority changed from Normal to Urgent
#2

Updated by Evgeny Novikov almost 2 years ago

  • Target version set to 2.0
#3

Updated by Ilja Zakharov over 1 year ago

Implemented in 8066-abstract-translator.

#4

Updated by Ilja Zakharov 10 months ago

  • Status changed from New to Resolved

Instead. I implemented a chain of generators to support various combinations of generated models. For userspace programs there is one to call functions by a provided list or just calling export ones.

#5

Updated by Evgeny Novikov 8 months ago

  • Status changed from Resolved to Closed

Branch klever-2.0 passed all tests and I merged it to master in 72be796e3 marked as v2.0rc1.

Also available in: Atom PDF