Project

General

Profile

Actions

Feature #10749

closed

Collapse simple calls of functions which return values are stored to variables

Added by Evgeny Novikov over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
High
Category:
Results processing
Target version:
Start date:
03/12/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

CPAchecker produces 2 edges for calls of functions which return values are stored to variables. The first edge corresponds to function calls themselves while the second edge is for assignments. This increases error trace sizes when details like assignments are shown. Also it complicates analysis when, say, SMG provides notes for such function calls since they are related to corresponding edges while edges with assignments are most likely hidden by default.

Actions

Also available in: Atom PDF