Actions
Feature #9273
openNew translation mode for EMG
Start date:
09/11/2018
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
There are two translators for EMG. One of them prepare sequential code, when all specified functions are called directly from switch..case. The other one is used for data race detection and thus pthread_create is used for every function. In large projects there are a lot of functions, and thousands of threads break the analysis. The idea is to call all specified functions in switch-case, and create a pthread for the parent function. Note, the second way is also useful, so do not modify the second way, transforming it into the third one.
Updated by Evgeny Novikov about 6 years ago
- Priority changed from Normal to Urgent
- Target version set to 2.0
This is required to verify some C software.
Updated by Evgeny Novikov about 6 years ago
- Target version changed from 2.0 to 3.0
Let's postpone these not so important issues as Klever 2.0 is too large already.
Updated by Evgeny Novikov almost 6 years ago
- Priority changed from Urgent to High
- Target version deleted (
3.0)
I am not sure that we will be able to this in Klever 3.0.
Actions