Collapse simple calls of functions which return values are stored to variables
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.
- Target version changed from 3.1 to 3.2
Let's improve representation of verification results in Klever 3.2.
- Status changed from New to Resolved
I implement this in branch merge-func-call-edges.
- Status changed from Resolved to Open
Testing on 2000 modules of Linux 5.5 revealed several degradations.
- Status changed from Open to Resolved
I fixed 2 issues, let's see on new testing results.
- 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