[Soot-list] It takes so much time and space to perform a points-toanalysis using SPARK

[jnuzhjp]

Hi
I wanted to perform a points-to analysis using SPARK two hours ago, but it took me so long, uh, at least 10 minutes and more than 800m memory yet ending with a situation like this:
Soot has run out of the memory allocated to it by the Java VM.
To allocate more memory to Soot, use the -Xmx switch to Java. 
For example <for 400MB>: java -Xmx400m soot.Main ...
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
The command was:  Soot>java -Xmx800m soot.Main --app -p cg.spark on-fly-cg:true -w Foo
I checked the task manager, the OS did allocate 850m memory to java process. 

And, the target source class file Foo.java was as simple as this:
public class Foo
{
public static void main(String[] args) 
{
Foo f = new Foo();
int a = 7;
int b = 14;
int x = (f.bar(21) + a) * b;
}
public int bar(int n) {
return n + 42;
}
}

I don't know wether it was because some missing parts of configuration on my machine or just the performance problem of Soot that led to this failure. If the latter case, then it would be prohibitive to use this tool to perform points-to analysis even on a fairly small application.

Is there anybody sharing the same experience?

Any help will be greatly appricated. Thank you!


Palmer
2009-09-06 

 
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 43 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 1301 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment-0001.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 137 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment-0002.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 549 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment-0003.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 1037 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment-0004.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 149 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment-0005.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 62 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment-0006.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 115 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment-0007.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 930 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment-0008.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 95 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment-0009.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 896 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090906/77ab1205/attachment-0010.gif