[Soot-list] How to measure the time consumed by each SOOT phase?

[Prof. Laurie HENDREN]

Hi All,

I don't have time to look at the code,  but here is my guess:

 > a [Spark] Pointer Assignment Graph in 3.9 seconds.
 > b  [Spark] Type masks in 2.9 seconds.
 > c [Spark] Pointer Graph simplified in 0.0 seconds.
 > d [Spark] Propagation in 37.9 seconds.
 > e Spark] Solution found in 37.9 seconds.

e = c + d.     In this case I am guessing that either the simplification 
of the pointer graph was not on,  or it was very fast.

It could also be possible that b is one sub part of a,  but you would 
have to look at the code.    Basically you need the type masks if you 
filter the solution by possible types,  which may be done during the 
solving or at the end.

Perhaps it will all make sense if you take a look at the code, and the 
experiments done in Ondrej's MSc thesis (available at 
http://www.sable.mcgill.ca/publications/thesis/#olhotakMastersThesis).

Cheers, Laurie


+--------------------------------------------------------------
| Laurie Hendren --- http://www.sable.mcgill.ca/~hendren
| Associate Dean (Academic), Faculty of Science
| Professor, School of Computer Science, McGill University
| New McLAB Research Project: http://www.sable.mcgill.ca/mclab
| Other Proj: www.sable.mcgill.ca/soot  www.sable.mcgill.ca/abc
+--------------------------------------------------------------


On 13-01-09 12:49 PM, Zhoulai wrote:
> Hi, Eric,
>
> Thanks for your reply.  I used a watch and obtained 43 seconds. The 
> 3.9 second should refer to  the step to build the points-to graph, right?
>
> Zell.
>
>
>
>
> On Wed, Jan 9, 2013 at 6:22 PM, Eric Bodden <eric.bodden at ec-spride.de 
> <mailto:eric.bodden at ec-spride.de>> wrote:
>
>     Hi Zell.
>
>     Isn't that just the 3.9 seconds from above?
>
>     Eric
>
>     On 9 January 2013 08:07, Zhoulai <zell08v at orange.fr
>     <mailto:zell08v at orange.fr>> wrote:
>     > Hello,
>     >
>     > Is there a way to measure the execution time of each SOOT phase? In
>     > particular, how to obtain the time consumed that Spark generates the
>     > points-to graph?
>     >
>     > I personally find the output of SOOT on its used time confusing.
>     Here is
>     > what I get:
>     >
>     > [Call Graph] For information on where the call graph may be
>     incomplete, use
>     > the verbose option to the cg phase.
>     >
>     > [Spark] Pointer Assignment Graph in 3.9 seconds.
>     > [Spark] Type masks in 2.9 seconds.
>     > [Spark] Pointer Graph simplified in 0.0 seconds.
>     > [Spark] Propagation in 37.9 seconds.
>     > [Spark] Solution found in 37.9 seconds.
>     >
>     > According to my watch, the total consumed time of SOOT in its
>     cg.spark phase
>     > is the
>     > time1 + time2 + time3 + time5
>     >
>     > in which time_i is for the time indicated on the i -th line
>     above. It seems
>     > that time4 and time5 are always the same.
>     >
>     > What is more, the '-time' command line option does not give me
>     any more
>     > information about the time used by SOOT.  I may misunderstood
>     something?
>     > How to obtain the exact time consumed that Spark generates the
>      points-to
>     > graph?
>     >
>     > Thanks.
>     >
>     > Zell.
>     >
>     >
>     >
>     >
>     >
>     > _______________________________________________
>     > Soot-list mailing list
>     > Soot-list at sable.mcgill.ca <mailto:Soot-list at sable.mcgill.ca>
>     > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>     >
>
>
>
>     --
>     Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
>     Head of Secure Software Engineering Group at EC SPRIDE
>     Tel: +49 6151 16-75422 <tel:%2B49%206151%2016-75422>    Fax: +49
>     6151 16-72051 <tel:%2B49%206151%2016-72051>
>     Room 3.2.14 <tel:3.2.14>, Mornewegstr. 30, 64293 Darmstadt
>
>
>
>
>
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130109/3dc3a96d/attachment-0001.html