[Soot-list] Question about invoke expression

[Eric Bodden]

Hi.

This all seems correct.

Eric
--
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt



On 13 January 2011 12:24, Heejong Lee <heejong at gmail.com> wrote:
> Hi, all.
> Does anybody confirm my hypothesis? That is,
> * All kinds of Invoke expressions in Jimple code should exist one of these
> two forms:
>  1. Within JInvokeStmt
>  2. R-value of JAssignStmt
> (It means any other expressions should not contain Invoke expression.)
> Because,
> 1. Jimple is made from bytecodes.
> 2. In bytecodes, every function return has to be stored somewhat in the
> stack position to be used later.
> 3. The stack positions are transformed to temporary variables during
> Jimple transformation.
> 4. Therefore, every function call explicitly assigns its return value to a
> variable unless the function call itself is a statement.
> Is this correct?
> Regards,
> --
> Heejong Lee
>
> Associate Research Engineer
> Program Analysis Division
> Fasoo.com, Inc. (www.spa-arrow.com)
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>