Project

General

Profile

Feature #10749

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

Added by Evgeny Novikov about 1 month ago. Updated 13 days 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.

#1

Updated by Evgeny Novikov about 1 month ago

  • Target version changed from 3.1 to 3.2

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

#2

Updated by Evgeny Novikov 18 days ago

  • Status changed from New to Resolved

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

#3

Updated by Evgeny Novikov 15 days ago

  • Status changed from Resolved to Open

Testing on 2000 modules of Linux 5.5 revealed several degradations.

#4

Updated by Evgeny Novikov 14 days ago

  • Status changed from Open to Resolved

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

#5

Updated by Evgeny Novikov 13 days 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.

Also available in: Atom PDF