[Soot-list] My first SPARK example from the survivor's guide runs out of memory

[Z]

Thank you for being so helpful.

However, now mine works but it outputs no result at console in my
Eclipse. I also observed that sootOutput directory is empty! So, where
is the result finally? Sorry for such a question...


My console yields
...
Warning: Method <sun.security.provider.PolicyFile:
java.security.Permission
getInstance(java.lang.String,java.lang.String,java.lang.String)> is
reachable, and calls Class.forName on a non-constant String; graph
will be incomplete! Use safe-forname option for a conservative result.
Warning: Method <sun.security.provider.PolicyFile:
java.security.Permission
getInstance(java.lang.String,java.lang.String,java.lang.String)> is
reachable, and calls Class.forName on a non-constant String; graph
will be incomplete! Use safe-forname option for a conservative result.
Warning: Method <sun.security.provider.PolicyFile:
java.security.Permission
getInstance(java.lang.String,java.lang.String,java.lang.String)> is
reachable, and calls Class.forName on a non-constant String; graph
will be incomplete! Use safe-forname option for a conservative result.
Now handling field references
Worklist has 420 nodes.
Now handling field references
Worklist has 229 nodes.
Now handling field references
Worklist has 66 nodes.
Now handling field references
[Spark] Propagation in 50.3 seconds.
[Spark] Solution found in 50.3 seconds.
[Spark] Number of reachable methods: 8170
[spark] Done!
<init>
go
main

Thank you.
Zell.

On Wed, Feb 8, 2012 at 1:31 AM, Lei Shang <shang1982 at gmail.com> wrote:
> Hi, Zell.
>
> What's your JVM heap size and your JDK version? Running that example in my
> computer takes 39 seconds and 408 MB memory usage.
> You might need to try to test with "java -Xmx1G" to increase JVM heap size.
> Note that, even with a simple example, Soot still needs to analyze lots of
> methods and classes from library.
> In my testing, even this simple example only has 3 app classes and 7 app
> methods, it actually analyze 2159 classes and 20820 methods in total.
>
> Lei
>
>
> 2012/2/8 Z <zell08v at orange.fr>
>>
>> I must be configuring something wrong, but my 1st Spark example runs
>> out of memory, any idea?
>> ...
>> Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
>> ...
>>
>> It is just an example given by the "Soot survivor's guide" (Fig 7 - 10
>> at page 34-37). It is the example with a class Container and Item with
>> <20 lines.  And it took me 3 mins and it finished with the above
>> exception. I probably set something wrong there?  For info, I am using
>> Eclipse Indigo with the OS Mac 10.5
>>
>> By the way, I used to use Jchord for similar analysis, which seemed to
>> be much more fast (<15 secs for small programs like the above
>> mentioned). Would you like to explain? Is that because Jchord is
>> BDDBDDB based that it is faster or simply because I am making some
>> wrong configuration?
>>
>> Thanks.
>>
>> Zell.
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>