Project

General

Profile

Actions

Feature #8063

closed

Propose and implement method for source analysis of non-module programs

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

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

0%

Estimated time:
Published in build:

Description

Currently SA component provides to EMG various data about the source code of the program. In the case, SA should allow analyze and provide information about global variables and functions also for non-module GNU C programs including parts of Linux kernel itself. For instance, Linux-specific and module-specific source code requests should be used if an option is provided and SA should not abort if no init or exit functions have been found.


Related issues 3 (0 open3 closed)

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

Actions
Related to Klever - Feature #8064: Propose and support detailed EMG interface categories specifications for 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
Actions #1

Updated by Evgeny Novikov over 7 years ago

  • Priority changed from Normal to Urgent
Actions #2

Updated by Evgeny Novikov about 7 years ago

  • Target version set to 2.0
Actions #3

Updated by Ilja Zakharov over 6 years ago

  • Status changed from New to Resolved

Implemented in 8066-abstract-translator.

Actions #4

Updated by Evgeny Novikov about 6 years 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.

Actions

Also available in: Atom PDF