Project

General

Profile

Actions

Feature #10749

closed

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

Added by Evgeny Novikov about 3 years ago. Updated almost 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 #1

Updated by Evgeny Novikov about 3 years ago

  • Target version changed from 3.1 to 3.2

Let's improve representation of verification results in Klever 3.2.

Actions #2

Updated by Evgeny Novikov almost 3 years ago

  • Status changed from New to Resolved

I implement this in branch merge-func-call-edges.

Actions #3

Updated by Evgeny Novikov almost 3 years ago

  • Status changed from Resolved to Open

Testing on 2000 modules of Linux 5.5 revealed several degradations.

Actions #4

Updated by Evgeny Novikov almost 3 years ago

  • Status changed from Open to Resolved

I fixed 2 issues, let's see on new testing results.

Actions #5

Updated by Evgeny Novikov almost 3 years ago

  • Status changed from Resolved to Closed

CI passed tests and there is no considerable differences for 2000 modules of Linux 5.5. I merged the branch to master in e044ffa8e. BTW, changes made do not affect mark association.

Actions

Also available in: Atom PDF