[Soot-list] Soot-list Digest, Vol 83, Issue 27

[Hossein Sadat-Mohtasham]

Hi,

The PDG construction works with a UnitGraph because that's the only  
thing that it care about:
a graph. In the constructor it gets the body of the cfg but that's  
only used for tracing and debugging.
In other words, what you are suggesting should work. I will hopefully  
be able to help with the
compatibility issues and testing ...

As far as patching and contributions go, Eric Bodden handles that sort  
of thing.

Thanks for using Soot and PDG.

--Hossein


On 28-Mar-12, at 1:00 AM, soot-list-request at sable.mcgill.ca wrote:

>
> Message: 3
> Date: Tue, 27 Mar 2012 10:51:32 -0400
> From: Phil Pratt-Szeliga <phil.pratt.szeliga at gmail.com>
> Subject: [Soot-list] HashMutablePDG additional constructor
> To: soot-list at sable.mcgill.ca
> Message-ID:
> 	<CAL5KSKNB5P5tKKu_MvUau8TbnPky+xuo=sL8SCk4zHoDoktB2A at mail.gmail.com>
> Content-Type: text/plain; charset=ISO-8859-1
>
> Hello,
>
> I am trying to develop a small library that builds first a Gated SSA
> Form and then a Region Array SSA Form. I need to use a HashMutablePDG
> but the constructor needs a UnitGraph. UnitGraph requires a Body to be
> passed in, but I am not using a Soot Body, I am making my own so I
> don't have to deal with lowering my custom Phi nodes right now (that
> will eventually include arrays).
>
> If I submit a patch to add a constructor to HashMutablePDG that
> accepts a DirectedGraph<Unit> interface, will it be accepted? (This is
> assuming my patch is well behaved in all respects).
>
> Thanks for making such a great tool,
> Phil Pratt-Szeliga
> Syracuse University

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120328/885d0a25/attachment.html