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

[Marc-André Laverdière]

Hi Utsav,

Try -no-bodies-for-excluded. Normally, it is used with -allow-phantom-refs

It is a good idea to have a read at
http://www.sable.mcgill.ca/soot/tutorial/usage/ to see all the options
you have.

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 02/18/2014 06:50 AM, Utsav Chokshi wrote:
> Hello Marc-André,
> 
> Building call-grpah takes 95-105 seconds for simple program[Single class
> with 2 methods]. Is it normal ?
> 
> Can you elaborate more on truncation of call grpah.
> I get logic behind your point of excluding uninterested methods and feed
> that list to callgrpah and instruct it to not to go through the bodies
> of those method.
> 
> But how we can do this?
> Any direction regarding that would be really helpful.
> 
> Thank you for taking interest.
> 
> - Utsav Chokshi
> [ TRDDC , Pune, India]
> 
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>