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

[Hamid A. Toussi]

Hi Zell,

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

Pointer Assignment Graph (PAG) is not the same as points-to graph. PAG
is a graph representation of parts of input program which are used in
a flow-insensitive pointer analysis. Things like store and load
instructions. Control flow is irrelevant here since it is not used in
the analysis (propagation phase of Spark).

Hamid
http://hamid2c.github.com/

>
>
> On Wed, Jan 9, 2013 at 6:22 PM, Eric Bodden
> <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> 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
>> > 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    Fax: +49 6151 16-72051
>> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
>>
>