[Soot-list] [paddle] Configuration question

[Eric Bodden]

Hi Eugene.

You can try -no-bodies-for-excluded:
http://www.sable.mcgill.ca/pipermail/soot-list/2010-June/003023.html

I have never tested this in combination with Paddle, but nevertheless
it may work.

Beware, though, that you may get unsound points-to sets and missing
call-graph edges in some cases.

Eric



On 15 April 2011 14:16, Eugene Kovalov <arthead.ua at gmail.com> wrote:
> Hello to everyone,
> I've recently started to use Soot and Paddle for my master thesis work. I
> noticed that Paddle takes too much time to analyse Soot results and I
> presume it analyses Java library as well. Is it possible to speed up the
> analysis by configuring Soot or Paddle somehow to exclude analysis of Java
> libraries?
> Thanks,
> Eugene Kovalov.
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>



-- 
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt