[Soot-list] Chicken-and-egg problem

[Eric Bodden]

Hello.

That's really hard to do without major modifications to the way Soot works. I guess you would need to discover call edges on the fly, which means that you cannot use Heros as it is right now.

Eric


On 02.05.2013, at 01:13, Marc-André Laverdière-Papineau <marc-andre.laverdiere-papineau at polymtl.ca> wrote:

> Hello,
> 
> I am trying to make transformations in the wjpp phase in order to get a 
> better call graph. That will be used for IFDS analyses later.
> 
> But here is the problem: I am not guaranteed to have all the information 
> within a single method. So I need an interprocedural analysis.
> 
> But I don't have a call graph, nor any points-to information.
> 
> So how do I break that cycle?
> 
> Thanks and regards,
> 
> -- 
> Marc-André Laverdière-Papineau
> Doctorant - PhD Candidate
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

--
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at 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/20130505/598ae1be/attachment.bin