Project

General

Profile

Actions
Copy link

Feature #8064

closed

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

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

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
2.0
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 3 (0 open — 3 closed)

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

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

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

Actions
Actions
Copy link

Also available in: Atom PDF