Feature #9931
closed
Introduce specific comments and error trace actions to distinguish important environment models
Added by Evgeny Novikov about 5 years ago.
Updated almost 5 years ago.
Category:
Environment models
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.
- Description updated (diff)
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.
- 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.
- Category set to Environment models
Implemented in error-traces.
- Status changed from New to Resolved
- Status changed from Resolved to Closed
Also available in: Atom
PDF