[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Limiting whole-program analysis





Helge Jensen wrote:

Helge Jensen wrote:

What should I do? where is it described what I should do to stop the transitive traversal? any hints appreciated.

I'm wondering about the performance of the Points-to analysis, do these timings (on a P4M-1700Mhz, 1G ram) seem reasonable to you?


Analyzing the program "A.java":

public class A { public static void main(String[] args) { } }

I get the outputs:

$ java -Xmx400m soot.Main -w -p cg safe-forname:false -p cg.spark on,field-based:true -app A -src-prec java
Soot started on Thu Jun 03 00:34:26 CEST 2004
[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 6.8 seconds.
[Spark] Type masks in 0.8 seconds.
[Spark] Pointer Graph simplified in 0.0 seconds.
[Spark] Propagation in 146.1 seconds.
[Spark] Solution found in 146.1 seconds.
Transforming A...
Soot finished on Thu Jun 03 00:37:05 CEST 2004
Soot has run for 2 min. 39 sec.


$ java -Xmx400m soot.Main -w -p cg.spark on -app A -src-prec java
Soot started on Thu Jun 03 00:40:30 CEST 2004
[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 10.3 seconds.
[Spark] Type masks in 1.3 seconds.
[Spark] Pointer Graph simplified in 0.0 seconds.
[Spark] Propagation in 151.6 seconds.
[Spark] Solution found in 151.6 seconds.
Transforming A...
Soot finished on Thu Jun 03 00:43:24 CEST 2004
Soot has run for 2 min. 54 sec.


--
Helge