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

[Hamid A. Toussi]

Hi all,

> 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.
>

You can find the code in SparkTransformer.java:
...
        reportTime( "Propagation", startProp, endProp );
        reportTime( "Solution found", startSimplify, endProp );
...

So your guess is right.

Hamid
http://hamid2c.github.com/

> 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.
>
>
> 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
>