[Soot-list] Soot and Heros : getting OutOfMemoryError : HeapSpace

[Bodden, Eric]

Hi.

If you enable -no-bodies-for-excluded then this should finish in seconds and with much less memory. You must be doing something wrong.

If the option is not present, then the entire JDK is analyzed which does require a lot of memory.

Eric

On 03.03.2014, at 13:48, Utsav Chokshi <uvc.smart.29 at gmail.com> wrote:

> Hello Eric,
> I tried simple program having one class and two methods. It threw an outOfMemoryError on my PC ( 2 GB ram).
> And yes you are right , it indeed require large amount of RAM. I tried it over computer with good amount of RAM and it worked correctly and gave an answer in almost 2 minutes, 59 secs.
> So basically it is computationally efficient but it is memory inefficient.
> 
> Can you elaborate why it requires this much memory ? 
> Is removing threading and applying no-bodies-for-excluded does make any sensible effects? ( I haven't experimented much)
> 
> And so , is there any remedy to this memory inefficiency ?
> Any alternative of this ( heros) you know , I basically require interprocedural analysis for reaching definition only (and especially resolving definitions involving member variables ).
> 
> - Utsav Chokshi
> [ Intern ,TCS Innovation Labs , Pune, India]
> 
> On Mar 3, 2014 5:56 PM, "Bodden, Eric" <eric.bodden at sit.fraunhofer.de> wrote:
> Hi Utsav.
> 
> IFDSReachingDefinitions is a quite dumm example implementation. It is not meant to be memory efficient. It's quite likely that it will require multiple GB of RAM even for medium-sized programs. What program are you applying it to?
> 
> Eric
> 
> On 03.03.2014, at 11:31, Utsav Chokshi <uvc.smart.29 at gmail.com> wrote:
> 
> > Hello soot-community,
> >
> > I am getting 'OutOfMemortError : HeapSpace'
> > while executing "solver.solve()".
> >
> > I tried below things and it didn't work :
> > 1) Changing JVM heapspace
> > 2) Extending IFDSReachingDefinitions    and overriding numthreads() method and returning 1 ( trying to create single thread).
> > 3) Setting no-bodies-for-excluded option.
> >
> > Note : as tabulation problem , I am using ifds reaching definitions ( provided under exampleproblems in soot.jimple.toolkits.ide)
> >
> > - Utsav Chokshi
> > [ Intern ,TCS Innovation Labs , Pune, India]
> >
> > _______________________________________________
> > Soot-list mailing list
> > Soot-list at sable.mcgill.ca
> > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> 
> --
> Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> Head of Secure Software Engineering  at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
> Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
> 

--
Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering  at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140303/734f70f8/attachment-0001.bin