[Soot-list] SPARK : Building call graph with out performing Points to Analysis

Bodden, Eric eric.bodden at sit.fraunhofer.de
Mon Feb 17 03:44:15 EST 2014


Hello.

> Is it possible to build a call-graph [ with same accuracy] without performing points to analysis using SPARK ?

Not with same accuracy. That's because SPARK gains accuracy by _using_ points-to sets. You can use CHA, RTA or VTA to boost efficiency (at the loss of precision). See Soot's phase options.

> Is it possible to do the same using PADDLE framework?

Nope.

> My intension behind skipping 'points to analysis' is decreasing time in building call-graph.

Well, you can't have your cake and eat it :-)

Eric
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140217/315c01eb/attachment.bin 


More information about the Soot-list mailing list