[Soot-list] Call graphs: Only one edge per call

[Michael Pradel]

Hi,

I'm creating call graphs with the SPARK points-to analysis in its
default settings. In the resulting graphs, one MethodOrMethodContext
often has several outgoing edges for one actual call, one for each type
that the callee could have.
For example, consider class A that defines method x(), which is
overridden in A's subclass B, and a method m():

void m(A a) {
  a.x();
}

A call graph node for m() may have two outgoing edges, one to A.x() and
one to B.x().
Does Soot provide a way to merge these edges into one, e.g. to the most
general type, in this case A.x()?

Many thanks!
Michael

-- 
michael at binaervarianz.de
GPG Fingerprint 2069 ED1D 7A80 E35E F4C9  43CF D4E0 57FC 7B97 6D4F


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090924/d576fbd0/attachment.bin