Actions
Feature #9931
closedIntroduce specific comments and error trace actions to distinguish important environment models
Start date:
11/18/2019
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Some environment models can result in faults. Typical examples are the following:
- Assertions can fail within ldv_check_final_state().
- CPAchecker SMG can reveal, say, memory leaks, when an environment model frees memory for object for which another environment model allocated memory and that was passed to a driver callback that allocated but did not free another memory.
In both cases corresponding actions are not callback actions by definition (although the first one is called so by mistake), so, they are not included in error trace patterns of unsafe marks. This is wrong, since these patterns miss error trace parts important from the point of view of checking.
Updated by Ilja Zakharov almost 5 years ago
The second part of the task has nothing to do with actions. And there are many reasons why I cannot remove numerical suffixes from names. There are two main reasons:
- Identifiers helps to distinguish wrappers around static functions with the same names. The only unique attribute that I can use in the case is a file name but it is too long to use it in function names.
- EMG adds identifiers to distinguish so called instances that can define or call similar artificial functions. Instances do not have names, so I use identifiers.
Updated by Evgeny Novikov almost 5 years ago
- Description updated (diff)
Ilja Zakharov wrote:
The second part of the task has nothing to do with actions. And there are many reasons why I cannot remove numerical suffixes from names. There are two main reasons:
- Identifiers helps to distinguish wrappers around static functions with the same names. The only unique attribute that I can use in the case is a file name but it is too long to use it in function names.
- EMG adds identifiers to distinguish so called instances that can define or call similar artificial functions. Instances do not have names, so I use identifiers.
Let's try to avoid numbers when it is possible. I moved this task to #9988.
Actions