svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] Merging Information from Globals into Graphs for Individual functions

From: Arushi Aggarwal <arushi987 AT gmail.com>
To: svadev AT cs.uiuc.edu
Subject: [svadev] Merging Information from Globals into Graphs for Individual functions
Date: Tue, 19 Oct 2010 00:23:31 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

In the given C++ example, the indirect function call site in main is resolved, after BU as the information about the object is merged back into main's graph.

The same call sequence in func, does not get resolved, as the information from the globals graph, is never merged back in.

It seems like extra overhead, to merge the information from the globals graph into each of the graphs after BU. But it seems to be needed for correct call graph construction.

Views?

arushi

Attachment: inheritance10.cpp
Description: Binary data

Attachment: bu.main.dot
Description: MS-Word document

Attachment: bu._Z4funcv.dot
Description: MS-Word document

Attachment: bu.GlobalsGraph.dot
Description: MS-Word document

Attachment: bu.main.dot
Description: MS-Word document

Attachment: cbu._Z4funcv.dot
Description: MS-Word document

Attachment: cbu.GlobalsGraph.dot
Description: MS-Word document

Attachment: cbu.main.dot
Description: MS-Word document

[svadev] Merging Information from Globals into Graphs for Individual functions, Arushi Aggarwal, 10/19/2010
- Re: [svadev] Merging Information from Globals into Graphs for Individual functions, John Criswell, 10/19/2010
  - Re: [svadev] Merging Information from Globals into Graphs for Individual functions, Arushi Aggarwal, 10/19/2010