[prev in list] [next in list] [prev in thread] [next in thread] 

List:       soot-list
Subject:    Re: [Soot-list] patch to fix bug in SSA Phi Node Placement
From:       Eric Bodden <eric.bodden () ec-spride ! de>
Date:       2012-04-27 10:11:34
Message-ID: CALhVNNLscx-YNcQtafOEVXszYVnAj9nu00Ce0Mv7w2D+CLawaA () mail ! gmail ! com
[Download RAW message or body]

Thanks Phil.

It's committed.

Eric

On 27 April 2012 01:52, Phil Pratt-Szeliga <pcpratts@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@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=A0 =A0 Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
_______________________________________________
Soot-list mailing list
Soot-list@sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
[prev in list] [next in list] [prev in thread] [next in thread]