[Soot-list] SSA form pack

Steven Arzt Steven.Arzt at cased.de
Thu Jul 30 04:07:44 EDT 2015


Do not rely on the implementations themselves such as JInvokeExpr. Instead, use the InvokeExpr interface without the J in the beginning.

 

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von Earlence Fernandes
Gesendet: Donnerstag, 30. Juli 2015 00:31
An: Marc Miltenberger
Cc: soot-list at CS.McGill.CA
Betreff: Re: [Soot-list] SSA form pack

 

So then if I'm writing a pack, I can still basically use Jimple versions of things such as JInvokeExpr etc, right?

and I use the "-f s" on the soot command line ?

 

 

 

-earlence

 

On Wed, Jul 29, 2015 at 3:26 PM, Marc Miltenberger <Marc.Miltenberger at cased.de> wrote:

Hi there,
  yes, you are correct.

  See also
  https://github.com/Sable/soot/wiki/A-brief-overview-of-Shimple
  for more information.

  Basically, it is Jimple + PhiExpr.

  The Jimple code that soot generates reuses variables quite often if it
can.

Marc


Am 30.07.2015 um 00:19 schrieb Earlence Fernandes:
> My pack depends on the IR being in SSA form. I read that Shimple is the
> SSA version of Jimple. If so, does this mean Jimple is not SSA form?
>
> -earlence

_______________________________________________
Soot-list mailing list
Soot-list at CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150730/89520aa9/attachment.html 


More information about the Soot-list mailing list