[Soot-list] patch to fix bug in SSA Phi Node Placement

[Eric Bodden]

Thanks Phil.

It's committed.

Eric

On 27 April 2012 01:52, Phil Pratt-Szeliga <pcpratts at syr.edu> wrote:
> Hello,
>
> This is a patch to fix a bug in SSA Phi Node Placement. Running the
> attached test case with no external Transformers causes a validation
> error by the Java runtime. The patch makes node placement more in the
> spirit of Cytron's original paper [1]. To eliminate extra phi nodes,
> the patch does not place phi nodes is a local is only defined in one
> block. The produced Jimple is comparatively as clean as before, but
> without the bug.
>
> Phil Pratt-Szeliga
> Syracuse University
>
> [1] Paper can be found here: http://www.cs.wustl.edu/~cytron/
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt