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

[Bodden, Eric]

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

-------------- 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/235b99ab/attachment.bin